Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

import "@openzeppelin/contracts/access/Ownable.sol";
import "./lib/SemaphoreInterface.sol";
import "./lib/Claims.sol";
import "./lib/Random.sol";
import "./lib/StringUtils.sol";
import "./lib/BytesUtils.sol";

/**
 * Reclaim Beacon contract
 */
contract Reclaim is Ownable {
	struct Witness {
		/** ETH address of the witness */
		address addr;
		/** Host to connect to the witness */
		string host;
	}

	struct Epoch {
		/** Epoch number */
		uint32 id;
		/** when the epoch changed */
		uint32 timestampStart;
		/** when the epoch will change */
		uint32 timestampEnd;
		/** Witnesses for this epoch */
		Witness[] witnesses;
		/**
		 * Minimum number of witnesses
		 * required to create a claim
		 * */
		uint8 minimumWitnessesForClaimCreation;
	}

	struct Proof {
		Claims.ClaimInfo claimInfo;
		Claims.SignedClaim signedClaim;
	}

	/** list of all epochs */
	Epoch[] public epochs;
	
	/**
	 * duration of each epoch.
	 * is not a hard duration, but useful for
	 * caching purposes
	 * */
	uint32 public epochDurationS; // 1 day

	/**
	 * current epoch.
	 * starts at 1, so that the first epoch is 1
	 * */
	uint32 public currentEpoch;

	event EpochAdded(Epoch epoch);

	bool internal locked;

	// Modifiers
	modifier noReentrant() {
		require(!locked, "No re-entrancy");
		locked = true;
		_;
		locked = false;
	}

	constructor() {
		epochDurationS = 1 days;
		currentEpoch = 0;
	}

	// epoch functions ---

	/**
	 * Fetch an epoch
	 * @param epoch the epoch number to fetch;
	 * pass 0 to fetch the current epoch
	 */
	function fetchEpoch(uint32 epoch) public view returns (Epoch memory) {
		if (epoch == 0) {
			return epochs[epochs.length - 1];
		}
		return epochs[epoch - 1];
	}

	/**
	 * Get the witnesses that'll sign the claim
	 */
	function fetchWitnessesForClaim(
		uint32 epoch,
		bytes32 identifier,
		uint32 timestampS
	) public view returns (Witness[] memory) {
		Epoch memory epochData = fetchEpoch(epoch);
		bytes memory completeInput = abi.encodePacked(
			// hex encode bytes
			StringUtils.bytes2str(
				// convert bytes32 to bytes
				abi.encodePacked(identifier)
			),
			"\n",
			StringUtils.uint2str(epoch),
			"\n",
			StringUtils.uint2str(epochData.minimumWitnessesForClaimCreation),
			"\n",
			StringUtils.uint2str(timestampS)
		);
		bytes memory completeHash = abi.encodePacked(keccak256(completeInput));

		Witness[] memory witnessesLeftList = epochData.witnesses;
		Witness[] memory selectedWitnesses = new Witness[](
			epochData.minimumWitnessesForClaimCreation
		);
		uint witnessesLeft = witnessesLeftList.length;

		uint byteOffset = 0;
		for (uint32 i = 0; i < epochData.minimumWitnessesForClaimCreation; i++) {
			uint randomSeed = BytesUtils.bytesToUInt(completeHash, byteOffset);
			uint witnessIndex = randomSeed % witnessesLeft;
			selectedWitnesses[i] = witnessesLeftList[witnessIndex];
			// remove the witness from the list of witnesses
			// we've utilised witness at index "idx"
			// we of course don't want to pick the same witness twice
			// so we remove it from the list of witnesses
			// and reduce the number of witnesses left to pick from
			// since solidity doesn't support "pop()" in memory arrays
			// we swap the last element with the element we want to remove
			witnessesLeftList[witnessIndex] = epochData.witnesses[witnessesLeft - 1];
			byteOffset = (byteOffset + 4) % completeHash.length;
			witnessesLeft -= 1;
		}

		return selectedWitnesses;
	}

	/**
	 * Call the function to assert
	 * the validity of several claims proofs
	 */
	function verifyProof(
		Proof memory proof
	) public returns (bool) {
		// create signed claim using claimData and signature.
		require(proof.signedClaim.signatures.length > 0, "No signatures");
		Claims.SignedClaim memory signed = Claims.SignedClaim(
			proof.signedClaim.claim,
			proof.signedClaim.signatures
		);

		// check if the hash from the claimInfo is equal to the infoHash in the claimData
		bytes32 hashed = Claims.hashClaimInfo(proof.claimInfo);
		require(proof.signedClaim.claim.identifier == hashed);

		// fetch witness list from fetchEpoch(_epoch).witnesses
		Witness[] memory expectedWitnesses = fetchWitnessesForClaim(
			proof.signedClaim.claim.epoch,
			proof.signedClaim.claim.identifier,
			proof.signedClaim.claim.timestampS
		);
		address[] memory signedWitnesses = Claims.recoverSignersOfSignedClaim(signed);
		// check if the number of signatures is equal to the number of witnesses
		require(
			signedWitnesses.length == expectedWitnesses.length,
			"Number of signatures not equal to number of witnesses"
		);

		// Update awaited: more checks on whose signatures can be considered.
		for (uint256 i = 0; i < signed.signatures.length; i++) {
			bool found = false;
			for (uint j = 0; j < expectedWitnesses.length; j++) {
				if (signedWitnesses[i] == expectedWitnesses[j].addr) {
					found = true;
					break;
				}
			}
			require(found, "Signature not appropriate");
		}

		// @TODO: verify zkproof
	}

	// admin functions ---

	/**
	 * @dev Add a new epoch
	 */
	function addNewEpoch(
		Witness[] calldata witnesses,
		uint8 requisiteWitnessesForClaimCreate
	) external onlyOwner {
		if (epochDurationS == 0) {
			epochDurationS = 1 days;
		}
		if (epochs.length > 0) {
			epochs[epochs.length - 1].timestampEnd = uint32(block.timestamp);
		}

		currentEpoch += 1;
		Epoch storage epoch = epochs.push();
		epoch.id = currentEpoch;
		epoch.timestampStart = uint32(block.timestamp);
		epoch.timestampEnd = uint32(block.timestamp + epochDurationS);
		epoch.minimumWitnessesForClaimCreation = requisiteWitnessesForClaimCreate;

		for (uint256 i = 0; i < witnesses.length; i++) {
			epoch.witnesses.push(witnesses[i]);
		}

		emit EpochAdded(epochs[epochs.length - 1]);
	}
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)

pragma solidity ^0.8.0;

import "../utils/Context.sol";

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (utils/cryptography/ECDSA.sol)

pragma solidity ^0.8.0;

import "../Strings.sol";

