Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(
•    - function functionCallWithValue(
•    - function functionCallWithValue(
•    - function functionStaticCall(address t ...
•    - function functionStaticCall(
•    - function functionDelegateCall(address ...
•    - function functionDelegateCall(
•    - function verifyCallResultFromTarget(
•    - function verifyCallResult(
•    - function _revert(bytes memory returnd ...
• interface IERC20Permit
•    - function permit(
•    - function nonces(address owner)
•    - function DOMAIN_SEPARATOR()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• library SafeERC20
•    - function safeTransfer(
•    - function safeTransferFrom(
•    - function safeApprove(
•    - function safeIncreaseAllowance(
•    - function safeDecreaseAllowance(
•    - function safePermit(
•    - function _callOptionalReturn(IERC20 t ...
•    - function _nonReentrantBefore()
•    - function _nonReentrantAfter()
•    - function _reentrancyGuardEntered()
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IVRFManager
•    - function sendRequestRandomness()
• interface IHouse
•    - function placeBet(address player, uin ...
•    - function settleBet(address player, ad ...
•    - function refundBet(address player, ad ...
•    - function betsLength()
•    - function setMaxCoinsBettable(uint _ma ...
•    - function setMinBetAmount(address toke ...
•    - function setMaxBetAmount(address toke ...
•    - function setHouseEdgeBP(address token ...
•    - function toggleGameIsLive()
•    - function amountToBettableAmountConver ...
•    - function amountToWinnableAmount(uint ...
•    - function initializeHouse(address _add ...
•    - function initializeVRFManager(address ...
•    - function withdrawCustomTokenFunds(add ...
•    - function withdrawFunds(address payabl ...
•  contract Coinflip is ReentrancyGua ... *
•    - function placeBet(uint betChoice, uin ...
•    - function settleBet(bytes32 requestId, ...
•    - function _settleBet(uint betId, uint2 ...
•    - function refundBet(uint betId)

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at polygonscan.com on 2022-10-17
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.17;

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

        return account.code.length > 0;
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

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

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

interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

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

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

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

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

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

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

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

library SafeERC20 {
    using Address for address;

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

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

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

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

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

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

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

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

abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

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

    uint256 private _status;

    constructor() {
        _status = _NOT_ENTERED;
    }

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

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

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

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

    /**
     * @dev Returns true if the reentrancy guard is currently set to "entered", which indicates there is a
     * `nonReentrant` function in the call stack.
     */
    function _reentrancyGuardEntered() internal view returns (bool) {
        return _status == _ENTERED;
    }
}

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

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

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 anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing 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);
    }
}

interface IVRFManager {
    function sendRequestRandomness() external returns (bytes32);
}

interface IHouse {
    function placeBet(address player, uint amount, address token, uint winnableAmount) payable external;
    function settleBet(address player, address token, uint playedAmount, uint winnableAmount, bool win) external;
    function refundBet(address player, address token, uint amount, uint winnableAmount) external;
}

abstract contract Manager is Ownable {
    using SafeERC20 for IERC20;
    IHouse house;
    IVRFManager VRFManager;

    // Variables
    bool public gameIsLive;
    uint public maxCoinsBettable = 4;

    address public VRFManagerAddress;
    struct Token {
        uint128 minBetAmount;
        uint128 maxBetAmount;
        uint houseEdgeBP;
    }

    mapping(address => Token) public supportedTokenInfo;

    struct Bet {
        uint8 coins;
        uint40 choice;
        uint40 outcome;
        uint168 placeBlockNumber;
        uint128 amount;
        uint128 winAmount;
        address player;
        address token;
        bool isSettled;
    }

    Bet[] public bets;
    mapping(bytes32 => uint[]) public betMap;

    modifier isVRFManager {
        require(VRFManagerAddress == msg.sender, "You are not allowed");
        _;
    }

    function betsLength() external view returns (uint) {
        return bets.length;
    }

    // Events
    event BetPlaced(uint indexed betId, address indexed player, uint amount, uint indexed coins, uint choice, address token);
    event BetSettled(uint indexed betId, address indexed player, uint amount, uint indexed coins, uint choice, uint outcome, uint winAmount, address token);
    event BetRefunded(uint indexed betId, address indexed player, uint amount, address token);

    // Setter
    function setMaxCoinsBettable(uint _maxCoinsBettable) external onlyOwner {
        maxCoinsBettable = _maxCoinsBettable;
    }

    function setMinBetAmount(address token, uint128 _minBetAmount) external onlyOwner {
        require(_minBetAmount < supportedTokenInfo[token].maxBetAmount, "Min amount must be less than max amount");
        supportedTokenInfo[token].minBetAmount = _minBetAmount;
    }

    function setMaxBetAmount(address token, uint128 _maxBetAmount) external onlyOwner {
        require(_maxBetAmount > supportedTokenInfo[token].minBetAmount, "Max amount must be greater than min amount");
        supportedTokenInfo[token].maxBetAmount = _maxBetAmount;
    }

    function setHouseEdgeBP(address token, uint _houseEdgeBP) external onlyOwner {
        require(gameIsLive == false, "Bets in pending");
        supportedTokenInfo[token].houseEdgeBP = _houseEdgeBP;
    }

    function toggleGameIsLive() external onlyOwner {
        gameIsLive = !gameIsLive;
    }

    // Converters
    function amountToBettableAmountConverter(uint amount, address token) internal view returns(uint) {
        return amount * (10000 - supportedTokenInfo[token].houseEdgeBP) / 10000;
    }

    function amountToWinnableAmount(uint _amount, uint coins, address token) internal view returns (uint) {
        uint bettableAmount = amountToBettableAmountConverter(_amount, token);
        return bettableAmount * 2 ** coins;
    }

    // Methods
    function initializeHouse(address _address) external onlyOwner {
        require(gameIsLive == false, "Bets in pending");
        house = IHouse(_address);
    }

    function initializeVRFManager(address _address) external onlyOwner {
        require(gameIsLive == false, "Bets in pending");
        VRFManager = IVRFManager(_address);
        VRFManagerAddress = _address;
    }

    function withdrawCustomTokenFunds(address beneficiary, uint withdrawAmount, address token) external onlyOwner {
        require(withdrawAmount <= IERC20(token).balanceOf(address(this)), "Withdrawal exceeds limit");
        IERC20(token).safeTransfer(beneficiary, withdrawAmount);
    }

    function withdrawFunds(address payable beneficiary, uint withdrawAmount) external onlyOwner {
        require(withdrawAmount <= address(this).balance, "Withdrawal exceeds limit");
        beneficiary.transfer(withdrawAmount);
    }
}

contract Coinflip is ReentrancyGuard, Manager {
    // aggiunge address in params e token giocato, controllo require(tx.origin === addressDelPlayer)
    function placeBet(uint betChoice, uint coins, address player, address token, uint amount) external payable nonReentrant {
        require(tx.origin == player);
        require(gameIsLive, "Game is not live");
        require(coins > 0 && coins <= maxCoinsBettable, "Coins not within range");
        require(betChoice >= 0 && betChoice < 2 ** coins, "Bet mask not in range");

        if (token == address(0)) {
            amount = msg.value;
        }
        require(amount >= supportedTokenInfo[token].minBetAmount && amount <= supportedTokenInfo[token].maxBetAmount, "Bet amount not within range");

        uint winnableAmount = amountToWinnableAmount(amount, coins, token);
        
        house.placeBet{value: msg.value}(player, amount, token, winnableAmount);

        uint betId = bets.length;
        betMap[VRFManager.sendRequestRandomness()].push(betId);
        
        emit BetPlaced(betId, player, amount, coins, betChoice, token);
        bets.push(Bet({
            coins: uint8(coins),
            choice: uint40(betChoice),
            outcome: 0,
            placeBlockNumber: uint168(block.number),
            amount: uint128(amount),
            winAmount: 0,
            player: msg.sender,
            token: token,
            isSettled: false
        }));
    }

    function settleBet(bytes32 requestId, uint256[] memory expandedValues) external isVRFManager {
        uint[] memory pendingBetIds = betMap[requestId];
        uint i;
        for (i = 0; i < pendingBetIds.length; i++) {
            // The VRFManager is optimized to prevent this from happening, this check is just to make sure that if it happens the tx will not be reverted, if this result is true the bet will be refunded manually later
            if (gasleft() <= 80000) {
                return;
            }
            // The pendingbets are always <= than the expandedValues
            _settleBet(pendingBetIds[i], expandedValues[i]);
        }
    }

    function _settleBet(uint betId, uint256 randomNumber) private nonReentrant {
        Bet storage bet = bets[betId];

        uint amount = bet.amount;
        if (amount == 0 || bet.isSettled == true) {
            return;
        }

        address player = bet.player;
        address token = bet.token;
        uint choice = bet.choice;
        uint coins = bet.coins;

        uint outcome = randomNumber % (2 ** coins);
        uint winnableAmount = amountToWinnableAmount(amount, coins, token);
        uint winAmount = choice == outcome ? winnableAmount : 0;

        bet.isSettled = true;
        bet.winAmount = uint128(winAmount);
        bet.outcome = uint40(outcome);

        house.settleBet(player, token, amount, winnableAmount, winAmount > 0);
        emit BetSettled(betId, player, amount, coins, choice, outcome, winAmount, token);
    }

    function refundBet(uint betId) external nonReentrant {
        require(gameIsLive, "Game is not live");        
        Bet storage bet = bets[betId];
        uint amount = bet.amount;

        require(amount > 0, "Bet does not exist");
        require(bet.isSettled == false, "Bet is settled already");
        require(block.number > bet.placeBlockNumber + 21600, "Wait before requesting refund");

        address token = bet.token;
        uint winnableAmount = amountToWinnableAmount(amount, bet.coins, token);
        uint bettedAmount = amountToBettableAmountConverter(amount, token);
        
        bet.isSettled = true;
        bet.winAmount = uint128(bettedAmount);

        address player = bet.player;
        
        house.refundBet(player, token, bettedAmount, winnableAmount);
        emit BetRefunded(betId, player, bettedAmount, token);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"betId","type":"uint256"},{"indexed":true,"internalType":"address","name":"player","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"coins","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"choice","type":"uint256"},{"indexed":false,"internalType":"address","name":"token","type":"address"}],"name":"BetPlaced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"betId","type":"uint256"},{"indexed":true,"internalType":"address","name":"player","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"address","name":"token","type":"address"}],"name":"BetRefunded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"betId","type":"uint256"},{"indexed":true,"internalType":"address","name":"player","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"coins","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"choice","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"outcome","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"winAmount","type":"uint256"},{"indexed":false,"internalType":"address","name":"token","type":"address"}],"name":"BetSettled","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":[],"name":"VRFManagerAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"betMap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"bets","outputs":[{"internalType":"uint8","name":"coins","type":"uint8"},{"internalType":"uint40","name":"choice","type":"uint40"},{"internalType":"uint40","name":"outcome","type":"uint40"},{"internalType":"uint168","name":"placeBlockNumber","type":"uint168"},{"internalType":"uint128","name":"amount","type":"uint128"},{"internalType":"uint128","name":"winAmount","type":"uint128"},{"internalType":"address","name":"player","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"bool","name":"isSettled","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"betsLength","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"gameIsLive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"}],"name":"initializeHouse","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"}],"name":"initializeVRFManager","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"maxCoinsBettable","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"betChoice","type":"uint256"},{"internalType":"uint256","name":"coins","type":"uint256"},{"internalType":"address","name":"player","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"placeBet","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"betId","type":"uint256"}],"name":"refundBet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"_houseEdgeBP","type":"uint256"}],"name":"setHouseEdgeBP","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"uint128","name":"_maxBetAmount","type":"uint128"}],"name":"setMaxBetAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_maxCoinsBettable","type":"uint256"}],"name":"setMaxCoinsBettable","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"},{"internalType":"uint128","name":"_minBetAmount","type":"uint128"}],"name":"setMinBetAmount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"requestId","type":"bytes32"},{"internalType":"uint256[]","name":"expandedValues","type":"uint256[]"}],"name":"settleBet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"supportedTokenInfo","outputs":[{"internalType":"uint128","name":"minBetAmount","type":"uint128"},{"internalType":"uint128","name":"maxBetAmount","type":"uint128"},{"internalType":"uint256","name":"houseEdgeBP","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"toggleGameIsLive","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"withdrawAmount","type":"uint256"},{"internalType":"address","name":"token","type":"address"}],"name":"withdrawCustomTokenFunds","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"beneficiary","type":"address"},{"internalType":"uint256","name":"withdrawAmount","type":"uint256"}],"name":"withdrawFunds","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526004805534801561001457600080fd5b50600160005561002333610028565b61007a565b600180546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b6129d4806100896000396000f3fe6080604052600436106101755760003560e01c8063a1477227116100cb578063c10753291161007f578063e713814311610059578063e7138143146104ad578063ed507d981461053b578063f2fde38b1461055b57600080fd5b8063c10753291461042b578063d414d0c21461044b578063e1fdb4b41461048d57600080fd5b8063a7af380c116100b0578063a7af380c146103d6578063b14c8009146103f6578063bbd2e01e1461041657600080fd5b8063a147722714610396578063a585ec77146103b657600080fd5b8063621999be1161012d5780637d910067116101075780637d910067146103435780638da5cb5b14610356578063a045a6fc1461038157600080fd5b8063621999be146102ee578063715018a61461030e57806372da68d21461032357600080fd5b80630c55f5f11161015e5780630c55f5f1146101bc5780630e0284a41461021357806322af00fa1461023757600080fd5b8063090763441461017a5780630b96c58d1461019c575b600080fd5b34801561018657600080fd5b5061019a6101953660046123d6565b61057b565b005b3480156101a857600080fd5b5061019a6101b7366004612402565b610639565b3480156101c857600080fd5b506005546101e99073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b34801561021f57600080fd5b5061022960045481565b60405190815260200161020a565b34801561024357600080fd5b50610257610252366004612426565b61070d565b6040805160ff909a168a5264ffffffffff98891660208b0152979096169688019690965274ffffffffffffffffffffffffffffffffffffffffff90931660608701526fffffffffffffffffffffffffffffffff91821660808701521660a085015273ffffffffffffffffffffffffffffffffffffffff90811660c085015290911660e083015215156101008201526101200161020a565b3480156102fa57600080fd5b5061022961030936600461243f565b6107ee565b34801561031a57600080fd5b5061019a61081f565b34801561032f57600080fd5b5061019a61033e366004612490565b610833565b61019a610351366004612578565b610982565b34801561036257600080fd5b5060015473ffffffffffffffffffffffffffffffffffffffff166101e9565b34801561038d57600080fd5b5061019a6110e6565b3480156103a257600080fd5b5061019a6103b13660046125ca565b61113b565b3480156103c257600080fd5b5061019a6103d1366004612402565b611266565b3480156103e257600080fd5b5061019a6103f13660046125ca565b611344565b34801561040257600080fd5b5061019a610411366004612618565b611491565b34801561042257600080fd5b50600754610229565b34801561043757600080fd5b5061019a6104463660046123d6565b6115b6565b34801561045757600080fd5b5060035461047d9074010000000000000000000000000000000000000000900460ff1681565b604051901515815260200161020a565b34801561049957600080fd5b5061019a6104a8366004612426565b61166b565b3480156104b957600080fd5b5061050c6104c8366004612402565b600660205260009081526040902080546001909101546fffffffffffffffffffffffffffffffff808316927001000000000000000000000000000000009004169083565b604080516fffffffffffffffffffffffffffffffff94851681529390921660208401529082015260600161020a565b34801561054757600080fd5b5061019a610556366004612426565b611a95565b34801561056757600080fd5b5061019a610576366004612402565b611aa2565b610583611b56565b60035474010000000000000000000000000000000000000000900460ff161561060d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f4265747320696e2070656e64696e67000000000000000000000000000000000060448201526064015b60405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff909116600090815260066020526040902060010155565b610641611b56565b60035474010000000000000000000000000000000000000000900460ff16156106c6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f4265747320696e2070656e64696e6700000000000000000000000000000000006044820152606401610604565b600280547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6007818154811061071d57600080fd5b6000918252602090912060049091020180546001820154600283015460039093015460ff808416955064ffffffffff6101008504811695660100000000000086049091169474ffffffffffffffffffffffffffffffffffffffffff6b01000000000000000000000090910416936fffffffffffffffffffffffffffffffff80821694700100000000000000000000000000000000909204169273ffffffffffffffffffffffffffffffffffffffff928316928216917401000000000000000000000000000000000000000090041689565b6008602052816000526040600020818154811061080a57600080fd5b90600052602060002001600091509150505481565b610827611b56565b6108316000611bd7565b565b60055473ffffffffffffffffffffffffffffffffffffffff1633146108b4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f596f7520617265206e6f7420616c6c6f776564000000000000000000000000006044820152606401610604565b60008281526008602090815260408083208054825181850281018501909352808352919290919083018282801561090a57602002820191906000526020600020905b8154815260200190600101908083116108f6575b5050505050905060005b815181101561097b57620138805a1161092d5750505050565b6109698282815181106109425761094261265a565b602002602001015184838151811061095c5761095c61265a565b6020026020010151611c4e565b80610973816126b8565b915050610914565b50505b5050565b61098a611f18565b3273ffffffffffffffffffffffffffffffffffffffff8416146109ac57600080fd5b60035474010000000000000000000000000000000000000000900460ff16610a30576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f47616d65206973206e6f74206c697665000000000000000000000000000000006044820152606401610604565b600084118015610a4257506004548411155b610aa8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f436f696e73206e6f742077697468696e2072616e6765000000000000000000006044820152606401610604565b610ab3846002612810565b8510610b1b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f426574206d61736b206e6f7420696e2072616e676500000000000000000000006044820152606401610604565b73ffffffffffffffffffffffffffffffffffffffff8216610b395750345b73ffffffffffffffffffffffffffffffffffffffff82166000908152600660205260409020546fffffffffffffffffffffffffffffffff168110801590610bcb575073ffffffffffffffffffffffffffffffffffffffff821660009081526006602052604090205470010000000000000000000000000000000090046fffffffffffffffffffffffffffffffff168111155b610c31576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f42657420616d6f756e74206e6f742077697468696e2072616e676500000000006044820152606401610604565b6000610c3e828685611f8b565b6002546040517f915d23e500000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff87811660048301526024820186905286811660448301526064820184905292935091169063915d23e59034906084016000604051808303818588803b158015610cc457600080fd5b505af1158015610cd8573d6000803e3d6000fd5b5050600754600354604080517f485ba9f00000000000000000000000000000000000000000000000000000000081529051929550600894506000935073ffffffffffffffffffffffffffffffffffffffff9091169163485ba9f091600480820192602092909190829003018187875af1158015610d59573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d7d919061281c565b81526020808201929092526040908101600090812080546001810182559082529083902001839055805185815291820189905273ffffffffffffffffffffffffffffffffffffffff86811683830152905188929188169184917f70919fa5c61f7ebbb06591115db9fef2551693379991a9d505a336768c7333949181900360600190a460076040518061012001604052808860ff1681526020018964ffffffffff168152602001600064ffffffffff1681526020014374ffffffffffffffffffffffffffffffffffffffffff168152602001856fffffffffffffffffffffffffffffffff16815260200160006fffffffffffffffffffffffffffffffff1681526020013373ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff16815260200160001515815250908060018154018082558091505060019003906000526020600020906004020160009091909190915060008201518160000160006101000a81548160ff021916908360ff16021790555060208201518160000160016101000a81548164ffffffffff021916908364ffffffffff16021790555060408201518160000160066101000a81548164ffffffffff021916908364ffffffffff160217905550606082015181600001600b6101000a81548174ffffffffffffffffffffffffffffffffffffffffff021916908374ffffffffffffffffffffffffffffffffffffffffff16021790555060808201518160010160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060a08201518160010160106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060c08201518160020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e08201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506101008201518160030160146101000a81548160ff021916908315150217905550505050506110df6001600055565b5050505050565b6110ee611b56565b600380547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff8116740100000000000000000000000000000000000000009182900460ff1615909102179055565b611143611b56565b73ffffffffffffffffffffffffffffffffffffffff82166000908152600660205260409020546fffffffffffffffffffffffffffffffff9081169082161161120d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602a60248201527f4d617820616d6f756e74206d7573742062652067726561746572207468616e2060448201527f6d696e20616d6f756e74000000000000000000000000000000000000000000006064820152608401610604565b73ffffffffffffffffffffffffffffffffffffffff909116600090815260066020526040902080546fffffffffffffffffffffffffffffffff928316700100000000000000000000000000000000029216919091179055565b61126e611b56565b60035474010000000000000000000000000000000000000000900460ff16156112f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f4265747320696e2070656e64696e6700000000000000000000000000000000006044820152606401610604565b6003805473ffffffffffffffffffffffffffffffffffffffff9092167fffffffffffffffffffffffff0000000000000000000000000000000000000000928316811790915560058054909216179055565b61134c611b56565b73ffffffffffffffffffffffffffffffffffffffff82166000908152600660205260409020546fffffffffffffffffffffffffffffffff70010000000000000000000000000000000090910481169082161061142a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4d696e20616d6f756e74206d757374206265206c657373207468616e206d617860448201527f20616d6f756e74000000000000000000000000000000000000000000000000006064820152608401610604565b73ffffffffffffffffffffffffffffffffffffffff91909116600090815260066020526040902080547fffffffffffffffffffffffffffffffff00000000000000000000000000000000166fffffffffffffffffffffffffffffffff909216919091179055565b611499611b56565b6040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015273ffffffffffffffffffffffffffffffffffffffff8216906370a0823190602401602060405180830381865afa158015611503573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611527919061281c565b821115611590576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f5769746864726177616c2065786365656473206c696d697400000000000000006044820152606401610604565b6115b173ffffffffffffffffffffffffffffffffffffffff82168484611fb8565b505050565b6115be611b56565b47811115611628576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f5769746864726177616c2065786365656473206c696d697400000000000000006044820152606401610604565b60405173ffffffffffffffffffffffffffffffffffffffff83169082156108fc029083906000818181858888f193505050501580156115b1573d6000803e3d6000fd5b611673611f18565b60035474010000000000000000000000000000000000000000900460ff166116f7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f47616d65206973206e6f74206c697665000000000000000000000000000000006044820152606401610604565b60006007828154811061170c5761170c61265a565b6000918252602090912060049091020160018101549091506fffffffffffffffffffffffffffffffff168061179d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f42657420646f6573206e6f7420657869737400000000000000000000000000006044820152606401610604565b600382015474010000000000000000000000000000000000000000900460ff1615611824576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f42657420697320736574746c656420616c7265616479000000000000000000006044820152606401610604565b8154611858906b010000000000000000000000900474ffffffffffffffffffffffffffffffffffffffffff16615460612835565b74ffffffffffffffffffffffffffffffffffffffffff1643116118d7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f57616974206265666f72652072657175657374696e6720726566756e640000006044820152606401610604565b6003820154825473ffffffffffffffffffffffffffffffffffffffff9091169060009061190990849060ff1684611f8b565b905060006119178484612045565b6003860180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff16740100000000000000000000000000000000000000001790556001860180546fffffffffffffffffffffffffffffffff83811670010000000000000000000000000000000002911617905560028087015490546040517fabc6eda800000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff928316600482018190528784166024830152604482018590526064820187905293945091169063abc6eda890608401600060405180830381600087803b158015611a1657600080fd5b505af1158015611a2a573d6000803e3d6000fd5b50506040805185815273ffffffffffffffffffffffffffffffffffffffff8881166020830152851693508a92507fb27522330a91a6a320aeeac4733cad91c61b5384667c37acb1855ace8dc34e50910160405180910390a3505050505050611a926001600055565b50565b611a9d611b56565b600455565b611aaa611b56565b73ffffffffffffffffffffffffffffffffffffffff8116611b4d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152608401610604565b611a9281611bd7565b60015473ffffffffffffffffffffffffffffffffffffffff163314610831576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610604565b6001805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b611c56611f18565b600060078381548110611c6b57611c6b61265a565b6000918252602090912060049091020160018101549091506fffffffffffffffffffffffffffffffff16801580611cc35750600382015474010000000000000000000000000000000000000000900460ff1615156001145b15611ccf575050611f0e565b6002828101546003840154845473ffffffffffffffffffffffffffffffffffffffff928316939290911691610100820464ffffffffff169160ff1690600090611d19908390612810565b611d239089612899565b90506000611d32878487611f8b565b90506000828514611d44576000611d46565b815b60038a0180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff167401000000000000000000000000000000000000000017905560018a0180546fffffffffffffffffffffffffffffffff838116700100000000000000000000000000000000029116179055895464ffffffffff85166601000000000000027fffffffffffffffffffffffffffffffffffffffffff0000000000ffffffffffff909116178a556002546040517fc3d424d100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8a811660048301528981166024830152604482018c905260648201869052831515608483015292935091169063c3d424d19060a401600060405180830381600087803b158015611e8057600080fd5b505af1158015611e94573d6000803e3d6000fd5b5050604080518b8152602081018990529081018690526060810184905273ffffffffffffffffffffffffffffffffffffffff89811660808301528793508a1691508d907fc41bba9909f4a7ab9bc1339432fd101311aeedeb4cd8933a6707d9f286e1f7969060a00160405180910390a45050505050505050505b61097e6001600055565b600260005403611f84576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610604565b6002600055565b600080611f988584612045565b9050611fa5846002612810565b611faf90826128ad565b95945050505050565b6040805173ffffffffffffffffffffffffffffffffffffffff8416602482015260448082018490528251808303909101815260649091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790526115b1908490612099565b73ffffffffffffffffffffffffffffffffffffffff81166000908152600660205260408120600101546127109061207c90826128c4565b61208690856128ad565b61209091906128d7565b90505b92915050565b60006120fb826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65648152508573ffffffffffffffffffffffffffffffffffffffff166121a59092919063ffffffff16565b8051909150156115b1578080602001905181019061211991906128eb565b6115b1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e60448201527f6f742073756363656564000000000000000000000000000000000000000000006064820152608401610604565b60606121b484846000856121bc565b949350505050565b60608247101561224e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f60448201527f722063616c6c00000000000000000000000000000000000000000000000000006064820152608401610604565b6000808673ffffffffffffffffffffffffffffffffffffffff1685876040516122779190612931565b60006040518083038185875af1925050503d80600081146122b4576040519150601f19603f3d011682016040523d82523d6000602084013e6122b9565b606091505b50915091506122ca878383876122d5565b979650505050505050565b6060831561236b5782516000036123645773ffffffffffffffffffffffffffffffffffffffff85163b612364576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610604565b50816121b4565b6121b483838151156123805781518083602001fd5b806040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610604919061294d565b73ffffffffffffffffffffffffffffffffffffffff81168114611a9257600080fd5b600080604083850312156123e957600080fd5b82356123f4816123b4565b946020939093013593505050565b60006020828403121561241457600080fd5b813561241f816123b4565b9392505050565b60006020828403121561243857600080fd5b5035919050565b6000806040838503121561245257600080fd5b50508035926020909101359150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080604083850312156124a357600080fd5b8235915060208084013567ffffffffffffffff808211156124c357600080fd5b818601915086601f8301126124d757600080fd5b8135818111156124e9576124e9612461565b8060051b6040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0603f8301168101818110858211171561252c5761252c612461565b60405291825284820192508381018501918983111561254a57600080fd5b938501935b828510156125685784358452938501939285019261254f565b8096505050505050509250929050565b600080600080600060a0868803121561259057600080fd5b853594506020860135935060408601356125a9816123b4565b925060608601356125b9816123b4565b949793965091946080013592915050565b600080604083850312156125dd57600080fd5b82356125e8816123b4565b915060208301356fffffffffffffffffffffffffffffffff8116811461260d57600080fd5b809150509250929050565b60008060006060848603121561262d57600080fd5b8335612638816123b4565b925060208401359150604084013561264f816123b4565b809150509250925092565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036126e9576126e9612689565b5060010190565b600181815b8085111561274957817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0482111561272f5761272f612689565b8085161561273c57918102915b93841c93908002906126f5565b509250929050565b60008261276057506001612093565b8161276d57506000612093565b8160018114612783576002811461278d576127a9565b6001915050612093565b60ff84111561279e5761279e612689565b50506001821b612093565b5060208310610133831016604e8410600b84101617156127cc575081810a612093565b6127d683836126f0565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0482111561280857612808612689565b029392505050565b60006120908383612751565b60006020828403121561282e57600080fd5b5051919050565b74ffffffffffffffffffffffffffffffffffffffffff81811683821601908082111561286357612863612689565b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000826128a8576128a861286a565b500690565b808202811582820484141761209357612093612689565b8181038181111561209357612093612689565b6000826128e6576128e661286a565b500490565b6000602082840312156128fd57600080fd5b8151801515811461241f57600080fd5b60005b83811015612928578181015183820152602001612910565b50506000910152565b6000825161294381846020870161290d565b9190910192915050565b602081526000825180602084015261296c81604085016020870161290d565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016919091016040019291505056fea26469706673582212205d5810f338df6959f616bd6b7eadf95fa65ce353f29cc8f80671d6a1109503bd64736f6c63430008110033

0x6080604052600436106101755760003560e01c8063a1477227116100cb578063c10753291161007f578063e713814311610059578063e7138143146104ad578063ed507d981461053b578063f2fde38b1461055b57600080fd5b8063c10753291461042b578063d414d0c21461044b578063e1fdb4b41461048d57600080fd5b8063a7af380c116100b0578063a7af380c146103d6578063b14c8009146103f6578063bbd2e01e1461041657600080fd5b8063a147722714610396578063a585ec77146103b657600080fd5b8063621999be1161012d5780637d910067116101075780637d910067146103435780638da5cb5b14610356578063a045a6fc1461038157600080fd5b8063621999be146102ee578063715018a61461030e57806372da68d21461032357600080fd5b80630c55f5f11161015e5780630c55f5f1146101bc5780630e0284a41461021357806322af00fa1461023757600080fd5b8063090763441461017a5780630b96c58d1461019c575b600080fd5b34801561018657600080fd5b5061019a6101953660046123d6565b61057b565b005b3480156101a857600080fd5b5061019a6101b7366004612402565b610639565b3480156101c857600080fd5b506005546101e99073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b34801561021f57600080fd5b5061022960045481565b60405190815260200161020a565b34801561024357600080fd5b50610257610252366004612426565b61070d565b6040805160ff909a168a5264ffffffffff98891660208b0152979096169688019690965274ffffffffffffffffffffffffffffffffffffffffff90931660608701526fffffffffffffffffffffffffffffffff91821660808701521660a085015273ffffffffffffffffffffffffffffffffffffffff90811660c085015290911660e083015215156101008201526101200161020a565b3480156102fa57600080fd5b5061022961030936600461243f565b6107ee565b34801561031a57600080fd5b5061019a61081f565b34801561032f57600080fd5b5061019a61033e366004612490565b610833565b61019a610351366004612578565b610982565b34801561036257600080fd5b5060015473ffffffffffffffffffffffffffffffffffffffff166101e9565b34801561038d57600080fd5b5061019a6110e6565b3480156103a257600080fd5b5061019a6103b13660046125ca565b61113b565b3480156103c257600080fd5b5061019a6103d1366004612402565b611266565b3480156103e257600080fd5b5061019a6103f13660046125ca565b611344565b34801561040257600080fd5b5061019a610411366004612618565b611491565b34801561042257600080fd5b50600754610229565b34801561043757600080fd5b5061019a6104463660046123d6565b6115b6565b34801561045757600080fd5b5060035461047d9074010000000000000000000000000000000000000000900460ff1681565b604051901515815260200161020a565b34801561049957600080fd5b5061019a6104a8366004612426565b61166b565b3480156104b957600080fd5b5061050c6104c8366004612402565b600660205260009081526040902080546001909101546fffffffffffffffffffffffffffffffff808316927001000000000000000000000000000000009004169083565b604080516fffffffffffffffffffffffffffffffff94851681529390921660208401529082015260600161020a565b34801561054757600080fd5b5061019a610556366004612426565b611a95565b34801561056757600080fd5b5061019a610576366004612402565b611aa2565b610583611b56565b60035474010000000000000000000000000000000000000000900460ff161561060d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f4265747320696e2070656e64696e67000000000000000000000000000000000060448201526064015b60405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff909116600090815260066020526040902060010155565b610641611b56565b60035474010000000000000000000000000000000000000000900460ff16156106c6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f4265747320696e2070656e64696e6700000000000000000000000000000000006044820152606401610604565b600280547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6007818154811061071d57600080fd5b6000918252602090912060049091020180546001820154600283015460039093015460ff808416955064ffffffffff6101008504811695660100000000000086049091169474ffffffffffffffffffffffffffffffffffffffffff6b01000000000000000000000090910416936fffffffffffffffffffffffffffffffff80821694700100000000000000000000000000000000909204169273ffffffffffffffffffffffffffffffffffffffff928316928216917401000000000000000000000000000000000000000090041689565b6008602052816000526040600020818154811061080a57600080fd5b90600052602060002001600091509150505481565b610827611b56565b6108316000611bd7565b565b60055473ffffffffffffffffffffffffffffffffffffffff1633146108b4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f596f7520617265206e6f7420616c6c6f776564000000000000000000000000006044820152606401610604565b60008281526008602090815260408083208054825181850281018501909352808352919290919083018282801561090a57602002820191906000526020600020905b8154815260200190600101908083116108f6575b5050505050905060005b815181101561097b57620138805a1161092d5750505050565b6109698282815181106109425761094261265a565b602002602001015184838151811061095c5761095c61265a565b6020026020010151611c4e565b80610973816126b8565b915050610914565b50505b5050565b61098a611f18565b3273ffffffffffffffffffffffffffffffffffffffff8416146109ac57600080fd5b60035474010000000000000000000000000000000000000000900460ff16610a30576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f47616d65206973206e6f74206c697665000000000000000000000000000000006044820152606401610604565b600084118015610a4257506004548411155b610aa8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f436f696e73206e6f742077697468696e2072616e6765000000000000000000006044820152606401610604565b610ab3846002612810565b8510610b1b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f426574206d61736b206e6f7420696e2072616e676500000000000000000000006044820152606401610604565b73ffffffffffffffffffffffffffffffffffffffff8216610b395750345b73ffffffffffffffffffffffffffffffffffffffff82166000908152600660205260409020546fffffffffffffffffffffffffffffffff168110801590610bcb575073ffffffffffffffffffffffffffffffffffffffff821660009081526006602052604090205470010000000000000000000000000000000090046fffffffffffffffffffffffffffffffff168111155b610c31576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f42657420616d6f756e74206e6f742077697468696e2072616e676500000000006044820152606401610604565b6000610c3e828685611f8b565b6002546040517f915d23e500000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff87811660048301526024820186905286811660448301526064820184905292935091169063915d23e59034906084016000604051808303818588803b158015610cc457600080fd5b505af1158015610cd8573d6000803e3d6000fd5b5050600754600354604080517f485ba9f00000000000000000000000000000000000000000000000000000000081529051929550600894506000935073ffffffffffffffffffffffffffffffffffffffff9091169163485ba9f091600480820192602092909190829003018187875af1158015610d59573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d7d919061281c565b81526020808201929092526040908101600090812080546001810182559082529083902001839055805185815291820189905273ffffffffffffffffffffffffffffffffffffffff86811683830152905188929188169184917f70919fa5c61f7ebbb06591115db9fef2551693379991a9d505a336768c7333949181900360600190a460076040518061012001604052808860ff1681526020018964ffffffffff168152602001600064ffffffffff1681526020014374ffffffffffffffffffffffffffffffffffffffffff168152602001856fffffffffffffffffffffffffffffffff16815260200160006fffffffffffffffffffffffffffffffff1681526020013373ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff16815260200160001515815250908060018154018082558091505060019003906000526020600020906004020160009091909190915060008201518160000160006101000a81548160ff021916908360ff16021790555060208201518160000160016101000a81548164ffffffffff021916908364ffffffffff16021790555060408201518160000160066101000a81548164ffffffffff021916908364ffffffffff160217905550606082015181600001600b6101000a81548174ffffffffffffffffffffffffffffffffffffffffff021916908374ffffffffffffffffffffffffffffffffffffffffff16021790555060808201518160010160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060a08201518160010160106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060c08201518160020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e08201518160030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506101008201518160030160146101000a81548160ff021916908315150217905550505050506110df6001600055565b5050505050565b6110ee611b56565b600380547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff8116740100000000000000000000000000000000000000009182900460ff1615909102179055565b611143611b56565b73ffffffffffffffffffffffffffffffffffffffff82166000908152600660205260409020546fffffffffffffffffffffffffffffffff9081169082161161120d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602a60248201527f4d617820616d6f756e74206d7573742062652067726561746572207468616e2060448201527f6d696e20616d6f756e74000000000000000000000000000000000000000000006064820152608401610604565b73ffffffffffffffffffffffffffffffffffffffff909116600090815260066020526040902080546fffffffffffffffffffffffffffffffff928316700100000000000000000000000000000000029216919091179055565b61126e611b56565b60035474010000000000000000000000000000000000000000900460ff16156112f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f4265747320696e2070656e64696e6700000000000000000000000000000000006044820152606401610604565b6003805473ffffffffffffffffffffffffffffffffffffffff9092167fffffffffffffffffffffffff0000000000000000000000000000000000000000928316811790915560058054909216179055565b61134c611b56565b73ffffffffffffffffffffffffffffffffffffffff82166000908152600660205260409020546fffffffffffffffffffffffffffffffff70010000000000000000000000000000000090910481169082161061142a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4d696e20616d6f756e74206d757374206265206c657373207468616e206d617860448201527f20616d6f756e74000000000000000000000000000000000000000000000000006064820152608401610604565b73ffffffffffffffffffffffffffffffffffffffff91909116600090815260066020526040902080547fffffffffffffffffffffffffffffffff00000000000000000000000000000000166fffffffffffffffffffffffffffffffff909216919091179055565b611499611b56565b6040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015273ffffffffffffffffffffffffffffffffffffffff8216906370a0823190602401602060405180830381865afa158015611503573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611527919061281c565b821115611590576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f5769746864726177616c2065786365656473206c696d697400000000000000006044820152606401610604565b6115b173ffffffffffffffffffffffffffffffffffffffff82168484611fb8565b505050565b6115be611b56565b47811115611628576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f5769746864726177616c2065786365656473206c696d697400000000000000006044820152606401610604565b60405173ffffffffffffffffffffffffffffffffffffffff83169082156108fc029083906000818181858888f193505050501580156115b1573d6000803e3d6000fd5b611673611f18565b60035474010000000000000000000000000000000000000000900460ff166116f7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f47616d65206973206e6f74206c697665000000000000000000000000000000006044820152606401610604565b60006007828154811061170c5761170c61265a565b6000918252602090912060049091020160018101549091506fffffffffffffffffffffffffffffffff168061179d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f42657420646f6573206e6f7420657869737400000000000000000000000000006044820152606401610604565b600382015474010000000000000000000000000000000000000000900460ff1615611824576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f42657420697320736574746c656420616c7265616479000000000000000000006044820152606401610604565b8154611858906b010000000000000000000000900474ffffffffffffffffffffffffffffffffffffffffff16615460612835565b74ffffffffffffffffffffffffffffffffffffffffff1643116118d7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f57616974206265666f72652072657175657374696e6720726566756e640000006044820152606401610604565b6003820154825473ffffffffffffffffffffffffffffffffffffffff9091169060009061190990849060ff1684611f8b565b905060006119178484612045565b6003860180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff16740100000000000000000000000000000000000000001790556001860180546fffffffffffffffffffffffffffffffff83811670010000000000000000000000000000000002911617905560028087015490546040517fabc6eda800000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff928316600482018190528784166024830152604482018590526064820187905293945091169063abc6eda890608401600060405180830381600087803b158015611a1657600080fd5b505af1158015611a2a573d6000803e3d6000fd5b50506040805185815273ffffffffffffffffffffffffffffffffffffffff8881166020830152851693508a92507fb27522330a91a6a320aeeac4733cad91c61b5384667c37acb1855ace8dc34e50910160405180910390a3505050505050611a926001600055565b50565b611a9d611b56565b600455565b611aaa611b56565b73ffffffffffffffffffffffffffffffffffffffff8116611b4d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f64647265737300000000000000000000000000000000000000000000000000006064820152608401610604565b611a9281611bd7565b60015473ffffffffffffffffffffffffffffffffffffffff163314610831576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610604565b6001805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b611c56611f18565b600060078381548110611c6b57611c6b61265a565b6000918252602090912060049091020160018101549091506fffffffffffffffffffffffffffffffff16801580611cc35750600382015474010000000000000000000000000000000000000000900460ff1615156001145b15611ccf575050611f0e565b6002828101546003840154845473ffffffffffffffffffffffffffffffffffffffff928316939290911691610100820464ffffffffff169160ff1690600090611d19908390612810565b611d239089612899565b90506000611d32878487611f8b565b90506000828514611d44576000611d46565b815b60038a0180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff167401000000000000000000000000000000000000000017905560018a0180546fffffffffffffffffffffffffffffffff838116700100000000000000000000000000000000029116179055895464ffffffffff85166601000000000000027fffffffffffffffffffffffffffffffffffffffffff0000000000ffffffffffff909116178a556002546040517fc3d424d100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8a811660048301528981166024830152604482018c905260648201869052831515608483015292935091169063c3d424d19060a401600060405180830381600087803b158015611e8057600080fd5b505af1158015611e94573d6000803e3d6000fd5b5050604080518b8152602081018990529081018690526060810184905273ffffffffffffffffffffffffffffffffffffffff89811660808301528793508a1691508d907fc41bba9909f4a7ab9bc1339432fd101311aeedeb4cd8933a6707d9f286e1f7969060a00160405180910390a45050505050505050505b61097e6001600055565b600260005403611f84576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606401610604565b6002600055565b600080611f988584612045565b9050611fa5846002612810565b611faf90826128ad565b95945050505050565b6040805173ffffffffffffffffffffffffffffffffffffffff8416602482015260448082018490528251808303909101815260649091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb000000000000000000000000000000000000000000000000000000001790526115b1908490612099565b73ffffffffffffffffffffffffffffffffffffffff81166000908152600660205260408120600101546127109061207c90826128c4565b61208690856128ad565b61209091906128d7565b90505b92915050565b60006120fb826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65648152508573ffffffffffffffffffffffffffffffffffffffff166121a59092919063ffffffff16565b8051909150156115b1578080602001905181019061211991906128eb565b6115b1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e60448201527f6f742073756363656564000000000000000000000000000000000000000000006064820152608401610604565b60606121b484846000856121bc565b949350505050565b60608247101561224e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f60448201527f722063616c6c00000000000000000000000000000000000000000000000000006064820152608401610604565b6000808673ffffffffffffffffffffffffffffffffffffffff1685876040516122779190612931565b60006040518083038185875af1925050503d80600081146122b4576040519150601f19603f3d011682016040523d82523d6000602084013e6122b9565b606091505b50915091506122ca878383876122d5565b979650505050505050565b6060831561236b5782516000036123645773ffffffffffffffffffffffffffffffffffffffff85163b612364576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610604565b50816121b4565b6121b483838151156123805781518083602001fd5b806040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610604919061294d565b73ffffffffffffffffffffffffffffffffffffffff81168114611a9257600080fd5b600080604083850312156123e957600080fd5b82356123f4816123b4565b946020939093013593505050565b60006020828403121561241457600080fd5b813561241f816123b4565b9392505050565b60006020828403121561243857600080fd5b5035919050565b6000806040838503121561245257600080fd5b50508035926020909101359150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080604083850312156124a357600080fd5b8235915060208084013567ffffffffffffffff808211156124c357600080fd5b818601915086601f8301126124d757600080fd5b8135818111156124e9576124e9612461565b8060051b6040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0603f8301168101818110858211171561252c5761252c612461565b60405291825284820192508381018501918983111561254a57600080fd5b938501935b828510156125685784358452938501939285019261254f565b8096505050505050509250929050565b600080600080600060a0868803121561259057600080fd5b853594506020860135935060408601356125a9816123b4565b925060608601356125b9816123b4565b949793965091946080013592915050565b600080604083850312156125dd57600080fd5b82356125e8816123b4565b915060208301356fffffffffffffffffffffffffffffffff8116811461260d57600080fd5b809150509250929050565b60008060006060848603121561262d57600080fd5b8335612638816123b4565b925060208401359150604084013561264f816123b4565b809150509250925092565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036126e9576126e9612689565b5060010190565b600181815b8085111561274957817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0482111561272f5761272f612689565b8085161561273c57918102915b93841c93908002906126f5565b509250929050565b60008261276057506001612093565b8161276d57506000612093565b8160018114612783576002811461278d576127a9565b6001915050612093565b60ff84111561279e5761279e612689565b50506001821b612093565b5060208310610133831016604e8410600b84101617156127cc575081810a612093565b6127d683836126f0565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0482111561280857612808612689565b029392505050565b60006120908383612751565b60006020828403121561282e57600080fd5b5051919050565b74ffffffffffffffffffffffffffffffffffffffffff81811683821601908082111561286357612863612689565b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000826128a8576128a861286a565b500690565b808202811582820484141761209357612093612689565b8181038181111561209357612093612689565b6000826128e6576128e661286a565b500490565b6000602082840312156128fd57600080fd5b8151801515811461241f57600080fd5b60005b83811015612928578181015183820152602001612910565b50506000910152565b6000825161294381846020870161290d565b9190910192915050565b602081526000825180602084015261296c81604085016020870161290d565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016919091016040019291505056fea26469706673582212205d5810f338df6959f616bd6b7eadf95fa65ce353f29cc8f80671d6a1109503bd64736f6c63430008110033

26267:3934:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24549:206;;;;;;;;;;-1:-1:-1;24549:206:0;;;;;:::i;:::-;;:::i;:::-;;25334:163;;;;;;;;;;-1:-1:-1;25334:163:0;;;;;:::i;:::-;;:::i;22668:32::-;;;;;;;;;;-1:-1:-1;22668:32:0;;;;;;;;;;;921:42:1;909:55;;;891:74;;879:2;864:18;22668:32:0;;;;;;;;22627;;;;;;;;;;;;;;;;;;;1122:25:1;;;1110:2;1095:18;22627:32:0;976:177:1;23145:17:0;;;;;;;;;;-1:-1:-1;23145:17:0;;;;;:::i;:::-;;:::i;:::-;;;;1730:4:1;1718:17;;;1700:36;;1755:12;1803:15;;;1798:2;1783:18;;1776:43;1855:15;;;;1835:18;;;1828:43;;;;1919:44;1907:57;;;1902:2;1887:18;;1880:85;1984:34;2055:15;;;2049:3;2034:19;;2027:44;2108:15;2102:3;2087:19;;2080:44;2143:42;2222:15;;;2216:3;2201:19;;2194:44;2275:15;;;2269:3;2254:19;;2247:44;2335:14;2328:22;2322:3;2307:19;;2300:51;1687:3;1672:19;23145:17:0;1343:1014:1;23169:40:0;;;;;;;;;;-1:-1:-1;23169:40:0;;;;;:::i;:::-;;:::i;21195:103::-;;;;;;;;;;;;;:::i;27752:671::-;;;;;;;;;;-1:-1:-1;27752:671:0;;;;;:::i;:::-;;:::i;26422:1322::-;;;;;;:::i;:::-;;:::i;20547:87::-;;;;;;;;;;-1:-1:-1;20620:6:0;;;;20547:87;;24763:90;;;;;;;;;;;;;:::i;24266:275::-;;;;;;;;;;-1:-1:-1;24266:275:0;;;;;:::i;:::-;;:::i;25505:217::-;;;;;;;;;;-1:-1:-1;25505:217:0;;;;;:::i;:::-;;:::i;23986:272::-;;;;;;;;;;-1:-1:-1;23986:272:0;;;;;:::i;:::-;;:::i;25730:288::-;;;;;;;;;;-1:-1:-1;25730:288:0;;;;;:::i;:::-;;:::i;23342:88::-;;;;;;;;;;-1:-1:-1;23411:4:0;:11;23342:88;;26026:234;;;;;;;;;;-1:-1:-1;26026:234:0;;;;;:::i;:::-;;:::i;22598:22::-;;;;;;;;;;-1:-1:-1;22598:22:0;;;;;;;;;;;;;;6053:14:1;;6046:22;6028:41;;6016:2;6001:18;22598:22:0;5888:187:1;29317:881:0;;;;;;;;;;-1:-1:-1;29317:881:0;;;;;:::i;:::-;;:::i;22825:51::-;;;;;;;;;;-1:-1:-1;22825:51:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6292:34:1;6353:15;;;6335:34;;6405:15;;;;6400:2;6385:18;;6378:43;6437:18;;;6430:34;6270:2;6255:18;22825:51:0;6080:390:1;23851:127:0;;;;;;;;;;-1:-1:-1;23851:127:0;;;;;:::i;:::-;;:::i;21453:201::-;;;;;;;;;;-1:-1:-1;21453:201:0;;;;;:::i;:::-;;:::i;24549:206::-;20433:13;:11;:13::i;:::-;24645:10:::1;::::0;;;::::1;;;:19;24637:47;;;::::0;::::1;::::0;;6677:2:1;24637:47:0::1;::::0;::::1;6659:21:1::0;6716:2;6696:18;;;6689:30;6755:17;6735:18;;;6728:45;6790:18;;24637:47:0::1;;;;;;;;;24695:25;::::0;;::::1;;::::0;;;:18:::1;:25;::::0;;;;:37:::1;;:52:::0;24549:206::o;25334:163::-;20433:13;:11;:13::i;:::-;25415:10:::1;::::0;;;::::1;;;:19;25407:47;;;::::0;::::1;::::0;;6677:2:1;25407:47:0::1;::::0;::::1;6659:21:1::0;6716:2;6696:18;;;6689:30;6755:17;6735:18;;;6728:45;6790:18;;25407:47:0::1;6475:339:1::0;25407:47:0::1;25465:5;:24:::0;;;::::1;;::::0;;;::::1;::::0;;;::::1;::::0;;25334:163::o;23145:17::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;23145:17:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;23169:40::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;21195:103::-;20433:13;:11;:13::i;:::-;21260:30:::1;21287:1;21260:18;:30::i;:::-;21195:103::o:0;27752:671::-;23259:17;;:31;:17;23280:10;23259:31;23251:63;;;;;;;7021:2:1;23251:63:0;;;7003:21:1;7060:2;7040:18;;;7033:30;7099:21;7079:18;;;7072:49;7138:18;;23251:63:0;6819:343:1;23251:63:0;27856:27:::1;27886:17:::0;;;:6:::1;:17;::::0;;;;;;;27856:47;;;;;;::::1;::::0;;;;;;;;;;;;27886:17;;27856:47;;::::1;27886:17:::0;27856:47;;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27914:6;27931:485;27947:13;:20;27943:1;:24;27931:485;;;28225:5;28212:9;:18;28208:65;;28251:7;;27752:671:::0;;:::o;28208:65::-:1;28357:47;28368:13;28382:1;28368:16;;;;;;;;:::i;:::-;;;;;;;28386:14;28401:1;28386:17;;;;;;;;:::i;:::-;;;;;;;28357:10;:47::i;:::-;27969:3:::0;::::1;::::0;::::1;:::i;:::-;;;;27931:485;;;27845:578;;23325:1;27752:671:::0;;:::o;26422:1322::-;18835:21;:19;:21::i;:::-;26561:9:::1;:19;::::0;::::1;;26553:28;;;::::0;::::1;;26600:10;::::0;;;::::1;;;26592:39;;;::::0;::::1;::::0;;7947:2:1;26592:39:0::1;::::0;::::1;7929:21:1::0;7986:2;7966:18;;;7959:30;8025:18;8005;;;7998:46;8061:18;;26592:39:0::1;7745:340:1::0;26592:39:0::1;26658:1;26650:5;:9;:38;;;;;26672:16;;26663:5;:25;;26650:38;26642:73;;;::::0;::::1;::::0;;8292:2:1;26642:73:0::1;::::0;::::1;8274:21:1::0;8331:2;8311:18;;;8304:30;8370:24;8350:18;;;8343:52;8412:18;;26642:73:0::1;8090:346:1::0;26642:73:0::1;26764:10;26769:5:::0;26764:1:::1;:10;:::i;:::-;26752:9;:22;26726:74;;;::::0;::::1;::::0;;10137:2:1;26726:74:0::1;::::0;::::1;10119:21:1::0;10176:2;10156:18;;;10149:30;10215:23;10195:18;;;10188:51;10256:18;;26726:74:0::1;9935:345:1::0;26726:74:0::1;26817:19;::::0;::::1;26813:70;;-1:-1:-1::0;26862:9:0::1;26813:70;26911:25;::::0;::::1;;::::0;;;:18:::1;:25;::::0;;;;:38;::::1;;26901:48:::0;::::1;::::0;::::1;::::0;:100:::1;;-1:-1:-1::0;26963:25:0::1;::::0;::::1;;::::0;;;:18:::1;:25;::::0;;;;:38;;;::::1;;;26953:48:::0;::::1;;26901:100;26893:140;;;::::0;::::1;::::0;;10487:2:1;26893:140:0::1;::::0;::::1;10469:21:1::0;10526:2;10506:18;;;10499:30;10565:29;10545:18;;;10538:57;10612:18;;26893:140:0::1;10285:351:1::0;26893:140:0::1;27046:19;27068:44;27091:6;27099:5;27106;27068:22;:44::i;:::-;27133:5;::::0;:71:::1;::::0;;;;:5:::1;10951:15:1::0;;;27133:71:0::1;::::0;::::1;10933:34:1::0;10983:18;;;10976:34;;;11046:15;;;11026:18;;;11019:43;11078:18;;;11071:34;;;27046:66:0;;-1:-1:-1;27133:5:0;::::1;::::0;:14:::1;::::0;27155:9:::1;::::0;10844:19:1;;27133:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;27230:4:0::1;:11:::0;27259:10:::1;::::0;:34:::1;::::0;;;;;;;27230:11;;-1:-1:-1;27252:6:0::1;::::0;-1:-1:-1;27217:10:0::1;::::0;-1:-1:-1;27259:10:0::1;::::0;;::::1;::::0;:32:::1;::::0;:34:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;27217:10;27259;:34:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;27252:42:::0;;::::1;::::0;;::::1;::::0;;;;;;;;-1:-1:-1;27252:42:0;;;:54;;::::1;::::0;::::1;::::0;;;;;;;;;::::1;::::0;;;27332:57;;11507:25:1;;;11548:18;;;11541:34;;;27332:57:0::1;11611:55:1::0;;;11591:18;;;11584:83;27332:57:0;;27365:5;;27332:57;;::::1;::::0;27252:54;;27332:57:::1;::::0;;;;11495:2:1;27332:57:0;;::::1;27400:4;27410:325;;;;;;;;27442:5;27410:325;;;;;;27478:9;27410:325;;;;;;27512:1;27410:325;;;;;;27554:12;27410:325;;;;;;27598:6;27410:325;;;;;;27631:1;27410:325;;;;;;27655:10;27410:325;;;;;;27687:5;27410:325;;;;;;27718:5;27410:325;;;;::::0;27400:336:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26542:1202;;18879:20:::0;18273:1;19399:7;:22;19216:213;18879:20;26422:1322;;;;;:::o;24763:90::-;20433:13;:11;:13::i;:::-;24835:10:::1;::::0;;24821:24;;::::1;24835:10:::0;;;;::::1;;;24834:11;24821:24:::0;;::::1;;::::0;;24763:90::o;24266:275::-;20433:13;:11;:13::i;:::-;24383:25:::1;::::0;::::1;;::::0;;;:18:::1;:25;::::0;;;;:38;::::1;::::0;;::::1;24367:54:::0;;::::1;;24359:109;;;::::0;::::1;::::0;;11880:2:1;24359:109:0::1;::::0;::::1;11862:21:1::0;11919:2;11899:18;;;11892:30;11958:34;11938:18;;;11931:62;12029:12;12009:18;;;12002:40;12059:19;;24359:109:0::1;11678:406:1::0;24359:109:0::1;24479:25;::::0;;::::1;;::::0;;;:18:::1;:25;::::0;;;;:54;;::::1;::::0;;::::1;::::0;::::1;::::0;::::1;::::0;;;::::1;::::0;;24266:275::o;25505:217::-;20433:13;:11;:13::i;:::-;25591:10:::1;::::0;;;::::1;;;:19;25583:47;;;::::0;::::1;::::0;;6677:2:1;25583:47:0::1;::::0;::::1;6659:21:1::0;6716:2;6696:18;;;6689:30;6755:17;6735:18;;;6728:45;6790:18;;25583:47:0::1;6475:339:1::0;25583:47:0::1;25641:10;:34:::0;;::::1;::::0;;::::1;::::0;;;::::1;::::0;::::1;::::0;;;25686:17:::1;:28:::0;;;;::::1;;::::0;;25505:217::o;23986:272::-;20433:13;:11;:13::i;:::-;24103:25:::1;::::0;::::1;;::::0;;;:18:::1;:25;::::0;;;;:38;::::1;::::0;;;::::1;::::0;::::1;24087:54:::0;;::::1;;24079:106;;;::::0;::::1;::::0;;12291:2:1;24079:106:0::1;::::0;::::1;12273:21:1::0;12330:2;12310:18;;;12303:30;12369:34;12349:18;;;12342:62;12440:9;12420:18;;;12413:37;12467:19;;24079:106:0::1;12089:403:1::0;24079:106:0::1;24196:25;::::0;;;::::1;;::::0;;;:18:::1;:25;::::0;;;;:54;;;::::1;;::::0;;::::1;::::0;;;::::1;::::0;;23986:272::o;25730:288::-;20433:13;:11;:13::i;:::-;25877:38:::1;::::0;;;;25909:4:::1;25877:38;::::0;::::1;891:74:1::0;25877:23:0::1;::::0;::::1;::::0;::::1;::::0;864:18:1;;25877:38:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;25859:14;:56;;25851:93;;;::::0;::::1;::::0;;12888:2:1;25851:93:0::1;::::0;::::1;12870:21:1::0;12927:2;12907:18;;;12900:30;12966:26;12946:18;;;12939:54;13010:18;;25851:93:0::1;12686:348:1::0;25851:93:0::1;25955:55;:26;::::0;::::1;25982:11:::0;25995:14;25955:26:::1;:55::i;:::-;25730:288:::0;;;:::o;26026:234::-;20433:13;:11;:13::i;:::-;26155:21:::1;26137:14;:39;;26129:76;;;::::0;::::1;::::0;;12888:2:1;26129:76:0::1;::::0;::::1;12870:21:1::0;12927:2;12907:18;;;12900:30;12966:26;12946:18;;;12939:54;13010:18;;26129:76:0::1;12686:348:1::0;26129:76:0::1;26216:36;::::0;:20:::1;::::0;::::1;::::0;:36;::::1;;;::::0;26237:14;;26216:36:::1;::::0;;;26237:14;26216:20;:36;::::1;;;;;;;;;;;;;::::0;::::1;;;;29317:881:::0;18835:21;:19;:21::i;:::-;29389:10:::1;::::0;;;::::1;;;29381:39;;;::::0;::::1;::::0;;7947:2:1;29381:39:0::1;::::0;::::1;7929:21:1::0;7986:2;7966:18;;;7959:30;8025:18;8005;;;7998:46;8061:18;;29381:39:0::1;7745:340:1::0;29381:39:0::1;29439:15;29457:4;29462:5;29457:11;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;::::1;::::0;;::::1;;29493:10;::::0;::::1;::::0;29457:11;;-1:-1:-1;29493:10:0::1;;::::0;29516:41:::1;;;::::0;::::1;::::0;;13241:2:1;29516:41:0::1;::::0;::::1;13223:21:1::0;13280:2;13260:18;;;13253:30;13319:20;13299:18;;;13292:48;13357:18;;29516:41:0::1;13039:342:1::0;29516:41:0::1;29576:13;::::0;::::1;::::0;;;::::1;;;:22;29568:57;;;::::0;::::1;::::0;;13588:2:1;29568:57:0::1;::::0;::::1;13570:21:1::0;13627:2;13607:18;;;13600:30;13666:24;13646:18;;;13639:52;13708:18;;29568:57:0::1;13386:346:1::0;29568:57:0::1;29659:20:::0;;:28:::1;::::0;:20;;::::1;;;29682:5;29659:28;:::i;:::-;29644:43;;:12;:43;29636:85;;;::::0;::::1;::::0;;14151:2:1;29636:85:0::1;::::0;::::1;14133:21:1::0;14190:2;14170:18;;;14163:30;14229:31;14209:18;;;14202:59;14278:18;;29636:85:0::1;13949:353:1::0;29636:85:0::1;29750:9;::::0;::::1;::::0;29823;;29750::::1;::::0;;::::1;::::0;29734:13:::1;::::0;29792:48:::1;::::0;29815:6;;29823:9:::1;;29750::::0;29792:22:::1;:48::i;:::-;29770:70;;29851:17;29871:46;29903:6;29911:5;29871:31;:46::i;:::-;29938:13;::::0;::::1;:20:::0;;;::::1;::::0;::::1;::::0;;-1:-1:-1;29969:13:0;::::1;:37:::0;;::::1;::::0;;::::1;::::0;::::1;::::0;::::1;;::::0;;-1:-1:-1;30036:10:0;;::::1;::::0;30067:5;;:60:::1;::::0;;;;30036:10:::1;::::0;;::::1;30067:60;::::0;::::1;14599:34:1::0;;;14669:15;;;14649:18;;;14642:43;14701:18;;;14694:34;;;14744:18;;;14737:34;;;29969:37:0;;-1:-1:-1;30067:5:0;::::1;::::0;:15:::1;::::0;14510:19:1;;30067:60:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;30143:47:0::1;::::0;;14956:25:1;;;30143:47:0::1;15017:55:1::0;;;15012:2;14997:18;;14990:83;30143:47:0;::::1;::::0;-1:-1:-1;30155:5:0;;-1:-1:-1;30143:47:0::1;::::0;14929:18:1;30143:47:0::1;;;;;;;29370:828;;;;;;18879:20:::0;18273:1;19399:7;:22;19216:213;18879:20;29317:881;:::o;23851:127::-;20433:13;:11;:13::i;:::-;23934:16:::1;:36:::0;23851:127::o;21453:201::-;20433:13;:11;:13::i;:::-;21542:22:::1;::::0;::::1;21534:73;;;::::0;::::1;::::0;;15286:2:1;21534:73:0::1;::::0;::::1;15268:21:1::0;15325:2;15305:18;;;15298:30;15364:34;15344:18;;;15337:62;15435:8;15415:18;;;15408:36;15461:19;;21534:73:0::1;15084:402:1::0;21534:73:0::1;21618:28;21637:8;21618:18;:28::i;20712:132::-:0;20620:6;;20776:23;20620:6;19843:10;20776:23;20768:68;;;;;;;15693:2:1;20768:68:0;;;15675:21:1;;;15712:18;;;15705:30;15771:34;15751:18;;;15744:62;15823:18;;20768:68:0;15491:356:1;21814:191:0;21907:6;;;;21924:17;;;;;;;;;;;21957:40;;21907:6;;;21924:17;21907:6;;21957:40;;21888:16;;21957:40;21877:128;21814:191;:::o;28431:878::-;18835:21;:19;:21::i;:::-;28517:15:::1;28535:4;28540:5;28535:11;;;;;;;;:::i;:::-;;::::0;;;::::1;::::0;;;::::1;::::0;;::::1;;28573:10;::::0;::::1;::::0;28535:11;;-1:-1:-1;28573:10:0::1;;28598:11:::0;;;:36:::1;;-1:-1:-1::0;28613:13:0::1;::::0;::::1;::::0;;;::::1;;;:21;;28630:4;28613:21;28598:36;28594:75;;;28651:7;;;;28594:75;28698:10;::::0;;::::1;::::0;28735:9:::1;::::0;::::1;::::0;28769:10;;28698::::1;::::0;;::::1;::::0;28735:9;;;::::1;::::0;28698:10:::1;28769::::0;::::1;;;::::0;28803:9:::1;;::::0;28681:14:::1;::::0;28856:10:::1;::::0;28803:9;;28856:10:::1;:::i;:::-;28840:27;::::0;:12;:27:::1;:::i;:::-;28825:42;;28878:19;28900:44;28923:6;28931:5;28938;28900:22;:44::i;:::-;28878:66;;28955:14;28982:7;28972:6;:17;:38;;29009:1;28972:38;;;28992:14;28972:38;29023:13;::::0;::::1;:20:::0;;;::::1;::::0;::::1;::::0;;-1:-1:-1;29054:13:0;::::1;:34:::0;;::::1;::::0;;::::1;::::0;::::1;::::0;::::1;;::::0;;29099:29;;::::1;::::0;::::1;::::0;::::1;::::0;;;::::1;;::::0;;-1:-1:-1;29141:5:0;:69:::1;::::0;;;;:5:::1;16490:15:1::0;;;29141:69:0::1;::::0;::::1;16472:34:1::0;16542:15;;;16522:18;;;16515:43;16574:18;;;16567:34;;;16617:18;;;16610:34;;;29196:13:0;;;16660:19:1;;;16653:51;29054:34:0;;-1:-1:-1;29141:5:0;::::1;::::0;:15:::1;::::0;16383:19:1;;29141:69:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;29226:75:0::1;::::0;;16974:25:1;;;17030:2;17015:18;;17008:34;;;17058:18;;;17051:34;;;17116:2;17101:18;;17094:34;;;29226:75:0::1;17165:55:1::0;;;17159:3;17144:19;;17137:84;29260:5:0;;-1:-1:-1;29226:75:0;::::1;::::0;-1:-1:-1;29237:5:0;;29226:75:::1;::::0;16961:3:1;16946:19;29226:75:0::1;;;;;;;28506:803;;;;;;;;;18867:1;18879:20:::0;18273:1;19399:7;:22;19216:213;18915:293;18317:1;19049:7;;:19;19041:63;;;;;;;17434:2:1;19041:63:0;;;17416:21:1;17473:2;17453:18;;;17446:30;17512:33;17492:18;;;17485:61;17563:18;;19041:63:0;17232:355:1;19041:63:0;18317:1;19182:7;:18;18915:293::o;25075:235::-;25171:4;25188:19;25210:47;25242:7;25251:5;25210:31;:47::i;:::-;25188:69;-1:-1:-1;25292:10:0;25297:5;25292:1;:10;:::i;:::-;25275:27;;:14;:27;:::i;:::-;25268:34;25075:235;-1:-1:-1;;;;;25075:235:0:o;13643:211::-;13787:58;;;17969:42:1;17957:55;;13787:58:0;;;17939:74:1;18029:18;;;;18022:34;;;13787:58:0;;;;;;;;;;17912:18:1;;;;13787:58:0;;;;;;;;;;13810:23;13787:58;;;13760:86;;13780:5;;13760:19;:86::i;24880:187::-;25013:25;;;24971:4;25013:25;;;:18;:25;;;;;:37;;;25054:5;;25005:45;;25054:5;25005:45;:::i;:::-;24995:56;;:6;:56;:::i;:::-;:64;;;;:::i;:::-;24988:71;;24880:187;;;;;:::o;16710:716::-;17134:23;17160:69;17188:4;17160:69;;;;;;;;;;;;;;;;;17168:5;17160:27;;;;:69;;;;;:::i;:::-;17244:17;;17134:95;;-1:-1:-1;17244:21:0;17240:179;;17341:10;17330:30;;;;;;;;;;;;:::i;:::-;17322:85;;;;;;;18809:2:1;17322:85:0;;;18791:21:1;18848:2;18828:18;;;18821:30;18887:34;18867:18;;;18860:62;18958:12;18938:18;;;18931:40;18988:19;;17322:85:0;18607:406:1;3824:229:0;3961:12;3993:52;4015:6;4023:4;4029:1;4032:12;3993:21;:52::i;:::-;3986:59;3824:229;-1:-1:-1;;;;3824:229:0:o;4944:455::-;5114:12;5172:5;5147:21;:30;;5139:81;;;;;;;19220:2:1;5139:81:0;;;19202:21:1;19259:2;19239:18;;;19232:30;19298:34;19278:18;;;19271:62;19369:8;19349:18;;;19342:36;19395:19;;5139:81:0;19018:402:1;5139:81:0;5232:12;5246:23;5273:6;:11;;5292:5;5299:4;5273:31;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5231:73;;;;5322:69;5349:6;5357:7;5366:10;5378:12;5322:26;:69::i;:::-;5315:76;4944:455;-1:-1:-1;;;;;;;4944:455:0:o;7517:644::-;7702:12;7731:7;7727:427;;;7759:10;:17;7780:1;7759:22;7755:290;;1363:19;;;;7969:60;;;;;;;20174:2:1;7969:60:0;;;20156:21:1;20213:2;20193:18;;;20186:30;20252:31;20232:18;;;20225:59;20301:18;;7969:60:0;19972:353:1;7969:60:0;-1:-1:-1;8066:10:0;8059:17;;7727:427;8109:33;8117:10;8129:12;8864:17;;:21;8860:388;;9096:10;9090:17;9153:15;9140:10;9136:2;9132:19;9125:44;8860:388;9223:12;9216:20;;;;;;;;;;;:::i;14:154:1:-;100:42;93:5;89:54;82:5;79:65;69:93;;158:1;155;148:12;173:315;241:6;249;302:2;290:9;281:7;277:23;273:32;270:52;;;318:1;315;308:12;270:52;357:9;344:23;376:31;401:5;376:31;:::i;:::-;426:5;478:2;463:18;;;;450:32;;-1:-1:-1;;;173:315:1:o;493:247::-;552:6;605:2;593:9;584:7;580:23;576:32;573:52;;;621:1;618;611:12;573:52;660:9;647:23;679:31;704:5;679:31;:::i;:::-;729:5;493:247;-1:-1:-1;;;493:247:1:o;1158:180::-;1217:6;1270:2;1258:9;1249:7;1245:23;1241:32;1238:52;;;1286:1;1283;1276:12;1238:52;-1:-1:-1;1309:23:1;;1158:180;-1:-1:-1;1158:180:1:o;2362:248::-;2430:6;2438;2491:2;2479:9;2470:7;2466:23;2462:32;2459:52;;;2507:1;2504;2497:12;2459:52;-1:-1:-1;;2530:23:1;;;2600:2;2585:18;;;2572:32;;-1:-1:-1;2362:248:1:o;2615:184::-;2667:77;2664:1;2657:88;2764:4;2761:1;2754:15;2788:4;2785:1;2778:15;2804:1242;2897:6;2905;2958:2;2946:9;2937:7;2933:23;2929:32;2926:52;;;2974:1;2971;2964:12;2926:52;3010:9;2997:23;2987:33;;3039:2;3092;3081:9;3077:18;3064:32;3115:18;3156:2;3148:6;3145:14;3142:34;;;3172:1;3169;3162:12;3142:34;3210:6;3199:9;3195:22;3185:32;;3255:7;3248:4;3244:2;3240:13;3236:27;3226:55;;3277:1;3274;3267:12;3226:55;3313:2;3300:16;3335:2;3331;3328:10;3325:36;;;3341:18;;:::i;:::-;3387:2;3384:1;3380:10;3419:2;3413:9;3478:66;3473:2;3469;3465:11;3461:84;3453:6;3449:97;3596:6;3584:10;3581:22;3576:2;3564:10;3561:18;3558:46;3555:72;;;3607:18;;:::i;:::-;3643:2;3636:22;3693:18;;;3727:15;;;;-1:-1:-1;3769:11:1;;;3765:20;;;3797:19;;;3794:39;;;3829:1;3826;3819:12;3794:39;3853:11;;;;3873:142;3889:6;3884:3;3881:15;3873:142;;;3955:17;;3943:30;;3906:12;;;;3993;;;;3873:142;;;4034:6;4024:16;;;;;;;;2804:1242;;;;;:::o;4051:594::-;4146:6;4154;4162;4170;4178;4231:3;4219:9;4210:7;4206:23;4202:33;4199:53;;;4248:1;4245;4238:12;4199:53;4284:9;4271:23;4261:33;;4341:2;4330:9;4326:18;4313:32;4303:42;;4395:2;4384:9;4380:18;4367:32;4408:31;4433:5;4408:31;:::i;:::-;4458:5;-1:-1:-1;4515:2:1;4500:18;;4487:32;4528:33;4487:32;4528:33;:::i;:::-;4051:594;;;;-1:-1:-1;4051:594:1;;4634:3;4619:19;4606:33;;4051:594;-1:-1:-1;;4051:594:1:o;4650:444::-;4718:6;4726;4779:2;4767:9;4758:7;4754:23;4750:32;4747:52;;;4795:1;4792;4785:12;4747:52;4834:9;4821:23;4853:31;4878:5;4853:31;:::i;:::-;4903:5;-1:-1:-1;4960:2:1;4945:18;;4932:32;5008:34;4995:48;;4983:61;;4973:89;;5058:1;5055;5048:12;4973:89;5081:7;5071:17;;;4650:444;;;;;:::o;5099:456::-;5176:6;5184;5192;5245:2;5233:9;5224:7;5220:23;5216:32;5213:52;;;5261:1;5258;5251:12;5213:52;5300:9;5287:23;5319:31;5344:5;5319:31;:::i;:::-;5369:5;-1:-1:-1;5421:2:1;5406:18;;5393:32;;-1:-1:-1;5477:2:1;5462:18;;5449:32;5490:33;5449:32;5490:33;:::i;:::-;5542:7;5532:17;;;5099:456;;;;;:::o;7167:184::-;7219:77;7216:1;7209:88;7316:4;7313:1;7306:15;7340:4;7337:1;7330:15;7356:184;7408:77;7405:1;7398:88;7505:4;7502:1;7495:15;7529:4;7526:1;7519:15;7545:195;7584:3;7615:66;7608:5;7605:77;7602:103;;7685:18;;:::i;:::-;-1:-1:-1;7732:1:1;7721:13;;7545:195::o;8441:482::-;8530:1;8573:5;8530:1;8587:330;8608:7;8598:8;8595:21;8587:330;;;8727:4;8659:66;8655:77;8649:4;8646:87;8643:113;;;8736:18;;:::i;:::-;8786:7;8776:8;8772:22;8769:55;;;8806:16;;;;8769:55;8885:22;;;;8845:15;;;;8587:330;;;8591:3;8441:482;;;;;:::o;8928:866::-;8977:5;9007:8;8997:80;;-1:-1:-1;9048:1:1;9062:5;;8997:80;9096:4;9086:76;;-1:-1:-1;9133:1:1;9147:5;;9086:76;9178:4;9196:1;9191:59;;;;9264:1;9259:130;;;;9171:218;;9191:59;9221:1;9212:10;;9235:5;;;9259:130;9296:3;9286:8;9283:17;9280:43;;;9303:18;;:::i;:::-;-1:-1:-1;;9359:1:1;9345:16;;9374:5;;9171:218;;9473:2;9463:8;9460:16;9454:3;9448:4;9445:13;9441:36;9435:2;9425:8;9422:16;9417:2;9411:4;9408:12;9404:35;9401:77;9398:159;;;-1:-1:-1;9510:19:1;;;9542:5;;9398:159;9589:34;9614:8;9608:4;9589:34;:::i;:::-;9719:6;9651:66;9647:79;9638:7;9635:92;9632:118;;;9730:18;;:::i;:::-;9768:20;;8928:866;-1:-1:-1;;;8928:866:1:o;9799:131::-;9859:5;9888:36;9915:8;9909:4;9888:36;:::i;11116:184::-;11186:6;11239:2;11227:9;11218:7;11214:23;11210:32;11207:52;;;11255:1;11252;11245:12;11207:52;-1:-1:-1;11278:16:1;;11116:184;-1:-1:-1;11116:184:1:o;13737:207::-;13805:44;13869:10;;;13881;;;13865:27;;13904:11;;;13901:37;;;13918:18;;:::i;:::-;13901:37;13737:207;;;;:::o;15852:184::-;15904:77;15901:1;15894:88;16001:4;15998:1;15991:15;16025:4;16022:1;16015:15;16041:112;16073:1;16099;16089:35;;16104:18;;:::i;:::-;-1:-1:-1;16138:9:1;;16041:112::o;17592:168::-;17665:9;;;17696;;17713:15;;;17707:22;;17693:37;17683:71;;17734:18;;:::i;18067:128::-;18134:9;;;18155:11;;;18152:37;;;18169:18;;:::i;18200:120::-;18240:1;18266;18256:35;;18271:18;;:::i;:::-;-1:-1:-1;18305:9:1;;18200:120::o;18325:277::-;18392:6;18445:2;18433:9;18424:7;18420:23;18416:32;18413:52;;;18461:1;18458;18451:12;18413:52;18493:9;18487:16;18546:5;18539:13;18532:21;18525:5;18522:32;18512:60;;18568:1;18565;18558:12;19425:250;19510:1;19520:113;19534:6;19531:1;19528:13;19520:113;;;19610:11;;;19604:18;19591:11;;;19584:39;19556:2;19549:10;19520:113;;;-1:-1:-1;;19667:1:1;19649:16;;19642:27;19425:250::o;19680:287::-;19809:3;19847:6;19841:13;19863:66;19922:6;19917:3;19910:4;19902:6;19898:17;19863:66;:::i;:::-;19945:16;;;;;19680:287;-1:-1:-1;;19680:287:1:o;20330:455::-;20479:2;20468:9;20461:21;20442:4;20511:6;20505:13;20554:6;20549:2;20538:9;20534:18;20527:34;20570:79;20642:6;20637:2;20626:9;20622:18;20617:2;20609:6;20605:15;20570:79;:::i;:::-;20701:2;20689:15;20706:66;20685:88;20670:104;;;;20776:2;20666:113;;20330:455;-1:-1:-1;;20330:455:1:o

ipfs://5d5810f338df6959f616bd6b7eadf95fa65ce353f29cc8f80671d6a1109503bd