Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

pragma solidity ^0.8.18;

// openzeppelin imports
import "@openzeppelin/contracts/security/ReentrancyGuard.sol";
import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";

library CeilDiv {
  // calculates ceil(x/y)
  function ceildiv(uint256 x, uint256 y) internal pure returns (uint256) {
    if (x > 0) return ((x - 1) / y) + 1;
    return x / y;
  }
}

interface IRealityETH_ERC20 {
  function askQuestionERC20(
    uint256 template_id,
    string calldata question,
    address arbitrator,
    uint32 timeout,
    uint32 opening_ts,
    uint256 nonce,
    uint256 tokens
  ) external returns (bytes32);

  function claimMultipleAndWithdrawBalance(
    bytes32[] calldata question_ids,
    uint256[] calldata lengths,
    bytes32[] calldata hist_hashes,
    address[] calldata addrs,
    uint256[] calldata bonds,
    bytes32[] calldata answers
  ) external;

  function claimWinnings(
    bytes32 question_id,
    bytes32[] calldata history_hashes,
    address[] calldata addrs,
    uint256[] calldata bonds,
    bytes32[] calldata answers
  ) external;

  function notifyOfArbitrationRequest(
    bytes32 question_id,
    address requester,
    uint256 max_previous
  ) external;

  function submitAnswerERC20(
    bytes32 question_id,
    bytes32 answer,
    uint256 max_previous,
    uint256 tokens
  ) external;

  function questions(bytes32)
    external
    view
    returns (
      bytes32 content_hash,
      address arbitrator,
      uint32 opening_ts,
      uint32 timeout,
      uint32 finalize_ts,
      bool is_pending_arbitration,
      uint256 bounty,
      bytes32 best_answer,
      bytes32 history_hash,
      uint256 bond,
      uint256 min_bond
    );

  function resultFor(bytes32 question_id) external view returns (bytes32);
}

interface IWETH {
  function deposit() external payable;

  function transfer(address to, uint256 value) external returns (bool);

  function withdraw(uint256) external;

  function approve(address guy, uint256 wad) external returns (bool);
}

