/**
 * Copyright 2024 Circle Internet Financial, LTD. All rights reserved.
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

pragma solidity ^0.8.16;

import {ISettlement} from "./interfaces/ISettlement.sol";
import {IRedemption} from "./interfaces/IRedemption.sol";
import {ILiquiditySource} from "./interfaces/ILiquiditySource.sol";
import {OwnablePausable} from "./roles/OwnablePausable.sol";

/**
 * @title Settlement
 * @dev Pausable by the Pauser
 */
contract Settlement is ISettlement, OwnablePausable {
    /**
     * @notice Emitted when the current recipient address changes
     * @param oldRecipient Prior recipient address
     * @param newRecipient Updated recipient address
     */
    event RecipientUpdated(
        address indexed oldRecipient,
        address indexed newRecipient
    );

    /**
     * @notice Emitted when the current liquidity source changes
     * @param oldSource Prior source address
     * @param newSource Updated source address
     */
    event LiquiditySourceUpdated(
        address indexed oldSource,
        address indexed newSource
    );

    /**
     * @notice Emitted when settlement is completed.
     * @param redeemer Initiator of redemption transaction
     * @param amount the amount being redeemed, 1:1 with liquidity
     */
    event SettlementCompleted(address indexed redeemer, uint256 amount);

    /**
     * @notice Immutable redemption contract
     */
    IRedemption public immutable redemption;

    /**
     * @notice Current liquidity source
     */
    ILiquiditySource public liquiditySource;

    /**
     * @inheritdoc ISettlement
     */
    address public recipient;

    /**
     * @param _redemption Address of the redemption contract
     * @param _recipient Address that receives the asset
     * @param _owner Owner address, capable of changing the pauser
     * and adjusting parameters.
     * @param _pauser Address of pauser
     */
    constructor(
        address _redemption,
        address _recipient,
        address _owner,
        address _pauser
    ) OwnablePausable(_owner, _pauser) {
        redemption = IRedemption(_redemption);
        recipient = _recipient;
    }

    /**
     * @inheritdoc ISettlement
     * @dev Only callable when not paused.
     * @dev Only callable by the redemption contract
     */
    function redeem(
        address redeemer,
        uint256 amount
    ) external override whenNotPaused {
        require(
            msg.sender == address(redemption),
            "Settlement: caller not redemption"
        );

        require(
            address(liquiditySource) != address(0),
            "Settlement: no liquidity source set"
        );

        require(
            liquiditySource.availableLiquidity() >= amount,
            "Settlement: exceeds allowed amount"
        );

        liquiditySource.supplyTo(redeemer, amount);
        emit SettlementCompleted(redeemer, amount);
    }

    /**
     * @inheritdoc ISettlement
     * @dev Delegates to the currently set liquidity source.
     */
    function availableLiquidity() external view override returns (uint256) {
        if (address(liquiditySource) == address(0)) {
            return 0;
        }
        return liquiditySource.availableLiquidity();
    }

    /**
     * @notice Updates the recipient.
     * @dev Only callable by the owner.
     * @dev Allows setting to the 0 address.
     */
    function updateRecipient(address _recipient) external onlyOwner {
        emit RecipientUpdated(recipient, _recipient);
        recipient = _recipient;
    }

    /**
     * @notice Updates the current liquidity source.
     * @dev Only callable by the owner.
     * @dev Allows setting to the 0 address.
     */
    function updateLiquiditySource(
        address _liquiditySource
    ) external onlyOwner {
        emit LiquiditySourceUpdated(address(liquiditySource), _liquiditySource);
        liquiditySource = ILiquiditySource(_liquiditySource);
    }
}

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

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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

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

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

pragma solidity ^0.8.0;

import "./Ownable.sol";

/**
 * @dev Contract module which provides access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership} and {acceptOwnership}.
 *
 * This module is used through inheritance. It will make available all functions
 * from parent (Ownable).
 */