/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    enum RecoverError {
        NoError,
        InvalidSignature,
        InvalidSignatureLength,
        InvalidSignatureS,
        InvalidSignatureV // Deprecated in v4.8
    }

    function _throwError(RecoverError error) private pure {
        if (error == RecoverError.NoError) {
            return; // no error: do nothing
        } else if (error == RecoverError.InvalidSignature) {
            revert("ECDSA: invalid signature");
        } else if (error == RecoverError.InvalidSignatureLength) {
            revert("ECDSA: invalid signature length");
        } else if (error == RecoverError.InvalidSignatureS) {
            revert("ECDSA: invalid signature 's' value");
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature` or error string. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     *
     * Documentation for signature generation:
     * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]
     * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError) {
        if (signature.length == 65) {
            bytes32 r;
            bytes32 s;
            uint8 v;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            /// @solidity memory-safe-assembly
            assembly {
                r := mload(add(signature, 0x20))
                s := mload(add(signature, 0x40))
                v := byte(0, mload(add(signature, 0x60)))
            }
            return tryRecover(hash, v, r, s);
        } else {
            return (address(0), RecoverError.InvalidSignatureLength);
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, signature);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.
     *
     * See https://eips.ethereum.org/EIPS/eip-2098[EIP-2098 short signatures]
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address, RecoverError) {
        bytes32 s = vs & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
        uint8 v = uint8((uint256(vs) >> 255) + 27);
        return tryRecover(hash, v, r, s);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately.
     *
     * _Available since v4.2._
     */
    function recover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, r, vs);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `v`,
     * `r` and `s` signature fields separately.
     *
     * _Available since v4.3._
     */
    function tryRecover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) internal pure returns (address, RecoverError) {
        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (301): 0 < s < secp256k1n ÷ 2 + 1, and for v in (302): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {
            return (address(0), RecoverError.InvalidSignatureS);
        }

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        if (signer == address(0)) {
            return (address(0), RecoverError.InvalidSignature);
        }

        return (signer, RecoverError.NoError);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function recover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) internal pure returns (address) {
        (address recovered, RecoverError error) = tryRecover(hash, v, r, s);
        _throwError(error);
        return recovered;
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from a `hash`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32 message) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        /// @solidity memory-safe-assembly
        assembly {
            mstore(0x00, "\x19Ethereum Signed Message:\n32")
            mstore(0x1c, hash)
            message := keccak256(0x00, 0x3c)
        }
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from `s`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes memory s) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n", Strings.toString(s.length), s));
    }

    /**
     * @dev Returns an Ethereum Signed Typed Data, created from a
     * `domainSeparator` and a `structHash`. This produces hash corresponding
     * to the one signed with the
     * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`]
     * JSON-RPC method as part of EIP-712.
     *
     * See {recover}.
     */
    function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32 data) {
        /// @solidity memory-safe-assembly
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, "\x19\x01")
            mstore(add(ptr, 0x02), domainSeparator)
            mstore(add(ptr, 0x22), structHash)
            data := keccak256(ptr, 0x42)
        }
    }

    /**
     * @dev Returns an Ethereum Signed Data with intended validator, created from a
     * `validator` and `data` according to the version 0 of EIP-191.
     *
     * See {recover}.
     */
    function toDataWithIntendedValidatorHash(address validator, bytes memory data) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x00", validator, data));
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.0) (utils/math/Math.sol)

pragma solidity ^0.8.0;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    enum Rounding {
        Down, // Toward negative infinity
        Up, // Toward infinity
        Zero // Toward zero
    }

    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a > b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow.
        return (a & b) + (a ^ b) / 2;
    }

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds up instead
     * of rounding down.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a == 0 ? 0 : (a - 1) / b + 1;
    }

    /**
     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0
     * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)
     * with further edits by Uniswap Labs also under MIT license.
     */
    function mulDiv(uint256 x, uint256 y, uint256 denominator) internal pure returns (uint256 result) {
        unchecked {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use
            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2^256 + prod0.
            uint256 prod0; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod0 := mul(x, y)
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                // Solidity will revert if denominator == 0, unlike the div opcode on its own.
                // The surrounding unchecked block does not change this fact.
                // See https://docs.soliditylang.org/en/latest/control-structures.html#checked-or-unchecked-arithmetic.
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1, "Math: mulDiv overflow");

            ///////////////////////////////////////////////
            // 512 by 256 division.
            ///////////////////////////////////////////////

            // Make division exact by subtracting the remainder from [prod1 prod0].
            uint256 remainder;
            assembly {
                // Compute remainder using mulmod.
                remainder := mulmod(x, y, denominator)

                // Subtract 256 bit number from 512 bit number.
                prod1 := sub(prod1, gt(remainder, prod0))
                prod0 := sub(prod0, remainder)
            }

            // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.
            // See https://cs.stackexchange.com/q/138556/92363.

            // Does not overflow because the denominator cannot be zero at this stage in the function.
            uint256 twos = denominator & (~denominator + 1);
            assembly {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

                // Divide [prod1 prod0] by twos.
                prod0 := div(prod0, twos)

                // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.
                twos := add(div(sub(0, twos), twos), 1)
            }

            // Shift in bits from prod1 into prod0.
            prod0 |= prod1 * twos;

            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such
            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for
            // four bits. That is, denominator * inv = 1 mod 2^4.
            uint256 inverse = (3 * denominator) ^ 2;

            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works
            // in modular arithmetic, doubling the correct bits in each step.
            inverse *= 2 - denominator * inverse; // inverse mod 2^8
            inverse *= 2 - denominator * inverse; // inverse mod 2^16
            inverse *= 2 - denominator * inverse; // inverse mod 2^32
            inverse *= 2 - denominator * inverse; // inverse mod 2^64
            inverse *= 2 - denominator * inverse; // inverse mod 2^128
            inverse *= 2 - denominator * inverse; // inverse mod 2^256

            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.
            // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is
            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1
            // is no longer required.
            result = prod0 * inverse;
            return result;
        }
    }

    /**
     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.
     */
    function mulDiv(uint256 x, uint256 y, uint256 denominator, Rounding rounding) internal pure returns (uint256) {
        uint256 result = mulDiv(x, y, denominator);
        if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

    /**
     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded down.
     *
     * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11).
     */
    function sqrt(uint256 a) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        //
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
        //
        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
        //
        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1 << (log2(a) >> 1);

        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,
        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at
        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision
        // into the expected uint128 result.
        unchecked {
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            return min(result, a / result);
        }
    }

    /**
     * @notice Calculates sqrt(a), following the selected rounding direction.
     */
    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = sqrt(a);
            return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 2, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 128;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 64;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 32;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 16;
            }
            if (value >> 8 > 0) {
                value >>= 8;
                result += 8;
            }
            if (value >> 4 > 0) {
                value >>= 4;
                result += 4;
            }
            if (value >> 2 > 0) {
                value >>= 2;
                result += 2;
            }
            if (value >> 1 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log2(value);
            return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 10, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >= 10 ** 64) {
                value /= 10 ** 64;
                result += 64;
            }
            if (value >= 10 ** 32) {
                value /= 10 ** 32;
                result += 32;
            }
            if (value >= 10 ** 16) {
                value /= 10 ** 16;
                result += 16;
            }
            if (value >= 10 ** 8) {
                value /= 10 ** 8;
                result += 8;
            }
            if (value >= 10 ** 4) {
                value /= 10 ** 4;
                result += 4;
            }
            if (value >= 10 ** 2) {
                value /= 10 ** 2;
                result += 2;
            }
            if (value >= 10 ** 1) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log10(value);
            return result + (rounding == Rounding.Up && 10 ** result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256, rounded down, of a positive value.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 16;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 8;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 4;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 2;
            }
            if (value >> 8 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 256, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log256(value);
            return result + (rounding == Rounding.Up && 1 << (result << 3) < value ? 1 : 0);
        }
    }
}

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

pragma solidity ^0.8.0;

/**
 * @dev Standard signed math utilities missing in the Solidity language.
 */