/// @title Market Contract Factory
contract PredictionMarketV2 is ReentrancyGuard {
  using SafeERC20 for IERC20;
  using CeilDiv for uint256;

  // ------ Events ------

  event MarketCreated(
    address indexed user,
    uint256 indexed marketId,
    uint256 outcomes,
    string question,
    string image,
    IERC20 token
  );

  event MarketActionTx(
    address indexed user,
    MarketAction indexed action,
    uint256 indexed marketId,
    uint256 outcomeId,
    uint256 shares,
    uint256 value,
    uint256 timestamp
  );

  event MarketOutcomeShares(uint256 indexed marketId, uint256 timestamp, uint256[] outcomeShares, uint256 liquidity);

  event MarketOutcomePrice(uint256 indexed marketId, uint256 indexed outcomeId, uint256 value, uint256 timestamp);

  event MarketLiquidity(
    uint256 indexed marketId,
    uint256 value, // total liquidity
    uint256 price, // value of one liquidity share; max: 1 (even odds situation)
    uint256 timestamp
  );

  event MarketResolved(address indexed user, uint256 indexed marketId, uint256 outcomeId, uint256 timestamp);

  // ------ Events End ------

  uint256 public constant MAX_UINT_256 = type(uint256).max;

  uint256 public constant ONE = 10**18;

  uint256 public constant MAX_OUTCOMES = 2**5;

  uint256 public constant MAX_FEE = 5 * 10**16; // 5%

  enum MarketState {
    open,
    closed,
    resolved
  }
  enum MarketAction {
    buy,
    sell,
    addLiquidity,
    removeLiquidity,
    claimWinnings,
    claimLiquidity,
    claimFees,
    claimVoided
  }

  struct Market {
    // market details
    uint256 closesAtTimestamp;
    uint256 balance; // total stake
    uint256 liquidity; // stake held
    uint256 sharesAvailable; // shares held (all outcomes)
    mapping(address => uint256) liquidityShares;
    mapping(address => bool) liquidityClaims; // wether user has claimed liquidity earnings
    MarketState state; // resolution variables
    MarketResolution resolution; // fees
    MarketFees fees;
    // market outcomes
    uint256 outcomeCount;
    mapping(uint256 => MarketOutcome) outcomes;
    IERC20 token; // ERC20 token market will use for trading
  }

  struct MarketFees {
    uint256 fee; // fee % taken from every transaction
    uint256 poolWeight; // internal var used to ensure pro-rate fee distribution
    mapping(address => uint256) claimed;
    address treasury; // address to send treasury fees to
    uint256 treasuryFee; // fee % taken from every transaction to a treasury address
  }

  struct MarketResolution {
    bool resolved;
    uint256 outcomeId;
    bytes32 questionId; // realitio questionId
  }

  struct MarketOutcome {
    uint256 marketId;
    uint256 id;
    Shares shares;
  }

  struct Shares {
    uint256 total; // number of shares
    uint256 available; // available shares
    mapping(address => uint256) holders;
    mapping(address => bool) claims; // wether user has claimed winnings
    mapping(address => bool) voidedClaims; // wether user has claimed voided market shares
  }

  struct CreateMarketDescription {
    uint256 value;
    uint256 closesAt;
    uint256 outcomes;
    IERC20 token;
    uint256[] distribution;
    string question;
    string image;
    address arbitrator;
    uint256 fee;
    uint256 treasuryFee;
    address treasury;
  }

  uint256[] marketIds;
  mapping(uint256 => Market) markets;
  uint256 public marketIndex;

  // realitio configs
  address public immutable realitioAddress;
  uint256 public immutable realitioTimeout;
  // market creation
  IERC20 public immutable requiredBalanceToken; // token used for rewards / market creation
  uint256 public immutable requiredBalance; // required balance for market creation
  // weth configs
  IWETH public immutable WETH;

  // ------ Modifiers ------

  modifier isMarket(uint256 marketId) {
    require(marketId < marketIndex, "Market not found");
    _;
  }

  modifier timeTransitions(uint256 marketId) {
    if (block.timestamp > markets[marketId].closesAtTimestamp && markets[marketId].state == MarketState.open) {
      nextState(marketId);
    }
    _;
  }

  modifier atState(uint256 marketId, MarketState state) {
    require(markets[marketId].state == state, "Market in incorrect state");
    _;
  }

  modifier notAtState(uint256 marketId, MarketState state) {
    require(markets[marketId].state != state, "Market in incorrect state");
    _;
  }

  modifier transitionNext(uint256 marketId) {
    _;
    nextState(marketId);
  }

  modifier mustHoldRequiredBalance() {
    require(
      requiredBalance == 0 || requiredBalanceToken.balanceOf(msg.sender) >= requiredBalance,
      "minimum erc20 balance not held"
    );
    _;
  }

  modifier isWETHMarket(uint256 marketId) {
    require(address(WETH) != address(0), "WETH address is address 0");
    require(address(markets[marketId].token) == address(WETH), "Market token is not WETH");
    _;
  }

  // ------ Modifiers End ------

  /// @dev protocol is immutable and has no ownership
  constructor(
    IERC20 _requiredBalanceToken,
    uint256 _requiredBalance,
    address _realitioAddress,
    uint256 _realitioTimeout,
    IWETH _WETH
  ) {
    require(_realitioAddress != address(0), "_realitioAddress is address 0");
    require(_realitioTimeout > 0, "timeout must be positive");

    requiredBalanceToken = _requiredBalanceToken;
    requiredBalance = _requiredBalance;
    realitioAddress = _realitioAddress;
    realitioTimeout = _realitioTimeout;
    WETH = _WETH;
  }

  receive() external payable {
    assert(msg.sender == address(WETH)); // only accept ETH via fallback from the WETH contract
  }

  // ------ Core Functions ------

  /// @dev Creates a market, initializes the outcome shares pool and submits a question in Realitio
  function _createMarket(CreateMarketDescription memory desc) private mustHoldRequiredBalance returns (uint256) {
    uint256 marketId = marketIndex;
    marketIds.push(marketId);

    Market storage market = markets[marketId];

    require(desc.value > 0, "stake needs to be > 0");
    require(desc.closesAt > block.timestamp, "resolution before current date");
    require(desc.arbitrator != address(0), "invalid arbitrator address");
    require(desc.outcomes > 0 && desc.outcomes <= MAX_OUTCOMES, "outcome count not between 1-32");
    require(desc.fee <= MAX_FEE, "fee must be <= 5%");
    require(desc.treasuryFee <= MAX_FEE, "treasury fee must be <= 5%");

    market.token = desc.token;
    market.closesAtTimestamp = desc.closesAt;
    market.state = MarketState.open;
    market.fees.fee = desc.fee;
    market.fees.treasuryFee = desc.treasuryFee;
    market.fees.treasury = desc.treasury;
    // setting intial value to an integer that does not map to any outcomeId
    market.resolution.outcomeId = MAX_UINT_256;
    market.outcomeCount = desc.outcomes;

    // creating question in realitio
    market.resolution.questionId = IRealityETH_ERC20(realitioAddress).askQuestionERC20(
      2,
      desc.question,
      desc.arbitrator,
      uint32(realitioTimeout),
      uint32(desc.closesAt),
      0,
      0
    );

    _addLiquidity(marketId, desc.value, desc.distribution);

    // emiting initial price events
    emitMarketActionEvents(marketId);
    emit MarketCreated(msg.sender, marketId, desc.outcomes, desc.question, desc.image, desc.token);

    // incrementing market array index
    marketIndex = marketIndex + 1;

    return marketId;
  }

  function createMarket(CreateMarketDescription calldata desc) external returns (uint256) {
    uint256 marketId = _createMarket(
      CreateMarketDescription({
        value: desc.value,
        closesAt: desc.closesAt,
        outcomes: desc.outcomes,
        token: desc.token,
        distribution: desc.distribution,
        question: desc.question,
        image: desc.image,
        arbitrator: desc.arbitrator,
        fee: desc.fee,
        treasuryFee: desc.treasuryFee,
        treasury: desc.treasury
      })
    );
    // transferring funds
    desc.token.safeTransferFrom(msg.sender, address(this), desc.value);

    return marketId;
  }

  function createMarketWithETH(CreateMarketDescription calldata desc) external payable returns (uint256) {
    require(address(desc.token) == address(WETH), "Market token is not WETH");
    require(msg.value == desc.value, "value does not match arguments");
    uint256 marketId = _createMarket(
      CreateMarketDescription({
        value: desc.value,
        closesAt: desc.closesAt,
        outcomes: desc.outcomes,
        token: desc.token,
        distribution: desc.distribution,
        question: desc.question,
        image: desc.image,
        arbitrator: desc.arbitrator,
        fee: desc.fee,
        treasuryFee: desc.treasuryFee,
        treasury: desc.treasury
      })
    );
    // transferring funds
    IWETH(WETH).deposit{value: msg.value}();

    return marketId;
  }

  /// @dev Calculates the number of shares bought with "amount" balance
  function calcBuyAmount(
    uint256 amount,
    uint256 marketId,
    uint256 outcomeId
  ) public view returns (uint256) {
    uint256[] memory outcomesShares = getMarketOutcomesShares(marketId);
    uint256 fee = getMarketFee(marketId);
    uint256 amountMinusFees = amount - ((amount * fee) / ONE);
    uint256 buyTokenPoolBalance = outcomesShares[outcomeId];
    uint256 endingOutcomeBalance = buyTokenPoolBalance * ONE;
    for (uint256 i = 0; i < outcomesShares.length; ++i) {
      if (i != outcomeId) {
        uint256 outcomeShares = outcomesShares[i];
        endingOutcomeBalance = (endingOutcomeBalance * outcomeShares).ceildiv(outcomeShares + amountMinusFees);
      }
    }
    require(endingOutcomeBalance > 0, "must have non-zero balances");

    return buyTokenPoolBalance + amountMinusFees - (endingOutcomeBalance.ceildiv(ONE));
  }

  /// @dev Calculates the number of shares needed to be sold in order to receive "amount" in balance
  function calcSellAmount(
    uint256 amount,
    uint256 marketId,
    uint256 outcomeId
  ) public view returns (uint256 outcomeTokenSellAmount) {
    uint256[] memory outcomesShares = getMarketOutcomesShares(marketId);
    uint256 fee = getMarketFee(marketId);
    uint256 amountPlusFees = (amount * ONE) / (ONE - fee);
    uint256 sellTokenPoolBalance = outcomesShares[outcomeId];
    uint256 endingOutcomeBalance = sellTokenPoolBalance * ONE;
    for (uint256 i = 0; i < outcomesShares.length; ++i) {
      if (i != outcomeId) {
        uint256 outcomeShares = outcomesShares[i];
        endingOutcomeBalance = (endingOutcomeBalance * outcomeShares).ceildiv(outcomeShares - amountPlusFees);
      }
    }
    require(endingOutcomeBalance > 0, "must have non-zero balances");

    return amountPlusFees + endingOutcomeBalance.ceildiv(ONE) - sellTokenPoolBalance;
  }

  /// @dev Buy shares of a market outcome
  function _buy(
    uint256 marketId,
    uint256 outcomeId,
    uint256 minOutcomeSharesToBuy,
    uint256 value
  ) private timeTransitions(marketId) atState(marketId, MarketState.open) {
    Market storage market = markets[marketId];

    uint256 shares = calcBuyAmount(value, marketId, outcomeId);
    require(shares >= minOutcomeSharesToBuy, "minimum buy amount not reached");
    require(shares > 0, "shares amount is 0");

    // subtracting fee from transaction value
    uint256 feeAmount = (value * market.fees.fee) / ONE;
    market.fees.poolWeight = market.fees.poolWeight + feeAmount;
    uint256 valueMinusFees = value - feeAmount;

    uint256 treasuryFeeAmount = (value * market.fees.treasuryFee) / ONE;
    valueMinusFees = valueMinusFees - treasuryFeeAmount;

    MarketOutcome storage outcome = market.outcomes[outcomeId];

    // Funding market shares with received funds
    addSharesToMarket(marketId, valueMinusFees);

    require(outcome.shares.available >= shares, "shares pool balance is too low");

    transferOutcomeSharesfromPool(msg.sender, marketId, outcomeId, shares);

    emit MarketActionTx(msg.sender, MarketAction.buy, marketId, outcomeId, shares, value, block.timestamp);
    emitMarketActionEvents(marketId);

    // transfering treasury fee to treasury address
    if (treasuryFeeAmount > 0) {
      market.token.safeTransfer(market.fees.treasury, treasuryFeeAmount);
    }
  }

  /// @dev Buy shares of a market outcome
  function buy(
    uint256 marketId,
    uint256 outcomeId,
    uint256 minOutcomeSharesToBuy,
    uint256 value
  ) external nonReentrant {
    Market storage market = markets[marketId];
    market.token.safeTransferFrom(msg.sender, address(this), value);
    _buy(marketId, outcomeId, minOutcomeSharesToBuy, value);
  }

  function buyWithETH(
    uint256 marketId,
    uint256 outcomeId,
    uint256 minOutcomeSharesToBuy
  ) external payable isWETHMarket(marketId) nonReentrant {
    uint256 value = msg.value;
    // wrapping and depositing funds
    IWETH(WETH).deposit{value: value}();
    _buy(marketId, outcomeId, minOutcomeSharesToBuy, value);
  }

  /// @dev Sell shares of a market outcome
  function _sell(
    uint256 marketId,
    uint256 outcomeId,
    uint256 value,
    uint256 maxOutcomeSharesToSell
  ) private timeTransitions(marketId) atState(marketId, MarketState.open) {
    Market storage market = markets[marketId];
    MarketOutcome storage outcome = market.outcomes[outcomeId];

    uint256 shares = calcSellAmount(value, marketId, outcomeId);

    require(shares <= maxOutcomeSharesToSell, "maximum sell amount exceeded");
    require(shares > 0, "shares amount is 0");
    require(outcome.shares.holders[msg.sender] >= shares, "insufficient shares balance");

    transferOutcomeSharesToPool(msg.sender, marketId, outcomeId, shares);

    // adding fees to transaction value
    uint256 fee = getMarketFee(marketId);
    {
      uint256 feeAmount = (value * market.fees.fee) / (ONE - fee);
      market.fees.poolWeight = market.fees.poolWeight + feeAmount;
    }
    uint256 valuePlusFees = value + (value * fee) / (ONE - fee);

    require(market.balance >= valuePlusFees, "insufficient market balance");

    // Rebalancing market shares
    removeSharesFromMarket(marketId, valuePlusFees);

    emit MarketActionTx(msg.sender, MarketAction.sell, marketId, outcomeId, shares, value, block.timestamp);
    emitMarketActionEvents(marketId);

    {
      uint256 treasuryFeeAmount = (value * market.fees.treasuryFee) / (ONE - fee);
      // transfering treasury fee to treasury address
      if (treasuryFeeAmount > 0) {
        market.token.safeTransfer(market.fees.treasury, treasuryFeeAmount);
      }
    }
  }

  function sell(
    uint256 marketId,
    uint256 outcomeId,
    uint256 value,
    uint256 maxOutcomeSharesToSell
  ) external nonReentrant {
    _sell(marketId, outcomeId, value, maxOutcomeSharesToSell);
    // Transferring funds to user
    Market storage market = markets[marketId];
    market.token.safeTransfer(msg.sender, value);
  }

  function sellToETH(
    uint256 marketId,
    uint256 outcomeId,
    uint256 value,
    uint256 maxOutcomeSharesToSell
  ) external isWETHMarket(marketId) nonReentrant {
    Market storage market = markets[marketId];
    require(address(market.token) == address(WETH), "market token is not WETH");

    _sell(marketId, outcomeId, value, maxOutcomeSharesToSell);

    IWETH(WETH).withdraw(value);
    (bool sent, ) = payable(msg.sender).call{value: value}("");
    require(sent, "Failed to send Ether");
  }

  /// @dev Adds liquidity to a market - external
  function _addLiquidity(
    uint256 marketId,
    uint256 value,
    uint256[] memory distribution
  ) private timeTransitions(marketId) atState(marketId, MarketState.open) {
    Market storage market = markets[marketId];

    require(value > 0, "stake has to be greater than 0.");

    uint256 liquidityAmount;

    uint256[] memory outcomesShares = getMarketOutcomesShares(marketId);
    uint256[] memory sendBackAmounts = new uint256[](outcomesShares.length);
    uint256 poolWeight = 0;

    if (market.liquidity > 0) {
      require(distribution.length == 0, "market already funded");

      // part of the liquidity is exchanged for outcome shares if market is not balanced
      for (uint256 i = 0; i < outcomesShares.length; ++i) {
        uint256 outcomeShares = outcomesShares[i];
        if (poolWeight < outcomeShares) poolWeight = outcomeShares;
      }

      for (uint256 i = 0; i < outcomesShares.length; ++i) {
        uint256 remaining = (value * outcomesShares[i]) / poolWeight;
        sendBackAmounts[i] = value - remaining;
      }

      liquidityAmount = (value * market.liquidity) / poolWeight;

      // re-balancing fees pool
      rebalanceFeesPool(marketId, liquidityAmount, MarketAction.addLiquidity);
    } else {
      // funding market with no liquidity
      if (distribution.length > 0) {
        require(distribution.length == outcomesShares.length, "distribution length not matching");

        uint256 maxHint = 0;
        for (uint256 i = 0; i < distribution.length; ++i) {
          uint256 hint = distribution[i];
          if (maxHint < hint) maxHint = hint;
        }

        for (uint256 i = 0; i < distribution.length; ++i) {
          uint256 remaining = (value * distribution[i]) / maxHint;
          require(remaining > 0, "must hint a valid distribution");
          sendBackAmounts[i] = value - remaining;
        }
      }

      // funding market with total liquidity amount
      liquidityAmount = value;
    }

    // funding market
    market.liquidity = market.liquidity + liquidityAmount;
    market.liquidityShares[msg.sender] = market.liquidityShares[msg.sender] + liquidityAmount;

    addSharesToMarket(marketId, value);

    {
      // transform sendBackAmounts to array of amounts added
      for (uint256 i = 0; i < sendBackAmounts.length; ++i) {
        if (sendBackAmounts[i] > 0) {
          transferOutcomeSharesfromPool(msg.sender, marketId, i, sendBackAmounts[i]);
        }
      }

      // emitting events, using outcome 0 for price reference
      uint256 referencePrice = getMarketOutcomePrice(marketId, 0);

      for (uint256 i = 0; i < sendBackAmounts.length; ++i) {
        if (sendBackAmounts[i] > 0) {
          // outcome price = outcome shares / reference outcome shares * reference outcome price
          uint256 outcomePrice = (referencePrice * market.outcomes[0].shares.available) /
            market.outcomes[i].shares.available;

          emit MarketActionTx(
            msg.sender,
            MarketAction.buy,
            marketId,
            i,
            sendBackAmounts[i],
            (sendBackAmounts[i] * outcomePrice) / ONE, // price * shares
            block.timestamp
          );
        }
      }
    }

    uint256 liquidityPrice = getMarketLiquidityPrice(marketId);
    uint256 liquidityValue = (liquidityPrice * liquidityAmount) / ONE;

    emit MarketActionTx(
      msg.sender,
      MarketAction.addLiquidity,
      marketId,
      0,
      liquidityAmount,
      liquidityValue,
      block.timestamp
    );
    emit MarketLiquidity(marketId, market.liquidity, liquidityPrice, block.timestamp);
  }

  function addLiquidity(uint256 marketId, uint256 value) external {
    uint256[] memory distribution = new uint256[](0);
    _addLiquidity(marketId, value, distribution);

    Market storage market = markets[marketId];
    market.token.safeTransferFrom(msg.sender, address(this), value);
  }

  function addLiquidityWithETH(uint256 marketId) external payable isWETHMarket(marketId) {
    uint256 value = msg.value;
    uint256[] memory distribution = new uint256[](0);
    _addLiquidity(marketId, value, distribution);
    // wrapping and depositing funds
    IWETH(WETH).deposit{value: value}();
  }

  /// @dev Removes liquidity to a market - external
  function _removeLiquidity(uint256 marketId, uint256 shares)
    private
    timeTransitions(marketId)
    atState(marketId, MarketState.open)
    returns (uint256)
  {
    Market storage market = markets[marketId];

    require(market.liquidityShares[msg.sender] >= shares, "insufficient shares balance");
    // claiming any pending fees
    claimFees(marketId);

    // re-balancing fees pool
    rebalanceFeesPool(marketId, shares, MarketAction.removeLiquidity);

    uint256[] memory outcomesShares = getMarketOutcomesShares(marketId);
    uint256[] memory sendAmounts = new uint256[](outcomesShares.length);
    uint256 poolWeight = MAX_UINT_256;

    // part of the liquidity is exchanged for outcome shares if market is not balanced
    for (uint256 i = 0; i < outcomesShares.length; ++i) {
      uint256 outcomeShares = outcomesShares[i];
      if (poolWeight > outcomeShares) poolWeight = outcomeShares;
    }

    uint256 liquidityAmount = (shares * poolWeight) / market.liquidity;

    for (uint256 i = 0; i < outcomesShares.length; ++i) {
      sendAmounts[i] = (outcomesShares[i] * shares) / market.liquidity;
      sendAmounts[i] = sendAmounts[i] - liquidityAmount;
    }

    // removing liquidity from market
    removeSharesFromMarket(marketId, liquidityAmount);
    market.liquidity = market.liquidity - shares;
    // removing liquidity tokens from market creator
    market.liquidityShares[msg.sender] = market.liquidityShares[msg.sender] - shares;

    for (uint256 i = 0; i < outcomesShares.length; ++i) {
      if (sendAmounts[i] > 0) {
        transferOutcomeSharesfromPool(msg.sender, marketId, i, sendAmounts[i]);
      }
    }

    // emitting events, using outcome 0 for price reference
    uint256 referencePrice = getMarketOutcomePrice(marketId, 0);

    for (uint256 i = 0; i < outcomesShares.length; ++i) {
      if (sendAmounts[i] > 0) {
        // outcome price = outcome shares / reference outcome shares * reference outcome price
        uint256 outcomePrice = (referencePrice * market.outcomes[0].shares.available) /
          market.outcomes[i].shares.available;

        emit MarketActionTx(
          msg.sender,
          MarketAction.buy,
          marketId,
          i,
          sendAmounts[i],
          (sendAmounts[i] * outcomePrice) / ONE, // price * shares
          block.timestamp
        );
      }
    }

    emit MarketActionTx(
      msg.sender,
      MarketAction.removeLiquidity,
      marketId,
      0,
      shares,
      liquidityAmount,
      block.timestamp
    );
    emit MarketLiquidity(marketId, market.liquidity, getMarketLiquidityPrice(marketId), block.timestamp);

    return liquidityAmount;
  }

  function removeLiquidity(uint256 marketId, uint256 shares) external {
    uint256 value = _removeLiquidity(marketId, shares);
    // transferring user funds from liquidity removed
    Market storage market = markets[marketId];
    market.token.safeTransfer(msg.sender, value);
  }

  function removeLiquidityToETH(uint256 marketId, uint256 shares) external isWETHMarket(marketId) {
    uint256 value = _removeLiquidity(marketId, shares);
    // unwrapping and transferring user funds from liquidity removed
    IWETH(WETH).withdraw(value);
    (bool sent, ) = payable(msg.sender).call{value: value}("");
    require(sent, "Failed to send Ether");
  }

  /// @dev Fetches winning outcome from Realitio and resolves the market
  function resolveMarketOutcome(uint256 marketId)
    external
    timeTransitions(marketId)
    atState(marketId, MarketState.closed)
    transitionNext(marketId)
    returns (uint256)
  {
    Market storage market = markets[marketId];

    // will fail if question is not finalized
    uint256 outcomeId = uint256(IRealityETH_ERC20(realitioAddress).resultFor(market.resolution.questionId));

    market.resolution.outcomeId = outcomeId;

    emit MarketResolved(msg.sender, marketId, outcomeId, block.timestamp);
    emitMarketActionEvents(marketId);

    return market.resolution.outcomeId;
  }

  /// @dev Allows holders of resolved outcome shares to claim earnings.
  function _claimWinnings(uint256 marketId) private atState(marketId, MarketState.resolved) returns (uint256) {
    Market storage market = markets[marketId];
    MarketOutcome storage resolvedOutcome = market.outcomes[market.resolution.outcomeId];

    require(resolvedOutcome.shares.holders[msg.sender] > 0, "user doesn't hold outcome shares");
    require(resolvedOutcome.shares.claims[msg.sender] == false, "user already claimed winnings");

    // 1 share => price = 1
    uint256 value = resolvedOutcome.shares.holders[msg.sender];

    // assuring market has enough funds
    require(market.balance >= value, "insufficient market balance");

    market.balance = market.balance - value;
    resolvedOutcome.shares.claims[msg.sender] = true;

    emit MarketActionTx(
      msg.sender,
      MarketAction.claimWinnings,
      marketId,
      market.resolution.outcomeId,
      resolvedOutcome.shares.holders[msg.sender],
      value,
      block.timestamp
    );

    return value;
  }

  function claimWinnings(uint256 marketId) external {
    uint256 value = _claimWinnings(marketId);
    // transferring user funds from winnings claimed
    Market storage market = markets[marketId];
    market.token.safeTransfer(msg.sender, value);
  }

  function claimWinningsToETH(uint256 marketId) external isWETHMarket(marketId) {
    uint256 value = _claimWinnings(marketId);
    // unwrapping and transferring user funds from winnings claimed
    IWETH(WETH).withdraw(value);
    (bool sent, ) = payable(msg.sender).call{value: value}("");
    require(sent, "Failed to send Ether");
  }

  /// @dev Allows holders of voided outcome shares to claim balance back.
  function _claimVoidedOutcomeShares(uint256 marketId, uint256 outcomeId)
    private
    atState(marketId, MarketState.resolved)
    returns (uint256)
  {
    Market storage market = markets[marketId];
    MarketOutcome storage outcome = market.outcomes[outcomeId];

    require(isMarketVoided(marketId), "market is not voided");
    require(outcome.shares.holders[msg.sender] > 0, "user doesn't hold outcome shares");
    require(outcome.shares.voidedClaims[msg.sender] == false, "user already claimed shares");

    // voided market - shares are valued at last market price
    uint256 price = getMarketOutcomePrice(marketId, outcomeId);
    uint256 value = (price * outcome.shares.holders[msg.sender]) / ONE;

    // assuring market has enough funds
    require(market.balance >= value, "insufficient market balance");

    market.balance = market.balance - value;
    outcome.shares.voidedClaims[msg.sender] = true;

    emit MarketActionTx(
      msg.sender,
      MarketAction.claimVoided,
      marketId,
      outcomeId,
      outcome.shares.holders[msg.sender],
      value,
      block.timestamp
    );

    return value;
  }

  function claimVoidedOutcomeShares(uint256 marketId, uint256 outcomeId) external {
    uint256 value = _claimVoidedOutcomeShares(marketId, outcomeId);
    // transferring user funds from voided outcome shares claimed
    Market storage market = markets[marketId];
    market.token.safeTransfer(msg.sender, value);
  }

  function claimVoidedOutcomeSharesToETH(uint256 marketId, uint256 outcomeId) external isWETHMarket(marketId) {
    uint256 value = _claimVoidedOutcomeShares(marketId, outcomeId);
    // unwrapping and transferring user funds from voided outcome shares claimed
    IWETH(WETH).withdraw(value);
    (bool sent, ) = payable(msg.sender).call{value: value}("");
    require(sent, "Failed to send Ether");
  }

  /// @dev Allows liquidity providers to claim earnings from liquidity providing.
  function _claimLiquidity(uint256 marketId) private atState(marketId, MarketState.resolved) returns (uint256) {
    Market storage market = markets[marketId];

    // claiming any pending fees
    claimFees(marketId);

    require(market.liquidityShares[msg.sender] > 0, "user doesn't hold shares");
    require(market.liquidityClaims[msg.sender] == false, "user already claimed shares");

    // value = total resolved outcome pool shares * pool share (%)
    uint256 liquidityPrice = getMarketLiquidityPrice(marketId);
    uint256 value = (liquidityPrice * market.liquidityShares[msg.sender]) / ONE;

    // assuring market has enough funds
    require(market.balance >= value, "insufficient market balance");

    market.balance = market.balance - value;
    market.liquidityClaims[msg.sender] = true;

    emit MarketActionTx(
      msg.sender,
      MarketAction.claimLiquidity,
      marketId,
      0,
      market.liquidityShares[msg.sender],
      value,
      block.timestamp
    );

    return value;
  }

  function claimLiquidity(uint256 marketId) external {
    uint256 value = _claimLiquidity(marketId);
    // transferring user funds from liquidity claimed
    Market storage market = markets[marketId];
    market.token.safeTransfer(msg.sender, value);
  }

  function claimLiquidityToETH(uint256 marketId) external isWETHMarket(marketId) {
    uint256 value = _claimLiquidity(marketId);
    // unwrapping and transferring user funds from liquidity claimed
    IWETH(WETH).withdraw(value);
    (bool sent, ) = payable(msg.sender).call{value: value}("");
    require(sent, "Failed to send Ether");
  }

  /// @dev Allows liquidity providers to claim their fees share from fees pool
  function _claimFees(uint256 marketId) private returns (uint256) {
    Market storage market = markets[marketId];

    uint256 claimableFees = getUserClaimableFees(marketId, msg.sender);

    if (claimableFees > 0) {
      market.fees.claimed[msg.sender] = market.fees.claimed[msg.sender] + claimableFees;
    }

    emit MarketActionTx(
      msg.sender,
      MarketAction.claimFees,
      marketId,
      0,
      market.liquidityShares[msg.sender],
      claimableFees,
      block.timestamp
    );

    return claimableFees;
  }

  function claimFees(uint256 marketId) public nonReentrant {
    uint256 value = _claimFees(marketId);
    // transferring user funds from fees claimed
    Market storage market = markets[marketId];
    market.token.safeTransfer(msg.sender, value);
  }

  function claimFeesToETH(uint256 marketId) public isWETHMarket(marketId) nonReentrant {
    uint256 value = _claimFees(marketId);
    // unwrapping and transferring user funds from fees claimed
    IWETH(WETH).withdraw(value);
    (bool sent, ) = payable(msg.sender).call{value: value}("");
    require(sent, "Failed to send Ether");
  }

  /// @dev Rebalances the fees pool. Needed in every AddLiquidity / RemoveLiquidity call
  function rebalanceFeesPool(
    uint256 marketId,
    uint256 liquidityShares,
    MarketAction action
  ) private {
    Market storage market = markets[marketId];

    uint256 poolWeight = (liquidityShares * market.fees.poolWeight) / market.liquidity;

    if (action == MarketAction.addLiquidity) {
      market.fees.poolWeight = market.fees.poolWeight + poolWeight;
      market.fees.claimed[msg.sender] = market.fees.claimed[msg.sender] + poolWeight;
    } else {
      market.fees.poolWeight = market.fees.poolWeight - poolWeight;
      market.fees.claimed[msg.sender] = market.fees.claimed[msg.sender] - poolWeight;
    }
  }

  /// @dev Transitions market to next state
  function nextState(uint256 marketId) private {
    Market storage market = markets[marketId];
    market.state = MarketState(uint256(market.state) + 1);
  }

  /// @dev Emits a outcome price event for every outcome
  function emitMarketActionEvents(uint256 marketId) private {
    Market storage market = markets[marketId];
    uint256[] memory outcomeShares = new uint256[](market.outcomeCount);

    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      outcomeShares[i] = market.outcomes[i].shares.available;
    }

    emit MarketOutcomeShares(marketId, block.timestamp, outcomeShares, market.liquidity);
  }

  /// @dev Adds outcome shares to shares pool
  function addSharesToMarket(uint256 marketId, uint256 shares) private {
    Market storage market = markets[marketId];

    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      MarketOutcome storage outcome = market.outcomes[i];

      outcome.shares.available = outcome.shares.available + shares;
      outcome.shares.total = outcome.shares.total + shares;

      // only adding to market total shares, the available remains
      market.sharesAvailable = market.sharesAvailable + shares;
    }

    market.balance = market.balance + shares;
  }

  /// @dev Removes outcome shares from shares pool
  function removeSharesFromMarket(uint256 marketId, uint256 shares) private {
    Market storage market = markets[marketId];

    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      MarketOutcome storage outcome = market.outcomes[i];

      outcome.shares.available = outcome.shares.available - shares;
      outcome.shares.total = outcome.shares.total - shares;

      // only subtracting from market total shares, the available remains
      market.sharesAvailable = market.sharesAvailable - shares;
    }

    market.balance = market.balance - shares;
  }

  /// @dev Transfer outcome shares from pool to user balance
  function transferOutcomeSharesfromPool(
    address user,
    uint256 marketId,
    uint256 outcomeId,
    uint256 shares
  ) private {
    Market storage market = markets[marketId];
    MarketOutcome storage outcome = market.outcomes[outcomeId];

    // transfering shares from shares pool to user
    outcome.shares.holders[user] = outcome.shares.holders[user] + shares;
    outcome.shares.available = outcome.shares.available - shares;
    market.sharesAvailable = market.sharesAvailable - shares;
  }

  /// @dev Transfer outcome shares from user balance back to pool
  function transferOutcomeSharesToPool(
    address user,
    uint256 marketId,
    uint256 outcomeId,
    uint256 shares
  ) private {
    Market storage market = markets[marketId];
    MarketOutcome storage outcome = market.outcomes[outcomeId];

    // adding shares back to pool
    outcome.shares.holders[user] = outcome.shares.holders[user] - shares;
    outcome.shares.available = outcome.shares.available + shares;
    market.sharesAvailable = market.sharesAvailable + shares;
  }

  // ------ Core Functions End ------

  // ------ Getters ------

  function getUserMarketShares(uint256 marketId, address user) external view returns (uint256, uint256[] memory) {
    Market storage market = markets[marketId];
    uint256[] memory outcomeShares = new uint256[](market.outcomeCount);

    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      outcomeShares[i] = market.outcomes[i].shares.holders[user];
    }

    return (market.liquidityShares[user], outcomeShares);
  }

  function getUserClaimStatus(uint256 marketId, address user)
    external
    view
    returns (
      bool,
      bool,
      bool,
      bool,
      uint256
    )
  {
    Market storage market = markets[marketId];

    // market still not resolved
    if (market.state != MarketState.resolved) {
      return (false, false, false, false, getUserClaimableFees(marketId, user));
    }

    MarketOutcome storage outcome = market.outcomes[market.resolution.outcomeId];

    return (
      outcome.shares.holders[user] > 0,
      outcome.shares.claims[user],
      market.liquidityShares[user] > 0,
      market.liquidityClaims[user],
      getUserClaimableFees(marketId, user)
    );
  }

  function getUserLiquidityPoolShare(uint256 marketId, address user) external view returns (uint256) {
    Market storage market = markets[marketId];

    return (market.liquidityShares[user] * ONE) / market.liquidity;
  }

  function getUserClaimableFees(uint256 marketId, address user) public view returns (uint256) {
    Market storage market = markets[marketId];

    uint256 rawAmount = (market.fees.poolWeight * market.liquidityShares[user]) / market.liquidity;

    // No fees left to claim
    if (market.fees.claimed[user] > rawAmount) return 0;

    return rawAmount - market.fees.claimed[user];
  }

  function getMarkets() external view returns (uint256[] memory) {
    return marketIds;
  }

  function getMarketData(uint256 marketId)
    external
    view
    returns (
      MarketState,
      uint256,
      uint256,
      uint256,
      uint256,
      int256
    )
  {
    Market storage market = markets[marketId];

    return (
      market.state,
      market.closesAtTimestamp,
      market.liquidity,
      market.balance,
      market.sharesAvailable,
      getMarketResolvedOutcome(marketId)
    );
  }

  function getMarketAltData(uint256 marketId)
    external
    view
    returns (
      uint256,
      bytes32,
      uint256,
      IERC20,
      uint256,
      address
    )
  {
    Market storage market = markets[marketId];

    return (
      market.fees.fee,
      market.resolution.questionId,
      uint256(market.resolution.questionId),
      market.token,
      market.fees.treasuryFee,
      market.fees.treasury
    );
  }

  function getMarketQuestion(uint256 marketId) external view returns (bytes32) {
    Market storage market = markets[marketId];

    return (market.resolution.questionId);
  }

  function getMarketPrices(uint256 marketId) external view returns (uint256, uint256[] memory) {
    Market storage market = markets[marketId];
    uint256[] memory prices = new uint256[](market.outcomeCount);

    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      prices[i] = getMarketOutcomePrice(marketId, i);
    }

    return (getMarketLiquidityPrice(marketId), prices);
  }

  function getMarketShares(uint256 marketId) external view returns (uint256, uint256[] memory) {
    Market storage market = markets[marketId];
    uint256[] memory outcomeShares = new uint256[](market.outcomeCount);

    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      outcomeShares[i] = market.outcomes[i].shares.available;
    }

    return (market.liquidity, outcomeShares);
  }

  function getMarketLiquidityPrice(uint256 marketId) public view returns (uint256) {
    Market storage market = markets[marketId];

    if (market.state == MarketState.resolved && !isMarketVoided(marketId)) {
      // resolved market, outcome prices are either 0 or 1
      // final liquidity price = outcome shares / liquidity shares
      return (market.outcomes[market.resolution.outcomeId].shares.available * ONE) / market.liquidity;
    }

    // liquidity price = # outcomes / (liquidity * sum (1 / every outcome shares)
    uint256 marketSharesSum = 0;

    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      MarketOutcome storage outcome = market.outcomes[i];

      marketSharesSum = marketSharesSum + (ONE * ONE) / outcome.shares.available;
    }

    return (market.outcomeCount * ONE * ONE * ONE) / market.liquidity / marketSharesSum;
  }

  function getMarketResolvedOutcome(uint256 marketId) public view returns (int256) {
    Market storage market = markets[marketId];

    // returning -1 if market still not resolved
    if (market.state != MarketState.resolved) {
      return -1;
    }

    return int256(market.resolution.outcomeId);
  }

  function isMarketVoided(uint256 marketId) public view returns (bool) {
    Market storage market = markets[marketId];

    // market still not resolved, still in valid state
    if (market.state != MarketState.resolved) {
      return false;
    }

    // resolved market id does not match any of the market ids
    return market.resolution.outcomeId >= market.outcomeCount;
  }

  function getMarketFee(uint256 marketId) public view returns (uint256) {
    Market storage market = markets[marketId];

    return market.fees.fee + market.fees.treasuryFee;
  }

  // ------ Outcome Getters ------

  function getMarketOutcomeIds(uint256 marketId) external view returns (uint256[] memory) {
    Market storage market = markets[marketId];
    uint256[] memory outcomeIds = new uint256[](market.outcomeCount);

    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      outcomeIds[i] = i;
    }

    return outcomeIds;
  }

  function getMarketOutcomePrice(uint256 marketId, uint256 outcomeId) public view returns (uint256) {
    Market storage market = markets[marketId];

    if (market.state == MarketState.resolved && !isMarketVoided(marketId)) {
      // resolved market, price is either 0 or 1
      return outcomeId == market.resolution.outcomeId ? ONE : 0;
    }

    // outcome price = 1 / (1 + sum(outcome shares / every outcome shares))
    uint256 div = ONE;
    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      if (i == outcomeId) continue;

      div = div + (market.outcomes[outcomeId].shares.available * ONE) / market.outcomes[i].shares.available;
    }

    return (ONE * ONE) / div;
  }

  function getMarketOutcomeData(uint256 marketId, uint256 outcomeId)
    external
    view
    returns (
      uint256,
      uint256,
      uint256
    )
  {
    Market storage market = markets[marketId];
    MarketOutcome storage outcome = market.outcomes[outcomeId];

    return (getMarketOutcomePrice(marketId, outcomeId), outcome.shares.available, outcome.shares.total);
  }

  function getMarketOutcomesShares(uint256 marketId) private view returns (uint256[] memory) {
    Market storage market = markets[marketId];

    uint256[] memory shares = new uint256[](market.outcomeCount);
    for (uint256 i = 0; i < market.outcomeCount; ++i) {
      shares[i] = market.outcomes[i].shares.available;
    }

    return shares;
  }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.8.0) (utils/Address.sol)