abstract contract Ownable2Step is Ownable {
    address private _pendingOwner;

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

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

    /**
     * @dev Starts the ownership transfer of the contract to a new account. Replaces the pending transfer if there is one.
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual override onlyOwner {
        _pendingOwner = newOwner;
        emit OwnershipTransferStarted(owner(), newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`) and deletes any pending owner.
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual override {
        delete _pendingOwner;
        super._transferOwnership(newOwner);
    }

    /**
     * @dev The new owner accepts the ownership transfer.
     */
    function acceptOwnership() public virtual {
        address sender = _msgSender();
        require(pendingOwner() == sender, "Ownable2Step: caller is not the new owner");
        _transferOwnership(sender);
    }
}

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

pragma solidity ^0.8.0;

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

/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor() {
        _paused = false;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        _requireNotPaused();
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        _requirePaused();
        _;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Throws if the contract is paused.
     */
    function _requireNotPaused() internal view virtual {
        require(!paused(), "Pausable: paused");
    }

    /**
     * @dev Throws if the contract is not paused.
     */
    function _requirePaused() internal view virtual {
        require(paused(), "Pausable: not paused");
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

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

pragma solidity ^0.8.0;

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

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

/**
 * Copyright 2024 Circle Internet Financial, LTD. All rights reserved.
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

pragma solidity ^0.8.16;

/**
 * @title ILiquiditySource
 */
interface ILiquiditySource {
    /**
     * @notice Emitted when liquidity is supplied to a recipient.
     */
    event LiquiditySupplied(address indexed recipient, uint256 amount);

    /**
     * @notice Supplies liquidity to a recipient
     * @param recipient Receiver of liquidity
     * @param amount Amount of liquidity to transfer
     */
    function supplyTo(address recipient, uint256 amount) external;

    /**
     * @notice The available liquidity that can be supplied
     * @return The available liquidity amount
     */
    function availableLiquidity() external view returns (uint256);
}

/**
 * Copyright 2024 Circle Internet Financial, LTD. All rights reserved.
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

pragma solidity ^0.8.16;

/**
 * @title IRedemption
 */
interface IRedemption {
    /**
     * @notice The asset being redeemed.
     * @return The address of the asset token.
     */
    function asset() external view returns (address);

    /**
     * @notice The liquidity token that the asset is being redeemed for.
     * @return The address of the liquidity token.
     */
    function liquidity() external view returns (address);

    /**
     * @notice Redeems an amount of asset for liquidity
     * @param amount The amount of the asset token to redeem
     */
    function redeem(uint256 amount) external;
}

/**
 * Copyright 2024 Circle Internet Financial, LTD. All rights reserved.
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

pragma solidity ^0.8.16;

/**
 * @title ISettlement
 */
interface ISettlement {
    /**
     * @notice The recipient of the redemption swap: where the asset gets transferred to.
     * @return The address of the recipient.
     */
    function recipient() external view returns (address);

    /**
     * @notice The liquidity available for settlement.
     * @return The amount of liquidity available
     */
    function availableLiquidity() external view returns (uint256);

    /**
     * @notice Settles the redemption request, by transferring liquidity to the redeemer.
     */
    function redeem(address redeemer, uint256 amount) external;
}

/**
 * Copyright 2024 Circle Internet Financial, LTD. All rights reserved.
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

pragma solidity ^0.8.16;

import {Pausable} from "@openzeppelin/contracts/security/Pausable.sol";
import {Ownable2Step} from "@openzeppelin/contracts/access/Ownable2Step.sol";

/**
 * @title OwnablePausable
 * @notice Combines the Ownable2Step and Pausable types.
 * @dev Owner can rotate the Pauser role.
 */
contract OwnablePausable is Ownable2Step, Pausable {
    /**
     * @notice Emitted when the pauser address changes
     * @param oldPauser Prior pauser address
     * @param newPauser Updated pauser address
     */
    event PauserUpdated(address indexed oldPauser, address indexed newPauser);

    /**
     * @notice Address currently set as pauser
     */
    address public pauser;

    /**
     * @notice Checks that the sender is the pauser
     */
    modifier onlyPauser() {
        require(msg.sender == pauser, "Caller not pauser");
        _;
    }

    /**
     * @dev Owner and pauser addresses are explicitly passed.
     */
    constructor(address _owner, address _pauser) {
        _transferOwnership(_owner);
        pauser = _pauser;
    }

    /**
     * @notice Sets a new Pauser.
     * @dev Only callable by the Owner.
     */
    function updatePauser(address newPauser) external onlyOwner {
        require(
            newPauser != address(0),
            "Pausable: new pauser is the zero address"
        );
        emit PauserUpdated(pauser, newPauser);
        pauser = newPauser;
    }

    /**
     * @dev Only callable by the Pauser.
     */
    function pause() external onlyPauser {
        _pause();
    }

    /**
     * @dev Only callable by the Pauser.
     */
    function unpause() external onlyPauser {
        _unpause();
    }
}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_redemption","type":"address"},{"internalType":"address","name":"_recipient","type":"address"},{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_pauser","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"oldSource","type":"address"},{"indexed":true,"internalType":"address","name":"newSource","type":"address"}],"name":"LiquiditySourceUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferStarted","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"oldPauser","type":"address"},{"indexed":true,"internalType":"address","name":"newPauser","type":"address"}],"name":"PauserUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"oldRecipient","type":"address"},{"indexed":true,"internalType":"address","name":"newRecipient","type":"address"}],"name":"RecipientUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"redeemer","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"SettlementCompleted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[],"name":"acceptOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"availableLiquidity","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"liquiditySource","outputs":[{"internalType":"contract ILiquiditySource","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pauser","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pendingOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"recipient","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"redeemer","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"redeem","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"redemption","outputs":[{"internalType":"contract IRedemption","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_liquiditySource","type":"address"}],"name":"updateLiquiditySource","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newPauser","type":"address"}],"name":"updatePauser","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_recipient","type":"address"}],"name":"updateRecipient","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x60a06040523480156200001157600080fd5b50604051620011853803806200118583398101604081905262000034916200012f565b8181620000413362000098565b6001805460ff60a01b19169055620000598262000098565b600280546001600160a01b03199081166001600160a01b039384161790915595811660805260048054909616941693909317909355506200018c915050565b600180546001600160a01b0319169055620000bf81620000c2602090811b62000bf617901c565b50565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b80516001600160a01b03811681146200012a57600080fd5b919050565b600080600080608085870312156200014657600080fd5b620001518562000112565b9350620001616020860162000112565b9250620001716040860162000112565b9150620001816060860162000112565b905092959194509250565b608051610fd6620001af6000396000818161015501526102f20152610fd66000f3fe608060405234801561001057600080fd5b506004361061011b5760003560e01c806374375359116100b25780639fd0506d11610081578063e30c397811610066578063e30c39781461028e578063f2fde38b146102ac578063feec756c146102bf57600080fd5b80639fd0506d1461024e578063d77be17a1461026e57600080fd5b8063743753591461020a57806379ba5097146102205780638456cb59146102285780638da5cb5b1461023057600080fd5b8063554bab3c116100ee578063554bab3c146101a15780635c975abb146101b457806366d003ac146101e2578063715018a61461020257600080fd5b80631e9a6950146101205780633dfb6e10146101355780633f4ba83a146101485780635467e0a714610150575b600080fd5b61013361012e366004610f3b565b6102d2565b005b610133610143366004610f65565b61064a565b6101336106e0565b6101777f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b6101336101af366004610f65565b61076b565b60015474010000000000000000000000000000000000000000900460ff166040519015158152602001610198565b6004546101779073ffffffffffffffffffffffffffffffffffffffff1681565b6101336108a4565b6102126108b6565b604051908152602001610198565b610133610972565b610133610a27565b60005473ffffffffffffffffffffffffffffffffffffffff16610177565b6002546101779073ffffffffffffffffffffffffffffffffffffffff1681565b6003546101779073ffffffffffffffffffffffffffffffffffffffff1681565b60015473ffffffffffffffffffffffffffffffffffffffff16610177565b6101336102ba366004610f65565b610ab0565b6101336102cd366004610f65565b610b60565b6102da610c6b565b3373ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000016146103a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f536574746c656d656e743a2063616c6c6572206e6f7420726564656d7074696f60448201527f6e0000000000000000000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b60035473ffffffffffffffffffffffffffffffffffffffff16610449576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f536574746c656d656e743a206e6f206c697175696469747920736f757263652060448201527f7365740000000000000000000000000000000000000000000000000000000000606482015260840161039b565b600354604080517f743753590000000000000000000000000000000000000000000000000000000081529051839273ffffffffffffffffffffffffffffffffffffffff169163743753599160048083019260209291908290030181865afa1580156104b8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104dc9190610f87565b101561056a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f536574746c656d656e743a206578636565647320616c6c6f77656420616d6f7560448201527f6e74000000000000000000000000000000000000000000000000000000000000606482015260840161039b565b6003546040517fd7ecc12900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8481166004830152602482018490529091169063d7ecc12990604401600060405180830381600087803b1580156105de57600080fd5b505af11580156105f2573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff167f1762c954954f2abac7c28caee2ab4e282c064cbca83bb0e3e51d43af6cccef858260405161063e91815260200190565b60405180910390a25050565b610652610cf0565b60035460405173ffffffffffffffffffffffffffffffffffffffff8084169216907f02034d4dc7bd1a8fa8643521fe3f142cf2d6dc486f4f6266ab3f92eb1080d66890600090a3600380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60025473ffffffffffffffffffffffffffffffffffffffff163314610761576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f43616c6c6572206e6f7420706175736572000000000000000000000000000000604482015260640161039b565b610769610d71565b565b610773610cf0565b73ffffffffffffffffffffffffffffffffffffffff8116610816576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f5061757361626c653a206e65772070617573657220697320746865207a65726f60448201527f2061646472657373000000000000000000000000000000000000000000000000606482015260840161039b565b60025460405173ffffffffffffffffffffffffffffffffffffffff8084169216907f1ff153f4b082245afbf3211a8d2d207da4c5df490e965f9a9ad141b0cd001dda90600090a3600280547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6108ac610cf0565b6107696000610dee565b60035460009073ffffffffffffffffffffffffffffffffffffffff166108dc5750600090565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663743753596040518163ffffffff1660e01b8152600401602060405180830381865afa158015610949573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061096d9190610f87565b905090565b600154339073ffffffffffffffffffffffffffffffffffffffff168114610a1b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f4f776e61626c6532537465703a2063616c6c6572206973206e6f74207468652060448201527f6e6577206f776e65720000000000000000000000000000000000000000000000606482015260840161039b565b610a2481610dee565b50565b60025473ffffffffffffffffffffffffffffffffffffffff163314610aa8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f43616c6c6572206e6f7420706175736572000000000000000000000000000000604482015260640161039b565b610769610e1f565b610ab8610cf0565b6001805473ffffffffffffffffffffffffffffffffffffffff83167fffffffffffffffffffffffff00000000000000000000000000000000000000009091168117909155610b1b60005473ffffffffffffffffffffffffffffffffffffffff1690565b73ffffffffffffffffffffffffffffffffffffffff167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e2270060405160405180910390a350565b610b68610cf0565b60045460405173ffffffffffffffffffffffffffffffffffffffff8084169216907f62e69886a5df0ba8ffcacbfc1388754e7abd9bde24b036354c561f1acd4e459390600090a3600480547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6000805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60015474010000000000000000000000000000000000000000900460ff1615610769576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f5061757361626c653a2070617573656400000000000000000000000000000000604482015260640161039b565b60005473ffffffffffffffffffffffffffffffffffffffff163314610769576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161039b565b610d79610e8e565b600180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff1690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390a1565b600180547fffffffffffffffffffffffff0000000000000000000000000000000000000000169055610a2481610bf6565b610e27610c6b565b600180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff16740100000000000000000000000000000000000000001790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258610dc43390565b60015474010000000000000000000000000000000000000000900460ff16610769576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f5061757361626c653a206e6f7420706175736564000000000000000000000000604482015260640161039b565b803573ffffffffffffffffffffffffffffffffffffffff81168114610f3657600080fd5b919050565b60008060408385031215610f4e57600080fd5b610f5783610f12565b946020939093013593505050565b600060208284031215610f7757600080fd5b610f8082610f12565b9392505050565b600060208284031215610f9957600080fd5b505191905056fea2646970667358221220762bb4beeb9e690c51b4622b49d21f4ac45c979d2d80b4ad38d325d56750a59064736f6c6343000812003300000000000000000000000031d3f59ad4aac0eee2247c65ebe8bf6e9e470a5300000000000000000000000000000000000000000000000000000000000000000000000000000000000000009d9affc9b217ef2276d3d1781dbda02fcb1c45820000000000000000000000009d9affc9b217ef2276d3d1781dbda02fcb1c4582

