Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-03-19
*/

// https://tornado.cash
/*
 * d888888P                                           dP              a88888b.                   dP
 *    88                                              88             d8'   `88                   88
 *    88    .d8888b. 88d888b. 88d888b. .d8888b. .d888b88 .d8888b.    88        .d8888b. .d8888b. 88d888b.
 *    88    88'  `88 88'  `88 88'  `88 88'  `88 88'  `88 88'  `88    88        88'  `88 Y8ooooo. 88'  `88
 *    88    88.  .88 88       88    88 88.  .88 88.  .88 88.  .88 dP Y8.   .88 88.  .88       88 88    88
 *    dP    `88888P' dP       dP    dP `88888P8 `88888P8 `88888P' 88  Y88888P' `88888P8 `88888P' dP    dP
 * ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
 */

// File: contracts/MerkleTreeWithHistory.sol

pragma solidity ^0.7.0;
// SPDX-License-Identifier: MIT
interface IHasher {
  function MiMCSponge(uint256 in_xL, uint256 in_xR) external pure returns (uint256 xL, uint256 xR);
}

contract MerkleTreeWithHistory {
  uint256 public constant FIELD_SIZE = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
  uint256 public constant ZERO_VALUE = 21663839004416932945382355908790599225266501822907911457504978515578255421292; // = keccak256("tornado") % FIELD_SIZE

  IHasher public immutable hasher;
  uint32 public immutable levels;

  // the following variables are made public for easier testing and debugging and
  // are not supposed to be accessed in regular code

  // filledSubtrees and roots could be bytes32[size], but using mappings makes it cheaper because
  // it removes index range check on every interaction
  mapping(uint256 => bytes32) public filledSubtrees;
  mapping(uint256 => bytes32) public roots;
  uint32 public constant ROOT_HISTORY_SIZE = 30;
  uint32 public currentRootIndex = 0;
  uint32 public nextIndex = 0;

  constructor(uint32 _levels, IHasher _hasher) {
    require(_levels > 0, "_levels should be greater than zero");
    require(_levels < 32, "_levels should be less than 32");
    levels = _levels;
    hasher = _hasher;

    for (uint32 i = 0; i < _levels; i++) {
      filledSubtrees[i] = zeros(i);
    }

    roots[0] = zeros(_levels - 1);
  }

  /**
    @dev Hash 2 tree leaves, returns MiMC(_left, _right)
  */
  function hashLeftRight(
    IHasher _hasher,
    bytes32 _left,
    bytes32 _right
  ) public pure returns (bytes32) {
    require(uint256(_left) < FIELD_SIZE, "_left should be inside the field");
    require(uint256(_right) < FIELD_SIZE, "_right should be inside the field");
    uint256 R = uint256(_left);
    uint256 C = 0;
    (R, C) = _hasher.MiMCSponge(R, C);
    R = addmod(R, uint256(_right), FIELD_SIZE);
    (R, C) = _hasher.MiMCSponge(R, C);
    return bytes32(R);
  }

  function _insert(bytes32 _leaf) internal returns (uint32 index) {
    uint32 _nextIndex = nextIndex;
    require(_nextIndex != uint32(2)**levels, "Merkle tree is full. No more leaves can be added");
    uint32 currentIndex = _nextIndex;
    bytes32 currentLevelHash = _leaf;
    bytes32 left;
    bytes32 right;

    for (uint32 i = 0; i < levels; i++) {
      if (currentIndex % 2 == 0) {
        left = currentLevelHash;
        right = zeros(i);
        filledSubtrees[i] = currentLevelHash;
      } else {
        left = filledSubtrees[i];
        right = currentLevelHash;
      }
      currentLevelHash = hashLeftRight(hasher, left, right);
      currentIndex /= 2;
    }

    uint32 newRootIndex = (currentRootIndex + 1) % ROOT_HISTORY_SIZE;
    currentRootIndex = newRootIndex;
    roots[newRootIndex] = currentLevelHash;
    nextIndex = _nextIndex + 1;
    return _nextIndex;
  }

  /**
    @dev Whether the root is present in the root history
  */
  function isKnownRoot(bytes32 _root) public view returns (bool) {
    if (_root == 0) {
      return false;
    }
    uint32 _currentRootIndex = currentRootIndex;
    uint32 i = _currentRootIndex;
    do {
      if (_root == roots[i]) {
        return true;
      }
      if (i == 0) {
        i = ROOT_HISTORY_SIZE;
      }
      i--;
    } while (i != _currentRootIndex);
    return false;
  }

  /**
    @dev Returns the last root
  */
  function getLastRoot() public view returns (bytes32) {
    return roots[currentRootIndex];
  }

  /// @dev provides Zero (Empty) elements for a MiMC MerkleTree. Up to 32 levels
  function zeros(uint256 i) public pure returns (bytes32) {
    if (i == 0) return bytes32(0x2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c);
    else if (i == 1) return bytes32(0x256a6135777eee2fd26f54b8b7037a25439d5235caee224154186d2b8a52e31d);
    else if (i == 2) return bytes32(0x1151949895e82ab19924de92c40a3d6f7bcb60d92b00504b8199613683f0c200);
    else if (i == 3) return bytes32(0x20121ee811489ff8d61f09fb89e313f14959a0f28bb428a20dba6b0b068b3bdb);
    else if (i == 4) return bytes32(0x0a89ca6ffa14cc462cfedb842c30ed221a50a3d6bf022a6a57dc82ab24c157c9);
    else if (i == 5) return bytes32(0x24ca05c2b5cd42e890d6be94c68d0689f4f21c9cec9c0f13fe41d566dfb54959);
    else if (i == 6) return bytes32(0x1ccb97c932565a92c60156bdba2d08f3bf1377464e025cee765679e604a7315c);
    else if (i == 7) return bytes32(0x19156fbd7d1a8bf5cba8909367de1b624534ebab4f0f79e003bccdd1b182bdb4);
    else if (i == 8) return bytes32(0x261af8c1f0912e465744641409f622d466c3920ac6e5ff37e36604cb11dfff80);
    else if (i == 9) return bytes32(0x0058459724ff6ca5a1652fcbc3e82b93895cf08e975b19beab3f54c217d1c007);
    else if (i == 10) return bytes32(0x1f04ef20dee48d39984d8eabe768a70eafa6310ad20849d4573c3c40c2ad1e30);
    else if (i == 11) return bytes32(0x1bea3dec5dab51567ce7e200a30f7ba6d4276aeaa53e2686f962a46c66d511e5);
    else if (i == 12) return bytes32(0x0ee0f941e2da4b9e31c3ca97a40d8fa9ce68d97c084177071b3cb46cd3372f0f);
    else if (i == 13) return bytes32(0x1ca9503e8935884501bbaf20be14eb4c46b89772c97b96e3b2ebf3a36a948bbd);
    else if (i == 14) return bytes32(0x133a80e30697cd55d8f7d4b0965b7be24057ba5dc3da898ee2187232446cb108);
    else if (i == 15) return bytes32(0x13e6d8fc88839ed76e182c2a779af5b2c0da9dd18c90427a644f7e148a6253b6);
    else if (i == 16) return bytes32(0x1eb16b057a477f4bc8f572ea6bee39561098f78f15bfb3699dcbb7bd8db61854);
    else if (i == 17) return bytes32(0x0da2cb16a1ceaabf1c16b838f7a9e3f2a3a3088d9e0a6debaa748114620696ea);
    else if (i == 18) return bytes32(0x24a3b3d822420b14b5d8cb6c28a574f01e98ea9e940551d2ebd75cee12649f9d);
    else if (i == 19) return bytes32(0x198622acbd783d1b0d9064105b1fc8e4d8889de95c4c519b3f635809fe6afc05);
    else if (i == 20) return bytes32(0x29d7ed391256ccc3ea596c86e933b89ff339d25ea8ddced975ae2fe30b5296d4);
    else if (i == 21) return bytes32(0x19be59f2f0413ce78c0c3703a3a5451b1d7f39629fa33abd11548a76065b2967);
    else if (i == 22) return bytes32(0x1ff3f61797e538b70e619310d33f2a063e7eb59104e112e95738da1254dc3453);
    else if (i == 23) return bytes32(0x10c16ae9959cf8358980d9dd9616e48228737310a10e2b6b731c1a548f036c48);
    else if (i == 24) return bytes32(0x0ba433a63174a90ac20992e75e3095496812b652685b5e1a2eae0b1bf4e8fcd1);
    else if (i == 25) return bytes32(0x019ddb9df2bc98d987d0dfeca9d2b643deafab8f7036562e627c3667266a044c);
    else if (i == 26) return bytes32(0x2d3c88b23175c5a5565db928414c66d1912b11acf974b2e644caaac04739ce99);
    else if (i == 27) return bytes32(0x2eab55f6ae4e66e32c5189eed5c470840863445760f5ed7e7b69b2a62600f354);
    else if (i == 28) return bytes32(0x002df37a2642621802383cf952bf4dd1f32e05433beeb1fd41031fb7eace979d);
    else if (i == 29) return bytes32(0x104aeb41435db66c3e62feccc1d6f5d98d0a0ed75d1374db457cf462e3a1f427);
    else if (i == 30) return bytes32(0x1f3c6fd858e9a7d4b0d1f38e256a09d81d5a5e3c963987e2d4b814cfab7c6ebb);
    else if (i == 31) return bytes32(0x2c7a07d20dff79d01fecedc1134284a8d08436606c93693b67e333f671bf69cc);
    else revert("Index out of bounds");
  }
}