pragma solidity ^0.8.1;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     *
     * [IMPORTANT]
     * ====
     * You shouldn't rely on `isContract` to protect against flash loan attacks!
     *
     * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
     * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
     * constructor.
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize/address.code.length, which returns 0
        // for contracts in construction, since the code is only stored at the end
        // of the constructor execution.

        return account.code.length > 0;
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        (bool success, ) = recipient.call{value: amount}("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain `call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        (bool success, bytes memory returndata) = target.staticcall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
     * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.
     *
     * _Available since v4.8._
     */
    function verifyCallResultFromTarget(
        address target,
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        if (success) {
            if (returndata.length == 0) {
                // only check isContract if the call was successful and the return data is empty
                // otherwise we already know that it was a contract
                require(isContract(target), "Address: call to non-contract");
            }
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    /**
     * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason or using the provided one.
     *
     * _Available since v4.3._
     */
    function verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    function _revert(bytes memory returndata, string memory errorMessage) private pure {
        // Look for revert reason and bubble it up if present
        if (returndata.length > 0) {
            // The easiest way to bubble the revert reason is using memory via assembly
            /// @solidity memory-safe-assembly
            assembly {
                let returndata_size := mload(returndata)
                revert(add(32, returndata), returndata_size)
            }
        } else {
            revert(errorMessage);
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC20/utils/SafeERC20.sol)

pragma solidity ^0.8.0;

import "../IERC20.sol";
import "../extensions/draft-IERC20Permit.sol";
import "../../../utils/Address.sol";

/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure (when the token
 * contract returns false). Tokens that return no value (and instead revert or
 * throw on failure) are also supported, non-reverting calls are assumed to be
 * successful.
 * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
    using Address for address;

    function safeTransfer(
        IERC20 token,
        address to,
        uint256 value
    ) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    function safeTransferFrom(
        IERC20 token,
        address from,
        address to,
        uint256 value
    ) internal {
        _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    /**
     * @dev Deprecated. This function has issues similar to the ones found in
     * {IERC20-approve}, and its usage is discouraged.
     *
     * Whenever possible, use {safeIncreaseAllowance} and
     * {safeDecreaseAllowance} instead.
     */
    function safeApprove(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        // safeApprove should only be called when setting an initial allowance,
        // or when resetting it to zero. To increase and decrease it, use
        // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
        require(
            (value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    function safeIncreaseAllowance(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        uint256 newAllowance = token.allowance(address(this), spender) + value;
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    function safeDecreaseAllowance(
        IERC20 token,
        address spender,
        uint256 value
    ) internal {
        unchecked {
            uint256 oldAllowance = token.allowance(address(this), spender);
            require(oldAllowance >= value, "SafeERC20: decreased allowance below zero");
            uint256 newAllowance = oldAllowance - value;
            _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
        }
    }

    function safePermit(
        IERC20Permit token,
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal {
        uint256 nonceBefore = token.nonces(owner);
        token.permit(owner, spender, value, deadline, v, r, s);
        uint256 nonceAfter = token.nonces(owner);
        require(nonceAfter == nonceBefore + 1, "SafeERC20: permit did not succeed");
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     */
    function _callOptionalReturn(IERC20 token, bytes memory data) private {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves. We use {Address-functionCall} to perform this call, which verifies that
        // the target address contains contract code and also asserts for success in the low-level call.

        bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed");
        if (returndata.length > 0) {
            // Return data is optional
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-IERC20Permit.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    /**
     * @dev Returns the current nonce for `owner`. This value must be
     * included whenever a signature is generated for {permit}.
     *
     * Every successful call to {permit} increases ``owner``'s nonce by one. This
     * prevents a signature from being used multiple times.
     */
    function nonces(address owner) external view returns (uint256);

    /**
     * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view returns (bytes32);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) external returns (bool);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.8.0) (security/ReentrancyGuard.sol)

pragma solidity ^0.8.0;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;

    uint256 private _status;

    constructor() {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and making it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        _nonReentrantBefore();
        _;
        _nonReentrantAfter();
    }

    function _nonReentrantBefore() private {
        // On the first call to nonReentrant, _status will be _NOT_ENTERED
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

        // Any calls to nonReentrant after this point will fail
        _status = _ENTERED;
    }

    function _nonReentrantAfter() private {
        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = _NOT_ENTERED;
    }
}

{
  "remappings": [],
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "evmVersion": "paris",
  "libraries": {},
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IERC20","name":"_requiredBalanceToken","type":"address"},{"internalType":"uint256","name":"_requiredBalance","type":"uint256"},{"internalType":"address","name":"_realitioAddress","type":"address"},{"internalType":"uint256","name":"_realitioTimeout","type":"uint256"},{"internalType":"contract IWETH","name":"_WETH","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":true,"internalType":"enum PredictionMarketV2.MarketAction","name":"action","type":"uint8"},{"indexed":true,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"outcomeId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"shares","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"MarketActionTx","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":true,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"outcomes","type":"uint256"},{"indexed":false,"internalType":"string","name":"question","type":"string"},{"indexed":false,"internalType":"string","name":"image","type":"string"},{"indexed":false,"internalType":"contract IERC20","name":"token","type":"address"}],"name":"MarketCreated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"price","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"MarketLiquidity","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"outcomeId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"MarketOutcomePrice","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"},{"indexed":false,"internalType":"uint256[]","name":"outcomeShares","type":"uint256[]"},{"indexed":false,"internalType":"uint256","name":"liquidity","type":"uint256"}],"name":"MarketOutcomeShares","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":true,"internalType":"uint256","name":"marketId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"outcomeId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"MarketResolved","type":"event"},{"inputs":[],"name":"MAX_FEE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_OUTCOMES","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_UINT_256","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ONE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"WETH","outputs":[{"internalType":"contract IWETH","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"addLiquidity","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"addLiquidityWithETH","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"},{"internalType":"uint256","name":"minOutcomeSharesToBuy","type":"uint256"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"buy","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"},{"internalType":"uint256","name":"minOutcomeSharesToBuy","type":"uint256"}],"name":"buyWithETH","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"}],"name":"calcBuyAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"}],"name":"calcSellAmount","outputs":[{"internalType":"uint256","name":"outcomeTokenSellAmount","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"claimFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"claimFeesToETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"claimLiquidity","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"claimLiquidityToETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"}],"name":"claimVoidedOutcomeShares","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"}],"name":"claimVoidedOutcomeSharesToETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"claimWinnings","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"claimWinningsToETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"closesAt","type":"uint256"},{"internalType":"uint256","name":"outcomes","type":"uint256"},{"internalType":"contract IERC20","name":"token","type":"address"},{"internalType":"uint256[]","name":"distribution","type":"uint256[]"},{"internalType":"string","name":"question","type":"string"},{"internalType":"string","name":"image","type":"string"},{"internalType":"address","name":"arbitrator","type":"address"},{"internalType":"uint256","name":"fee","type":"uint256"},{"internalType":"uint256","name":"treasuryFee","type":"uint256"},{"internalType":"address","name":"treasury","type":"address"}],"internalType":"struct PredictionMarketV2.CreateMarketDescription","name":"desc","type":"tuple"}],"name":"createMarket","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"closesAt","type":"uint256"},{"internalType":"uint256","name":"outcomes","type":"uint256"},{"internalType":"contract IERC20","name":"token","type":"address"},{"internalType":"uint256[]","name":"distribution","type":"uint256[]"},{"internalType":"string","name":"question","type":"string"},{"internalType":"string","name":"image","type":"string"},{"internalType":"address","name":"arbitrator","type":"address"},{"internalType":"uint256","name":"fee","type":"uint256"},{"internalType":"uint256","name":"treasuryFee","type":"uint256"},{"internalType":"address","name":"treasury","type":"address"}],"internalType":"struct PredictionMarketV2.CreateMarketDescription","name":"desc","type":"tuple"}],"name":"createMarketWithETH","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketAltData","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes32","name":"","type":"bytes32"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"contract IERC20","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketData","outputs":[{"internalType":"enum PredictionMarketV2.MarketState","name":"","type":"uint8"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"int256","name":"","type":"int256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketLiquidityPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"}],"name":"getMarketOutcomeData","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketOutcomeIds","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"}],"name":"getMarketOutcomePrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketPrices","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketQuestion","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketResolvedOutcome","outputs":[{"internalType":"int256","name":"","type":"int256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"getMarketShares","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getMarkets","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"address","name":"user","type":"address"}],"name":"getUserClaimStatus","outputs":[{"internalType":"bool","name":"","type":"bool"},{"internalType":"bool","name":"","type":"bool"},{"internalType":"bool","name":"","type":"bool"},{"internalType":"bool","name":"","type":"bool"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"address","name":"user","type":"address"}],"name":"getUserClaimableFees","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"address","name":"user","type":"address"}],"name":"getUserLiquidityPoolShare","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"address","name":"user","type":"address"}],"name":"getUserMarketShares","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"isMarketVoided","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"marketIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"realitioAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"realitioTimeout","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"shares","type":"uint256"}],"name":"removeLiquidity","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"shares","type":"uint256"}],"name":"removeLiquidityToETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"requiredBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"requiredBalanceToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"}],"name":"resolveMarketOutcome","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"maxOutcomeSharesToSell","type":"uint256"}],"name":"sell","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"marketId","type":"uint256"},{"internalType":"uint256","name":"outcomeId","type":"uint256"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"maxOutcomeSharesToSell","type":"uint256"}],"name":"sellToETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6101206040523480156200001257600080fd5b506040516200553238038062005532833981016040819052620000359162000129565b60016000556001600160a01b038316620000965760405162461bcd60e51b815260206004820152601d60248201527f5f7265616c6974696f416464726573732069732061646472657373203000000060448201526064015b60405180910390fd5b60008211620000e85760405162461bcd60e51b815260206004820152601860248201527f74696d656f7574206d75737420626520706f736974697665000000000000000060448201526064016200008d565b6001600160a01b0394851660c05260e09390935290831660805260a052166101005262000191565b6001600160a01b03811681146200012657600080fd5b50565b600080600080600060a086880312156200014257600080fd5b85516200014f8162000110565b602087015160408801519196509450620001698162000110565b606087015160808801519194509250620001838162000110565b809150509295509295909350565b60805160a05160c05160e0516101005161527c620002b6600039600081816102a7015281816107f601528181610c8b01528181610cec01528181610d5a0152818161119c015281816111f4015281816112610152818161136b015281816113c301528181611438015281816115170152818161156f01528181611aba01528181611b1201528181611b6a01528181611fe4015281816120d00152818161214c015281816121a40152818161220a015281816122a50152818161242801528181612480015281816124e7015281816125fd015261265501526000818161034e015281816126ad01526126e8015260008181610640015261270a01526000818161056c0152612ad60152600081816106cc01528181610f420152612aa1015261527c6000f3fe6080604052600436106102975760003560e01c80638c7adc151161015a578063c2ee3a08116100c1578063ec2c90161161007a578063ec2c90161461095c578063ec93f0f514610971578063efce431314610991578063f5f1dbf9146109cc578063fdff8085146109df578063feebaca0146109ff57600080fd5b8063c2ee3a08146108b8578063c346a9d0146108d4578063c8f70d01146108f4578063d3d15d6714610914578063d450deca14610927578063dc73d1641461094757600080fd5b8063ad5c464811610113578063ad5c4648146107e4578063b02ed3db14610818578063b31eb8951461082b578063bc063e1a1461084b578063bf45572114610866578063bfacba3d1461088657600080fd5b80638c7adc151461072e5780638cd41552146107445780639cd441da146107645780639d7de6b314610784578063aa22a02e146107a4578063ac68a748146107c457600080fd5b80633d41a26b116101fe5780635c6d91d0116101b75780635c6d91d01461062e5780635e648eff1461067a578063677bd9ff1461069a5780637b34e6e0146106ba5780637ef1c3c7146106ee57806385b91d8e1461070e57600080fd5b80633d41a26b146105445780633fe45e3b1461055a578063411e0b171461058e578063429c9dff146105ae5780634397c4ce146105ce578063441cf65e146105fe57600080fd5b806328747a801161025057806328747a80146104475780632c2aa24e1461046757806331877a38146104b7578063325a00a8146104e45780633620875e1461050457806336d06c0a1461052457600080fd5b806302dafc8b146102db57806305a7e5b71461030e57806308560ace1461033c5780630d1ee133146103705780631281311d146103905780631d7920aa146103b057600080fd5b366102d657336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146102d4576102d4614c44565b005b600080fd5b3480156102e757600080fd5b506102fb6102f6366004614c5a565b610a1f565b6040519081526020015b60405180910390f35b34801561031a57600080fd5b5061032e610329366004614c96565b610bc9565b604051610305929190614cea565b34801561034857600080fd5b506102fb7f000000000000000000000000000000000000000000000000000000000000000081565b34801561037c57600080fd5b506102d461038b366004614d03565b610c88565b34801561039c57600080fd5b506102d46103ab366004614d25565b610e2d565b3480156103bc57600080fd5b5061040b6103cb366004614c96565b6000908152600260205260409020600a81015460098201546011830154600e840154600d909401549294919384936001600160a01b039283169391921690565b604080519687526020870195909552938501929092526001600160a01b03908116606085015260808401919091521660a082015260c001610305565b34801561045357600080fd5b506102fb610462366004614c96565b610e7a565b34801561047357600080fd5b50610487610482366004614d6c565b611022565b6040805195151586529315156020860152911515928401929092529015156060830152608082015260a001610305565b3480156104c357600080fd5b506104d76104d2366004614c96565b6110f9565b6040516103059190614d9c565b3480156104f057600080fd5b506102d46104ff366004614c96565b611199565b34801561051057600080fd5b506102d461051f366004614d25565b61132d565b34801561053057600080fd5b506102d461053f366004614c96565b611368565b34801561055057600080fd5b506102fb60001981565b34801561056657600080fd5b506102fb7f000000000000000000000000000000000000000000000000000000000000000081565b34801561059a57600080fd5b506102d46105a9366004614d03565b611514565b3480156105ba57600080fd5b506102fb6105c9366004614daf565b6115c4565b3480156105da57600080fd5b506102fb6105e9366004614c96565b60009081526002602052604090206009015490565b34801561060a57600080fd5b5061061e610619366004614c96565b611728565b6040519015158152602001610305565b34801561063a57600080fd5b506106627f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b039091168152602001610305565b34801561068657600080fd5b506102d4610695366004614c96565b611773565b3480156106a657600080fd5b506102d46106b5366004614c96565b6117ae565b3480156106c657600080fd5b506106627f000000000000000000000000000000000000000000000000000000000000000081565b3480156106fa57600080fd5b506102fb610709366004614c96565b6117b9565b34801561071a57600080fd5b5061032e610729366004614c96565b6117e2565b34801561073a57600080fd5b506102fb60035481565b34801561075057600080fd5b506102fb61075f366004614d03565b611899565b34801561077057600080fd5b506102d461077f366004614d03565b6119a1565b34801561079057600080fd5b506102d461079f366004614d03565b6119e3565b3480156107b057600080fd5b506102fb6107bf366004614d6c565b611a1a565b3480156107d057600080fd5b506102d46107df366004614c96565b611a6a565b3480156107f057600080fd5b506106627f000000000000000000000000000000000000000000000000000000000000000081565b6102d4610826366004614daf565b611ab7565b34801561083757600080fd5b5061032e610846366004614d6c565b611be8565b34801561085757600080fd5b506102fb66b1a2bc2ec5000081565b34801561087257600080fd5b506102fb610881366004614c96565b611cd5565b34801561089257600080fd5b506108a66108a1366004614c96565b611d18565b60405161030596959493929190614df1565b3480156108c457600080fd5b506102fb670de0b6b3a764000081565b3480156108e057600080fd5b506102fb6108ef366004614daf565b611d70565b34801561090057600080fd5b506102fb61090f366004614c96565b611eb5565b6102fb610922366004614c5a565b611fd8565b34801561093357600080fd5b506102d4610942366004614d25565b612149565b34801561095357600080fd5b506102fb602081565b34801561096857600080fd5b506104d761237d565b34801561097d57600080fd5b506102d461098c366004614d03565b6123d5565b34801561099d57600080fd5b506109b16109ac366004614d03565b6123e1565b60408051938452602084019290925290820152606001610305565b6102d46109da366004614c96565b612425565b3480156109eb57600080fd5b506102fb6109fa366004614d6c565b61255f565b348015610a0b57600080fd5b506102d4610a1a366004614c96565b6125fa565b600080610b99604051806101600160405280856000013581526020018560200135815260200185604001358152602001856060016020810190610a629190614e3c565b6001600160a01b03168152602001610a7d6080870187614e59565b80806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250505090825250602001610ac160a0870187614ea3565b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250505090825250602001610b0860c0870187614ea3565b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250505090825250602001610b53610100870160e08801614e3c565b6001600160a01b0316815261010086013560208201526101208601356040820152606001610b8961016087016101408801614e3c565b6001600160a01b031690526126a9565b9050610bc333308535610bb26080880160608901614e3c565b6001600160a01b0316929190612bd6565b92915050565b6000818152600260205260408120600f81015460609190839067ffffffffffffffff811115610bfa57610bfa614eea565b604051908082528060200260200182016040528015610c23578160200160208202803683370190505b50905060005b82600f0154811015610c785760008181526010840160205260409020600301548251839083908110610c5d57610c5d614f00565b6020908102919091010152610c7181614f2c565b9050610c29565b5060029091015494909350915050565b817f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610cd85760405162461bcd60e51b8152600401610ccf90614f45565b60405180910390fd5b6000818152600260205260409020601101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03908116911614610d355760405162461bcd60e51b8152600401610ccf90614f7c565b6000610d418484612c41565b604051632e1a7d4d60e01b8152600481018290529091507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690632e1a7d4d90602401600060405180830381600087803b158015610da657600080fd5b505af1158015610dba573d6000803e3d6000fd5b50506040516000925033915083908381818185875af1925050503d8060008114610e00576040519150601f19603f3d011682016040523d82523d6000602084013e610e05565b606091505b5050905080610e265760405162461bcd60e51b8152600401610ccf90614fb3565b5050505050565b610e35612ea2565b60008481526002602052604090206011810154610e5d906001600160a01b0316333085612bd6565b610e6985858585612efb565b50610e746001600055565b50505050565b600081815260026020526040812054829042118015610ebd5750600081815260026020819052604082206006015460ff1690811115610ebb57610ebb614ddb565b145b15610ecb57610ecb816131bc565b8260018060008381526002602081905260409091206006015460ff1690811115610ef757610ef7614ddb565b14610f145760405162461bcd60e51b8152600401610ccf90614fe1565b6000858152600260205260408082206009810154915163684e62bf60e11b8152889391926001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000169163d09cc57e91610f799160040190815260200190565b602060405180830381865afa158015610f96573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610fba9190615018565b6008830181905560408051828152426020820152919250899133917f67a6457c8912ae1b7a9fbdfa311cbd016ba606b548bf06bc80bc751072d91bbc910160405180910390a36110098861322c565b50600801549450611019816131bc565b50505050919050565b60008281526002602081905260408220829182918291829190600682015460ff16600281111561105457611054614ddb565b14611079576000806000806110698c8c61255f565b95509550955095509550506110ef565b6008810154600090815260108201602090815260408083206001600160a01b038b16845260048082018452828520546005808401865284872054928801865284872054908801909552929094205490939115159260ff9283169290151591166110e28d8d61255f565b9650965096509650965050505b9295509295909350565b6000818152600260205260408120600f8101546060929067ffffffffffffffff81111561112857611128614eea565b604051908082528060200260200182016040528015611151578160200160208202803683370190505b50905060005b82600f0154811015611191578082828151811061117657611176614f00565b602090810291909101015261118a81614f2c565b9050611157565b509392505050565b807f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166111e05760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0390811691161461123d5760405162461bcd60e51b8152600401610ccf90614f7c565b60006112488361331e565b604051632e1a7d4d60e01b8152600481018290529091507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690632e1a7d4d90602401600060405180830381600087803b1580156112ad57600080fd5b505af11580156112c1573d6000803e3d6000fd5b50506040516000925033915083908381818185875af1925050503d8060008114611307576040519150601f19603f3d011682016040523d82523d6000602084013e61130c565b606091505b5050905080610e745760405162461bcd60e51b8152600401610ccf90614fb3565b611335612ea2565b61134184848484613509565b60008481526002602052604090206011810154610e69906001600160a01b0316338561381b565b807f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166113af5760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0390811691161461140c5760405162461bcd60e51b8152600401610ccf90614f7c565b611414612ea2565b600061141f8361384b565b604051632e1a7d4d60e01b8152600481018290529091507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690632e1a7d4d90602401600060405180830381600087803b15801561148457600080fd5b505af1158015611498573d6000803e3d6000fd5b50506040516000925033915083908381818185875af1925050503d80600081146114de576040519150601f19603f3d011682016040523d82523d6000602084013e6114e3565b606091505b50509050806115045760405162461bcd60e51b8152600401610ccf90614fb3565b50506115106001600055565b5050565b817f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661155b5760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b039081169116146115b85760405162461bcd60e51b8152600401610ccf90614f7c565b6000610d4184846138ed565b6000806115d084613ddd565b905060006115dd856117b9565b90506000670de0b6b3a76400006115f48389615031565b6115fe9190615048565b611608908861506a565b9050600083868151811061161e5761161e614f00565b602002602001015190506000670de0b6b3a76400008261163e9190615031565b905060005b85518110156116a45787811461169457600086828151811061166757611667614f00565b602002602001015190506116908582611680919061507d565b61168a8386615031565b90613e8a565b9250505b61169d81614f2c565b9050611643565b50600081116116f55760405162461bcd60e51b815260206004820152601b60248201527f6d7573742068617665206e6f6e2d7a65726f2062616c616e63657300000000006044820152606401610ccf565b61170781670de0b6b3a7640000613e8a565b611711848461507d565b61171b919061506a565b9998505050505050505050565b6000818152600260208190526040822090600682015460ff16600281111561175257611752614ddb565b146117605750600092915050565b600f810154600890910154101592915050565b600061177e82613ec4565b60008381526002602052604090206011810154919250906117a9906001600160a01b0316338461381b565b505050565b600061177e8261331e565b6000818152600260205260408120600e810154600a8201546117db919061507d565b9392505050565b6000818152600260205260408120600f81015460609190839067ffffffffffffffff81111561181357611813614eea565b60405190808252806020026020018201604052801561183c578160200160208202803683370190505b50905060005b82600f0154811015611885576118588682611899565b82828151811061186a5761186a614f00565b602090810291909101015261187e81614f2c565b9050611842565b5061188f85611eb5565b9590945092505050565b6000828152600260208190526040822090600682015460ff1660028111156118c3576118c3614ddb565b1480156118d657506118d484611728565b155b156118ff57600881015483146118ed5760006118f7565b670de0b6b3a76400005b915050610bc3565b670de0b6b3a764000060005b82600f015481101561197a5780851461196a576000818152601084016020526040808220600390810154888452919092209091015461195390670de0b6b3a764000090615031565b61195d9190615048565b611967908361507d565b91505b61197381614f2c565b905061190b565b508061198e670de0b6b3a764000080615031565b6119989190615048565b95945050505050565b6040805160008152602081019091526119bb8383836140c0565b60008381526002602052604090206011810154610e74906001600160a01b0316333086612bd6565b60006119ef83836138ed565b6000848152600260205260409020601181015491925090610e74906001600160a01b0316338461381b565b6000828152600260208181526040808420928301546001600160a01b038616855260048401909252832054611a5890670de0b6b3a764000090615031565b611a629190615048565b949350505050565b611a72612ea2565b6000611a7d8261384b565b6000838152600260205260409020601181015491925090611aa8906001600160a01b0316338461381b565b5050611ab46001600055565b50565b827f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316611afe5760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03908116911614611b5b5760405162461bcd60e51b8152600401610ccf90614f7c565b611b63612ea2565b60003490507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663d0e30db0826040518263ffffffff1660e01b81526004016000604051808303818588803b158015611bc357600080fd5b505af1158015611bd7573d6000803e3d6000fd5b5050505050610e6985858584612efb565b6000828152600260205260408120600f81015460609190839067ffffffffffffffff811115611c1957611c19614eea565b604051908082528060200260200182016040528015611c42578160200160208202803683370190505b50905060005b82600f0154811015611cab57600081815260108401602090815260408083206001600160a01b038a1684526004019091529020548251839083908110611c9057611c90614f00565b6020908102919091010152611ca481614f2c565b9050611c48565b506001600160a01b03851660009081526004909201602052604090912054925090505b9250929050565b6000818152600260208190526040822090600682015460ff166002811115611cff57611cff614ddb565b14611d0e575060001992915050565b6008015492915050565b6000818152600260208190526040822060068101548154928201546001830154600384015486958695869586958695929460ff90921693929091611d5b8d611cd5565b949d939c50919a509850965090945092505050565b600080611d7c84613ddd565b90506000611d89856117b9565b90506000611d9f82670de0b6b3a764000061506a565b611db1670de0b6b3a764000089615031565b611dbb9190615048565b90506000838681518110611dd157611dd1614f00565b602002602001015190506000670de0b6b3a764000082611df19190615031565b905060005b8551811015611e4757878114611e37576000868281518110611e1a57611e1a614f00565b60200260200101519050611e338582611680919061506a565b9250505b611e4081614f2c565b9050611df6565b5060008111611e985760405162461bcd60e51b815260206004820152601b60248201527f6d7573742068617665206e6f6e2d7a65726f2062616c616e63657300000000006044820152606401610ccf565b81611eab82670de0b6b3a7640000613e8a565b611711908561507d565b6000818152600260208190526040822090600682015460ff166002811115611edf57611edf614ddb565b148015611ef25750611ef083611728565b155b15611f3257600281015460088201546000908152601083016020526040902060030154611f2890670de0b6b3a764000090615031565b6117db9190615048565b6000805b82600f0154811015611f9157600081815260108401602052604090206003810154611f69670de0b6b3a764000080615031565b611f739190615048565b611f7d908461507d565b92505080611f8a90614f2c565b9050611f36565b50808260020154670de0b6b3a764000080670de0b6b3a764000086600f0154611fba9190615031565b611fc49190615031565b611fce9190615031565b611a589190615048565b60006001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000166120146080840160608501614e3c565b6001600160a01b03161461203a5760405162461bcd60e51b8152600401610ccf90614f7c565b3482351461208a5760405162461bcd60e51b815260206004820152601e60248201527f76616c756520646f6573206e6f74206d6174636820617267756d656e747300006044820152606401610ccf565b60006120cc604051806101600160405280856000013581526020018560200135815260200185604001358152602001856060016020810190610a629190614e3c565b90507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663d0e30db0346040518263ffffffff1660e01b81526004016000604051808303818588803b15801561212957600080fd5b505af115801561213d573d6000803e3d6000fd5b50939695505050505050565b837f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166121905760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b039081169116146121ed5760405162461bcd60e51b8152600401610ccf90614f7c565b6121f5612ea2565b600085815260026020526040902060118101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b039081169116146122835760405162461bcd60e51b815260206004820152601860248201527f6d61726b657420746f6b656e206973206e6f74205745544800000000000000006044820152606401610ccf565b61228f86868686613509565b604051632e1a7d4d60e01b8152600481018590527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690632e1a7d4d90602401600060405180830381600087803b1580156122f157600080fd5b505af1158015612305573d6000803e3d6000fd5b50506040516000925033915086908381818185875af1925050503d806000811461234b576040519150601f19603f3d011682016040523d82523d6000602084013e612350565b606091505b50509050806123715760405162461bcd60e51b8152600401610ccf90614fb3565b5050610e266001600055565b606060018054806020026020016040519081016040528092919081815260200182805480156123cb57602002820191906000526020600020905b8154815260200190600101908083116123b7575b5050505050905090565b60006119ef8383612c41565b60008281526002602090815260408083208484526010810190925282208291829161240c8787611899565b6003820154600290920154909891975095509350505050565b807f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661246c5760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b039081169116146124c95760405162461bcd60e51b8152600401610ccf90614f7c565b60408051600081526020810190915234906124e58483836140c0565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663d0e30db0836040518263ffffffff1660e01b81526004016000604051808303818588803b15801561254057600080fd5b505af1158015612554573d6000803e3d6000fd5b505050505050505050565b6000828152600260208181526040808420928301546001600160a01b038616855260048401909252832054600b83015484929161259b91615031565b6125a59190615048565b6001600160a01b0385166000908152600c840160205260409020549091508110156125d557600092505050610bc3565b6001600160a01b0384166000908152600c83016020526040902054611998908261506a565b807f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166126415760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0390811691161461269e5760405162461bcd60e51b8152600401610ccf90614f7c565b600061124883613ec4565b60007f0000000000000000000000000000000000000000000000000000000000000000158061278057506040516370a0823160e01b81523360048201527f0000000000000000000000000000000000000000000000000000000000000000907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a0823190602401602060405180830381865afa158015612759573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061277d9190615018565b10155b6127cc5760405162461bcd60e51b815260206004820152601e60248201527f6d696e696d756d2065726332302062616c616e6365206e6f742068656c6400006044820152606401610ccf565b600354600180548082019091557fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf601819055600081815260026020526040902083516128525760405162461bcd60e51b815260206004820152601560248201527407374616b65206e6565647320746f206265203e203605c1b6044820152606401610ccf565b428460200151116128a55760405162461bcd60e51b815260206004820152601e60248201527f7265736f6c7574696f6e206265666f72652063757272656e74206461746500006044820152606401610ccf565b60e08401516001600160a01b03166128ff5760405162461bcd60e51b815260206004820152601a60248201527f696e76616c69642061726269747261746f7220616464726573730000000000006044820152606401610ccf565b6000846040015111801561291857506020846040015111155b6129645760405162461bcd60e51b815260206004820152601e60248201527f6f7574636f6d6520636f756e74206e6f74206265747765656e20312d333200006044820152606401610ccf565b66b1a2bc2ec5000084610100015111156129b45760405162461bcd60e51b8152602060048201526011602482015270666565206d757374206265203c3d20352560781b6044820152606401610ccf565b66b1a2bc2ec500008461012001511115612a105760405162461bcd60e51b815260206004820152601a60248201527f747265617375727920666565206d757374206265203c3d2035250000000000006044820152606401610ccf565b60608401516011820180546001600160a01b03199081166001600160a01b0393841617909155602086015180845560068401805460ff19169055610100870151600a850155610120870151600e850155610140870151600d85018054909316908416179091556000196008840155604080870151600f85015560a087015160e0880151915163d4876b9f60e01b81527f00000000000000000000000000000000000000000000000000000000000000009094169363d4876b9f93612b03936002939290917f00000000000000000000000000000000000000000000000000000000000000009160009081906004016150e0565b6020604051808303816000875af1158015612b22573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b469190615018565b600982015583516080850151612b5d9184916140c0565b612b668261322c565b81336001600160a01b03167f57c2e8e67a3a13bc1991cd4ba3ed6733e269f1de098668140234d41dcb145ee486604001518760a001518860c001518960600151604051612bb69493929190615130565b60405180910390a3600354612bcc90600161507d565b6003555092915050565b6040516001600160a01b0380851660248301528316604482015260648101829052610e749085906323b872dd60e01b906084015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b03199093169290921790915261473c565b60008260028060008381526002602081905260409091206006015460ff1690811115612c6f57612c6f614ddb565b14612c8c5760405162461bcd60e51b8152600401610ccf90614fe1565b600085815260026020908152604080832087845260108101909252909120612cb387611728565b612cf65760405162461bcd60e51b81526020600482015260146024820152731b585c9ad95d081a5cc81b9bdd081d9bda59195960621b6044820152606401610ccf565b336000908152600482016020526040902054612d545760405162461bcd60e51b815260206004820181905260248201527f7573657220646f65736e277420686f6c64206f7574636f6d65207368617265736044820152606401610ccf565b33600090815260068201602052604090205460ff1615612db65760405162461bcd60e51b815260206004820152601b60248201527f7573657220616c726561647920636c61696d65642073686172657300000000006044820152606401610ccf565b6000612dc28888611899565b33600090815260048401602052604081205491925090670de0b6b3a764000090612dec9084615031565b612df69190615048565b90508084600101541015612e1c5760405162461bcd60e51b8152600401610ccf90615175565b808460010154612e2c919061506a565b6001858101919091553360008181526006860160209081526040808320805460ff1916909517909455600487018152908390205483518c8152918201529182018390524260608301528a91600791906000805160206152278339815191529060800160405180910390a498975050505050505050565b600260005403612ef45760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610ccf565b6002600055565b600084815260026020526040902054849042118015612f3e5750600081815260026020819052604082206006015460ff1690811115612f3c57612f3c614ddb565b145b15612f4c57612f4c816131bc565b8460008060008381526002602081905260409091206006015460ff1690811115612f7857612f78614ddb565b14612f955760405162461bcd60e51b8152600401610ccf90614fe1565b600087815260026020526040812090612faf868a8a6115c4565b9050868110156130015760405162461bcd60e51b815260206004820152601e60248201527f6d696e696d756d2062757920616d6f756e74206e6f74207265616368656400006044820152606401610ccf565b600081116130465760405162461bcd60e51b8152602060048201526012602482015271073686172657320616d6f756e7420697320360741b6044820152606401610ccf565b600a820154600090670de0b6b3a7640000906130629089615031565b61306c9190615048565b600b84015490915061307f90829061507d565b600b8401556000613090828961506a565b90506000670de0b6b3a764000085600a01600401548a6130b09190615031565b6130ba9190615048565b90506130c6818361506a565b60008c815260108701602052604090209092506130e38d8461480e565b60038101548511156131375760405162461bcd60e51b815260206004820152601e60248201527f73686172657320706f6f6c2062616c616e636520697320746f6f206c6f7700006044820152606401610ccf565b613143338e8e886148a5565b8c6000604080518f8152602081018990529081018d905242606082015233906000805160206152278339815191529060800160405180910390a46131868d61322c565b81156131ad57600d86015460118701546131ad916001600160a01b0391821691168461381b565b50505050505050505050505050565b60008181526002602081905260409091206006810154909160ff909116908111156131e9576131e9614ddb565b6131f490600161507d565b600281111561320557613205614ddb565b60068201805460ff1916600183600281111561322357613223614ddb565b02179055505050565b6000818152600260205260408120600f81015490919067ffffffffffffffff81111561325a5761325a614eea565b604051908082528060200260200182016040528015613283578160200160208202803683370190505b50905060005b82600f01548110156132d857600081815260108401602052604090206003015482518390839081106132bd576132bd614f00565b60209081029190910101526132d181614f2c565b9050613289565b50827fb1bbae7680415a1349ae813ba7d737ca09df07db1f6ce058b3e0812ec15e888642838560020154604051613311939291906151ac565b60405180910390a2505050565b60008160028060008381526002602081905260409091206006015460ff169081111561334c5761334c614ddb565b146133695760405162461bcd60e51b8152600401610ccf90614fe1565b600084815260026020908152604080832060088101548452601081018352818420338552600481019093529220546133e35760405162461bcd60e51b815260206004820181905260248201527f7573657220646f65736e277420686f6c64206f7574636f6d65207368617265736044820152606401610ccf565b33600090815260058201602052604090205460ff16156134455760405162461bcd60e51b815260206004820152601d60248201527f7573657220616c726561647920636c61696d65642077696e6e696e67730000006044820152606401610ccf565b336000908152600482016020526040902054600183015481111561347b5760405162461bcd60e51b8152600401610ccf90615175565b80836001015461348b919061506a565b6001808501919091553360009081526005840160205260409020805460ff19169091179055866004600885015433600081815260048701602090815260409182902054825194855290840152820185905242606083015290600080516020615227833981519152906080015b60405180910390a49695505050505050565b60008481526002602052604090205484904211801561354c5750600081815260026020819052604082206006015460ff169081111561354a5761354a614ddb565b145b1561355a5761355a816131bc565b8460008060008381526002602081905260409091206006015460ff169081111561358657613586614ddb565b146135a35760405162461bcd60e51b8152600401610ccf90614fe1565b600087815260026020908152604080832089845260108101909252822090916135cd888b8b611d70565b90508681111561361f5760405162461bcd60e51b815260206004820152601c60248201527f6d6178696d756d2073656c6c20616d6f756e74206578636565646564000000006044820152606401610ccf565b600081116136645760405162461bcd60e51b8152602060048201526012602482015271073686172657320616d6f756e7420697320360741b6044820152606401610ccf565b3360009081526004830160205260409020548111156136c55760405162461bcd60e51b815260206004820152601b60248201527f696e73756666696369656e74207368617265732062616c616e636500000000006044820152606401610ccf565b6136d1338b8b84614935565b60006136dc8b6117b9565b905060006136f282670de0b6b3a764000061506a565b600a860154613701908c615031565b61370b9190615048565b600b86015490915061371e90829061507d565b600b86015550600061373882670de0b6b3a764000061506a565b613742838c615031565b61374c9190615048565b613756908b61507d565b9050808560010154101561377c5760405162461bcd60e51b8152600401610ccf90615175565b6137868c826149b5565b8b6001604080518e8152602081018790529081018d905242606082015233906000805160206152278339815191529060800160405180910390a46137c98c61322c565b60006137dd83670de0b6b3a764000061506a565b600e8701546137ec908d615031565b6137f69190615048565b905080156131ad57600d86015460118701546131ad916001600160a01b039182169116835b6040516001600160a01b0383166024820152604481018290526117a990849063a9059cbb60e01b90606401612c0a565b600081815260026020526040812081613864843361255f565b9050801561389c57336000908152600c8301602052604090205461388990829061507d565b336000908152600c840160205260409020555b83600633600081815260048601602090815260408083205481519384529183019190915281018590524260608201526000805160206152278339815191529060800160405180910390a49392505050565b6000828152600260205260408120548390421180156139305750600081815260026020819052604082206006015460ff169081111561392e5761392e614ddb565b145b1561393e5761393e816131bc565b8360008060008381526002602081905260409091206006015460ff169081111561396a5761396a614ddb565b146139875760405162461bcd60e51b8152600401610ccf90614fe1565b600086815260026020908152604080832033845260048101909252909120548611156139f55760405162461bcd60e51b815260206004820152601b60248201527f696e73756666696369656e74207368617265732062616c616e636500000000006044820152606401610ccf565b6139fe87611a6a565b613a0a87876003614a42565b6000613a1588613ddd565b90506000815167ffffffffffffffff811115613a3357613a33614eea565b604051908082528060200260200182016040528015613a5c578160200160208202803683370190505b50905060001960005b8351811015613aa9576000848281518110613a8257613a82614f00565b6020026020010151905080831115613a98578092505b50613aa281614f2c565b9050613a65565b506002840154600090613abc838c615031565b613ac69190615048565b905060005b8451811015613b785785600201548b868381518110613aec57613aec614f00565b6020026020010151613afe9190615031565b613b089190615048565b848281518110613b1a57613b1a614f00565b60200260200101818152505081848281518110613b3957613b39614f00565b6020026020010151613b4b919061506a565b848281518110613b5d57613b5d614f00565b6020908102919091010152613b7181614f2c565b9050613acb565b50613b838b826149b5565b898560020154613b93919061506a565b6002860155336000908152600486016020526040902054613bb5908b9061506a565b3360009081526004870160205260408120919091555b8451811015613c2b576000848281518110613be857613be8614f00565b60200260200101511115613c1b57613c1b338d83878581518110613c0e57613c0e614f00565b60200260200101516148a5565b613c2481614f2c565b9050613bcb565b506000613c398c6000611899565b905060005b8551811015613d43576000858281518110613c5b57613c5b614f00565b60200260200101511115613d335760008181526010880160205260408082206003908101548380529183200154613c929085615031565b613c9c9190615048565b90508d6000336001600160a01b0316600080516020615227833981519152858a8781518110613ccd57613ccd614f00565b6020026020010151670de0b6b3a7640000878d8a81518110613cf157613cf1614f00565b6020026020010151613d039190615031565b613d0d9190615048565b6040805193845260208401929092529082015242606082015260800160405180910390a4505b613d3c81614f2c565b9050613c3e565b508b60036040805160008152602081018f905290810185905242606082015233906000805160206152278339815191529060800160405180910390a48b7f1eca98f266e5348ae38d5d057a4d8e451e76672f69ac6ba4b0e3b31ea9c7eb2b8760020154613daf8f611eb5565b604080519283526020830191909152429082015260600160405180910390a2509a9950505050505050505050565b6000818152600260205260408120600f8101546060929067ffffffffffffffff811115613e0c57613e0c614eea565b604051908082528060200260200182016040528015613e35578160200160208202803683370190505b50905060005b82600f01548110156111915760008181526010840160205260409020600301548251839083908110613e6f57613e6f614f00565b6020908102919091010152613e8381614f2c565b9050613e3b565b60008215613eba5781613e9e60018561506a565b613ea89190615048565b613eb390600161507d565b9050610bc3565b6117db8284615048565b60008160028060008381526002602081905260409091206006015460ff1690811115613ef257613ef2614ddb565b14613f0f5760405162461bcd60e51b8152600401610ccf90614fe1565b6000848152600260205260409020613f2685611a6a565b336000908152600482016020526040902054613f845760405162461bcd60e51b815260206004820152601860248201527f7573657220646f65736e277420686f6c642073686172657300000000000000006044820152606401610ccf565b33600090815260058201602052604090205460ff1615613fe65760405162461bcd60e51b815260206004820152601b60248201527f7573657220616c726561647920636c61696d65642073686172657300000000006044820152606401610ccf565b6000613ff186611eb5565b33600090815260048401602052604081205491925090670de0b6b3a76400009061401b9084615031565b6140259190615048565b9050808360010154101561404b5760405162461bcd60e51b8152600401610ccf90615175565b80836001015461405b919061506a565b600184810191909155336000818152600580870160209081526040808420805460ff19169096179095556004880181528483205485519384529083015292810184905242606082015289929190600080516020615227833981519152906080016134f7565b6000838152600260205260409020548390421180156141035750600081815260026020819052604082206006015460ff169081111561410157614101614ddb565b145b1561411157614111816131bc565b8360008060008381526002602081905260409091206006015460ff169081111561413d5761413d614ddb565b1461415a5760405162461bcd60e51b8152600401610ccf90614fe1565b6000868152600260205260409020856141b55760405162461bcd60e51b815260206004820152601f60248201527f7374616b652068617320746f2062652067726561746572207468616e20302e006044820152606401610ccf565b6000806141c189613ddd565b90506000815167ffffffffffffffff8111156141df576141df614eea565b604051908082528060200260200182016040528015614208578160200160208202803683370190505b5090506000808560020154111561434f578851156142605760405162461bcd60e51b81526020600482015260156024820152741b585c9ad95d08185b1c9958591e48199d5b991959605a1b6044820152606401610ccf565b60005b83518110156142a757600084828151811061428057614280614f00565b6020026020010151905080831015614296578092505b506142a081614f2c565b9050614263565b5060005b8351811015614320576000828583815181106142c9576142c9614f00565b60200260200101518d6142dc9190615031565b6142e69190615048565b90506142f2818d61506a565b84838151811061430457614304614f00565b60209081029190910101525061431981614f2c565b90506142ab565b508085600201548b6143329190615031565b61433c9190615048565b935061434a8b856002614a42565b6144bf565b8851156144bb5782518951146143a75760405162461bcd60e51b815260206004820181905260248201527f646973747269627574696f6e206c656e677468206e6f74206d61746368696e676044820152606401610ccf565b6000805b8a518110156143ef5760008b82815181106143c8576143c8614f00565b60200260200101519050808310156143de578092505b506143e881614f2c565b90506143ab565b5060005b8a518110156144b8576000828c838151811061441157614411614f00565b60200260200101518e6144249190615031565b61442e9190615048565b9050600081116144805760405162461bcd60e51b815260206004820152601e60248201527f6d7573742068696e7420612076616c696420646973747269627574696f6e00006044820152606401610ccf565b61448a818e61506a565b85838151811061449c5761449c614f00565b6020908102919091010152506144b181614f2c565b90506143f3565b50505b8993505b8385600201546144cf919061507d565b60028601553360009081526004860160205260409020546144f190859061507d565b33600090815260048701602052604090205561450d8b8b61480e565b60005b825181101561456357600083828151811061452d5761452d614f00565b6020026020010151111561455357614553338d83868581518110613c0e57613c0e614f00565b61455c81614f2c565b9050614510565b5060006145718c6000611899565b905060005b835181101561467b57600084828151811061459357614593614f00565b6020026020010151111561466b57600081815260108801602052604080822060039081015483805291832001546145ca9085615031565b6145d49190615048565b90508d6000336001600160a01b03166000805160206152278339815191528589878151811061460557614605614f00565b6020026020010151670de0b6b3a7640000878c8a8151811061462957614629614f00565b602002602001015161463b9190615031565b6146459190615048565b6040805193845260208401929092529082015242606082015260800160405180910390a4505b61467481614f2c565b9050614576565b505060006146888c611eb5565b90506000670de0b6b3a764000061469f8784615031565b6146a99190615048565b90508c60026040805160008152602081018a905290810184905242606082015233906000805160206152278339815191529060800160405180910390a46002870154604080519182526020820184905242908201528d907f1eca98f266e5348ae38d5d057a4d8e451e76672f69ac6ba4b0e3b31ea9c7eb2b9060600160405180910390a250505050505050505050505050565b6000614791826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b0316614b219092919063ffffffff16565b8051909150156117a957808060200190518101906147af91906151d5565b6117a95760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b6064820152608401610ccf565b6000828152600260205260408120905b81600f015481101561488a5760008181526010830160205260409020600381015461484a90859061507d565b6003820155600281015461485f90859061507d565b6002820155600383015461487490859061507d565b60038401555061488381614f2c565b905061481e565b5081816001015461489b919061507d565b6001909101555050565b60008381526002602090815260408083208584526010810183528184206001600160a01b0389168552600481019093529220546148e390849061507d565b6001600160a01b0387166000908152600483016020526040902055600381015461490e90849061506a565b60038083019190915582015461492590849061506a565b8260030181905550505050505050565b60008381526002602090815260408083208584526010810183528184206001600160a01b03891685526004810190935292205461497390849061506a565b6001600160a01b0387166000908152600483016020526040902055600381015461499e90849061507d565b60038083019190915582015461492590849061507d565b6000828152600260205260408120905b81600f0154811015614a31576000818152601083016020526040902060038101546149f190859061506a565b60038201556002810154614a0690859061506a565b60028201556003830154614a1b90859061506a565b600384015550614a2a81614f2c565b90506149c5565b5081816001015461489b919061506a565b6000838152600260208190526040822090810154600b820154919291614a689086615031565b614a729190615048565b90506002836007811115614a8857614a88614ddb565b03614ad657600b820154614a9d90829061507d565b600b830155336000908152600c83016020526040902054614abf90829061507d565b336000908152600c84016020526040902055610e26565b600b820154614ae690829061506a565b600b830155336000908152600c83016020526040902054614b0890829061506a565b336000908152600c840160205260409020555050505050565b6060611a62848460008585600080866001600160a01b03168587604051614b4891906151f7565b60006040518083038185875af1925050503d8060008114614b85576040519150601f19603f3d011682016040523d82523d6000602084013e614b8a565b606091505b5091509150614b9b87838387614ba6565b979650505050505050565b60608315614c15578251600003614c0e576001600160a01b0385163b614c0e5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610ccf565b5081611a62565b611a628383815115614c2a5781518083602001fd5b8060405162461bcd60e51b8152600401610ccf9190615213565b634e487b7160e01b600052600160045260246000fd5b600060208284031215614c6c57600080fd5b813567ffffffffffffffff811115614c8357600080fd5b820161016081850312156117db57600080fd5b600060208284031215614ca857600080fd5b5035919050565b600081518084526020808501945080840160005b83811015614cdf57815187529582019590820190600101614cc3565b509495945050505050565b828152604060208201526000611a626040830184614caf565b60008060408385031215614d1657600080fd5b50508035926020909101359150565b60008060008060808587031215614d3b57600080fd5b5050823594602084013594506040840135936060013592509050565b6001600160a01b0381168114611ab457600080fd5b60008060408385031215614d7f57600080fd5b823591506020830135614d9181614d57565b809150509250929050565b6020815260006117db6020830184614caf565b600080600060608486031215614dc457600080fd5b505081359360208301359350604090920135919050565b634e487b7160e01b600052602160045260246000fd5b60c0810160038810614e1357634e487b7160e01b600052602160045260246000fd5b968152602081019590955260408501939093526060840191909152608083015260a09091015290565b600060208284031215614e4e57600080fd5b81356117db81614d57565b6000808335601e19843603018112614e7057600080fd5b83018035915067ffffffffffffffff821115614e8b57600080fd5b6020019150600581901b3603821315611cce57600080fd5b6000808335601e19843603018112614eba57600080fd5b83018035915067ffffffffffffffff821115614ed557600080fd5b602001915036819003821315611cce57600080fd5b634e487b7160e01b600052604160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201614f3e57614f3e614f16565b5060010190565b60208082526019908201527f5745544820616464726573732069732061646472657373203000000000000000604082015260600190565b60208082526018908201527f4d61726b657420746f6b656e206973206e6f7420574554480000000000000000604082015260600190565b6020808252601490820152732330b4b632b2103a379039b2b7321022ba3432b960611b604082015260600190565b60208082526019908201527f4d61726b657420696e20696e636f727265637420737461746500000000000000604082015260600190565b60006020828403121561502a57600080fd5b5051919050565b8082028115828204841417610bc357610bc3614f16565b60008261506557634e487b7160e01b600052601260045260246000fd5b500490565b81810381811115610bc357610bc3614f16565b80820180821115610bc357610bc3614f16565b60005b838110156150ab578181015183820152602001615093565b50506000910152565b600081518084526150cc816020860160208601615090565b601f01601f19169290920160200192915050565b87815260e0602082015260006150f960e08301896150b4565b6001600160a01b039790971660408301525063ffffffff948516606082015292909316608083015260a082015260c0015292915050565b84815260806020820152600061514960808301866150b4565b828103604084015261515b81866150b4565b91505060018060a01b038316606083015295945050505050565b6020808252601b908201527f696e73756666696369656e74206d61726b65742062616c616e63650000000000604082015260600190565b8381526060602082015260006151c56060830185614caf565b9050826040830152949350505050565b6000602082840312156151e757600080fd5b815180151581146117db57600080fd5b60008251615209818460208701615090565b9190910192915050565b6020815260006117db60208301846150b456fe9dcabe311735ed0d65f0c22c5425d1f17331f94c9d0767f59e58473cf95ada61a264697066735822122039847f7fd6309f7e750e2dd7aabee3217549a095da4ba6ff61c471257125c9db64736f6c63430008120033000000000000000000000000996f19d4b1ce6d5ad72ceaaa53152ceb1b187fd000000000000000000000000000000000000000000000003635c9adc5dea0000000000000000000000000000083d3f4769a19f1b43337888b0290f5473cf508b2000000000000000000000000000000000000000000000000000000000003f4800000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf1270

0x6080604052600436106102975760003560e01c80638c7adc151161015a578063c2ee3a08116100c1578063ec2c90161161007a578063ec2c90161461095c578063ec93f0f514610971578063efce431314610991578063f5f1dbf9146109cc578063fdff8085146109df578063feebaca0146109ff57600080fd5b8063c2ee3a08146108b8578063c346a9d0146108d4578063c8f70d01146108f4578063d3d15d6714610914578063d450deca14610927578063dc73d1641461094757600080fd5b8063ad5c464811610113578063ad5c4648146107e4578063b02ed3db14610818578063b31eb8951461082b578063bc063e1a1461084b578063bf45572114610866578063bfacba3d1461088657600080fd5b80638c7adc151461072e5780638cd41552146107445780639cd441da146107645780639d7de6b314610784578063aa22a02e146107a4578063ac68a748146107c457600080fd5b80633d41a26b116101fe5780635c6d91d0116101b75780635c6d91d01461062e5780635e648eff1461067a578063677bd9ff1461069a5780637b34e6e0146106ba5780637ef1c3c7146106ee57806385b91d8e1461070e57600080fd5b80633d41a26b146105445780633fe45e3b1461055a578063411e0b171461058e578063429c9dff146105ae5780634397c4ce146105ce578063441cf65e146105fe57600080fd5b806328747a801161025057806328747a80146104475780632c2aa24e1461046757806331877a38146104b7578063325a00a8146104e45780633620875e1461050457806336d06c0a1461052457600080fd5b806302dafc8b146102db57806305a7e5b71461030e57806308560ace1461033c5780630d1ee133146103705780631281311d146103905780631d7920aa146103b057600080fd5b366102d657336001600160a01b037f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf127016146102d4576102d4614c44565b005b600080fd5b3480156102e757600080fd5b506102fb6102f6366004614c5a565b610a1f565b6040519081526020015b60405180910390f35b34801561031a57600080fd5b5061032e610329366004614c96565b610bc9565b604051610305929190614cea565b34801561034857600080fd5b506102fb7f00000000000000000000000000000000000000000000003635c9adc5dea0000081565b34801561037c57600080fd5b506102d461038b366004614d03565b610c88565b34801561039c57600080fd5b506102d46103ab366004614d25565b610e2d565b3480156103bc57600080fd5b5061040b6103cb366004614c96565b6000908152600260205260409020600a81015460098201546011830154600e840154600d909401549294919384936001600160a01b039283169391921690565b604080519687526020870195909552938501929092526001600160a01b03908116606085015260808401919091521660a082015260c001610305565b34801561045357600080fd5b506102fb610462366004614c96565b610e7a565b34801561047357600080fd5b50610487610482366004614d6c565b611022565b6040805195151586529315156020860152911515928401929092529015156060830152608082015260a001610305565b3480156104c357600080fd5b506104d76104d2366004614c96565b6110f9565b6040516103059190614d9c565b3480156104f057600080fd5b506102d46104ff366004614c96565b611199565b34801561051057600080fd5b506102d461051f366004614d25565b61132d565b34801561053057600080fd5b506102d461053f366004614c96565b611368565b34801561055057600080fd5b506102fb60001981565b34801561056657600080fd5b506102fb7f000000000000000000000000000000000000000000000000000000000003f48081565b34801561059a57600080fd5b506102d46105a9366004614d03565b611514565b3480156105ba57600080fd5b506102fb6105c9366004614daf565b6115c4565b3480156105da57600080fd5b506102fb6105e9366004614c96565b60009081526002602052604090206009015490565b34801561060a57600080fd5b5061061e610619366004614c96565b611728565b6040519015158152602001610305565b34801561063a57600080fd5b506106627f000000000000000000000000996f19d4b1ce6d5ad72ceaaa53152ceb1b187fd081565b6040516001600160a01b039091168152602001610305565b34801561068657600080fd5b506102d4610695366004614c96565b611773565b3480156106a657600080fd5b506102d46106b5366004614c96565b6117ae565b3480156106c657600080fd5b506106627f00000000000000000000000083d3f4769a19f1b43337888b0290f5473cf508b281565b3480156106fa57600080fd5b506102fb610709366004614c96565b6117b9565b34801561071a57600080fd5b5061032e610729366004614c96565b6117e2565b34801561073a57600080fd5b506102fb60035481565b34801561075057600080fd5b506102fb61075f366004614d03565b611899565b34801561077057600080fd5b506102d461077f366004614d03565b6119a1565b34801561079057600080fd5b506102d461079f366004614d03565b6119e3565b3480156107b057600080fd5b506102fb6107bf366004614d6c565b611a1a565b3480156107d057600080fd5b506102d46107df366004614c96565b611a6a565b3480156107f057600080fd5b506106627f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf127081565b6102d4610826366004614daf565b611ab7565b34801561083757600080fd5b5061032e610846366004614d6c565b611be8565b34801561085757600080fd5b506102fb66b1a2bc2ec5000081565b34801561087257600080fd5b506102fb610881366004614c96565b611cd5565b34801561089257600080fd5b506108a66108a1366004614c96565b611d18565b60405161030596959493929190614df1565b3480156108c457600080fd5b506102fb670de0b6b3a764000081565b3480156108e057600080fd5b506102fb6108ef366004614daf565b611d70565b34801561090057600080fd5b506102fb61090f366004614c96565b611eb5565b6102fb610922366004614c5a565b611fd8565b34801561093357600080fd5b506102d4610942366004614d25565b612149565b34801561095357600080fd5b506102fb602081565b34801561096857600080fd5b506104d761237d565b34801561097d57600080fd5b506102d461098c366004614d03565b6123d5565b34801561099d57600080fd5b506109b16109ac366004614d03565b6123e1565b60408051938452602084019290925290820152606001610305565b6102d46109da366004614c96565b612425565b3480156109eb57600080fd5b506102fb6109fa366004614d6c565b61255f565b348015610a0b57600080fd5b506102d4610a1a366004614c96565b6125fa565b600080610b99604051806101600160405280856000013581526020018560200135815260200185604001358152602001856060016020810190610a629190614e3c565b6001600160a01b03168152602001610a7d6080870187614e59565b80806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250505090825250602001610ac160a0870187614ea3565b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250505090825250602001610b0860c0870187614ea3565b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250505090825250602001610b53610100870160e08801614e3c565b6001600160a01b0316815261010086013560208201526101208601356040820152606001610b8961016087016101408801614e3c565b6001600160a01b031690526126a9565b9050610bc333308535610bb26080880160608901614e3c565b6001600160a01b0316929190612bd6565b92915050565b6000818152600260205260408120600f81015460609190839067ffffffffffffffff811115610bfa57610bfa614eea565b604051908082528060200260200182016040528015610c23578160200160208202803683370190505b50905060005b82600f0154811015610c785760008181526010840160205260409020600301548251839083908110610c5d57610c5d614f00565b6020908102919091010152610c7181614f2c565b9050610c29565b5060029091015494909350915050565b817f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b0316610cd85760405162461bcd60e51b8152600401610ccf90614f45565b60405180910390fd5b6000818152600260205260409020601101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b03908116911614610d355760405162461bcd60e51b8152600401610ccf90614f7c565b6000610d418484612c41565b604051632e1a7d4d60e01b8152600481018290529091507f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031690632e1a7d4d90602401600060405180830381600087803b158015610da657600080fd5b505af1158015610dba573d6000803e3d6000fd5b50506040516000925033915083908381818185875af1925050503d8060008114610e00576040519150601f19603f3d011682016040523d82523d6000602084013e610e05565b606091505b5050905080610e265760405162461bcd60e51b8152600401610ccf90614fb3565b5050505050565b610e35612ea2565b60008481526002602052604090206011810154610e5d906001600160a01b0316333085612bd6565b610e6985858585612efb565b50610e746001600055565b50505050565b600081815260026020526040812054829042118015610ebd5750600081815260026020819052604082206006015460ff1690811115610ebb57610ebb614ddb565b145b15610ecb57610ecb816131bc565b8260018060008381526002602081905260409091206006015460ff1690811115610ef757610ef7614ddb565b14610f145760405162461bcd60e51b8152600401610ccf90614fe1565b6000858152600260205260408082206009810154915163684e62bf60e11b8152889391926001600160a01b037f00000000000000000000000083d3f4769a19f1b43337888b0290f5473cf508b2169163d09cc57e91610f799160040190815260200190565b602060405180830381865afa158015610f96573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610fba9190615018565b6008830181905560408051828152426020820152919250899133917f67a6457c8912ae1b7a9fbdfa311cbd016ba606b548bf06bc80bc751072d91bbc910160405180910390a36110098861322c565b50600801549450611019816131bc565b50505050919050565b60008281526002602081905260408220829182918291829190600682015460ff16600281111561105457611054614ddb565b14611079576000806000806110698c8c61255f565b95509550955095509550506110ef565b6008810154600090815260108201602090815260408083206001600160a01b038b16845260048082018452828520546005808401865284872054928801865284872054908801909552929094205490939115159260ff9283169290151591166110e28d8d61255f565b9650965096509650965050505b9295509295909350565b6000818152600260205260408120600f8101546060929067ffffffffffffffff81111561112857611128614eea565b604051908082528060200260200182016040528015611151578160200160208202803683370190505b50905060005b82600f0154811015611191578082828151811061117657611176614f00565b602090810291909101015261118a81614f2c565b9050611157565b509392505050565b807f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b03166111e05760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b0390811691161461123d5760405162461bcd60e51b8152600401610ccf90614f7c565b60006112488361331e565b604051632e1a7d4d60e01b8152600481018290529091507f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031690632e1a7d4d90602401600060405180830381600087803b1580156112ad57600080fd5b505af11580156112c1573d6000803e3d6000fd5b50506040516000925033915083908381818185875af1925050503d8060008114611307576040519150601f19603f3d011682016040523d82523d6000602084013e61130c565b606091505b5050905080610e745760405162461bcd60e51b8152600401610ccf90614fb3565b611335612ea2565b61134184848484613509565b60008481526002602052604090206011810154610e69906001600160a01b0316338561381b565b807f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b03166113af5760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b0390811691161461140c5760405162461bcd60e51b8152600401610ccf90614f7c565b611414612ea2565b600061141f8361384b565b604051632e1a7d4d60e01b8152600481018290529091507f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031690632e1a7d4d90602401600060405180830381600087803b15801561148457600080fd5b505af1158015611498573d6000803e3d6000fd5b50506040516000925033915083908381818185875af1925050503d80600081146114de576040519150601f19603f3d011682016040523d82523d6000602084013e6114e3565b606091505b50509050806115045760405162461bcd60e51b8152600401610ccf90614fb3565b50506115106001600055565b5050565b817f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031661155b5760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b039081169116146115b85760405162461bcd60e51b8152600401610ccf90614f7c565b6000610d4184846138ed565b6000806115d084613ddd565b905060006115dd856117b9565b90506000670de0b6b3a76400006115f48389615031565b6115fe9190615048565b611608908861506a565b9050600083868151811061161e5761161e614f00565b602002602001015190506000670de0b6b3a76400008261163e9190615031565b905060005b85518110156116a45787811461169457600086828151811061166757611667614f00565b602002602001015190506116908582611680919061507d565b61168a8386615031565b90613e8a565b9250505b61169d81614f2c565b9050611643565b50600081116116f55760405162461bcd60e51b815260206004820152601b60248201527f6d7573742068617665206e6f6e2d7a65726f2062616c616e63657300000000006044820152606401610ccf565b61170781670de0b6b3a7640000613e8a565b611711848461507d565b61171b919061506a565b9998505050505050505050565b6000818152600260208190526040822090600682015460ff16600281111561175257611752614ddb565b146117605750600092915050565b600f810154600890910154101592915050565b600061177e82613ec4565b60008381526002602052604090206011810154919250906117a9906001600160a01b0316338461381b565b505050565b600061177e8261331e565b6000818152600260205260408120600e810154600a8201546117db919061507d565b9392505050565b6000818152600260205260408120600f81015460609190839067ffffffffffffffff81111561181357611813614eea565b60405190808252806020026020018201604052801561183c578160200160208202803683370190505b50905060005b82600f0154811015611885576118588682611899565b82828151811061186a5761186a614f00565b602090810291909101015261187e81614f2c565b9050611842565b5061188f85611eb5565b9590945092505050565b6000828152600260208190526040822090600682015460ff1660028111156118c3576118c3614ddb565b1480156118d657506118d484611728565b155b156118ff57600881015483146118ed5760006118f7565b670de0b6b3a76400005b915050610bc3565b670de0b6b3a764000060005b82600f015481101561197a5780851461196a576000818152601084016020526040808220600390810154888452919092209091015461195390670de0b6b3a764000090615031565b61195d9190615048565b611967908361507d565b91505b61197381614f2c565b905061190b565b508061198e670de0b6b3a764000080615031565b6119989190615048565b95945050505050565b6040805160008152602081019091526119bb8383836140c0565b60008381526002602052604090206011810154610e74906001600160a01b0316333086612bd6565b60006119ef83836138ed565b6000848152600260205260409020601181015491925090610e74906001600160a01b0316338461381b565b6000828152600260208181526040808420928301546001600160a01b038616855260048401909252832054611a5890670de0b6b3a764000090615031565b611a629190615048565b949350505050565b611a72612ea2565b6000611a7d8261384b565b6000838152600260205260409020601181015491925090611aa8906001600160a01b0316338461381b565b5050611ab46001600055565b50565b827f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b0316611afe5760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b03908116911614611b5b5760405162461bcd60e51b8152600401610ccf90614f7c565b611b63612ea2565b60003490507f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031663d0e30db0826040518263ffffffff1660e01b81526004016000604051808303818588803b158015611bc357600080fd5b505af1158015611bd7573d6000803e3d6000fd5b5050505050610e6985858584612efb565b6000828152600260205260408120600f81015460609190839067ffffffffffffffff811115611c1957611c19614eea565b604051908082528060200260200182016040528015611c42578160200160208202803683370190505b50905060005b82600f0154811015611cab57600081815260108401602090815260408083206001600160a01b038a1684526004019091529020548251839083908110611c9057611c90614f00565b6020908102919091010152611ca481614f2c565b9050611c48565b506001600160a01b03851660009081526004909201602052604090912054925090505b9250929050565b6000818152600260208190526040822090600682015460ff166002811115611cff57611cff614ddb565b14611d0e575060001992915050565b6008015492915050565b6000818152600260208190526040822060068101548154928201546001830154600384015486958695869586958695929460ff90921693929091611d5b8d611cd5565b949d939c50919a509850965090945092505050565b600080611d7c84613ddd565b90506000611d89856117b9565b90506000611d9f82670de0b6b3a764000061506a565b611db1670de0b6b3a764000089615031565b611dbb9190615048565b90506000838681518110611dd157611dd1614f00565b602002602001015190506000670de0b6b3a764000082611df19190615031565b905060005b8551811015611e4757878114611e37576000868281518110611e1a57611e1a614f00565b60200260200101519050611e338582611680919061506a565b9250505b611e4081614f2c565b9050611df6565b5060008111611e985760405162461bcd60e51b815260206004820152601b60248201527f6d7573742068617665206e6f6e2d7a65726f2062616c616e63657300000000006044820152606401610ccf565b81611eab82670de0b6b3a7640000613e8a565b611711908561507d565b6000818152600260208190526040822090600682015460ff166002811115611edf57611edf614ddb565b148015611ef25750611ef083611728565b155b15611f3257600281015460088201546000908152601083016020526040902060030154611f2890670de0b6b3a764000090615031565b6117db9190615048565b6000805b82600f0154811015611f9157600081815260108401602052604090206003810154611f69670de0b6b3a764000080615031565b611f739190615048565b611f7d908461507d565b92505080611f8a90614f2c565b9050611f36565b50808260020154670de0b6b3a764000080670de0b6b3a764000086600f0154611fba9190615031565b611fc49190615031565b611fce9190615031565b611a589190615048565b60006001600160a01b037f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf1270166120146080840160608501614e3c565b6001600160a01b03161461203a5760405162461bcd60e51b8152600401610ccf90614f7c565b3482351461208a5760405162461bcd60e51b815260206004820152601e60248201527f76616c756520646f6573206e6f74206d6174636820617267756d656e747300006044820152606401610ccf565b60006120cc604051806101600160405280856000013581526020018560200135815260200185604001358152602001856060016020810190610a629190614e3c565b90507f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031663d0e30db0346040518263ffffffff1660e01b81526004016000604051808303818588803b15801561212957600080fd5b505af115801561213d573d6000803e3d6000fd5b50939695505050505050565b837f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b03166121905760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b039081169116146121ed5760405162461bcd60e51b8152600401610ccf90614f7c565b6121f5612ea2565b600085815260026020526040902060118101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b039081169116146122835760405162461bcd60e51b815260206004820152601860248201527f6d61726b657420746f6b656e206973206e6f74205745544800000000000000006044820152606401610ccf565b61228f86868686613509565b604051632e1a7d4d60e01b8152600481018590527f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031690632e1a7d4d90602401600060405180830381600087803b1580156122f157600080fd5b505af1158015612305573d6000803e3d6000fd5b50506040516000925033915086908381818185875af1925050503d806000811461234b576040519150601f19603f3d011682016040523d82523d6000602084013e612350565b606091505b50509050806123715760405162461bcd60e51b8152600401610ccf90614fb3565b5050610e266001600055565b606060018054806020026020016040519081016040528092919081815260200182805480156123cb57602002820191906000526020600020905b8154815260200190600101908083116123b7575b5050505050905090565b60006119ef8383612c41565b60008281526002602090815260408083208484526010810190925282208291829161240c8787611899565b6003820154600290920154909891975095509350505050565b807f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031661246c5760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b039081169116146124c95760405162461bcd60e51b8152600401610ccf90614f7c565b60408051600081526020810190915234906124e58483836140c0565b7f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b031663d0e30db0836040518263ffffffff1660e01b81526004016000604051808303818588803b15801561254057600080fd5b505af1158015612554573d6000803e3d6000fd5b505050505050505050565b6000828152600260208181526040808420928301546001600160a01b038616855260048401909252832054600b83015484929161259b91615031565b6125a59190615048565b6001600160a01b0385166000908152600c840160205260409020549091508110156125d557600092505050610bc3565b6001600160a01b0384166000908152600c83016020526040902054611998908261506a565b807f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b03166126415760405162461bcd60e51b8152600401610ccf90614f45565b6000818152600260205260409020601101547f0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf12706001600160a01b0390811691161461269e5760405162461bcd60e51b8152600401610ccf90614f7c565b600061124883613ec4565b60007f00000000000000000000000000000000000000000000003635c9adc5dea00000158061278057506040516370a0823160e01b81523360048201527f00000000000000000000000000000000000000000000003635c9adc5dea00000907f000000000000000000000000996f19d4b1ce6d5ad72ceaaa53152ceb1b187fd06001600160a01b0316906370a0823190602401602060405180830381865afa158015612759573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061277d9190615018565b10155b6127cc5760405162461bcd60e51b815260206004820152601e60248201527f6d696e696d756d2065726332302062616c616e6365206e6f742068656c6400006044820152606401610ccf565b600354600180548082019091557fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf601819055600081815260026020526040902083516128525760405162461bcd60e51b815260206004820152601560248201527407374616b65206e6565647320746f206265203e203605c1b6044820152606401610ccf565b428460200151116128a55760405162461bcd60e51b815260206004820152601e60248201527f7265736f6c7574696f6e206265666f72652063757272656e74206461746500006044820152606401610ccf565b60e08401516001600160a01b03166128ff5760405162461bcd60e51b815260206004820152601a60248201527f696e76616c69642061726269747261746f7220616464726573730000000000006044820152606401610ccf565b6000846040015111801561291857506020846040015111155b6129645760405162461bcd60e51b815260206004820152601e60248201527f6f7574636f6d6520636f756e74206e6f74206265747765656e20312d333200006044820152606401610ccf565b66b1a2bc2ec5000084610100015111156129b45760405162461bcd60e51b8152602060048201526011602482015270666565206d757374206265203c3d20352560781b6044820152606401610ccf565b66b1a2bc2ec500008461012001511115612a105760405162461bcd60e51b815260206004820152601a60248201527f747265617375727920666565206d757374206265203c3d2035250000000000006044820152606401610ccf565b60608401516011820180546001600160a01b03199081166001600160a01b0393841617909155602086015180845560068401805460ff19169055610100870151600a850155610120870151600e850155610140870151600d85018054909316908416179091556000196008840155604080870151600f85015560a087015160e0880151915163d4876b9f60e01b81527f00000000000000000000000083d3f4769a19f1b43337888b0290f5473cf508b29094169363d4876b9f93612b03936002939290917f000000000000000000000000000000000000000000000000000000000003f4809160009081906004016150e0565b6020604051808303816000875af1158015612b22573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612b469190615018565b600982015583516080850151612b5d9184916140c0565b612b668261322c565b81336001600160a01b03167f57c2e8e67a3a13bc1991cd4ba3ed6733e269f1de098668140234d41dcb145ee486604001518760a001518860c001518960600151604051612bb69493929190615130565b60405180910390a3600354612bcc90600161507d565b6003555092915050565b6040516001600160a01b0380851660248301528316604482015260648101829052610e749085906323b872dd60e01b906084015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b03199093169290921790915261473c565b60008260028060008381526002602081905260409091206006015460ff1690811115612c6f57612c6f614ddb565b14612c8c5760405162461bcd60e51b8152600401610ccf90614fe1565b600085815260026020908152604080832087845260108101909252909120612cb387611728565b612cf65760405162461bcd60e51b81526020600482015260146024820152731b585c9ad95d081a5cc81b9bdd081d9bda59195960621b6044820152606401610ccf565b336000908152600482016020526040902054612d545760405162461bcd60e51b815260206004820181905260248201527f7573657220646f65736e277420686f6c64206f7574636f6d65207368617265736044820152606401610ccf565b33600090815260068201602052604090205460ff1615612db65760405162461bcd60e51b815260206004820152601b60248201527f7573657220616c726561647920636c61696d65642073686172657300000000006044820152606401610ccf565b6000612dc28888611899565b33600090815260048401602052604081205491925090670de0b6b3a764000090612dec9084615031565b612df69190615048565b90508084600101541015612e1c5760405162461bcd60e51b8152600401610ccf90615175565b808460010154612e2c919061506a565b6001858101919091553360008181526006860160209081526040808320805460ff1916909517909455600487018152908390205483518c8152918201529182018390524260608301528a91600791906000805160206152278339815191529060800160405180910390a498975050505050505050565b600260005403612ef45760405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610ccf565b6002600055565b600084815260026020526040902054849042118015612f3e5750600081815260026020819052604082206006015460ff1690811115612f3c57612f3c614ddb565b145b15612f4c57612f4c816131bc565b8460008060008381526002602081905260409091206006015460ff1690811115612f7857612f78614ddb565b14612f955760405162461bcd60e51b8152600401610ccf90614fe1565b600087815260026020526040812090612faf868a8a6115c4565b9050868110156130015760405162461bcd60e51b815260206004820152601e60248201527f6d696e696d756d2062757920616d6f756e74206e6f74207265616368656400006044820152606401610ccf565b600081116130465760405162461bcd60e51b8152602060048201526012602482015271073686172657320616d6f756e7420697320360741b6044820152606401610ccf565b600a820154600090670de0b6b3a7640000906130629089615031565b61306c9190615048565b600b84015490915061307f90829061507d565b600b8401556000613090828961506a565b90506000670de0b6b3a764000085600a01600401548a6130b09190615031565b6130ba9190615048565b90506130c6818361506a565b60008c815260108701602052604090209092506130e38d8461480e565b60038101548511156131375760405162461bcd60e51b815260206004820152601e60248201527f73686172657320706f6f6c2062616c616e636520697320746f6f206c6f7700006044820152606401610ccf565b613143338e8e886148a5565b8c6000604080518f8152602081018990529081018d905242606082015233906000805160206152278339815191529060800160405180910390a46131868d61322c565b81156131ad57600d86015460118701546131ad916001600160a01b0391821691168461381b565b50505050505050505050505050565b60008181526002602081905260409091206006810154909160ff909116908111156131e9576131e9614ddb565b6131f490600161507d565b600281111561320557613205614ddb565b60068201805460ff1916600183600281111561322357613223614ddb565b02179055505050565b6000818152600260205260408120600f81015490919067ffffffffffffffff81111561325a5761325a614eea565b604051908082528060200260200182016040528015613283578160200160208202803683370190505b50905060005b82600f01548110156132d857600081815260108401602052604090206003015482518390839081106132bd576132bd614f00565b60209081029190910101526132d181614f2c565b9050613289565b50827fb1bbae7680415a1349ae813ba7d737ca09df07db1f6ce058b3e0812ec15e888642838560020154604051613311939291906151ac565b60405180910390a2505050565b60008160028060008381526002602081905260409091206006015460ff169081111561334c5761334c614ddb565b146133695760405162461bcd60e51b8152600401610ccf90614fe1565b600084815260026020908152604080832060088101548452601081018352818420338552600481019093529220546133e35760405162461bcd60e51b815260206004820181905260248201527f7573657220646f65736e277420686f6c64206f7574636f6d65207368617265736044820152606401610ccf565b33600090815260058201602052604090205460ff16156134455760405162461bcd60e51b815260206004820152601d60248201527f7573657220616c726561647920636c61696d65642077696e6e696e67730000006044820152606401610ccf565b336000908152600482016020526040902054600183015481111561347b5760405162461bcd60e51b8152600401610ccf90615175565b80836001015461348b919061506a565b6001808501919091553360009081526005840160205260409020805460ff19169091179055866004600885015433600081815260048701602090815260409182902054825194855290840152820185905242606083015290600080516020615227833981519152906080015b60405180910390a49695505050505050565b60008481526002602052604090205484904211801561354c5750600081815260026020819052604082206006015460ff169081111561354a5761354a614ddb565b145b1561355a5761355a816131bc565b8460008060008381526002602081905260409091206006015460ff169081111561358657613586614ddb565b146135a35760405162461bcd60e51b8152600401610ccf90614fe1565b600087815260026020908152604080832089845260108101909252822090916135cd888b8b611d70565b90508681111561361f5760405162461bcd60e51b815260206004820152601c60248201527f6d6178696d756d2073656c6c20616d6f756e74206578636565646564000000006044820152606401610ccf565b600081116136645760405162461bcd60e51b8152602060048201526012602482015271073686172657320616d6f756e7420697320360741b6044820152606401610ccf565b3360009081526004830160205260409020548111156136c55760405162461bcd60e51b815260206004820152601b60248201527f696e73756666696369656e74207368617265732062616c616e636500000000006044820152606401610ccf565b6136d1338b8b84614935565b60006136dc8b6117b9565b905060006136f282670de0b6b3a764000061506a565b600a860154613701908c615031565b61370b9190615048565b600b86015490915061371e90829061507d565b600b86015550600061373882670de0b6b3a764000061506a565b613742838c615031565b61374c9190615048565b613756908b61507d565b9050808560010154101561377c5760405162461bcd60e51b8152600401610ccf90615175565b6137868c826149b5565b8b6001604080518e8152602081018790529081018d905242606082015233906000805160206152278339815191529060800160405180910390a46137c98c61322c565b60006137dd83670de0b6b3a764000061506a565b600e8701546137ec908d615031565b6137f69190615048565b905080156131ad57600d86015460118701546131ad916001600160a01b039182169116835b6040516001600160a01b0383166024820152604481018290526117a990849063a9059cbb60e01b90606401612c0a565b600081815260026020526040812081613864843361255f565b9050801561389c57336000908152600c8301602052604090205461388990829061507d565b336000908152600c840160205260409020555b83600633600081815260048601602090815260408083205481519384529183019190915281018590524260608201526000805160206152278339815191529060800160405180910390a49392505050565b6000828152600260205260408120548390421180156139305750600081815260026020819052604082206006015460ff169081111561392e5761392e614ddb565b145b1561393e5761393e816131bc565b8360008060008381526002602081905260409091206006015460ff169081111561396a5761396a614ddb565b146139875760405162461bcd60e51b8152600401610ccf90614fe1565b600086815260026020908152604080832033845260048101909252909120548611156139f55760405162461bcd60e51b815260206004820152601b60248201527f696e73756666696369656e74207368617265732062616c616e636500000000006044820152606401610ccf565b6139fe87611a6a565b613a0a87876003614a42565b6000613a1588613ddd565b90506000815167ffffffffffffffff811115613a3357613a33614eea565b604051908082528060200260200182016040528015613a5c578160200160208202803683370190505b50905060001960005b8351811015613aa9576000848281518110613a8257613a82614f00565b6020026020010151905080831115613a98578092505b50613aa281614f2c565b9050613a65565b506002840154600090613abc838c615031565b613ac69190615048565b905060005b8451811015613b785785600201548b868381518110613aec57613aec614f00565b6020026020010151613afe9190615031565b613b089190615048565b848281518110613b1a57613b1a614f00565b60200260200101818152505081848281518110613b3957613b39614f00565b6020026020010151613b4b919061506a565b848281518110613b5d57613b5d614f00565b6020908102919091010152613b7181614f2c565b9050613acb565b50613b838b826149b5565b898560020154613b93919061506a565b6002860155336000908152600486016020526040902054613bb5908b9061506a565b3360009081526004870160205260408120919091555b8451811015613c2b576000848281518110613be857613be8614f00565b60200260200101511115613c1b57613c1b338d83878581518110613c0e57613c0e614f00565b60200260200101516148a5565b613c2481614f2c565b9050613bcb565b506000613c398c6000611899565b905060005b8551811015613d43576000858281518110613c5b57613c5b614f00565b60200260200101511115613d335760008181526010880160205260408082206003908101548380529183200154613c929085615031565b613c9c9190615048565b90508d6000336001600160a01b0316600080516020615227833981519152858a8781518110613ccd57613ccd614f00565b6020026020010151670de0b6b3a7640000878d8a81518110613cf157613cf1614f00565b6020026020010151613d039190615031565b613d0d9190615048565b6040805193845260208401929092529082015242606082015260800160405180910390a4505b613d3c81614f2c565b9050613c3e565b508b60036040805160008152602081018f905290810185905242606082015233906000805160206152278339815191529060800160405180910390a48b7f1eca98f266e5348ae38d5d057a4d8e451e76672f69ac6ba4b0e3b31ea9c7eb2b8760020154613daf8f611eb5565b604080519283526020830191909152429082015260600160405180910390a2509a9950505050505050505050565b6000818152600260205260408120600f8101546060929067ffffffffffffffff811115613e0c57613e0c614eea565b604051908082528060200260200182016040528015613e35578160200160208202803683370190505b50905060005b82600f01548110156111915760008181526010840160205260409020600301548251839083908110613e6f57613e6f614f00565b6020908102919091010152613e8381614f2c565b9050613e3b565b60008215613eba5781613e9e60018561506a565b613ea89190615048565b613eb390600161507d565b9050610bc3565b6117db8284615048565b60008160028060008381526002602081905260409091206006015460ff1690811115613ef257613ef2614ddb565b14613f0f5760405162461bcd60e51b8152600401610ccf90614fe1565b6000848152600260205260409020613f2685611a6a565b336000908152600482016020526040902054613f845760405162461bcd60e51b815260206004820152601860248201527f7573657220646f65736e277420686f6c642073686172657300000000000000006044820152606401610ccf565b33600090815260058201602052604090205460ff1615613fe65760405162461bcd60e51b815260206004820152601b60248201527f7573657220616c726561647920636c61696d65642073686172657300000000006044820152606401610ccf565b6000613ff186611eb5565b33600090815260048401602052604081205491925090670de0b6b3a76400009061401b9084615031565b6140259190615048565b9050808360010154101561404b5760405162461bcd60e51b8152600401610ccf90615175565b80836001015461405b919061506a565b600184810191909155336000818152600580870160209081526040808420805460ff19169096179095556004880181528483205485519384529083015292810184905242606082015289929190600080516020615227833981519152906080016134f7565b6000838152600260205260409020548390421180156141035750600081815260026020819052604082206006015460ff169081111561410157614101614ddb565b145b1561411157614111816131bc565b8360008060008381526002602081905260409091206006015460ff169081111561413d5761413d614ddb565b1461415a5760405162461bcd60e51b8152600401610ccf90614fe1565b6000868152600260205260409020856141b55760405162461bcd60e51b815260206004820152601f60248201527f7374616b652068617320746f2062652067726561746572207468616e20302e006044820152606401610ccf565b6000806141c189613ddd565b90506000815167ffffffffffffffff8111156141df576141df614eea565b604051908082528060200260200182016040528015614208578160200160208202803683370190505b5090506000808560020154111561434f578851156142605760405162461bcd60e51b81526020600482015260156024820152741b585c9ad95d08185b1c9958591e48199d5b991959605a1b6044820152606401610ccf565b60005b83518110156142a757600084828151811061428057614280614f00565b6020026020010151905080831015614296578092505b506142a081614f2c565b9050614263565b5060005b8351811015614320576000828583815181106142c9576142c9614f00565b60200260200101518d6142dc9190615031565b6142e69190615048565b90506142f2818d61506a565b84838151811061430457614304614f00565b60209081029190910101525061431981614f2c565b90506142ab565b508085600201548b6143329190615031565b61433c9190615048565b935061434a8b856002614a42565b6144bf565b8851156144bb5782518951146143a75760405162461bcd60e51b815260206004820181905260248201527f646973747269627574696f6e206c656e677468206e6f74206d61746368696e676044820152606401610ccf565b6000805b8a518110156143ef5760008b82815181106143c8576143c8614f00565b60200260200101519050808310156143de578092505b506143e881614f2c565b90506143ab565b5060005b8a518110156144b8576000828c838151811061441157614411614f00565b60200260200101518e6144249190615031565b61442e9190615048565b9050600081116144805760405162461bcd60e51b815260206004820152601e60248201527f6d7573742068696e7420612076616c696420646973747269627574696f6e00006044820152606401610ccf565b61448a818e61506a565b85838151811061449c5761449c614f00565b6020908102919091010152506144b181614f2c565b90506143f3565b50505b8993505b8385600201546144cf919061507d565b60028601553360009081526004860160205260409020546144f190859061507d565b33600090815260048701602052604090205561450d8b8b61480e565b60005b825181101561456357600083828151811061452d5761452d614f00565b6020026020010151111561455357614553338d83868581518110613c0e57613c0e614f00565b61455c81614f2c565b9050614510565b5060006145718c6000611899565b905060005b835181101561467b57600084828151811061459357614593614f00565b6020026020010151111561466b57600081815260108801602052604080822060039081015483805291832001546145ca9085615031565b6145d49190615048565b90508d6000336001600160a01b03166000805160206152278339815191528589878151811061460557614605614f00565b6020026020010151670de0b6b3a7640000878c8a8151811061462957614629614f00565b602002602001015161463b9190615031565b6146459190615048565b6040805193845260208401929092529082015242606082015260800160405180910390a4505b61467481614f2c565b9050614576565b505060006146888c611eb5565b90506000670de0b6b3a764000061469f8784615031565b6146a99190615048565b90508c60026040805160008152602081018a905290810184905242606082015233906000805160206152278339815191529060800160405180910390a46002870154604080519182526020820184905242908201528d907f1eca98f266e5348ae38d5d057a4d8e451e76672f69ac6ba4b0e3b31ea9c7eb2b9060600160405180910390a250505050505050505050505050565b6000614791826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b0316614b219092919063ffffffff16565b8051909150156117a957808060200190518101906147af91906151d5565b6117a95760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b6064820152608401610ccf565b6000828152600260205260408120905b81600f015481101561488a5760008181526010830160205260409020600381015461484a90859061507d565b6003820155600281015461485f90859061507d565b6002820155600383015461487490859061507d565b60038401555061488381614f2c565b905061481e565b5081816001015461489b919061507d565b6001909101555050565b60008381526002602090815260408083208584526010810183528184206001600160a01b0389168552600481019093529220546148e390849061507d565b6001600160a01b0387166000908152600483016020526040902055600381015461490e90849061506a565b60038083019190915582015461492590849061506a565b8260030181905550505050505050565b60008381526002602090815260408083208584526010810183528184206001600160a01b03891685526004810190935292205461497390849061506a565b6001600160a01b0387166000908152600483016020526040902055600381015461499e90849061507d565b60038083019190915582015461492590849061507d565b6000828152600260205260408120905b81600f0154811015614a31576000818152601083016020526040902060038101546149f190859061506a565b60038201556002810154614a0690859061506a565b60028201556003830154614a1b90859061506a565b600384015550614a2a81614f2c565b90506149c5565b5081816001015461489b919061506a565b6000838152600260208190526040822090810154600b820154919291614a689086615031565b614a729190615048565b90506002836007811115614a8857614a88614ddb565b03614ad657600b820154614a9d90829061507d565b600b830155336000908152600c83016020526040902054614abf90829061507d565b336000908152600c84016020526040902055610e26565b600b820154614ae690829061506a565b600b830155336000908152600c83016020526040902054614b0890829061506a565b336000908152600c840160205260409020555050505050565b6060611a62848460008585600080866001600160a01b03168587604051614b4891906151f7565b60006040518083038185875af1925050503d8060008114614b85576040519150601f19603f3d011682016040523d82523d6000602084013e614b8a565b606091505b5091509150614b9b87838387614ba6565b979650505050505050565b60608315614c15578251600003614c0e576001600160a01b0385163b614c0e5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610ccf565b5081611a62565b611a628383815115614c2a5781518083602001fd5b8060405162461bcd60e51b8152600401610ccf9190615213565b634e487b7160e01b600052600160045260246000fd5b600060208284031215614c6c57600080fd5b813567ffffffffffffffff811115614c8357600080fd5b820161016081850312156117db57600080fd5b600060208284031215614ca857600080fd5b5035919050565b600081518084526020808501945080840160005b83811015614cdf57815187529582019590820190600101614cc3565b509495945050505050565b828152604060208201526000611a626040830184614caf565b60008060408385031215614d1657600080fd5b50508035926020909101359150565b60008060008060808587031215614d3b57600080fd5b5050823594602084013594506040840135936060013592509050565b6001600160a01b0381168114611ab457600080fd5b60008060408385031215614d7f57600080fd5b823591506020830135614d9181614d57565b809150509250929050565b6020815260006117db6020830184614caf565b600080600060608486031215614dc457600080fd5b505081359360208301359350604090920135919050565b634e487b7160e01b600052602160045260246000fd5b60c0810160038810614e1357634e487b7160e01b600052602160045260246000fd5b968152602081019590955260408501939093526060840191909152608083015260a09091015290565b600060208284031215614e4e57600080fd5b81356117db81614d57565b6000808335601e19843603018112614e7057600080fd5b83018035915067ffffffffffffffff821115614e8b57600080fd5b6020019150600581901b3603821315611cce57600080fd5b6000808335601e19843603018112614eba57600080fd5b83018035915067ffffffffffffffff821115614ed557600080fd5b602001915036819003821315611cce57600080fd5b634e487b7160e01b600052604160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201614f3e57614f3e614f16565b5060010190565b60208082526019908201527f5745544820616464726573732069732061646472657373203000000000000000604082015260600190565b60208082526018908201527f4d61726b657420746f6b656e206973206e6f7420574554480000000000000000604082015260600190565b6020808252601490820152732330b4b632b2103a379039b2b7321022ba3432b960611b604082015260600190565b60208082526019908201527f4d61726b657420696e20696e636f727265637420737461746500000000000000604082015260600190565b60006020828403121561502a57600080fd5b5051919050565b8082028115828204841417610bc357610bc3614f16565b60008261506557634e487b7160e01b600052601260045260246000fd5b500490565b81810381811115610bc357610bc3614f16565b80820180821115610bc357610bc3614f16565b60005b838110156150ab578181015183820152602001615093565b50506000910152565b600081518084526150cc816020860160208601615090565b601f01601f19169290920160200192915050565b87815260e0602082015260006150f960e08301896150b4565b6001600160a01b039790971660408301525063ffffffff948516606082015292909316608083015260a082015260c0015292915050565b84815260806020820152600061514960808301866150b4565b828103604084015261515b81866150b4565b91505060018060a01b038316606083015295945050505050565b6020808252601b908201527f696e73756666696369656e74206d61726b65742062616c616e63650000000000604082015260600190565b8381526060602082015260006151c56060830185614caf565b9050826040830152949350505050565b6000602082840312156151e757600080fd5b815180151581146117db57600080fd5b60008251615209818460208701615090565b9190910192915050565b6020815260006117db60208301846150b456fe9dcabe311735ed0d65f0c22c5425d1f17331f94c9d0767f59e58473cf95ada61a264697066735822122039847f7fd6309f7e750e2dd7aabee3217549a095da4ba6ff61c471257125c9db64736f6c63430008120033

000000000000000000000000996f19d4b1ce6d5ad72ceaaa53152ceb1b187fd000000000000000000000000000000000000000000000003635c9adc5dea0000000000000000000000000000083d3f4769a19f1b43337888b0290f5473cf508b2000000000000000000000000000000000000000000000000000000000003f4800000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf1270

-----Decoded View---------------
Arg [0] : _requiredBalanceToken (address): 0x996F19d4b1cE6D5AD72CEaaa53152CEB1B187fD0
Arg [1] : _requiredBalance (uint256): 1000000000000000000000
Arg [2] : _realitioAddress (address): 0x83d3f4769A19F1B43337888B0290F5473cf508b2
Arg [3] : _realitioTimeout (uint256): 259200
Arg [4] : _WETH (address): 0x0d500B1d8E8eF31E21C99d1Db9A6444d3ADf1270

-----Encoded View---------------
5 Constructor Arguments found :
Arg [0] : 000000000000000000000000996f19d4b1ce6d5ad72ceaaa53152ceb1b187fd0
Arg [1] : 00000000000000000000000000000000000000000000003635c9adc5dea00000
Arg [2] : 00000000000000000000000083d3f4769a19f1b43337888b0290f5473cf508b2
Arg [3] : 000000000000000000000000000000000000000000000000000000000003f480
Arg [4] : 0000000000000000000000000d500b1d8e8ef31e21c99d1db9a6444d3adf1270