0x608060405234801561001057600080fd5b506004361061011b5760003560e01c806374375359116100b25780639fd0506d11610081578063e30c397811610066578063e30c39781461028e578063f2fde38b146102ac578063feec756c146102bf57600080fd5b80639fd0506d1461024e578063d77be17a1461026e57600080fd5b8063743753591461020a57806379ba5097146102205780638456cb59146102285780638da5cb5b1461023057600080fd5b8063554bab3c116100ee578063554bab3c146101a15780635c975abb146101b457806366d003ac146101e2578063715018a61461020257600080fd5b80631e9a6950146101205780633dfb6e10146101355780633f4ba83a146101485780635467e0a714610150575b600080fd5b61013361012e366004610f3b565b6102d2565b005b610133610143366004610f65565b61064a565b6101336106e0565b6101777f00000000000000000000000031d3f59ad4aac0eee2247c65ebe8bf6e9e470a5381565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b6101336101af366004610f65565b61076b565b60015474010000000000000000000000000000000000000000900460ff166040519015158152602001610198565b6004546101779073ffffffffffffffffffffffffffffffffffffffff1681565b6101336108a4565b6102126108b6565b604051908152602001610198565b610133610972565b610133610a27565b60005473ffffffffffffffffffffffffffffffffffffffff16610177565b6002546101779073ffffffffffffffffffffffffffffffffffffffff1681565b6003546101779073ffffffffffffffffffffffffffffffffffffffff1681565b60015473ffffffffffffffffffffffffffffffffffffffff16610177565b6101336102ba366004610f65565b610ab0565b6101336102cd366004610f65565b610b60565b6102da610c6b565b3373ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000031d3f59ad4aac0eee2247c65ebe8bf6e9e470a5316146103a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f536574746c656d656e743a2063616c6c6572206e6f7420726564656d7074696f60448201527f6e0000000000000000000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b60035473ffffffffffffffffffffffffffffffffffffffff16610449576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f536574746c656d656e743a206e6f206c697175696469747920736f757263652060448201527f7365740000000000000000000000000000000000000000000000000000000000606482015260840161039b565b600354604080517f743753590000000000000000000000000000000000000000000000000000000081529051839273ffffffffffffffffffffffffffffffffffffffff169163743753599160048083019260209291908290030181865afa1580156104b8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104dc9190610f87565b101561056a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f536574746c656d656e743a206578636565647320616c6c6f77656420616d6f7560448201527f6e74000000000000000000000000000000000000000000000000000000000000606482015260840161039b565b6003546040517fd7ecc12900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8481166004830152602482018490529091169063d7ecc12990604401600060405180830381600087803b1580156105de57600080fd5b505af11580156105f2573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff167f1762c954954f2abac7c28caee2ab4e282c064cbca83bb0e3e51d43af6cccef858260405161063e91815260200190565b60405180910390a25050565b610652610cf0565b60035460405173ffffffffffffffffffffffffffffffffffffffff8084169216907f02034d4dc7bd1a8fa8643521fe3f142cf2d6dc486f4f6266ab3f92eb1080d66890600090a3600380547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60025473ffffffffffffffffffffffffffffffffffffffff163314610761576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f43616c6c6572206e6f7420706175736572000000000000000000000000000000604482015260640161039b565b610769610d71565b565b610773610cf0565b73ffffffffffffffffffffffffffffffffffffffff8116610816576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f5061757361626c653a206e65772070617573657220697320746865207a65726f60448201527f2061646472657373000000000000000000000000000000000000000000000000606482015260840161039b565b60025460405173ffffffffffffffffffffffffffffffffffffffff8084169216907f1ff153f4b082245afbf3211a8d2d207da4c5df490e965f9a9ad141b0cd001dda90600090a3600280547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6108ac610cf0565b6107696000610dee565b60035460009073ffffffffffffffffffffffffffffffffffffffff166108dc5750600090565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663743753596040518163ffffffff1660e01b8152600401602060405180830381865afa158015610949573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061096d9190610f87565b905090565b600154339073ffffffffffffffffffffffffffffffffffffffff168114610a1b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f4f776e61626c6532537465703a2063616c6c6572206973206e6f74207468652060448201527f6e6577206f776e65720000000000000000000000000000000000000000000000606482015260840161039b565b610a2481610dee565b50565b60025473ffffffffffffffffffffffffffffffffffffffff163314610aa8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f43616c6c6572206e6f7420706175736572000000000000000000000000000000604482015260640161039b565b610769610e1f565b610ab8610cf0565b6001805473ffffffffffffffffffffffffffffffffffffffff83167fffffffffffffffffffffffff00000000000000000000000000000000000000009091168117909155610b1b60005473ffffffffffffffffffffffffffffffffffffffff1690565b73ffffffffffffffffffffffffffffffffffffffff167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e2270060405160405180910390a350565b610b68610cf0565b60045460405173ffffffffffffffffffffffffffffffffffffffff8084169216907f62e69886a5df0ba8ffcacbfc1388754e7abd9bde24b036354c561f1acd4e459390600090a3600480547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6000805473ffffffffffffffffffffffffffffffffffffffff8381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60015474010000000000000000000000000000000000000000900460ff1615610769576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f5061757361626c653a2070617573656400000000000000000000000000000000604482015260640161039b565b60005473ffffffffffffffffffffffffffffffffffffffff163314610769576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161039b565b610d79610e8e565b600180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff1690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa335b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390a1565b600180547fffffffffffffffffffffffff0000000000000000000000000000000000000000169055610a2481610bf6565b610e27610c6b565b600180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff16740100000000000000000000000000000000000000001790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258610dc43390565b60015474010000000000000000000000000000000000000000900460ff16610769576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f5061757361626c653a206e6f7420706175736564000000000000000000000000604482015260640161039b565b803573ffffffffffffffffffffffffffffffffffffffff81168114610f3657600080fd5b919050565b60008060408385031215610f4e57600080fd5b610f5783610f12565b946020939093013593505050565b600060208284031215610f7757600080fd5b610f8082610f12565b9392505050565b600060208284031215610f9957600080fd5b505191905056fea2646970667358221220762bb4beeb9e690c51b4622b49d21f4ac45c979d2d80b4ad38d325d56750a59064736f6c63430008120033