library SignedMath {
    /**
     * @dev Returns the largest of two signed numbers.
     */
    function max(int256 a, int256 b) internal pure returns (int256) {
        return a > b ? a : b;
    }

    /**
     * @dev Returns the smallest of two signed numbers.
     */
    function min(int256 a, int256 b) internal pure returns (int256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two signed numbers without overflow.
     * The result is rounded towards zero.
     */
    function average(int256 a, int256 b) internal pure returns (int256) {
        // Formula from the book "Hacker's Delight"
        int256 x = (a & b) + ((a ^ b) >> 1);
        return x + (int256(uint256(x) >> 255) & (a ^ b));
    }

    /**
     * @dev Returns the absolute unsigned value of a signed value.
     */
    function abs(int256 n) internal pure returns (uint256) {
        unchecked {
            // must be unchecked in order to support `n = type(int256).min`
            return uint256(n >= 0 ? n : -n);
        }
    }
}

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

pragma solidity ^0.8.0;

import "./math/Math.sol";
import "./math/SignedMath.sol";

/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant _SYMBOLS = "0123456789abcdef";
    uint8 private constant _ADDRESS_LENGTH = 20;

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        unchecked {
            uint256 length = Math.log10(value) + 1;
            string memory buffer = new string(length);
            uint256 ptr;
            /// @solidity memory-safe-assembly
            assembly {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                /// @solidity memory-safe-assembly
                assembly {
                    mstore8(ptr, byte(mod(value, 10), _SYMBOLS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `int256` to its ASCII `string` decimal representation.
     */
    function toString(int256 value) internal pure returns (string memory) {
        return string(abi.encodePacked(value < 0 ? "-" : "", toString(SignedMath.abs(value))));
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        unchecked {
            return toHexString(value, Math.log256(value) + 1);
        }
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.
     */
    function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {
        bytes memory buffer = new bytes(2 * length + 2);
        buffer[0] = "0";
        buffer[1] = "x";
        for (uint256 i = 2 * length + 1; i > 1; --i) {
            buffer[i] = _SYMBOLS[value & 0xf];
            value >>= 4;
        }
        require(value == 0, "Strings: hex length insufficient");
        return string(buffer);
    }

    /**
     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal representation.
     */
    function toHexString(address addr) internal pure returns (string memory) {
        return toHexString(uint256(uint160(addr)), _ADDRESS_LENGTH);
    }

    /**
     * @dev Returns true if the two strings are equal.
     */
    function equal(string memory a, string memory b) internal pure returns (bool) {
        return keccak256(bytes(a)) == keccak256(bytes(b));
    }
}

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

/**
 * Utilities for bytes manipulation & conversion
 */
library BytesUtils {
	function bytesToUInt(bytes memory data, uint offset) internal pure returns (uint) {
		require(offset + 4 <= data.length, "Offset + 4 must be within data bounds");

		uint32 result;
		assembly {
			// Load the 32 bits (4 bytes) from the data at the given offset into the result variable
			result := mload(add(add(data, 0x4), offset))
		}

		return result;
	}
}

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

import "@openzeppelin/contracts/utils/cryptography/ECDSA.sol";
import "./StringUtils.sol";

/**
 * Library to assist with requesting,
 * serialising & verifying credentials
 */
library Claims {
	/** Data required to describe a claim */
	struct CompleteClaimData {
		bytes32 identifier;
		address owner;
		uint32 timestampS;
		uint32 epoch;
	}

	struct ClaimInfo {
		string provider;
		string parameters;
		string context;
	}

	/** Claim with signatures & signer */
	struct SignedClaim {
		CompleteClaimData claim;
		bytes[] signatures;
	}

	/**
	 * Asserts that the claim is signed by the expected witnesses
	 */
	function assertValidSignedClaim(
		SignedClaim memory self,
		address[] memory expectedWitnessAddresses
	) internal pure {
		require(self.signatures.length > 0, "No signatures");
		address[] memory signedWitnesses = recoverSignersOfSignedClaim(self);
		for (uint256 i = 0; i < expectedWitnessAddresses.length; i++) {
			bool found = false;
			for (uint256 j = 0; j < signedWitnesses.length; j++) {
				if (signedWitnesses[j] == expectedWitnessAddresses[i]) {
					found = true;
					break;
				}
			}
			require(found, "Missing witness signature");
		}
	}

	/**
	 * @dev recovers the signer of the claim
	 */
	function recoverSignersOfSignedClaim(
		SignedClaim memory self
	) internal pure returns (address[] memory) {
		bytes memory serialised = serialise(self.claim);
		address[] memory signers = new address[](self.signatures.length);
		for (uint256 i = 0; i < self.signatures.length; i++) {
			signers[i] = verifySignature(serialised, self.signatures[i]);
		}

		return signers;
	}

	/**
	 * @dev serialises the credential into a string;
	 * the string is used to verify the signature
	 *
	 * the serialisation is the same as done by the TS library
	 */
	function serialise(
		CompleteClaimData memory self
	) internal pure returns (bytes memory) {
		return
			abi.encodePacked(
				StringUtils.bytes2str(abi.encodePacked(self.identifier)),
				"\n",
				StringUtils.address2str(self.owner),
				"\n",
				StringUtils.uint2str(self.timestampS),
				"\n",
				StringUtils.uint2str(self.epoch)
			);
	}

	/**
	 * @dev returns the address of the user that generated the signature
	 */
	function verifySignature(
		bytes memory content,
		bytes memory signature
	) internal pure returns (address signer) {
		bytes32 signedHash = keccak256(
			abi.encodePacked(
				"\x19Ethereum Signed Message:\n",
				StringUtils.uint2str(content.length),
				content
			)
		);
		return ECDSA.recover(signedHash, signature);
	}

	function hashClaimInfo(ClaimInfo memory claimInfo) internal pure returns (bytes32) {
		bytes memory serialised = abi.encodePacked(
			claimInfo.provider,
			"\n",
			claimInfo.parameters,
			"\n",
			claimInfo.context
		);
		return keccak256(serialised);
	}
}

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

// implementation from: https://stackoverflow.com/a/67332959
// Utils for random number generation
library Random {
	/**
	 * @dev generates a random number from the given seed
	 * This will always return the same number for the same seed & block
	 */
	function random(uint256 seed) internal view returns (uint) {
		return uint(keccak256(abi.encodePacked(block.difficulty, block.timestamp, seed)));
	}
}

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

interface SemaphoreInterface {
	function createGroup(
		uint256 groupId,
		uint256 merkleTreeDepth,
		address admin
	) external;

	function addMember(uint256 groupId, uint256 identityCommitment) external;

	function verifyProof(
		uint256 groupId,
		uint256 merkleTreeRoot,
		uint256 signal,
		uint256 nullifierHash,
		uint256 externalNullifier,
		uint256[8] calldata proof
	) external;

	function removeMember(
		uint256 groupId,
		uint256 identityCommitment,
		uint256[] calldata proofSiblings,
		uint8[] calldata proofPathIndices
	) external;
}

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

/**
 * Utilities for string manipulation & conversion
 */
library StringUtils {
	function address2str(address x) internal pure returns (string memory) {
		bytes memory s = new bytes(40);
		for (uint i = 0; i < 20; i++) {
			bytes1 b = bytes1(uint8(uint(uint160(x)) / (2 ** (8 * (19 - i)))));
			bytes1 hi = bytes1(uint8(b) / 16);
			bytes1 lo = bytes1(uint8(b) - 16 * uint8(hi));
			s[2 * i] = getChar(hi);
			s[2 * i + 1] = getChar(lo);
		}
		return string(abi.encodePacked("0x", s));
	}

	function bytes2str(bytes memory buffer) internal pure returns (string memory) {
		// Fixed buffer size for hexadecimal convertion
		bytes memory converted = new bytes(buffer.length * 2);
		bytes memory _base = "0123456789abcdef";

		for (uint256 i = 0; i < buffer.length; i++) {
			converted[i * 2] = _base[uint8(buffer[i]) / _base.length];
			converted[i * 2 + 1] = _base[uint8(buffer[i]) % _base.length];
		}

		return string(abi.encodePacked("0x", converted));
	}

	function getChar(bytes1 b) internal pure returns (bytes1 c) {
		if (uint8(b) < 10) return bytes1(uint8(b) + 0x30);
		else return bytes1(uint8(b) + 0x57);
	}

	function bool2str(bool _b) internal pure returns (string memory _uintAsString) {
		if (_b) {
			return "true";
		} else {
			return "false";
		}
	}

	function uint2str(uint _i) internal pure returns (string memory _uintAsString) {
		if (_i == 0) {
			return "0";
		}
		uint j = _i;
		uint len;
		while (j != 0) {
			len++;
			j /= 10;
		}
		bytes memory bstr = new bytes(len);
		uint k = len;
		while (_i != 0) {
			k = k - 1;
			uint8 temp = (48 + uint8(_i - (_i / 10) * 10));
			bytes1 b1 = bytes1(temp);
			bstr[k] = b1;
			_i /= 10;
		}
		return string(bstr);
	}

	function areEqual(
		string calldata _a,
		string storage _b
	) internal pure returns (bool) {
		return keccak256(abi.encodePacked((_a))) == keccak256(abi.encodePacked((_b)));
	}

	function areEqual(string memory _a, string memory _b) internal pure returns (bool) {
		return keccak256(abi.encodePacked((_a))) == keccak256(abi.encodePacked((_b)));
	}

	function toLower(string memory str) internal pure returns (string memory) {
		bytes memory bStr = bytes(str);
		bytes memory bLower = new bytes(bStr.length);
		for (uint i = 0; i < bStr.length; i++) {
			// Uppercase character...
			if ((uint8(bStr[i]) >= 65) && (uint8(bStr[i]) <= 90)) {
				// So we add 32 to make it lowercase
				bLower[i] = bytes1(uint8(bStr[i]) + 32);
			} else {
				bLower[i] = bStr[i];
			}
		}
		return string(bLower);
	}

	function substring(
		string memory str,
		uint startIndex,
		uint endIndex
	) internal pure returns (string memory) {
		bytes memory strBytes = bytes(str);
		bytes memory result = new bytes(endIndex - startIndex);
		for (uint i = startIndex; i < endIndex; i++) {
			result[i - startIndex] = strBytes[i];
		}
		return string(result);
	}
}

{
  "viaIR": false,
  "optimizer": {
    "enabled": true,
    "runs": 500
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "libraries": {}
}

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"components":[{"internalType":"uint32","name":"id","type":"uint32"},{"internalType":"uint32","name":"timestampStart","type":"uint32"},{"internalType":"uint32","name":"timestampEnd","type":"uint32"},{"components":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"string","name":"host","type":"string"}],"internalType":"struct Reclaim.Witness[]","name":"witnesses","type":"tuple[]"},{"internalType":"uint8","name":"minimumWitnessesForClaimCreation","type":"uint8"}],"indexed":false,"internalType":"struct Reclaim.Epoch","name":"epoch","type":"tuple"}],"name":"EpochAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"inputs":[{"components":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"string","name":"host","type":"string"}],"internalType":"struct Reclaim.Witness[]","name":"witnesses","type":"tuple[]"},{"internalType":"uint8","name":"requisiteWitnessesForClaimCreate","type":"uint8"}],"name":"addNewEpoch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"currentEpoch","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"epochDurationS","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"epochs","outputs":[{"internalType":"uint32","name":"id","type":"uint32"},{"internalType":"uint32","name":"timestampStart","type":"uint32"},{"internalType":"uint32","name":"timestampEnd","type":"uint32"},{"internalType":"uint8","name":"minimumWitnessesForClaimCreation","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint32","name":"epoch","type":"uint32"}],"name":"fetchEpoch","outputs":[{"components":[{"internalType":"uint32","name":"id","type":"uint32"},{"internalType":"uint32","name":"timestampStart","type":"uint32"},{"internalType":"uint32","name":"timestampEnd","type":"uint32"},{"components":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"string","name":"host","type":"string"}],"internalType":"struct Reclaim.Witness[]","name":"witnesses","type":"tuple[]"},{"internalType":"uint8","name":"minimumWitnessesForClaimCreation","type":"uint8"}],"internalType":"struct Reclaim.Epoch","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint32","name":"epoch","type":"uint32"},{"internalType":"bytes32","name":"identifier","type":"bytes32"},{"internalType":"uint32","name":"timestampS","type":"uint32"}],"name":"fetchWitnessesForClaim","outputs":[{"components":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"string","name":"host","type":"string"}],"internalType":"struct Reclaim.Witness[]","name":"","type":"tuple[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"components":[{"internalType":"string","name":"provider","type":"string"},{"internalType":"string","name":"parameters","type":"string"},{"internalType":"string","name":"context","type":"string"}],"internalType":"struct Claims.ClaimInfo","name":"claimInfo","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32","name":"identifier","type":"bytes32"},{"internalType":"address","name":"owner","type":"address"},{"internalType":"uint32","name":"timestampS","type":"uint32"},{"internalType":"uint32","name":"epoch","type":"uint32"}],"internalType":"struct Claims.CompleteClaimData","name":"claim","type":"tuple"},{"internalType":"bytes[]","name":"signatures","type":"bytes[]"}],"internalType":"struct Claims.SignedClaim","name":"signedClaim","type":"tuple"}],"internalType":"struct Reclaim.Proof","name":"proof","type":"tuple"}],"name":"verifyProof","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5061001a33610034565b600280546001600160401b03191662015180179055610084565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b612597806100936000396000f3fe608060405234801561001057600080fd5b506004361061009e5760003560e01c80637667180811610066578063766718081461012e5780638da5cb5b14610146578063a960e69e14610161578063c6b61e4c14610184578063f2fde38b146101c757600080fd5b806310abbe56146100a3578063289989fd146100cc5780633d3c3e07146100f15780634729504c14610111578063715018a614610126575b600080fd5b6100b66100b1366004611be5565b6101da565b6040516100c39190611d79565b60405180910390f35b6002546100dc9063ffffffff1681565b60405163ffffffff90911681526020016100c3565b6101046100ff366004611bcb565b610453565b6040516100c39190611e12565b61012461011f366004611a31565b610784565b005b6101246109f0565b6002546100dc90640100000000900463ffffffff1681565b6000546040516001600160a01b0390911681526020016100c3565b61017461016f366004611ab7565b610a04565b60405190151581526020016100c3565b610197610192366004611bb3565b610c47565b6040805163ffffffff95861681529385166020850152919093169082015260ff90911660608201526080016100c3565b6101246101d5366004611a0e565b610c93565b606060006101e785610453565b905060006102158560405160200161020191815260200190565b604051602081830303815290604052610d0c565b6102248763ffffffff16610f3f565b610234846080015160ff16610f3f565b6102438763ffffffff16610f3f565b6040516020016102569493929190611c7b565b60405160208183030381529060405290506000818051906020012060405160200161028391815260200190565b60405160208183030381529060405290506000836060015190506000846080015160ff1667ffffffffffffffff8111156102cd57634e487b7160e01b600052604160045260246000fd5b60405190808252806020026020018201604052801561031357816020015b6040805180820190915260008152606060208201528152602001906001900390816102eb5790505b5082519091506000805b876080015160ff168163ffffffff16101561044357600061033e8784611084565b9050600061034c858361239e565b905086818151811061036e57634e487b7160e01b600052603260045260246000fd5b6020026020010151868463ffffffff168151811061039c57634e487b7160e01b600052603260045260246000fd5b602090810291909101015260608a01516103b760018761227c565b815181106103d557634e487b7160e01b600052603260045260246000fd5b60200260200101518782815181106103fd57634e487b7160e01b600052603260045260246000fd5b602090810291909101015287516104158560046120b6565b61041f919061239e565b935061042c60018661227c565b94505050808061043b9061237a565b91505061031d565b50919a9950505050505050505050565b6040805160a081018252600080825260208201819052918101829052606080820152608081019190915263ffffffff8216610613576001805461049790829061227c565b815481106104b557634e487b7160e01b600052603260045260246000fd5b600091825260208083206040805160a0810182526003909402909101805463ffffffff80821686526401000000008204811686860152600160401b90910416848301526001810180548351818602810186019094528084529495919460608701949192909184015b828210156105f6576000848152602090819020604080518082019091526002850290910180546001600160a01b03168252600181018054929391929184019161056590612324565b80601f016020809104026020016040519081016040528092919081815260200182805461059190612324565b80156105de5780601f106105b3576101008083540402835291602001916105de565b820191906000526020600020905b8154815290600101906020018083116105c157829003601f168201915b5050505050815250508152602001906001019061051d565b505050908252506002919091015460ff1660209091015292915050565b600161061f8184612293565b63ffffffff168154811061064357634e487b7160e01b600052603260045260246000fd5b600091825260208083206040805160a0810182526003909402909101805463ffffffff80821686526401000000008204811686860152600160401b90910416848301526001810180548351818602810186019094528084529495919460608701949192909184015b828210156105f6576000848152602090819020604080518082019091526002850290910180546001600160a01b0316825260018101805492939192918401916106f390612324565b80601f016020809104026020016040519081016040528092919081815260200182805461071f90612324565b801561076c5780601f106107415761010080835404028352916020019161076c565b820191906000526020600020905b81548152906001019060200180831161074f57829003601f168201915b505050505081525050815260200190600101906106ab565b61078c611105565b60025463ffffffff166107ac576002805463ffffffff1916620151801790555b6001541561081457600180544291906107c690829061227c565b815481106107e457634e487b7160e01b600052603260045260246000fd5b906000526020600020906003020160000160086101000a81548163ffffffff021916908363ffffffff1602179055505b6001600260048282829054906101000a900463ffffffff1661083691906120ce565b825463ffffffff9182166101009390930a9283029282021916919091179091556001805480820182556000919091526002805460039092027fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf60180544280861664010000000090810267ffffffffffffffff19909316950486169490941717815590549093506108c79216906120b6565b81546bffffffff00000000000000001916600160401b63ffffffff929092169190910217815560028101805460ff191660ff841617905560005b83811015610976578160010185858381811061092d57634e487b7160e01b600052603260045260246000fd5b905060200281019061093f919061201a565b81546001810183556000928352602090922090916002020161096182826123f4565b5050808061096e9061235f565b915050610901565b50600180547fb2a1462b8d912a9fe495da7a1188c48bb87bac4644a0931aa4ce2dd7017ce36591906109a990829061227c565b815481106109c757634e487b7160e01b600052603260045260246000fd5b90600052602060002090600302016040516109e29190611eee565b60405180910390a150505050565b6109f8611105565b610a02600061115f565b565b6000808260200151602001515111610a535760405162461bcd60e51b815260206004820152600d60248201526c4e6f207369676e61747572657360981b60448201526064015b60405180910390fd5b604080518082019091526020808401805151835251810151908201528251600090610a7d906111bc565b602085015151519091508114610a9257600080fd5b60208401515160608101518151604090920151600092610ab292916101da565b90506000610abf846111ff565b90508151815114610b385760405162461bcd60e51b815260206004820152603560248201527f4e756d626572206f66207369676e617475726573206e6f7420657175616c207460448201527f6f206e756d626572206f66207769746e657373657300000000000000000000006064820152608401610a4a565b60005b846020015151811015610c3d576000805b8451811015610bdc57848181518110610b7557634e487b7160e01b600052603260045260246000fd5b6020026020010151600001516001600160a01b0316848481518110610baa57634e487b7160e01b600052603260045260246000fd5b60200260200101516001600160a01b03161415610bca5760019150610bdc565b80610bd48161235f565b915050610b4c565b5080610c2a5760405162461bcd60e51b815260206004820152601960248201527f5369676e6174757265206e6f7420617070726f707269617465000000000000006044820152606401610a4a565b5080610c358161235f565b915050610b3b565b5050505050919050565b60018181548110610c5757600080fd5b60009182526020909120600390910201805460029091015463ffffffff80831693506401000000008304811692600160401b9004169060ff1684565b610c9b611105565b6001600160a01b038116610d005760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610a4a565b610d098161115f565b50565b6060600082516002610d1e919061223c565b67ffffffffffffffff811115610d4457634e487b7160e01b600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015610d6e576020820181803683370190505b5060408051808201909152601081527f3031323334353637383961626364656600000000000000000000000000000000602082015290915060005b8451811015610f1557818251868381518110610dd557634e487b7160e01b600052603260045260246000fd5b0160200151610de7919060f81c61211b565b81518110610e0557634e487b7160e01b600052603260045260246000fd5b01602001516001600160f81b03191683610e2083600261223c565b81518110610e3e57634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a905350818251868381518110610e7857634e487b7160e01b600052603260045260246000fd5b0160200151610e8a919060f81c61239e565b81518110610ea857634e487b7160e01b600052603260045260246000fd5b01602001516001600160f81b03191683610ec383600261223c565b610ece9060016120b6565b81518110610eec57634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a90535080610f0d8161235f565b915050610da9565b5081604051602001610f279190611cf4565b60405160208183030381529060405292505050919050565b606081610f635750506040805180820190915260018152600360fc1b602082015290565b8160005b8115610f8d5780610f778161235f565b9150610f869050600a8361211b565b9150610f67565b60008167ffffffffffffffff811115610fb657634e487b7160e01b600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015610fe0576020820181803683370190505b509050815b851561107b57610ff660018261227c565b90506000611005600a8861211b565b61101090600a61223c565b61101a908861227c565b6110259060306120f6565b905060008160f81b90508084848151811061105057634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a905350611072600a8961211b565b97505050610fe5565b50949350505050565b81516000906110948360046120b6565b11156110f05760405162461bcd60e51b815260206004820152602560248201527f4f6666736574202b2034206d7573742062652077697468696e206461746120626044820152646f756e647360d81b6064820152608401610a4a565b508181016004015163ffffffff165b92915050565b6000546001600160a01b03163314610a025760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610a4a565b600080546001600160a01b0383811673ffffffffffffffffffffffffffffffffffffffff19831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6000808260000151836020015184604001516040516020016111e093929190611c20565b60408051601f1981840301815291905280516020909101209392505050565b606060006112108360000151611303565b9050600083602001515167ffffffffffffffff81111561124057634e487b7160e01b600052604160045260246000fd5b604051908082528060200260200182016040528015611269578160200160208202803683370190505b50905060005b8460200151518110156112fb576112b183866020015183815181106112a457634e487b7160e01b600052603260045260246000fd5b602002602001015161137b565b8282815181106112d157634e487b7160e01b600052603260045260246000fd5b6001600160a01b0390921660209283029190910190910152806112f38161235f565b91505061126f565b509392505050565b606061131f826000015160405160200161020191815260200190565b61132c83602001516113c4565b61133f846040015163ffffffff16610f3f565b611352856060015163ffffffff16610f3f565b6040516020016113659493929190611c7b565b6040516020818303038152906040529050919050565b6000806113888451610f3f565b8460405160200161139a929190611d1e565b6040516020818303038152906040528051906020012090506113bc8184611549565b949350505050565b60408051602880825260608281019093526000919060208201818036833701905050905060005b601481101561152057600061140182601361227c565b61140c90600861223c565b611417906002612194565b61142a906001600160a01b03871661211b565b60f81b9050600060108260f81c611441919061212f565b60f81b905060008160f81c6010611458919061225b565b8360f81c61146691906122b8565b60f81b905061147482611565565b8561148086600261223c565b8151811061149e57634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a9053506114be81611565565b856114ca86600261223c565b6114d59060016120b6565b815181106114f357634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a90535050505080806115189061235f565b9150506113eb565b50806040516020016115329190611cf4565b604051602081830303815290604052915050919050565b600080600061155885856115a0565b915091506112fb816115e6565b6000600a60f883901c101561158c5761158360f883901c60306120f6565b60f81b92915050565b61158360f883901c60576120f6565b919050565b6000808251604114156115d75760208301516040840151606085015160001a6115cb8782858561176c565b945094505050506115df565b506000905060025b9250929050565b600081600481111561160857634e487b7160e01b600052602160045260246000fd5b14156116115750565b600181600481111561163357634e487b7160e01b600052602160045260246000fd5b14156116815760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e617475726500000000000000006044820152606401610a4a565b60028160048111156116a357634e487b7160e01b600052602160045260246000fd5b14156116f15760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152606401610a4a565b600381600481111561171357634e487b7160e01b600052602160045260246000fd5b1415610d095760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b6064820152608401610a4a565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08311156117a35750600090506003611827565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa1580156117f7573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b03811661182057600060019250925050611827565b9150600090505b94509492505050565b600082601f830112611840578081fd5b8135602067ffffffffffffffff8083111561185d5761185d6123de565b8260051b61186c838201612085565b8481528381019087850183890186018a1015611886578788fd5b8793505b868410156118c3578035858111156118a0578889fd5b6118ae8b88838d01016118d0565b8452506001939093019291850191850161188a565b5098975050505050505050565b600082601f8301126118e0578081fd5b813567ffffffffffffffff8111156118fa576118fa6123de565b61190d601f8201601f1916602001612085565b818152846020838601011115611921578283fd5b816020850160208301379081016020019190915292915050565b600081830360a081121561194d578182fd5b611955612039565b9150608081121561196557600080fd5b506040516080810167ffffffffffffffff828210818311171561198a5761198a6123de565b8160405284358352602085013591506119a28261254c565b8160208401526119b4604086016119fa565b60408401526119c5606086016119fa565b6060840152918352608084013591808311156119e057600080fd5b50506119ee84828501611830565b60208301525092915050565b803563ffffffff8116811461159b57600080fd5b600060208284031215611a1f578081fd5b8135611a2a8161254c565b9392505050565b600080600060408486031215611a45578182fd5b833567ffffffffffffffff80821115611a5c578384fd5b818601915086601f830112611a6f578384fd5b813581811115611a7d578485fd5b8760208260051b8501011115611a91578485fd5b6020928301955093505084013560ff81168114611aac578182fd5b809150509250925092565b600060208284031215611ac8578081fd5b813567ffffffffffffffff80821115611adf578283fd5b9083019060408286031215611af2578283fd5b611afa612039565b823582811115611b08578485fd5b830160608188031215611b19578485fd5b611b21612062565b813584811115611b2f578687fd5b611b3b898285016118d0565b825250602082013584811115611b4f578687fd5b611b5b898285016118d0565b602083015250604082013584811115611b72578687fd5b611b7e898285016118d0565b604083015250825250602083013582811115611b98578485fd5b611ba48782860161193b565b60208301525095945050505050565b600060208284031215611bc4578081fd5b5035919050565b600060208284031215611bdc578081fd5b611a2a826119fa565b600080600060608486031215611bf9578283fd5b611c02846119fa565b925060208401359150611c17604085016119fa565b90509250925092565b60008451611c328184602089016122f4565b600560f91b9083018181528551909190611c53816001850160208a016122f4565b60019201918201528351611c6e8160028401602088016122f4565b0160020195945050505050565b60008551611c8d818460208a016122f4565b600560f91b9083018181528651909190611cae816001850160208b016122f4565b600192019182018190528551611ccb816002850160208a016122f4565b60029201918201528351611ce68160038401602088016122f4565b016003019695505050505050565b61060f60f31b815260008251611d118160028501602087016122f4565b9190910160020192915050565b7f19457468657265756d205369676e6564204d6573736167653a0a000000000000815260008351611d5681601a8501602088016122f4565b835190830190611d6d81601a8401602088016122f4565b01601a01949350505050565b60006020808301818452808551808352604092508286019150828160051b870101848801865b83811015611e0457888303603f19018552815180516001600160a01b0316845287015187840187905280518785018190526060611de182828801858d016122f4565b96890196601f91909101601f191694909401909301925090860190600101611d9f565b509098975050505050505050565b6000602080835260c0830163ffffffff80865116838601528286015160408282168188015280880151915060608383168189015280890151935060a06080890152849250835180865260e08901935060e08160051b8a010195508685019450875b81811015611ed25789870360df19018552855180516001600160a01b031688528801518888018590528051858901819052611eb381868b01848d016122f4565b601f01601f191697909701830196509487019493870193600101611e73565b505050505050608085015191506113bc60a085018360ff169052565b6000602080835260c08301845463ffffffff808216848701528082851c166040870152808260401c1660608701525050600180860160a0608087015282815480855260e08801915060e08160051b89010194508287528587209250865b81811015611ff75760df198987030183526001600160a01b038454168652848401604088880152888154611f7e81612324565b8060408b015288821660008114611f9c5760018114611fb157611fde565b60ff19831660608c015260808b019350611fde565b848d528b8d208d5b83811015611fd55781548d820160600152908b01908d01611fb9565b8c016060019450505b5091985050506002949094019350918601918401611f4b565b505050505061200a600286015460ff1690565b60ff811660a086015291506113bc565b60008235603e1983360301811261202f578182fd5b9190910192915050565b6040805190810167ffffffffffffffff8111828210171561205c5761205c6123de565b60405290565b6040516060810167ffffffffffffffff8111828210171561205c5761205c6123de565b604051601f8201601f1916810167ffffffffffffffff811182821017156120ae576120ae6123de565b604052919050565b600082198211156120c9576120c96123b2565b500190565b600063ffffffff8083168185168083038211156120ed576120ed6123b2565b01949350505050565b600060ff821660ff84168060ff03821115612113576121136123b2565b019392505050565b60008261212a5761212a6123c8565b500490565b600060ff831680612142576121426123c8565b8060ff84160491505092915050565b600181815b8085111561218c578160001904821115612172576121726123b2565b8085161561217f57918102915b93841c9390800290612156565b509250929050565b6000611a2a83836000826121aa575060016110ff565b816121b7575060006110ff565b81600181146121cd57600281146121d7576121f3565b60019150506110ff565b60ff8411156121e8576121e86123b2565b50506001821b6110ff565b5060208310610133831016604e8410600b8410161715612216575081810a6110ff565b6122208383612151565b8060001904821115612234576122346123b2565b029392505050565b6000816000190483118215151615612256576122566123b2565b500290565b600060ff821660ff84168160ff0481118215151615612234576122346123b2565b60008282101561228e5761228e6123b2565b500390565b600063ffffffff838116908316818110156122b0576122b06123b2565b039392505050565b600060ff821660ff8416808210156122d2576122d26123b2565b90039392505050565b5b818110156122f057600081556001016122dc565b5050565b60005b8381101561230f5781810151838201526020016122f7565b8381111561231e576000848401525b50505050565b600181811c9082168061233857607f821691505b6020821081141561235957634e487b7160e01b600052602260045260246000fd5b50919050565b6000600019821415612373576123736123b2565b5060010190565b600063ffffffff80831681811415612394576123946123b2565b6001019392505050565b6000826123ad576123ad6123c8565b500690565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b81356123ff8161254c565b6001600160a01b0381166001600160a01b0319835416178255506001808201602080850135601e1986360301811261243657600080fd5b8501803567ffffffffffffffff81111561244f57600080fd5b803603838301131561246057600080fd5b61246a8454612324565b600080601f8411601f8411818117156124895760008981526020902092505b80156124b757601f860160051c8301888710156124a35750825b6124b5601f870160051c8501826122db565b505b5080600181146124ed576000945085156124d45787848801013594505b600186901b600019600388901b1c19861617895561253e565b601f198616945082845b86811015612516578886018a0135825594890194908b019089016124f7565b50868610156125355760001960f88860031b161c1989868a0101351681555b5089868b1b0189555b505050505050505050505050565b6001600160a01b0381168114610d0957600080fdfea26469706673582212209cf415ed1f927e5ba8fc70893898503576d995c7aa7c33b691ebf25ed3c5fd2164736f6c63430008040033

0x608060405234801561001057600080fd5b506004361061009e5760003560e01c80637667180811610066578063766718081461012e5780638da5cb5b14610146578063a960e69e14610161578063c6b61e4c14610184578063f2fde38b146101c757600080fd5b806310abbe56146100a3578063289989fd146100cc5780633d3c3e07146100f15780634729504c14610111578063715018a614610126575b600080fd5b6100b66100b1366004611be5565b6101da565b6040516100c39190611d79565b60405180910390f35b6002546100dc9063ffffffff1681565b60405163ffffffff90911681526020016100c3565b6101046100ff366004611bcb565b610453565b6040516100c39190611e12565b61012461011f366004611a31565b610784565b005b6101246109f0565b6002546100dc90640100000000900463ffffffff1681565b6000546040516001600160a01b0390911681526020016100c3565b61017461016f366004611ab7565b610a04565b60405190151581526020016100c3565b610197610192366004611bb3565b610c47565b6040805163ffffffff95861681529385166020850152919093169082015260ff90911660608201526080016100c3565b6101246101d5366004611a0e565b610c93565b606060006101e785610453565b905060006102158560405160200161020191815260200190565b604051602081830303815290604052610d0c565b6102248763ffffffff16610f3f565b610234846080015160ff16610f3f565b6102438763ffffffff16610f3f565b6040516020016102569493929190611c7b565b60405160208183030381529060405290506000818051906020012060405160200161028391815260200190565b60405160208183030381529060405290506000836060015190506000846080015160ff1667ffffffffffffffff8111156102cd57634e487b7160e01b600052604160045260246000fd5b60405190808252806020026020018201604052801561031357816020015b6040805180820190915260008152606060208201528152602001906001900390816102eb5790505b5082519091506000805b876080015160ff168163ffffffff16101561044357600061033e8784611084565b9050600061034c858361239e565b905086818151811061036e57634e487b7160e01b600052603260045260246000fd5b6020026020010151868463ffffffff168151811061039c57634e487b7160e01b600052603260045260246000fd5b602090810291909101015260608a01516103b760018761227c565b815181106103d557634e487b7160e01b600052603260045260246000fd5b60200260200101518782815181106103fd57634e487b7160e01b600052603260045260246000fd5b602090810291909101015287516104158560046120b6565b61041f919061239e565b935061042c60018661227c565b94505050808061043b9061237a565b91505061031d565b50919a9950505050505050505050565b6040805160a081018252600080825260208201819052918101829052606080820152608081019190915263ffffffff8216610613576001805461049790829061227c565b815481106104b557634e487b7160e01b600052603260045260246000fd5b600091825260208083206040805160a0810182526003909402909101805463ffffffff80821686526401000000008204811686860152600160401b90910416848301526001810180548351818602810186019094528084529495919460608701949192909184015b828210156105f6576000848152602090819020604080518082019091526002850290910180546001600160a01b03168252600181018054929391929184019161056590612324565b80601f016020809104026020016040519081016040528092919081815260200182805461059190612324565b80156105de5780601f106105b3576101008083540402835291602001916105de565b820191906000526020600020905b8154815290600101906020018083116105c157829003601f168201915b5050505050815250508152602001906001019061051d565b505050908252506002919091015460ff1660209091015292915050565b600161061f8184612293565b63ffffffff168154811061064357634e487b7160e01b600052603260045260246000fd5b600091825260208083206040805160a0810182526003909402909101805463ffffffff80821686526401000000008204811686860152600160401b90910416848301526001810180548351818602810186019094528084529495919460608701949192909184015b828210156105f6576000848152602090819020604080518082019091526002850290910180546001600160a01b0316825260018101805492939192918401916106f390612324565b80601f016020809104026020016040519081016040528092919081815260200182805461071f90612324565b801561076c5780601f106107415761010080835404028352916020019161076c565b820191906000526020600020905b81548152906001019060200180831161074f57829003601f168201915b505050505081525050815260200190600101906106ab565b61078c611105565b60025463ffffffff166107ac576002805463ffffffff1916620151801790555b6001541561081457600180544291906107c690829061227c565b815481106107e457634e487b7160e01b600052603260045260246000fd5b906000526020600020906003020160000160086101000a81548163ffffffff021916908363ffffffff1602179055505b6001600260048282829054906101000a900463ffffffff1661083691906120ce565b825463ffffffff9182166101009390930a9283029282021916919091179091556001805480820182556000919091526002805460039092027fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf60180544280861664010000000090810267ffffffffffffffff19909316950486169490941717815590549093506108c79216906120b6565b81546bffffffff00000000000000001916600160401b63ffffffff929092169190910217815560028101805460ff191660ff841617905560005b83811015610976578160010185858381811061092d57634e487b7160e01b600052603260045260246000fd5b905060200281019061093f919061201a565b81546001810183556000928352602090922090916002020161096182826123f4565b5050808061096e9061235f565b915050610901565b50600180547fb2a1462b8d912a9fe495da7a1188c48bb87bac4644a0931aa4ce2dd7017ce36591906109a990829061227c565b815481106109c757634e487b7160e01b600052603260045260246000fd5b90600052602060002090600302016040516109e29190611eee565b60405180910390a150505050565b6109f8611105565b610a02600061115f565b565b6000808260200151602001515111610a535760405162461bcd60e51b815260206004820152600d60248201526c4e6f207369676e61747572657360981b60448201526064015b60405180910390fd5b604080518082019091526020808401805151835251810151908201528251600090610a7d906111bc565b602085015151519091508114610a9257600080fd5b60208401515160608101518151604090920151600092610ab292916101da565b90506000610abf846111ff565b90508151815114610b385760405162461bcd60e51b815260206004820152603560248201527f4e756d626572206f66207369676e617475726573206e6f7420657175616c207460448201527f6f206e756d626572206f66207769746e657373657300000000000000000000006064820152608401610a4a565b60005b846020015151811015610c3d576000805b8451811015610bdc57848181518110610b7557634e487b7160e01b600052603260045260246000fd5b6020026020010151600001516001600160a01b0316848481518110610baa57634e487b7160e01b600052603260045260246000fd5b60200260200101516001600160a01b03161415610bca5760019150610bdc565b80610bd48161235f565b915050610b4c565b5080610c2a5760405162461bcd60e51b815260206004820152601960248201527f5369676e6174757265206e6f7420617070726f707269617465000000000000006044820152606401610a4a565b5080610c358161235f565b915050610b3b565b5050505050919050565b60018181548110610c5757600080fd5b60009182526020909120600390910201805460029091015463ffffffff80831693506401000000008304811692600160401b9004169060ff1684565b610c9b611105565b6001600160a01b038116610d005760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610a4a565b610d098161115f565b50565b6060600082516002610d1e919061223c565b67ffffffffffffffff811115610d4457634e487b7160e01b600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015610d6e576020820181803683370190505b5060408051808201909152601081527f3031323334353637383961626364656600000000000000000000000000000000602082015290915060005b8451811015610f1557818251868381518110610dd557634e487b7160e01b600052603260045260246000fd5b0160200151610de7919060f81c61211b565b81518110610e0557634e487b7160e01b600052603260045260246000fd5b01602001516001600160f81b03191683610e2083600261223c565b81518110610e3e57634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a905350818251868381518110610e7857634e487b7160e01b600052603260045260246000fd5b0160200151610e8a919060f81c61239e565b81518110610ea857634e487b7160e01b600052603260045260246000fd5b01602001516001600160f81b03191683610ec383600261223c565b610ece9060016120b6565b81518110610eec57634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a90535080610f0d8161235f565b915050610da9565b5081604051602001610f279190611cf4565b60405160208183030381529060405292505050919050565b606081610f635750506040805180820190915260018152600360fc1b602082015290565b8160005b8115610f8d5780610f778161235f565b9150610f869050600a8361211b565b9150610f67565b60008167ffffffffffffffff811115610fb657634e487b7160e01b600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015610fe0576020820181803683370190505b509050815b851561107b57610ff660018261227c565b90506000611005600a8861211b565b61101090600a61223c565b61101a908861227c565b6110259060306120f6565b905060008160f81b90508084848151811061105057634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a905350611072600a8961211b565b97505050610fe5565b50949350505050565b81516000906110948360046120b6565b11156110f05760405162461bcd60e51b815260206004820152602560248201527f4f6666736574202b2034206d7573742062652077697468696e206461746120626044820152646f756e647360d81b6064820152608401610a4a565b508181016004015163ffffffff165b92915050565b6000546001600160a01b03163314610a025760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610a4a565b600080546001600160a01b0383811673ffffffffffffffffffffffffffffffffffffffff19831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6000808260000151836020015184604001516040516020016111e093929190611c20565b60408051601f1981840301815291905280516020909101209392505050565b606060006112108360000151611303565b9050600083602001515167ffffffffffffffff81111561124057634e487b7160e01b600052604160045260246000fd5b604051908082528060200260200182016040528015611269578160200160208202803683370190505b50905060005b8460200151518110156112fb576112b183866020015183815181106112a457634e487b7160e01b600052603260045260246000fd5b602002602001015161137b565b8282815181106112d157634e487b7160e01b600052603260045260246000fd5b6001600160a01b0390921660209283029190910190910152806112f38161235f565b91505061126f565b509392505050565b606061131f826000015160405160200161020191815260200190565b61132c83602001516113c4565b61133f846040015163ffffffff16610f3f565b611352856060015163ffffffff16610f3f565b6040516020016113659493929190611c7b565b6040516020818303038152906040529050919050565b6000806113888451610f3f565b8460405160200161139a929190611d1e565b6040516020818303038152906040528051906020012090506113bc8184611549565b949350505050565b60408051602880825260608281019093526000919060208201818036833701905050905060005b601481101561152057600061140182601361227c565b61140c90600861223c565b611417906002612194565b61142a906001600160a01b03871661211b565b60f81b9050600060108260f81c611441919061212f565b60f81b905060008160f81c6010611458919061225b565b8360f81c61146691906122b8565b60f81b905061147482611565565b8561148086600261223c565b8151811061149e57634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a9053506114be81611565565b856114ca86600261223c565b6114d59060016120b6565b815181106114f357634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a90535050505080806115189061235f565b9150506113eb565b50806040516020016115329190611cf4565b604051602081830303815290604052915050919050565b600080600061155885856115a0565b915091506112fb816115e6565b6000600a60f883901c101561158c5761158360f883901c60306120f6565b60f81b92915050565b61158360f883901c60576120f6565b919050565b6000808251604114156115d75760208301516040840151606085015160001a6115cb8782858561176c565b945094505050506115df565b506000905060025b9250929050565b600081600481111561160857634e487b7160e01b600052602160045260246000fd5b14156116115750565b600181600481111561163357634e487b7160e01b600052602160045260246000fd5b14156116815760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e617475726500000000000000006044820152606401610a4a565b60028160048111156116a357634e487b7160e01b600052602160045260246000fd5b14156116f15760405162461bcd60e51b815260206004820152601f60248201527f45434453413a20696e76616c6964207369676e6174757265206c656e677468006044820152606401610a4a565b600381600481111561171357634e487b7160e01b600052602160045260246000fd5b1415610d095760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b6064820152608401610a4a565b6000807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08311156117a35750600090506003611827565b6040805160008082526020820180845289905260ff881692820192909252606081018690526080810185905260019060a0016020604051602081039080840390855afa1580156117f7573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b03811661182057600060019250925050611827565b9150600090505b94509492505050565b600082601f830112611840578081fd5b8135602067ffffffffffffffff8083111561185d5761185d6123de565b8260051b61186c838201612085565b8481528381019087850183890186018a1015611886578788fd5b8793505b868410156118c3578035858111156118a0578889fd5b6118ae8b88838d01016118d0565b8452506001939093019291850191850161188a565b5098975050505050505050565b600082601f8301126118e0578081fd5b813567ffffffffffffffff8111156118fa576118fa6123de565b61190d601f8201601f1916602001612085565b818152846020838601011115611921578283fd5b816020850160208301379081016020019190915292915050565b600081830360a081121561194d578182fd5b611955612039565b9150608081121561196557600080fd5b506040516080810167ffffffffffffffff828210818311171561198a5761198a6123de565b8160405284358352602085013591506119a28261254c565b8160208401526119b4604086016119fa565b60408401526119c5606086016119fa565b6060840152918352608084013591808311156119e057600080fd5b50506119ee84828501611830565b60208301525092915050565b803563ffffffff8116811461159b57600080fd5b600060208284031215611a1f578081fd5b8135611a2a8161254c565b9392505050565b600080600060408486031215611a45578182fd5b833567ffffffffffffffff80821115611a5c578384fd5b818601915086601f830112611a6f578384fd5b813581811115611a7d578485fd5b8760208260051b8501011115611a91578485fd5b6020928301955093505084013560ff81168114611aac578182fd5b809150509250925092565b600060208284031215611ac8578081fd5b813567ffffffffffffffff80821115611adf578283fd5b9083019060408286031215611af2578283fd5b611afa612039565b823582811115611b08578485fd5b830160608188031215611b19578485fd5b611b21612062565b813584811115611b2f578687fd5b611b3b898285016118d0565b825250602082013584811115611b4f578687fd5b611b5b898285016118d0565b602083015250604082013584811115611b72578687fd5b611b7e898285016118d0565b604083015250825250602083013582811115611b98578485fd5b611ba48782860161193b565b60208301525095945050505050565b600060208284031215611bc4578081fd5b5035919050565b600060208284031215611bdc578081fd5b611a2a826119fa565b600080600060608486031215611bf9578283fd5b611c02846119fa565b925060208401359150611c17604085016119fa565b90509250925092565b60008451611c328184602089016122f4565b600560f91b9083018181528551909190611c53816001850160208a016122f4565b60019201918201528351611c6e8160028401602088016122f4565b0160020195945050505050565b60008551611c8d818460208a016122f4565b600560f91b9083018181528651909190611cae816001850160208b016122f4565b600192019182018190528551611ccb816002850160208a016122f4565b60029201918201528351611ce68160038401602088016122f4565b016003019695505050505050565b61060f60f31b815260008251611d118160028501602087016122f4565b9190910160020192915050565b7f19457468657265756d205369676e6564204d6573736167653a0a000000000000815260008351611d5681601a8501602088016122f4565b835190830190611d6d81601a8401602088016122f4565b01601a01949350505050565b60006020808301818452808551808352604092508286019150828160051b870101848801865b83811015611e0457888303603f19018552815180516001600160a01b0316845287015187840187905280518785018190526060611de182828801858d016122f4565b96890196601f91909101601f191694909401909301925090860190600101611d9f565b509098975050505050505050565b6000602080835260c0830163ffffffff80865116838601528286015160408282168188015280880151915060608383168189015280890151935060a06080890152849250835180865260e08901935060e08160051b8a010195508685019450875b81811015611ed25789870360df19018552855180516001600160a01b031688528801518888018590528051858901819052611eb381868b01848d016122f4565b601f01601f191697909701830196509487019493870193600101611e73565b505050505050608085015191506113bc60a085018360ff169052565b6000602080835260c08301845463ffffffff808216848701528082851c166040870152808260401c1660608701525050600180860160a0608087015282815480855260e08801915060e08160051b89010194508287528587209250865b81811015611ff75760df198987030183526001600160a01b038454168652848401604088880152888154611f7e81612324565b8060408b015288821660008114611f9c5760018114611fb157611fde565b60ff19831660608c015260808b019350611fde565b848d528b8d208d5b83811015611fd55781548d820160600152908b01908d01611fb9565b8c016060019450505b5091985050506002949094019350918601918401611f4b565b505050505061200a600286015460ff1690565b60ff811660a086015291506113bc565b60008235603e1983360301811261202f578182fd5b9190910192915050565b6040805190810167ffffffffffffffff8111828210171561205c5761205c6123de565b60405290565b6040516060810167ffffffffffffffff8111828210171561205c5761205c6123de565b604051601f8201601f1916810167ffffffffffffffff811182821017156120ae576120ae6123de565b604052919050565b600082198211156120c9576120c96123b2565b500190565b600063ffffffff8083168185168083038211156120ed576120ed6123b2565b01949350505050565b600060ff821660ff84168060ff03821115612113576121136123b2565b019392505050565b60008261212a5761212a6123c8565b500490565b600060ff831680612142576121426123c8565b8060ff84160491505092915050565b600181815b8085111561218c578160001904821115612172576121726123b2565b8085161561217f57918102915b93841c9390800290612156565b509250929050565b6000611a2a83836000826121aa575060016110ff565b816121b7575060006110ff565b81600181146121cd57600281146121d7576121f3565b60019150506110ff565b60ff8411156121e8576121e86123b2565b50506001821b6110ff565b5060208310610133831016604e8410600b8410161715612216575081810a6110ff565b6122208383612151565b8060001904821115612234576122346123b2565b029392505050565b6000816000190483118215151615612256576122566123b2565b500290565b600060ff821660ff84168160ff0481118215151615612234576122346123b2565b60008282101561228e5761228e6123b2565b500390565b600063ffffffff838116908316818110156122b0576122b06123b2565b039392505050565b600060ff821660ff8416808210156122d2576122d26123b2565b90039392505050565b5b818110156122f057600081556001016122dc565b5050565b60005b8381101561230f5781810151838201526020016122f7565b8381111561231e576000848401525b50505050565b600181811c9082168061233857607f821691505b6020821081141561235957634e487b7160e01b600052602260045260246000fd5b50919050565b6000600019821415612373576123736123b2565b5060010190565b600063ffffffff80831681811415612394576123946123b2565b6001019392505050565b6000826123ad576123ad6123c8565b500690565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b81356123ff8161254c565b6001600160a01b0381166001600160a01b0319835416178255506001808201602080850135601e1986360301811261243657600080fd5b8501803567ffffffffffffffff81111561244f57600080fd5b803603838301131561246057600080fd5b61246a8454612324565b600080601f8411601f8411818117156124895760008981526020902092505b80156124b757601f860160051c8301888710156124a35750825b6124b5601f870160051c8501826122db565b505b5080600181146124ed576000945085156124d45787848801013594505b600186901b600019600388901b1c19861617895561253e565b601f198616945082845b86811015612516578886018a0135825594890194908b019089016124f7565b50868610156125355760001960f88860031b161c1989868a0101351681555b5089868b1b0189555b505050505050505050505050565b6001600160a01b0381168114610d0957600080fdfea26469706673582212209cf415ed1f927e5ba8fc70893898503576d995c7aa7c33b691ebf25ed3c5fd2164736f6c63430008040033