// File: @openzeppelin/contracts/utils/ReentrancyGuard.sol


pragma solidity >=0.6.0 <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 () internal {
        _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 make it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        // On the first call to nonReentrant, _notEntered will be true
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

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

        _;

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

// File: contracts/Tornado.sol

// https://tornado.cash
/*
 * d888888P                                           dP              a88888b.                   dP
 *    88                                              88             d8'   `88                   88
 *    88    .d8888b. 88d888b. 88d888b. .d8888b. .d888b88 .d8888b.    88        .d8888b. .d8888b. 88d888b.
 *    88    88'  `88 88'  `88 88'  `88 88'  `88 88'  `88 88'  `88    88        88'  `88 Y8ooooo. 88'  `88
 *    88    88.  .88 88       88    88 88.  .88 88.  .88 88.  .88 dP Y8.   .88 88.  .88       88 88    88
 *    dP    `88888P' dP       dP    dP `88888P8 `88888P8 `88888P' 88  Y88888P' `88888P8 `88888P' dP    dP
 * ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
 */

pragma solidity ^0.7.0;



interface IVerifier {
  function verifyProof(bytes memory _proof, uint256[6] memory _input) external returns (bool);
}

abstract contract Tornado is MerkleTreeWithHistory, ReentrancyGuard {
  IVerifier public immutable verifier;
  uint256 public immutable denomination;

  mapping(bytes32 => bool) public nullifierHashes;
  // we store all commitments just to prevent accidental deposits with the same commitment
  mapping(bytes32 => bool) public commitments;

  event Deposit(bytes32 indexed commitment, uint32 leafIndex, uint256 timestamp);
  event Withdrawal(address to, bytes32 nullifierHash, address indexed relayer, uint256 fee);

  /**
    @dev The constructor
    @param _verifier the address of SNARK verifier for this contract
    @param _hasher the address of MiMC hash contract
    @param _denomination transfer amount for each deposit
    @param _merkleTreeHeight the height of deposits' Merkle Tree
  */
  constructor(
    IVerifier _verifier,
    IHasher _hasher,
    uint256 _denomination,
    uint32 _merkleTreeHeight
  ) MerkleTreeWithHistory(_merkleTreeHeight, _hasher) {
    require(_denomination > 0, "denomination should be greater than 0");
    verifier = _verifier;
    denomination = _denomination;
  }

  /**
    @dev Deposit funds into the contract. The caller must send (for ETH) or approve (for ERC20) value equal to or `denomination` of this instance.
    @param _commitment the note commitment, which is PedersenHash(nullifier + secret)
  */
  function deposit(bytes32 _commitment) external payable nonReentrant {
    require(!commitments[_commitment], "The commitment has been submitted");

    uint32 insertedIndex = _insert(_commitment);
    commitments[_commitment] = true;
    _processDeposit();

    emit Deposit(_commitment, insertedIndex, block.timestamp);
  }

  /** @dev this function is defined in a child contract */
  function _processDeposit() internal virtual;

  /**
    @dev Withdraw a deposit from the contract. `proof` is a zkSNARK proof data, and input is an array of circuit public inputs
    `input` array consists of:
      - merkle root of all deposits in the contract
      - hash of unique deposit nullifier to prevent double spends
      - the recipient of funds
      - optional fee that goes to the transaction sender (usually a relay)
  */
  function withdraw(
    bytes calldata _proof,
    bytes32 _root,
    bytes32 _nullifierHash,
    address payable _recipient,
    address payable _relayer,
    uint256 _fee,
    uint256 _refund
  ) external payable nonReentrant {
    require(_fee <= denomination, "Fee exceeds transfer value");
    require(!nullifierHashes[_nullifierHash], "The note has been already spent");
    require(isKnownRoot(_root), "Cannot find your merkle root"); // Make sure to use a recent one
    require(
      verifier.verifyProof(
        _proof,
        [uint256(_root), uint256(_nullifierHash), uint256(_recipient), uint256(_relayer), _fee, _refund]
      ),
      "Invalid withdraw proof"
    );

    nullifierHashes[_nullifierHash] = true;
    _processWithdraw(_recipient, _relayer, _fee, _refund);
    emit Withdrawal(_recipient, _nullifierHash, _relayer, _fee);
  }

  /** @dev this function is defined in a child contract */
  function _processWithdraw(
    address payable _recipient,
    address payable _relayer,
    uint256 _fee,
    uint256 _refund
  ) internal virtual;

  /** @dev whether a note is already spent */
  function isSpent(bytes32 _nullifierHash) public view returns (bool) {
    return nullifierHashes[_nullifierHash];
  }

  /** @dev whether an array of notes is already spent */
  function isSpentArray(bytes32[] calldata _nullifierHashes) external view returns (bool[] memory spent) {
    spent = new bool[](_nullifierHashes.length);
    for (uint256 i = 0; i < _nullifierHashes.length; i++) {
      if (isSpent(_nullifierHashes[i])) {
        spent[i] = true;
      }
    }
  }
}

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


pragma solidity >=0.6.0 <0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @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 `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, 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 `sender` to `recipient` 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 sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @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);
}

// File: @openzeppelin/contracts/math/SafeMath.sol


pragma solidity >=0.6.0 <0.8.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        uint256 c = a + b;
        if (c < a) return (false, 0);
        return (true, c);
    }

    /**
     * @dev Returns the substraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        if (b > a) return (false, 0);
        return (true, a - b);
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) return (true, 0);
        uint256 c = a * b;
        if (c / a != b) return (false, 0);
        return (true, c);
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        if (b == 0) return (false, 0);
        return (true, a / b);
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        if (b == 0) return (false, 0);
        return (true, a % b);
    }

    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        return a - b;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) return 0;
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: division by zero");
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: modulo by zero");
        return a % b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        return a - b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryDiv}.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        return a % b;
    }
}

// File: @openzeppelin/contracts/utils/Address.sol


pragma solidity >=0.6.2 <0.8.0;

/**
 * @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
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        // solhint-disable-next-line no-inline-assembly
        assembly { size := extcodesize(account) }
        return size > 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");

        // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
        (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 functionCall(target, data, "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");
        require(isContract(target), "Address: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.call{ value: value }(data);
        return _verifyCallResult(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) {
        require(isContract(target), "Address: static call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.staticcall(data);
        return _verifyCallResult(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) {
        require(isContract(target), "Address: delegate call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    function _verifyCallResult(bool success, bytes memory returndata, string memory errorMessage) private pure returns(bytes memory) {
        if (success) {
            return returndata;
        } else {
            // 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

                // solhint-disable-next-line no-inline-assembly
                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
}

// File: @openzeppelin/contracts/token/ERC20/SafeERC20.sol


pragma solidity >=0.6.0 <0.8.0;




/**
 * @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 SafeMath for uint256;
    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'
        // solhint-disable-next-line max-line-length
        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).add(value);
        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

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

    /**
     * @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
            // solhint-disable-next-line max-line-length
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

// File: contracts/ERC20Tornado.sol

// https://tornado.cash
/*
 * d888888P                                           dP              a88888b.                   dP
 *    88                                              88             d8'   `88                   88
 *    88    .d8888b. 88d888b. 88d888b. .d8888b. .d888b88 .d8888b.    88        .d8888b. .d8888b. 88d888b.
 *    88    88'  `88 88'  `88 88'  `88 88'  `88 88'  `88 88'  `88    88        88'  `88 Y8ooooo. 88'  `88
 *    88    88.  .88 88       88    88 88.  .88 88.  .88 88.  .88 dP Y8.   .88 88.  .88       88 88    88
 *    dP    `88888P' dP       dP    dP `88888P8 `88888P8 `88888P' 88  Y88888P' `88888P8 `88888P' dP    dP
 * ooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
 */

pragma solidity ^0.7.0;




contract ERC20Tornado is Tornado {
  using SafeERC20 for IERC20;
  IERC20 public immutable token;

  constructor(
    IVerifier _verifier,
    IHasher _hasher,
    uint256 _denomination,
    uint32 _merkleTreeHeight,
    IERC20 _token
  ) Tornado(_verifier, _hasher, _denomination, _merkleTreeHeight) {
    token = _token;
  }

  function _processDeposit() internal override {
    require(msg.value == 0, "ETH value is supposed to be 0 for ERC20 instance");
    token.safeTransferFrom(msg.sender, address(this), denomination);
  }

  function _processWithdraw(
    address payable _recipient,
    address payable _relayer,
    uint256 _fee,
    uint256 _refund
  ) internal override {
    require(msg.value == _refund, "Incorrect refund amount received by the contract");

    token.safeTransfer(_recipient, denomination - _fee);
    if (_fee > 0) {
      token.safeTransfer(_relayer, _fee);
    }

    if (_refund > 0) {
      (bool success, ) = _recipient.call{ value: _refund }("");
      if (!success) {
        // let's return _refund back to the relayer
        _relayer.transfer(_refund);
      }
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IVerifier","name":"_verifier","type":"address"},{"internalType":"contract IHasher","name":"_hasher","type":"address"},{"internalType":"uint256","name":"_denomination","type":"uint256"},{"internalType":"uint32","name":"_merkleTreeHeight","type":"uint32"},{"internalType":"contract IERC20","name":"_token","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"commitment","type":"bytes32"},{"indexed":false,"internalType":"uint32","name":"leafIndex","type":"uint32"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"bytes32","name":"nullifierHash","type":"bytes32"},{"indexed":true,"internalType":"address","name":"relayer","type":"address"},{"indexed":false,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"Withdrawal","type":"event"},{"inputs":[],"name":"FIELD_SIZE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ROOT_HISTORY_SIZE","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ZERO_VALUE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"commitments","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"currentRootIndex","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"denomination","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_commitment","type":"bytes32"}],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"filledSubtrees","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getLastRoot","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"contract IHasher","name":"_hasher","type":"address"},{"internalType":"bytes32","name":"_left","type":"bytes32"},{"internalType":"bytes32","name":"_right","type":"bytes32"}],"name":"hashLeftRight","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"hasher","outputs":[{"internalType":"contract IHasher","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_root","type":"bytes32"}],"name":"isKnownRoot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_nullifierHash","type":"bytes32"}],"name":"isSpent","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32[]","name":"_nullifierHashes","type":"bytes32[]"}],"name":"isSpentArray","outputs":[{"internalType":"bool[]","name":"spent","type":"bool[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"levels","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nextIndex","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"nullifierHashes","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"roots","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"verifier","outputs":[{"internalType":"contract IVerifier","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"_proof","type":"bytes"},{"internalType":"bytes32","name":"_root","type":"bytes32"},{"internalType":"bytes32","name":"_nullifierHash","type":"bytes32"},{"internalType":"address payable","name":"_recipient","type":"address"},{"internalType":"address payable","name":"_relayer","type":"address"},{"internalType":"uint256","name":"_fee","type":"uint256"},{"internalType":"uint256","name":"_refund","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"i","type":"uint256"}],"name":"zeros","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"}]

610120604052600280546001600160401b03191690553480156200002257600080fd5b50604051620026e8380380620026e8833981810160405260a08110156200004857600080fd5b5080516020820151604083015160608401516080909401519293919290919084848484808363ffffffff8216620000b15760405162461bcd60e51b8152600401808060200182810382526023815260200180620026c56023913960400191505060405180910390fd5b60208263ffffffff16106200010d576040805162461bcd60e51b815260206004820152601e60248201527f5f6c6576656c732073686f756c64206265206c657373207468616e2033320000604482015290519081900360640190fd5b6001600160e01b031960e083901b1660a0526001600160601b0319606082901b1660805260005b8263ffffffff168163ffffffff16101562000179576200015a63ffffffff821662000233565b63ffffffff821660009081526020819052604090205560010162000134565b506200018f63ffffffff60001984011662000233565b60008052600160208190527fa6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb4991909155600355505081620002025760405162461bcd60e51b8152600401808060200182810382526025815260200180620026a06025913960400191505060405180910390fd5b506001600160601b0319606093841b811660c05260e0919091529290911b9091166101005250620008c19350505050565b6000816200026357507f2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c620008bc565b81600114156200029557507f256a6135777eee2fd26f54b8b7037a25439d5235caee224154186d2b8a52e31d620008bc565b8160021415620002c757507f1151949895e82ab19924de92c40a3d6f7bcb60d92b00504b8199613683f0c200620008bc565b8160031415620002f957507f20121ee811489ff8d61f09fb89e313f14959a0f28bb428a20dba6b0b068b3bdb620008bc565b81600414156200032b57507f0a89ca6ffa14cc462cfedb842c30ed221a50a3d6bf022a6a57dc82ab24c157c9620008bc565b81600514156200035d57507f24ca05c2b5cd42e890d6be94c68d0689f4f21c9cec9c0f13fe41d566dfb54959620008bc565b81600614156200038f57507f1ccb97c932565a92c60156bdba2d08f3bf1377464e025cee765679e604a7315c620008bc565b8160071415620003c157507f19156fbd7d1a8bf5cba8909367de1b624534ebab4f0f79e003bccdd1b182bdb4620008bc565b8160081415620003f357507f261af8c1f0912e465744641409f622d466c3920ac6e5ff37e36604cb11dfff80620008bc565b81600914156200042457507e58459724ff6ca5a1652fcbc3e82b93895cf08e975b19beab3f54c217d1c007620008bc565b81600a14156200045657507f1f04ef20dee48d39984d8eabe768a70eafa6310ad20849d4573c3c40c2ad1e30620008bc565b81600b14156200048857507f1bea3dec5dab51567ce7e200a30f7ba6d4276aeaa53e2686f962a46c66d511e5620008bc565b81600c1415620004ba57507f0ee0f941e2da4b9e31c3ca97a40d8fa9ce68d97c084177071b3cb46cd3372f0f620008bc565b81600d1415620004ec57507f1ca9503e8935884501bbaf20be14eb4c46b89772c97b96e3b2ebf3a36a948bbd620008bc565b81600e14156200051e57507f133a80e30697cd55d8f7d4b0965b7be24057ba5dc3da898ee2187232446cb108620008bc565b81600f14156200055057507f13e6d8fc88839ed76e182c2a779af5b2c0da9dd18c90427a644f7e148a6253b6620008bc565b81601014156200058257507f1eb16b057a477f4bc8f572ea6bee39561098f78f15bfb3699dcbb7bd8db61854620008bc565b8160111415620005b457507f0da2cb16a1ceaabf1c16b838f7a9e3f2a3a3088d9e0a6debaa748114620696ea620008bc565b8160121415620005e657507f24a3b3d822420b14b5d8cb6c28a574f01e98ea9e940551d2ebd75cee12649f9d620008bc565b81601314156200061857507f198622acbd783d1b0d9064105b1fc8e4d8889de95c4c519b3f635809fe6afc05620008bc565b81601414156200064a57507f29d7ed391256ccc3ea596c86e933b89ff339d25ea8ddced975ae2fe30b5296d4620008bc565b81601514156200067c57507f19be59f2f0413ce78c0c3703a3a5451b1d7f39629fa33abd11548a76065b2967620008bc565b8160161415620006ae57507f1ff3f61797e538b70e619310d33f2a063e7eb59104e112e95738da1254dc3453620008bc565b8160171415620006e057507f10c16ae9959cf8358980d9dd9616e48228737310a10e2b6b731c1a548f036c48620008bc565b81601814156200071257507f0ba433a63174a90ac20992e75e3095496812b652685b5e1a2eae0b1bf4e8fcd1620008bc565b81601914156200074457507f019ddb9df2bc98d987d0dfeca9d2b643deafab8f7036562e627c3667266a044c620008bc565b81601a14156200077657507f2d3c88b23175c5a5565db928414c66d1912b11acf974b2e644caaac04739ce99620008bc565b81601b1415620007a857507f2eab55f6ae4e66e32c5189eed5c470840863445760f5ed7e7b69b2a62600f354620008bc565b81601c1415620007d957507e2df37a2642621802383cf952bf4dd1f32e05433beeb1fd41031fb7eace979d620008bc565b81601d14156200080b57507f104aeb41435db66c3e62feccc1d6f5d98d0a0ed75d1374db457cf462e3a1f427620008bc565b81601e14156200083d57507f1f3c6fd858e9a7d4b0d1f38e256a09d81d5a5e3c963987e2d4b814cfab7c6ebb620008bc565b81601f14156200086f57507f2c7a07d20dff79d01fecedc1134284a8d08436606c93693b67e333f671bf69cc620008bc565b6040805162461bcd60e51b815260206004820152601360248201527f496e646578206f7574206f6620626f756e647300000000000000000000000000604482015290519081900360640190fd5b919050565b60805160601c60a05160e01c60c05160601c60e0516101005160601c611d616200093f600039806114855280611505528061156252806118255250806105d852806109e75280611528528061184952508061070b528061090652508061093c528061164152806116ad52508061144f52806117395250611d616000f3fe6080604052600436106101355760003560e01c8063b214faa5116100ab578063e82955881161006f578063e8295588146104bc578063ec732959146104e6578063ed33639f146104fb578063f178e47c14610510578063fc0c546a1461053a578063fc7e9c6f1461054f57610135565b8063b214faa514610421578063ba70f7571461043e578063c2b40ae414610453578063cd87a3b41461047d578063e5285dcc1461049257610135565b80636d9833e3116100fd5780636d9833e314610299578063839df945146102c35780638bca6d16146102ed5780638ea3099e1461030257806390eeb02b146103415780639fa12d0b1461035657610135565b806317cc915c1461013a57806321a0adb6146101785780632b7ac3f314610213578063414a37ba146102445780634ecf518b1461026b575b600080fd5b34801561014657600080fd5b506101646004803603602081101561015d57600080fd5b5035610564565b604080519115158252519081900360200190f35b610211600480360360e081101561018e57600080fd5b810190602081018135600160201b8111156101a857600080fd5b8201836020820111156101ba57600080fd5b803590602001918460018302840111600160201b831117156101db57600080fd5b91935091508035906020810135906001600160a01b03604082013581169160608101359091169060808101359060a00135610579565b005b34801561021f57600080fd5b50610228610904565b604080516001600160a01b039092168252519081900360200190f35b34801561025057600080fd5b50610259610928565b60408051918252519081900360200190f35b34801561027757600080fd5b5061028061093a565b6040805163ffffffff9092168252519081900360200190f35b3480156102a557600080fd5b50610164600480360360208110156102bc57600080fd5b503561095e565b3480156102cf57600080fd5b50610164600480360360208110156102e657600080fd5b50356109d0565b3480156102f957600080fd5b506102596109e5565b34801561030e57600080fd5b506102596004803603606081101561032557600080fd5b506001600160a01b038135169060208101359060400135610a09565b34801561034d57600080fd5b50610280610bd7565b34801561036257600080fd5b506103d16004803603602081101561037957600080fd5b810190602081018135600160201b81111561039357600080fd5b8201836020820111156103a557600080fd5b803590602001918460208302840111600160201b831117156103c657600080fd5b509092509050610be3565b60408051602080825283518183015283519192839290830191858101910280838360005b8381101561040d5781810151838201526020016103f5565b505050509050019250505060405180910390f35b6102116004803603602081101561043757600080fd5b5035610c82565b34801561044a57600080fd5b50610259610da3565b34801561045f57600080fd5b506102596004803603602081101561047657600080fd5b5035610dbe565b34801561048957600080fd5b50610280610dd0565b34801561049e57600080fd5b50610164600480360360208110156104b557600080fd5b5035610dd5565b3480156104c857600080fd5b50610259600480360360208110156104df57600080fd5b5035610dea565b3480156104f257600080fd5b50610259611429565b34801561050757600080fd5b5061022861144d565b34801561051c57600080fd5b506102596004803603602081101561053357600080fd5b5035611471565b34801561054657600080fd5b50610228611483565b34801561055b57600080fd5b506102806114a7565b60046020526000908152604090205460ff1681565b600260035414156105d1576040805162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015290519081900360640190fd5b60026003557f000000000000000000000000000000000000000000000000000000000000000082111561064b576040805162461bcd60e51b815260206004820152601a60248201527f4665652065786365656473207472616e736665722076616c7565000000000000604482015290519081900360640190fd5b60008581526004602052604090205460ff16156106af576040805162461bcd60e51b815260206004820152601f60248201527f546865206e6f746520686173206265656e20616c7265616479207370656e7400604482015290519081900360640190fd5b6106b88661095e565b610709576040805162461bcd60e51b815260206004820152601c60248201527f43616e6e6f742066696e6420796f7572206d65726b6c6520726f6f7400000000604482015290519081900360640190fd5b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663695ef6f989896040518060c001604052808b60001c81526020018a60001c8152602001896001600160a01b03168152602001886001600160a01b03168152602001878152602001868152506040518463ffffffff1660e01b8152600401808060200183600660200280838360005b838110156107ba5781810151838201526020016107a2565b505050509050018281038252858582818152602001925080828437600081840152601f19601f820116905080830192505050945050505050602060405180830381600087803b15801561080c57600080fd5b505af1158015610820573d6000803e3d6000fd5b505050506040513d602081101561083657600080fd5b5051610882576040805162461bcd60e51b815260206004820152601660248201527524b73b30b634b2103bb4ba34323930bb90383937b7b360511b604482015290519081900360640190fd5b6000858152600460205260409020805460ff191660011790556108a7848484846114ba565b604080516001600160a01b038681168252602082018890528183018590529151918516917fe9e508bad6d4c3227e881ca19068f099da81b5164dd6d62b2eaf1e8bc6c349319181900360600190a250506001600355505050505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b600080516020611c6183398151915281565b7f000000000000000000000000000000000000000000000000000000000000000081565b60008161096d575060006109cb565b60025463ffffffff16805b63ffffffff81166000908152600160205260409020548414156109a0576001925050506109cb565b63ffffffff81166109af5750601e5b6000190163ffffffff8082169083161415610978576000925050505b919050565b60056020526000908152604090205460ff1681565b7f000000000000000000000000000000000000000000000000000000000000000081565b6000600080516020611c618339815191528310610a6d576040805162461bcd60e51b815260206004820181905260248201527f5f6c6566742073686f756c6420626520696e7369646520746865206669656c64604482015290519081900360640190fd5b600080516020611c618339815191528210610ab95760405162461bcd60e51b8152600401808060200182810382526021815260200180611c406021913960400191505060405180910390fd5b6040805163f47d33b560e01b8152600481018590526000602482018190528251869391926001600160a01b0389169263f47d33b592604480840193829003018186803b158015610b0857600080fd5b505afa158015610b1c573d6000803e3d6000fd5b505050506040513d6040811015610b3257600080fd5b5080516020909101519092509050600080516020611c618339815191528483089150856001600160a01b031663f47d33b583836040518363ffffffff1660e01b81526004018083815260200182815260200192505050604080518083038186803b158015610b9f57600080fd5b505afa158015610bb3573d6000803e3d6000fd5b505050506040513d6040811015610bc957600080fd5b5051925050505b9392505050565b60025463ffffffff1681565b60608167ffffffffffffffff81118015610bfc57600080fd5b50604051908082528060200260200182016040528015610c26578160200160208202803683370190505b50905060005b82811015610c7b57610c4f848483818110610c4357fe5b90506020020135610dd5565b15610c73576001828281518110610c6257fe5b911515602092830291909101909101525b600101610c2c565b5092915050565b60026003541415610cda576040805162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015290519081900360640190fd5b600260035560008181526005602052604090205460ff1615610d2d5760405162461bcd60e51b8152600401808060200182810382526021815260200180611c816021913960400191505060405180910390fd5b6000610d3882611628565b6000838152600560205260409020805460ff191660011790559050610d5b6117db565b6040805163ffffffff83168152426020820152815184927fa945e51eec50ab98c161376f0db4cf2aeba3ec92755fe2fcd388bdbbb80ff196928290030190a250506001600355565b60025463ffffffff1660009081526001602052604090205490565b60016020526000908152604090205481565b601e81565b60009081526004602052604090205460ff1690565b600081610e1857507f2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c6109cb565b8160011415610e4857507f256a6135777eee2fd26f54b8b7037a25439d5235caee224154186d2b8a52e31d6109cb565b8160021415610e7857507f1151949895e82ab19924de92c40a3d6f7bcb60d92b00504b8199613683f0c2006109cb565b8160031415610ea857507f20121ee811489ff8d61f09fb89e313f14959a0f28bb428a20dba6b0b068b3bdb6109cb565b8160041415610ed857507f0a89ca6ffa14cc462cfedb842c30ed221a50a3d6bf022a6a57dc82ab24c157c96109cb565b8160051415610f0857507f24ca05c2b5cd42e890d6be94c68d0689f4f21c9cec9c0f13fe41d566dfb549596109cb565b8160061415610f3857507f1ccb97c932565a92c60156bdba2d08f3bf1377464e025cee765679e604a7315c6109cb565b8160071415610f6857507f19156fbd7d1a8bf5cba8909367de1b624534ebab4f0f79e003bccdd1b182bdb46109cb565b8160081415610f9857507f261af8c1f0912e465744641409f622d466c3920ac6e5ff37e36604cb11dfff806109cb565b8160091415610fc757507e58459724ff6ca5a1652fcbc3e82b93895cf08e975b19beab3f54c217d1c0076109cb565b81600a1415610ff757507f1f04ef20dee48d39984d8eabe768a70eafa6310ad20849d4573c3c40c2ad1e306109cb565b81600b141561102757507f1bea3dec5dab51567ce7e200a30f7ba6d4276aeaa53e2686f962a46c66d511e56109cb565b81600c141561105757507f0ee0f941e2da4b9e31c3ca97a40d8fa9ce68d97c084177071b3cb46cd3372f0f6109cb565b81600d141561108757507f1ca9503e8935884501bbaf20be14eb4c46b89772c97b96e3b2ebf3a36a948bbd6109cb565b81600e14156110b757507f133a80e30697cd55d8f7d4b0965b7be24057ba5dc3da898ee2187232446cb1086109cb565b81600f14156110e757507f13e6d8fc88839ed76e182c2a779af5b2c0da9dd18c90427a644f7e148a6253b66109cb565b816010141561111757507f1eb16b057a477f4bc8f572ea6bee39561098f78f15bfb3699dcbb7bd8db618546109cb565b816011141561114757507f0da2cb16a1ceaabf1c16b838f7a9e3f2a3a3088d9e0a6debaa748114620696ea6109cb565b816012141561117757507f24a3b3d822420b14b5d8cb6c28a574f01e98ea9e940551d2ebd75cee12649f9d6109cb565b81601314156111a757507f198622acbd783d1b0d9064105b1fc8e4d8889de95c4c519b3f635809fe6afc056109cb565b81601414156111d757507f29d7ed391256ccc3ea596c86e933b89ff339d25ea8ddced975ae2fe30b5296d46109cb565b816015141561120757507f19be59f2f0413ce78c0c3703a3a5451b1d7f39629fa33abd11548a76065b29676109cb565b816016141561123757507f1ff3f61797e538b70e619310d33f2a063e7eb59104e112e95738da1254dc34536109cb565b816017141561126757507f10c16ae9959cf8358980d9dd9616e48228737310a10e2b6b731c1a548f036c486109cb565b816018141561129757507f0ba433a63174a90ac20992e75e3095496812b652685b5e1a2eae0b1bf4e8fcd16109cb565b81601914156112c757507f019ddb9df2bc98d987d0dfeca9d2b643deafab8f7036562e627c3667266a044c6109cb565b81601a14156112f757507f2d3c88b23175c5a5565db928414c66d1912b11acf974b2e644caaac04739ce996109cb565b81601b141561132757507f2eab55f6ae4e66e32c5189eed5c470840863445760f5ed7e7b69b2a62600f3546109cb565b81601c141561135657507e2df37a2642621802383cf952bf4dd1f32e05433beeb1fd41031fb7eace979d6109cb565b81601d141561138657507f104aeb41435db66c3e62feccc1d6f5d98d0a0ed75d1374db457cf462e3a1f4276109cb565b81601e14156113b657507f1f3c6fd858e9a7d4b0d1f38e256a09d81d5a5e3c963987e2d4b814cfab7c6ebb6109cb565b81601f14156113e657507f2c7a07d20dff79d01fecedc1134284a8d08436606c93693b67e333f671bf69cc6109cb565b6040805162461bcd60e51b8152602060048201526013602482015272496e646578206f7574206f6620626f756e647360681b604482015290519081900360640190fd5b7f2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c81565b7f000000000000000000000000000000000000000000000000000000000000000081565b60006020819052908152604090205481565b7f000000000000000000000000000000000000000000000000000000000000000081565b600254600160201b900463ffffffff1681565b8034146114f85760405162461bcd60e51b8152600401808060200182810382526030815260200180611bea6030913960400191505060405180910390fd5b61154f6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016857f000000000000000000000000000000000000000000000000000000000000000085900361186f565b8115611589576115896001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016848461186f565b8015611622576040516000906001600160a01b0386169083908381818185875af1925050503d80600081146115da576040519150601f19603f3d011682016040523d82523d6000602084013e6115df565b606091505b5050905080611620576040516001600160a01b0385169083156108fc029084906000818181858888f1935050505015801561161e573d6000803e3d6000fd5b505b505b50505050565b6002805460009163ffffffff600160201b9092048216917f0000000000000000000000000000000000000000000000000000000000000000811690910a168114156116a45760405162461bcd60e51b8152600401808060200182810382526030815260200180611cfc6030913960400191505060405180910390fd5b8083600080805b7f000000000000000000000000000000000000000000000000000000000000000063ffffffff168163ffffffff1610156117755760018516611718578392506116f98163ffffffff16610dea565b63ffffffff821660009081526020819052604090208590559150611734565b63ffffffff811660009081526020819052604090205492508391505b61175f7f00000000000000000000000000000000000000000000000000000000000000008484610a09565b9350600263ffffffff86160494506001016116ab565b505060028054601e63ffffffff8083166001908101821692909206811663ffffffff199093168317845560009283526020829052604090922094909455815493860116600160201b0267ffffffff00000000199093169290921790915550909392505050565b34156118185760405162461bcd60e51b8152600401808060200182810382526030815260200180611ca26030913960400191505060405180910390fd5b61186d6001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001633307f00000000000000000000000000000000000000000000000000000000000000006118c6565b565b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b031663a9059cbb60e01b1790526118c190849061191c565b505050565b604080516001600160a01b0380861660248301528416604482015260648082018490528251808303909101815260849091019091526020810180516001600160e01b03166323b872dd60e01b1790526116229085905b6000611971826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166119cd9092919063ffffffff16565b8051909150156118c15780806020019051602081101561199057600080fd5b50516118c15760405162461bcd60e51b815260040180806020018281038252602a815260200180611cd2602a913960400191505060405180910390fd5b60606119dc84846000856119e4565b949350505050565b606082471015611a255760405162461bcd60e51b8152600401808060200182810382526026815260200180611c1a6026913960400191505060405180910390fd5b611a2e85611b3f565b611a7f576040805162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015290519081900360640190fd5b600080866001600160a01b031685876040518082805190602001908083835b60208310611abd5780518252601f199092019160209182019101611a9e565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d8060008114611b1f576040519150601f19603f3d011682016040523d82523d6000602084013e611b24565b606091505b5091509150611b34828286611b45565b979650505050505050565b3b151590565b60608315611b54575081610bd0565b825115611b645782518084602001fd5b8160405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611bae578181015183820152602001611b96565b50505050905090810190601f168015611bdb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fdfe496e636f727265637420726566756e6420616d6f756e742072656365697665642062792074686520636f6e7472616374416464726573733a20696e73756666696369656e742062616c616e636520666f722063616c6c5f72696768742073686f756c6420626520696e7369646520746865206669656c6430644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000154686520636f6d6d69746d656e7420686173206265656e207375626d69747465644554482076616c756520697320737570706f73656420746f206265203020666f7220455243323020696e7374616e63655361666545524332303a204552433230206f7065726174696f6e20646964206e6f7420737563636565644d65726b6c6520747265652069732066756c6c2e204e6f206d6f7265206c65617665732063616e206265206164646564a2646970667358221220370d4490aab00a53c86bf091220fe84f014e404351c49421330bfe88a91d89f164736f6c6343000706003364656e6f6d696e6174696f6e2073686f756c642062652067726561746572207468616e20305f6c6576656c732073686f756c642062652067726561746572207468616e207a65726f000000000000000000000000ce172ce1f20ec0b3728c9965470eaf994a03557a00000000000000000000000083584f83f26af4edda9cbe8c730bc87c364b28fe000000000000000000000000000000000000000000000000000000003b9aca0000000000000000000000000000000000000000000000000000000000000000140000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599

0x6080604052600436106101355760003560e01c8063b214faa5116100ab578063e82955881161006f578063e8295588146104bc578063ec732959146104e6578063ed33639f146104fb578063f178e47c14610510578063fc0c546a1461053a578063fc7e9c6f1461054f57610135565b8063b214faa514610421578063ba70f7571461043e578063c2b40ae414610453578063cd87a3b41461047d578063e5285dcc1461049257610135565b80636d9833e3116100fd5780636d9833e314610299578063839df945146102c35780638bca6d16146102ed5780638ea3099e1461030257806390eeb02b146103415780639fa12d0b1461035657610135565b806317cc915c1461013a57806321a0adb6146101785780632b7ac3f314610213578063414a37ba146102445780634ecf518b1461026b575b600080fd5b34801561014657600080fd5b506101646004803603602081101561015d57600080fd5b5035610564565b604080519115158252519081900360200190f35b610211600480360360e081101561018e57600080fd5b810190602081018135600160201b8111156101a857600080fd5b8201836020820111156101ba57600080fd5b803590602001918460018302840111600160201b831117156101db57600080fd5b91935091508035906020810135906001600160a01b03604082013581169160608101359091169060808101359060a00135610579565b005b34801561021f57600080fd5b50610228610904565b604080516001600160a01b039092168252519081900360200190f35b34801561025057600080fd5b50610259610928565b60408051918252519081900360200190f35b34801561027757600080fd5b5061028061093a565b6040805163ffffffff9092168252519081900360200190f35b3480156102a557600080fd5b50610164600480360360208110156102bc57600080fd5b503561095e565b3480156102cf57600080fd5b50610164600480360360208110156102e657600080fd5b50356109d0565b3480156102f957600080fd5b506102596109e5565b34801561030e57600080fd5b506102596004803603606081101561032557600080fd5b506001600160a01b038135169060208101359060400135610a09565b34801561034d57600080fd5b50610280610bd7565b34801561036257600080fd5b506103d16004803603602081101561037957600080fd5b810190602081018135600160201b81111561039357600080fd5b8201836020820111156103a557600080fd5b803590602001918460208302840111600160201b831117156103c657600080fd5b509092509050610be3565b60408051602080825283518183015283519192839290830191858101910280838360005b8381101561040d5781810151838201526020016103f5565b505050509050019250505060405180910390f35b6102116004803603602081101561043757600080fd5b5035610c82565b34801561044a57600080fd5b50610259610da3565b34801561045f57600080fd5b506102596004803603602081101561047657600080fd5b5035610dbe565b34801561048957600080fd5b50610280610dd0565b34801561049e57600080fd5b50610164600480360360208110156104b557600080fd5b5035610dd5565b3480156104c857600080fd5b50610259600480360360208110156104df57600080fd5b5035610dea565b3480156104f257600080fd5b50610259611429565b34801561050757600080fd5b5061022861144d565b34801561051c57600080fd5b506102596004803603602081101561053357600080fd5b5035611471565b34801561054657600080fd5b50610228611483565b34801561055b57600080fd5b506102806114a7565b60046020526000908152604090205460ff1681565b600260035414156105d1576040805162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015290519081900360640190fd5b60026003557f000000000000000000000000000000000000000000000000000000003b9aca0082111561064b576040805162461bcd60e51b815260206004820152601a60248201527f4665652065786365656473207472616e736665722076616c7565000000000000604482015290519081900360640190fd5b60008581526004602052604090205460ff16156106af576040805162461bcd60e51b815260206004820152601f60248201527f546865206e6f746520686173206265656e20616c7265616479207370656e7400604482015290519081900360640190fd5b6106b88661095e565b610709576040805162461bcd60e51b815260206004820152601c60248201527f43616e6e6f742066696e6420796f7572206d65726b6c6520726f6f7400000000604482015290519081900360640190fd5b7f000000000000000000000000ce172ce1f20ec0b3728c9965470eaf994a03557a6001600160a01b031663695ef6f989896040518060c001604052808b60001c81526020018a60001c8152602001896001600160a01b03168152602001886001600160a01b03168152602001878152602001868152506040518463ffffffff1660e01b8152600401808060200183600660200280838360005b838110156107ba5781810151838201526020016107a2565b505050509050018281038252858582818152602001925080828437600081840152601f19601f820116905080830192505050945050505050602060405180830381600087803b15801561080c57600080fd5b505af1158015610820573d6000803e3d6000fd5b505050506040513d602081101561083657600080fd5b5051610882576040805162461bcd60e51b815260206004820152601660248201527524b73b30b634b2103bb4ba34323930bb90383937b7b360511b604482015290519081900360640190fd5b6000858152600460205260409020805460ff191660011790556108a7848484846114ba565b604080516001600160a01b038681168252602082018890528183018590529151918516917fe9e508bad6d4c3227e881ca19068f099da81b5164dd6d62b2eaf1e8bc6c349319181900360600190a250506001600355505050505050565b7f000000000000000000000000ce172ce1f20ec0b3728c9965470eaf994a03557a81565b600080516020611c6183398151915281565b7f000000000000000000000000000000000000000000000000000000000000001481565b60008161096d575060006109cb565b60025463ffffffff16805b63ffffffff81166000908152600160205260409020548414156109a0576001925050506109cb565b63ffffffff81166109af5750601e5b6000190163ffffffff8082169083161415610978576000925050505b919050565b60056020526000908152604090205460ff1681565b7f000000000000000000000000000000000000000000000000000000003b9aca0081565b6000600080516020611c618339815191528310610a6d576040805162461bcd60e51b815260206004820181905260248201527f5f6c6566742073686f756c6420626520696e7369646520746865206669656c64604482015290519081900360640190fd5b600080516020611c618339815191528210610ab95760405162461bcd60e51b8152600401808060200182810382526021815260200180611c406021913960400191505060405180910390fd5b6040805163f47d33b560e01b8152600481018590526000602482018190528251869391926001600160a01b0389169263f47d33b592604480840193829003018186803b158015610b0857600080fd5b505afa158015610b1c573d6000803e3d6000fd5b505050506040513d6040811015610b3257600080fd5b5080516020909101519092509050600080516020611c618339815191528483089150856001600160a01b031663f47d33b583836040518363ffffffff1660e01b81526004018083815260200182815260200192505050604080518083038186803b158015610b9f57600080fd5b505afa158015610bb3573d6000803e3d6000fd5b505050506040513d6040811015610bc957600080fd5b5051925050505b9392505050565b60025463ffffffff1681565b60608167ffffffffffffffff81118015610bfc57600080fd5b50604051908082528060200260200182016040528015610c26578160200160208202803683370190505b50905060005b82811015610c7b57610c4f848483818110610c4357fe5b90506020020135610dd5565b15610c73576001828281518110610c6257fe5b911515602092830291909101909101525b600101610c2c565b5092915050565b60026003541415610cda576040805162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015290519081900360640190fd5b600260035560008181526005602052604090205460ff1615610d2d5760405162461bcd60e51b8152600401808060200182810382526021815260200180611c816021913960400191505060405180910390fd5b6000610d3882611628565b6000838152600560205260409020805460ff191660011790559050610d5b6117db565b6040805163ffffffff83168152426020820152815184927fa945e51eec50ab98c161376f0db4cf2aeba3ec92755fe2fcd388bdbbb80ff196928290030190a250506001600355565b60025463ffffffff1660009081526001602052604090205490565b60016020526000908152604090205481565b601e81565b60009081526004602052604090205460ff1690565b600081610e1857507f2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c6109cb565b8160011415610e4857507f256a6135777eee2fd26f54b8b7037a25439d5235caee224154186d2b8a52e31d6109cb565b8160021415610e7857507f1151949895e82ab19924de92c40a3d6f7bcb60d92b00504b8199613683f0c2006109cb565b8160031415610ea857507f20121ee811489ff8d61f09fb89e313f14959a0f28bb428a20dba6b0b068b3bdb6109cb565b8160041415610ed857507f0a89ca6ffa14cc462cfedb842c30ed221a50a3d6bf022a6a57dc82ab24c157c96109cb565b8160051415610f0857507f24ca05c2b5cd42e890d6be94c68d0689f4f21c9cec9c0f13fe41d566dfb549596109cb565b8160061415610f3857507f1ccb97c932565a92c60156bdba2d08f3bf1377464e025cee765679e604a7315c6109cb565b8160071415610f6857507f19156fbd7d1a8bf5cba8909367de1b624534ebab4f0f79e003bccdd1b182bdb46109cb565b8160081415610f9857507f261af8c1f0912e465744641409f622d466c3920ac6e5ff37e36604cb11dfff806109cb565b8160091415610fc757507e58459724ff6ca5a1652fcbc3e82b93895cf08e975b19beab3f54c217d1c0076109cb565b81600a1415610ff757507f1f04ef20dee48d39984d8eabe768a70eafa6310ad20849d4573c3c40c2ad1e306109cb565b81600b141561102757507f1bea3dec5dab51567ce7e200a30f7ba6d4276aeaa53e2686f962a46c66d511e56109cb565b81600c141561105757507f0ee0f941e2da4b9e31c3ca97a40d8fa9ce68d97c084177071b3cb46cd3372f0f6109cb565b81600d141561108757507f1ca9503e8935884501bbaf20be14eb4c46b89772c97b96e3b2ebf3a36a948bbd6109cb565b81600e14156110b757507f133a80e30697cd55d8f7d4b0965b7be24057ba5dc3da898ee2187232446cb1086109cb565b81600f14156110e757507f13e6d8fc88839ed76e182c2a779af5b2c0da9dd18c90427a644f7e148a6253b66109cb565b816010141561111757507f1eb16b057a477f4bc8f572ea6bee39561098f78f15bfb3699dcbb7bd8db618546109cb565b816011141561114757507f0da2cb16a1ceaabf1c16b838f7a9e3f2a3a3088d9e0a6debaa748114620696ea6109cb565b816012141561117757507f24a3b3d822420b14b5d8cb6c28a574f01e98ea9e940551d2ebd75cee12649f9d6109cb565b81601314156111a757507f198622acbd783d1b0d9064105b1fc8e4d8889de95c4c519b3f635809fe6afc056109cb565b81601414156111d757507f29d7ed391256ccc3ea596c86e933b89ff339d25ea8ddced975ae2fe30b5296d46109cb565b816015141561120757507f19be59f2f0413ce78c0c3703a3a5451b1d7f39629fa33abd11548a76065b29676109cb565b816016141561123757507f1ff3f61797e538b70e619310d33f2a063e7eb59104e112e95738da1254dc34536109cb565b816017141561126757507f10c16ae9959cf8358980d9dd9616e48228737310a10e2b6b731c1a548f036c486109cb565b816018141561129757507f0ba433a63174a90ac20992e75e3095496812b652685b5e1a2eae0b1bf4e8fcd16109cb565b81601914156112c757507f019ddb9df2bc98d987d0dfeca9d2b643deafab8f7036562e627c3667266a044c6109cb565b81601a14156112f757507f2d3c88b23175c5a5565db928414c66d1912b11acf974b2e644caaac04739ce996109cb565b81601b141561132757507f2eab55f6ae4e66e32c5189eed5c470840863445760f5ed7e7b69b2a62600f3546109cb565b81601c141561135657507e2df37a2642621802383cf952bf4dd1f32e05433beeb1fd41031fb7eace979d6109cb565b81601d141561138657507f104aeb41435db66c3e62feccc1d6f5d98d0a0ed75d1374db457cf462e3a1f4276109cb565b81601e14156113b657507f1f3c6fd858e9a7d4b0d1f38e256a09d81d5a5e3c963987e2d4b814cfab7c6ebb6109cb565b81601f14156113e657507f2c7a07d20dff79d01fecedc1134284a8d08436606c93693b67e333f671bf69cc6109cb565b6040805162461bcd60e51b8152602060048201526013602482015272496e646578206f7574206f6620626f756e647360681b604482015290519081900360640190fd5b7f2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c81565b7f00000000000000000000000083584f83f26af4edda9cbe8c730bc87c364b28fe81565b60006020819052908152604090205481565b7f0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c59981565b600254600160201b900463ffffffff1681565b8034146114f85760405162461bcd60e51b8152600401808060200182810382526030815260200180611bea6030913960400191505060405180910390fd5b61154f6001600160a01b037f0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c59916857f000000000000000000000000000000000000000000000000000000003b9aca0085900361186f565b8115611589576115896001600160a01b037f0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c59916848461186f565b8015611622576040516000906001600160a01b0386169083908381818185875af1925050503d80600081146115da576040519150601f19603f3d011682016040523d82523d6000602084013e6115df565b606091505b5050905080611620576040516001600160a01b0385169083156108fc029084906000818181858888f1935050505015801561161e573d6000803e3d6000fd5b505b505b50505050565b6002805460009163ffffffff600160201b9092048216917f0000000000000000000000000000000000000000000000000000000000000014811690910a168114156116a45760405162461bcd60e51b8152600401808060200182810382526030815260200180611cfc6030913960400191505060405180910390fd5b8083600080805b7f000000000000000000000000000000000000000000000000000000000000001463ffffffff168163ffffffff1610156117755760018516611718578392506116f98163ffffffff16610dea565b63ffffffff821660009081526020819052604090208590559150611734565b63ffffffff811660009081526020819052604090205492508391505b61175f7f00000000000000000000000083584f83f26af4edda9cbe8c730bc87c364b28fe8484610a09565b9350600263ffffffff86160494506001016116ab565b505060028054601e63ffffffff8083166001908101821692909206811663ffffffff199093168317845560009283526020829052604090922094909455815493860116600160201b0267ffffffff00000000199093169290921790915550909392505050565b34156118185760405162461bcd60e51b8152600401808060200182810382526030815260200180611ca26030913960400191505060405180910390fd5b61186d6001600160a01b037f0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c5991633307f000000000000000000000000000000000000000000000000000000003b9aca006118c6565b565b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b031663a9059cbb60e01b1790526118c190849061191c565b505050565b604080516001600160a01b0380861660248301528416604482015260648082018490528251808303909101815260849091019091526020810180516001600160e01b03166323b872dd60e01b1790526116229085905b6000611971826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166119cd9092919063ffffffff16565b8051909150156118c15780806020019051602081101561199057600080fd5b50516118c15760405162461bcd60e51b815260040180806020018281038252602a815260200180611cd2602a913960400191505060405180910390fd5b60606119dc84846000856119e4565b949350505050565b606082471015611a255760405162461bcd60e51b8152600401808060200182810382526026815260200180611c1a6026913960400191505060405180910390fd5b611a2e85611b3f565b611a7f576040805162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604482015290519081900360640190fd5b600080866001600160a01b031685876040518082805190602001908083835b60208310611abd5780518252601f199092019160209182019101611a9e565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d8060008114611b1f576040519150601f19603f3d011682016040523d82523d6000602084013e611b24565b606091505b5091509150611b34828286611b45565b979650505050505050565b3b151590565b60608315611b54575081610bd0565b825115611b645782518084602001fd5b8160405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611bae578181015183820152602001611b96565b50505050905090810190601f168015611bdb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fdfe496e636f727265637420726566756e6420616d6f756e742072656365697665642062792074686520636f6e7472616374416464726573733a20696e73756666696369656e742062616c616e636520666f722063616c6c5f72696768742073686f756c6420626520696e7369646520746865206669656c6430644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000154686520636f6d6d69746d656e7420686173206265656e207375626d69747465644554482076616c756520697320737570706f73656420746f206265203020666f7220455243323020696e7374616e63655361666545524332303a204552433230206f7065726174696f6e20646964206e6f7420737563636565644d65726b6c6520747265652069732066756c6c2e204e6f206d6f7265206c65617665732063616e206265206164646564a2646970667358221220370d4490aab00a53c86bf091220fe84f014e404351c49421330bfe88a91d89f164736f6c63430007060033

000000000000000000000000ce172ce1f20ec0b3728c9965470eaf994a03557a00000000000000000000000083584f83f26af4edda9cbe8c730bc87c364b28fe000000000000000000000000000000000000000000000000000000003b9aca0000000000000000000000000000000000000000000000000000000000000000140000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599

-----Decoded View---------------
Arg [0] : _verifier (address): 0xce172ce1F20EC0B3728c9965470eaf994A03557A
Arg [1] : _hasher (address): 0x83584f83f26aF4eDDA9CBe8C730bc87C364b28fe
Arg [2] : _denomination (uint256): 1000000000
Arg [3] : _merkleTreeHeight (uint32): 20
Arg [4] : _token (address): 0x2260FAC5E5542a773Aa44fBCfeDf7C193bc2C599

-----Encoded View---------------
5 Constructor Arguments found :
Arg [0] : 000000000000000000000000ce172ce1f20ec0b3728c9965470eaf994a03557a
Arg [1] : 00000000000000000000000083584f83f26af4edda9cbe8c730bc87c364b28fe
Arg [2] : 000000000000000000000000000000000000000000000000000000003b9aca00
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000014
Arg [4] : 0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599

38430:1155:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11820:47;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;11820:47:0;;:::i;:::-;;;;;;;;;;;;;;;;;;13900:878;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;13900:878:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;13900:878:0;;;;;;;;;;;;-1:-1:-1;13900:878:0;-1:-1:-1;13900:878:0;;;;;;;;-1:-1:-1;;;;;13900:878:0;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11736:35;;;;;;;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;11736:35:0;;;;;;;;;;;;;;1043:114;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1358:30;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3831:410;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3831:410:0;;:::i;11964:43::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;11964:43:0;;:::i;11776:37::-;;;;;;;;;;;;;:::i;2341:493::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;2341:493:0;;;;;;;;;;;;;:::i;1838:34::-;;;;;;;;;;;;;:::i;15233:305::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;15233:305:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;15233:305:0;;;;;;;;;;-1:-1:-1;15233:305:0;;-1:-1:-1;15233:305:0;-1:-1:-1;15233:305:0;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13051:332;;;;;;;;;;;;;;;;-1:-1:-1;13051:332:0;;:::i;4292:96::-;;;;;;;;;;;;;:::i;1743:40::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1743:40:0;;:::i;1788:45::-;;;;;;;;;;;;;:::i;15050:119::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15050:119:0;;:::i;4476:3512::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4476:3512:0;;:::i;1162:114::-;;;;;;;;;;;;;:::i;1322:31::-;;;;;;;;;;;;;:::i;1689:49::-;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1689:49:0;;:::i;38499:29::-;;;;;;;;;;;;;:::i;1877:27::-;;;;;;;;;;;;;:::i;11820:47::-;;;;;;;;;;;;;;;:::o;13900:878::-;9745:1;10351:7;;:19;;10343:63;;;;;-1:-1:-1;;;10343:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9745:1;10484:7;:18;14158:12:::1;14150:20:::0;::::1;;14142:59;;;::::0;;-1:-1:-1;;;14142:59:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;14217:31;::::0;;;:15:::1;:31;::::0;;;;;::::1;;14216:32;14208:76;;;::::0;;-1:-1:-1;;;14208:76:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;14299:18;14311:5;14299:11;:18::i;:::-;14291:59;;;::::0;;-1:-1:-1;;;14291:59:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;::::1;::::0;;;;;;;;;;;;;::::1;;14406:8;-1:-1:-1::0;;;;;14406:20:0::1;;14437:6;;14406:153;;;;;;;;14463:5;14455:14;;14406:153;;;;14479:14;14471:23;;14406:153;;;;14504:10;-1:-1:-1::0;;;;;14496:19:0::1;14406:153;;;;14525:8;-1:-1:-1::0;;;;;14517:17:0::1;14406:153;;;;14536:4;14406:153;;;;14542:7;14406:153;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;;::::1;::::0;;;::::1;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;-1:-1:-1::0;14406:153:0;14390:209:::1;;;::::0;;-1:-1:-1;;;14390:209:0;;::::1;;::::0;::::1;::::0;::::1;::::0;;;;-1:-1:-1;;;14390:209:0;;;;;;;;;;;;;::::1;;14608:31;::::0;;;:15:::1;:31;::::0;;;;:38;;-1:-1:-1;;14608:38:0::1;14642:4;14608:38;::::0;;14653:53:::1;14670:10:::0;14682:8;14692:4;14698:7;14653:16:::1;:53::i;:::-;14718:54;::::0;;-1:-1:-1;;;;;14718:54:0;;::::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;;;;;::::1;::::0;::::1;::::0;;;;;;;::::1;-1:-1:-1::0;;9701:1:0;10663:7;:22;-1:-1:-1;;;;;;13900:878:0:o;11736:35::-;;;:::o;1043:114::-;-1:-1:-1;;;;;;;;;;;1043:114:0;:::o;1358:30::-;;;:::o;3831:410::-;3888:4;3905:10;3901:45;;-1:-1:-1;3933:5:0;3926:12;;3901:45;3979:16;;;;;4037:180;4062:8;;;;;;;:5;:8;;;;;;4053:17;;4049:55;;;4090:4;4083:11;;;;;;4049:55;4116:6;;;4112:54;;-1:-1:-1;1831:2:0;4112:54;-1:-1:-1;;4174:3:0;4193:22;;;;;;;;;4037:180;;4230:5;4223:12;;;;3831:410;;;;:::o;11964:43::-;;;;;;;;;;;;;;;:::o;11776:37::-;;;:::o;2341:493::-;2453:7;-1:-1:-1;;;;;;;;;;;2477:27:0;;2469:72;;;;;-1:-1:-1;;;2469:72:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2556:28:0;;2548:74;;;;-1:-1:-1;;;2548:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2691:24;;;-1:-1:-1;;;2691:24:0;;;;;;;;2629:9;2691:24;;;;;;;;2649:5;;2629:9;;-1:-1:-1;;;;;2691:18:0;;;;;:24;;;;;;;;;;:18;:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2691:24:0;;;;;;;;;-1:-1:-1;2691:24:0;-1:-1:-1;;;;;;;;;;;;2744:6:0;2733:1;2726:38;2722:42;;2780:7;-1:-1:-1;;;;;2780:18:0;;2799:1;2802;2780:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2780:24:0;;-1:-1:-1;;;2341:493:0;;;;;;:::o;1838:34::-;;;;;;:::o;15233:305::-;15315:19;15362:16;15351:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;15351:35:0;;15343:43;;15398:9;15393:140;15413:27;;;15393:140;;;15460:28;15468:16;;15485:1;15468:19;;;;;;;;;;;;;15460:7;:28::i;:::-;15456:70;;;15512:4;15501:5;15507:1;15501:8;;;;;;;;:15;;;:8;;;;;;;;;;;:15;15456:70;15442:3;;15393:140;;;;15233:305;;;;:::o;13051:332::-;9745:1;10351:7;;:19;;10343:63;;;;;-1:-1:-1;;;10343:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9745:1;10484:7;:18;13135:24:::1;::::0;;;:11:::1;:24;::::0;;;;;::::1;;13134:25;13126:71;;;;-1:-1:-1::0;;;13126:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13206:20;13229;13237:11;13229:7;:20::i;:::-;13256:24;::::0;;;:11:::1;:24;::::0;;;;:31;;-1:-1:-1;;13256:31:0::1;13283:4;13256:31;::::0;;13206:43;-1:-1:-1;13294:17:0::1;:15;:17::i;:::-;13325:52;::::0;;::::1;::::0;::::1;::::0;;13361:15:::1;13325:52;::::0;::::1;::::0;;;13333:11;;13325:52:::1;::::0;;;;;;::::1;-1:-1:-1::0;;9701:1:0;10663:7;:22;13051:332::o;4292:96::-;4365:16;;;;4336:7;4359:23;;;:5;:23;;;;;;4292:96;:::o;1743:40::-;;;;;;;;;;;;;:::o;1788:45::-;1831:2;1788:45;:::o;15050:119::-;15112:4;15132:31;;;:15;:31;;;;;;;;;15050:119::o;4476:3512::-;4523:7;4543:6;4539:3443;;-1:-1:-1;4566:66:0;4551:82;;4539:3443;4649:1;4654;4649:6;4645:3337;;;-1:-1:-1;4672:66:0;4657:82;;4645:3337;4755:1;4760;4755:6;4751:3231;;;-1:-1:-1;4778:66:0;4763:82;;4751:3231;4861:1;4866;4861:6;4857:3125;;;-1:-1:-1;4884:66:0;4869:82;;4857:3125;4967:1;4972;4967:6;4963:3019;;;-1:-1:-1;4990:66:0;4975:82;;4963:3019;5073:1;5078;5073:6;5069:2913;;;-1:-1:-1;5096:66:0;5081:82;;5069:2913;5179:1;5184;5179:6;5175:2807;;;-1:-1:-1;5202:66:0;5187:82;;5175:2807;5285:1;5290;5285:6;5281:2701;;;-1:-1:-1;5308:66:0;5293:82;;5281:2701;5391:1;5396;5391:6;5387:2595;;;-1:-1:-1;5414:66:0;5399:82;;5387:2595;5497:1;5502;5497:6;5493:2489;;;-1:-1:-1;5520:66:0;5505:82;;5493:2489;5603:1;5608:2;5603:7;5599:2383;;;-1:-1:-1;5627:66:0;5612:82;;5599:2383;5710:1;5715:2;5710:7;5706:2276;;;-1:-1:-1;5734:66:0;5719:82;;5706:2276;5817:1;5822:2;5817:7;5813:2169;;;-1:-1:-1;5841:66:0;5826:82;;5813:2169;5924:1;5929:2;5924:7;5920:2062;;;-1:-1:-1;5948:66:0;5933:82;;5920:2062;6031:1;6036:2;6031:7;6027:1955;;;-1:-1:-1;6055:66:0;6040:82;;6027:1955;6138:1;6143:2;6138:7;6134:1848;;;-1:-1:-1;6162:66:0;6147:82;;6134:1848;6245:1;6250:2;6245:7;6241:1741;;;-1:-1:-1;6269:66:0;6254:82;;6241:1741;6352:1;6357:2;6352:7;6348:1634;;;-1:-1:-1;6376:66:0;6361:82;;6348:1634;6459:1;6464:2;6459:7;6455:1527;;;-1:-1:-1;6483:66:0;6468:82;;6455:1527;6566:1;6571:2;6566:7;6562:1420;;;-1:-1:-1;6590:66:0;6575:82;;6562:1420;6673:1;6678:2;6673:7;6669:1313;;;-1:-1:-1;6697:66:0;6682:82;;6669:1313;6780:1;6785:2;6780:7;6776:1206;;;-1:-1:-1;6804:66:0;6789:82;;6776:1206;6887:1;6892:2;6887:7;6883:1099;;;-1:-1:-1;6911:66:0;6896:82;;6883:1099;6994:1;6999:2;6994:7;6990:992;;;-1:-1:-1;7018:66:0;7003:82;;6990:992;7101:1;7106:2;7101:7;7097:885;;;-1:-1:-1;7125:66:0;7110:82;;7097:885;7208:1;7213:2;7208:7;7204:778;;;-1:-1:-1;7232:66:0;7217:82;;7204:778;7315:1;7320:2;7315:7;7311:671;;;-1:-1:-1;7339:66:0;7324:82;;7311:671;7422:1;7427:2;7422:7;7418:564;;;-1:-1:-1;7446:66:0;7431:82;;7418:564;7529:1;7534:2;7529:7;7525:457;;;-1:-1:-1;7553:66:0;7538:82;;7525:457;7636:1;7641:2;7636:7;7632:350;;;-1:-1:-1;7660:66:0;7645:82;;7632:350;7743:1;7748:2;7743:7;7739:243;;;-1:-1:-1;7767:66:0;7752:82;;7739:243;7850:1;7855:2;7850:7;7846:136;;;-1:-1:-1;7874:66:0;7859:82;;7846:136;7953:29;;;-1:-1:-1;;;7953:29:0;;;;;;;;;;;;-1:-1:-1;;;7953:29:0;;;;;;;;;;;;;;1162:114;1199:77;1162:114;:::o;1322:31::-;;;:::o;1689:49::-;;;;;;;;;;;;;;:::o;38499:29::-;;;:::o;1877:27::-;;;-1:-1:-1;;;1877:27:0;;;;;:::o;38983:599::-;39165:7;39152:9;:20;39144:81;;;;-1:-1:-1;;;39144:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39234:51;-1:-1:-1;;;;;39234:5:0;:18;39253:10;39265:12;:19;;;39234:18;:51::i;:::-;39296:8;;39292:65;;39315:34;-1:-1:-1;;;;;39315:5:0;:18;39334:8;39344:4;39315:18;:34::i;:::-;39369:11;;39365:212;;39410:37;;39392:12;;-1:-1:-1;;;;;39410:15:0;;;39434:7;;39392:12;39410:37;39392:12;39410:37;39434:7;39410:15;:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39391:56;;;39461:7;39456:114;;39534:26;;-1:-1:-1;;;;;39534:17:0;;;:26;;;;;39552:7;;39534:26;;;;39552:7;39534:17;:26;;;;;;;;;;;;;;;;;;;;;39456:114;39365:212;;38983:599;;;;:::o;2840:914::-;2931:9;;;2890:12;;2931:9;-1:-1:-1;;;2931:9:0;;;;;;2980:6;2969:17;;;;;2955:31;;;;2947:92;;;;-1:-1:-1;;;2947:92:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3068:10;3112:5;3046:19;;;3165:371;3188:6;3184:10;;:1;:10;;;3165:371;;;3214:16;;;3210:231;;3255:16;3248:23;;3290:8;3296:1;3290:8;;:5;:8::i;:::-;3309:17;;;:14;:17;;;;;;;;;;:36;;;3282:16;-1:-1:-1;3210:231:0;;;3379:17;;;:14;:17;;;;;;;;;;;;-1:-1:-1;3415:16:0;;-1:-1:-1;3210:231:0;3468:34;3482:6;3490:4;3496:5;3468:13;:34::i;:::-;3449:53;-1:-1:-1;3527:1:0;3511:17;;;;;-1:-1:-1;3196:3:0;;3165:371;;;-1:-1:-1;;3567:16:0;;;1831:2;3566:42;3567:16;;;;:20;;;3566:42;;;;;;3615:31;;-1:-1:-1;;3615:31:0;;;;;;;-1:-1:-1;3653:19:0;;;;;;;;;;;:38;;;;3698:26;;3710:14;;;3698:26;-1:-1:-1;;;3698:26:0;-1:-1:-1;;3698:26:0;;;;;;;;;;-1:-1:-1;3710:14:0;;;-1:-1:-1;;;2840:914:0:o;38774:203::-;38834:9;:14;38826:75;;;;-1:-1:-1;;;38826:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;38908:63;-1:-1:-1;;;;;38908:5:0;:22;38931:10;38951:4;38958:12;38908:22;:63::i;:::-;38774:203::o;34511:177::-;34621:58;;;-1:-1:-1;;;;;34621:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;34621:58:0;-1:-1:-1;;;34621:58:0;;;34594:86;;34614:5;;34594:19;:86::i;:::-;34511:177;;;:::o;34696:205::-;34824:68;;;-1:-1:-1;;;;;34824:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;34824:68:0;-1:-1:-1;;;34824:68:0;;;34797:96;;34817:5;;36816:761;37240:23;37266:69;37294:4;37266:69;;;;;;;;;;;;;;;;;37274:5;-1:-1:-1;;;;;37266:27:0;;;:69;;;;;:::i;:::-;37350:17;;37240:95;;-1:-1:-1;37350:21:0;37346:224;;37492:10;37481:30;;;;;;;;;;;;;;;-1:-1:-1;37481:30:0;37473:85;;;;-1:-1:-1;;;37473:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29506:195;29609:12;29641:52;29663:6;29671:4;29677:1;29680:12;29641:21;:52::i;:::-;29634:59;29506:195;-1:-1:-1;;;;29506:195:0:o;30558:530::-;30685:12;30743:5;30718:21;:30;;30710:81;;;;-1:-1:-1;;;30710:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30810:18;30821:6;30810:10;:18::i;:::-;30802:60;;;;;-1:-1:-1;;;30802:60:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;30936:12;30950:23;30977:6;-1:-1:-1;;;;;30977:11:0;30997:5;31005:4;30977:33;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;30977:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30935:75;;;;31028:52;31046:7;31055:10;31067:12;31028:17;:52::i;:::-;31021:59;30558:530;-1:-1:-1;;;;;;;30558:530:0:o;26588:422::-;26955:20;26994:8;;;26588:422::o;33098:742::-;33213:12;33242:7;33238:595;;;-1:-1:-1;33273:10:0;33266:17;;33238:595;33387:17;;:21;33383:439;;33650:10;33644:17;33711:15;33698:10;33694:2;33690:19;33683:44;33598:148;33793:12;33786:20;;-1:-1:-1;;;33786:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

ipfs://370d4490aab00a53c86bf091220fe84f014e404351c49421330bfe88a91d89f1