Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract ReentrancyGuard
•  contract Owned
•    - function nominateNewOwner(address _ow ...
•    - function acceptOwnership()
•    - function _onlyOwner()
•    - function setPaused(bool _paused)
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
•    - function _msgSender()
•    - function _msgData()
• interface IERC20Lib
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(
•    - function functionCallWithValue(
• functionCallWithValue(
•    - function functionCallWithValue(
•    - function _functionCallWithValue(
•  contract ERC20Lib is Context, IERC ...
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(
•    - function _setupDecimals(uint8 decimal ...
•    - function _beforeTokenTransfer(
• library SafeERC20Lib
•    - function safeTransfer(
•    - function safeTransferFrom(
•    - function safeApprove(
•    - function safeIncreaseAllowance(
•    - function safeDecreaseAllowance(
•    - function _callOptionalReturn(IERC20Li ...
• interface IUSDv is IERC20Lib
•    - function mint(address, uint256)
•    - function burn(address, uint256)
•  contract VoxSwapPlatform is Reentr ... *
•    - function shares()
•    - function mintedOf(address account)
•    - function redeemedOf(address account)
•    - function balanceOf(uint256 index)
•    - function mint(uint256[4] memory amoun ...
•    - function _mint(uint256[4] memory amou ...
•    - function swap(address _from, address ...
•    - function swapToUSDv(address _from, ui ...
•    - function redeemSingle(address _underl ...
•    - function redeemProportional(uint256 a ...
•    - function redeemAll()
•    - function salvage(address _token, uint ...
•    - function setMinimumVoxBalance(uint256 ...
•    - function setVoxHolderDiscount(uint256 ...
•    - function setSwapFee(uint256 _swapFee)
•    - function setRedeemFee(uint256 _redeem ...
•    - function setAdmin(address _admin)
•    - function setTreasury(address _treasur ...
•    - function collectFees()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-01-24
*/

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

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

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

    uint256 private _status;

    constructor () internal {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and make it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        // On the first call to nonReentrant, _notEntered will be true
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

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

        _;

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

// https://docs.synthetix.io/contracts/Owned
contract Owned {
    address public owner;
    address public nominatedOwner;

    constructor(address _owner) public {
        require(_owner != address(0), "Owner address cannot be 0");
        owner = _owner;
        emit OwnerChanged(address(0), _owner);
    }

    function nominateNewOwner(address _owner) external onlyOwner {
        nominatedOwner = _owner;
        emit OwnerNominated(_owner);
    }

    function acceptOwnership() external {
        require(
            msg.sender == nominatedOwner,
            "You must be nominated before you can accept ownership"
        );
        emit OwnerChanged(owner, nominatedOwner);
        owner = nominatedOwner;
        nominatedOwner = address(0);
    }

    modifier onlyOwner {
        _onlyOwner();
        _;
    }

    function _onlyOwner() private view {
        require(
            msg.sender == owner,
            "Only the contract owner may perform this action"
        );
    }

    event OwnerNominated(address newOwner);
    event OwnerChanged(address oldOwner, address newOwner);
}

// Inheritance
// https://docs.synthetix.io/contracts/Pausable
abstract contract Pausable is Owned {
    uint256 public lastPauseTime;
    bool public paused;

    constructor() internal {
        // This contract is abstract, and thus cannot be instantiated directly
        require(owner != address(0), "Owner must be set");
        // Paused will be false, and lastPauseTime will be 0 upon initialisation
    }

    /**
     * @notice Change the paused state of the contract
     * @dev Only the contract owner may call this.
     */
    function setPaused(bool _paused) external onlyOwner {
        // Ensure we're actually changing the state before we do anything
        if (_paused == paused) {
            return;
        }

        // Set our paused state.
        paused = _paused;

        // If applicable, set the last pause time.
        if (paused) {
            lastPauseTime = now;
        }

        // Let everyone know that our pause state has changed.
        emit PauseChanged(paused);
    }

    event PauseChanged(bool isPaused);

    modifier notPaused {
        require(
            !paused,
            "This action cannot be performed while the contract is paused"
        );
        _;
    }
}

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

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

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

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

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

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

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

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

/*
 * @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 GSN 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 payable) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20Lib {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

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

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

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

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

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

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

// File: contracts/utils/Address.sol
/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        // solhint-disable-next-line no-inline-assembly
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

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

        // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
        (bool success, ) = recipient.call{value: amount}("");
        require(
            success,
            "Address: unable to send value, recipient may have reverted"
        );
    }

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

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

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

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

    function _functionCallWithValue(
        address target,
        bytes memory data,
        uint256 weiValue,
        string memory errorMessage
    ) private returns (bytes memory) {
        require(isContract(target), "Address: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.call{value: weiValue}(
            data
        );
        if (success) {
            return returndata;
        } else {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly

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

// File: contracts/token/ERC20/ERC20.sol
/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20Lib is Context, IERC20Lib {
    using SafeMath for uint256;
    using Address for address;

    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for {name} and {symbol}, initializes {decimals} with
     * a default value of 18.
     *
     * To select a different value for {decimals}, use {_setupDecimals}.
     *
     * All three of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name, string memory symbol) public {
        _name = name;
        _symbol = symbol;
        _decimals = 18;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless {_setupDecimals} is
     * called.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public override view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public override view returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount)
        public
        virtual
        override
        returns (bool)
    {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender)
        public
        virtual
        override
        view
        returns (uint256)
    {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount)
        public
        virtual
        override
        returns (bool)
    {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()].sub(
                amount,
                "ERC20: transfer amount exceeds allowance"
            )
        );
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue)
        public
        virtual
        returns (bool)
    {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].add(addedValue)
        );
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue)
        public
        virtual
        returns (bool)
    {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].sub(
                subtractedValue,
                "ERC20: decreased allowance below zero"
            )
        );
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        _balances[sender] = _balances[sender].sub(
            amount,
            "ERC20: transfer amount exceeds balance"
        );
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        _balances[account] = _balances[account].sub(
            amount,
            "ERC20: burn amount exceeds balance"
        );
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    /**
     * @dev Sets {decimals} to a value other than the default one of 18.
     *
     * WARNING: This function should only be called from the constructor. Most
     * applications that interact with token contracts will not expect
     * {decimals} to ever change, and may work incorrectly if it does.
     */
    function _setupDecimals(uint8 decimals_) internal {
        _decimals = decimals_;
    }

    /**
     * @dev Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be to transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

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

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

    function safeTransferFrom(
        IERC20Lib 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(
        IERC20Lib token,
        address spender,
        uint256 value
    ) internal {
        // safeApprove should only be called when setting an initial allowance,
        // or when resetting it to zero. To increase and decrease it, use
        // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
        // solhint-disable-next-line max-line-length
        require(
            (value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        _callOptionalReturn(
            token,
            abi.encodeWithSelector(token.approve.selector, spender, value)
        );
    }

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

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

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

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

interface IUSDv is IERC20Lib {
    function mint(address, uint256) external;

    function burn(address, uint256) external;
}

/*

website: vox.finance

 _    ______ _  __   ___________   _____    _   ______________
| |  / / __ \ |/ /  / ____/  _/ | / /   |  / | / / ____/ ____/
| | / / / / /   /  / /_   / //  |/ / /| | /  |/ / /   / __/   
| |/ / /_/ /   |_ / __/ _/ // /|  / ___ |/ /|  / /___/ /___   
|___/\____/_/|_(_)_/   /___/_/ |_/_/  |_/_/ |_/\____/_____/   
                                                              
*/

contract VoxSwapPlatform is ReentrancyGuard, Pausable {
    using SafeERC20Lib for IERC20Lib;
    using Address for address;
    using SafeMath for uint256;

    IUSDv internal usdv;
    IERC20Lib internal vox;

    // UNDERLYING
    address private usdc = 0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48;
    address private usdt = 0xdAC17F958D2ee523a2206206994597C13D831ec7;
    address private tusd = 0x0000000000085d4780B73119b644AE5ecd22b376;
    address private susd = 0x57Ab1ec28D129707052df4dF418D58a2D46d5f51;

    address[4] public coins;
    uint256[4] public decimals;
    uint256[4] public balances;
    uint256[4] public fees;

    uint256 public minimumVoxBalance = 0;
    uint256 public voxHolderDiscount = 25;

    uint256 public swapFee = 35;
    uint256 public swapFeeMax = 40;
    uint256 public swapFeeBase = 100000;

    uint256 public redeemFee = 15;
    uint256 public redeemFeeMax = 30;
    uint256 public redeemFeeBase = 100000;

    address public treasury;
    address public admin;

    uint256 private _redeemFees;
    mapping(address => uint8) private _supported;
    mapping(address => uint256) private _minted;
    mapping(address => uint256) private _redeemed;
    mapping(address => uint256) private _depositedAt;

    // CONSTRUCTOR

    constructor(
        address _owner,
        address _usdv,
        address _vox
    ) public Owned(_owner) {
        usdv = IUSDv(_usdv);
        vox = IERC20Lib(_vox);

        coins[0] = usdc;
        coins[1] = usdt;
        coins[2] = tusd;
        coins[3] = susd;

        decimals[0] = 6;
        decimals[1] = 6;
        decimals[2] = 18;
        decimals[3] = 18;

        _supported[usdc] = 1;
        _supported[usdt] = 2;
        _supported[tusd] = 3;
        _supported[susd] = 4;
    }

    // VIEWS

    function shares() public view returns (uint256[4] memory _shares) {
        uint256[4] memory basket;
        uint256 total;

        for(uint256 i = 0; i < coins.length; i++) {
            uint256 balance = balanceOf(i);
            uint256 delta = uint256(18).sub(decimals[i]);
            basket[i] = balance.mul(10 ** delta);
            total = total.add(balance.mul(10 ** delta));
        }

        for(uint256 i = 0; i < basket.length; i++) {
            _shares[i] = basket[i].mul(1e18).div(total);
        }

        return _shares;
    }

    function mintedOf(address account) external view returns (uint256) {
        return _minted[account];
    }

    function redeemedOf(address account) external view returns (uint256) {
        return _redeemed[account];
    }

    function balanceOf(uint256 index) public view returns (uint256) {
        return balances[index];
    }

    // PUBLIC FUNCTIONS

    function mint(uint256[4] memory amounts)
        external
        nonReentrant
        notPaused 
    {
        require(vox.balanceOf(msg.sender) > minimumVoxBalance, '!vox');
        _mint(amounts);
    }

    function _mint(uint256[4] memory amounts)
        internal
    {
        uint256 toMint;

        for(uint256 i = 0; i < coins.length; i++) {
            uint256 amount = amounts[i];
            if (amount > 0) {
                IERC20Lib token = IERC20Lib(coins[i]);
                require(token.balanceOf(msg.sender) >= amount, '!balance');
                token.safeTransferFrom(msg.sender, address(this), amount);

                uint256 delta = uint256(18).sub(decimals[i]);
                uint256 usdvAmount = amount.mul(10 ** delta);
                balances[i] = balances[i].add(amount);
                toMint = toMint.add(usdvAmount);
            }
        }

        if (toMint > 0) {
            _minted[msg.sender] = _minted[msg.sender].add(toMint);
            usdv.mint(msg.sender, toMint);
            _depositedAt[msg.sender] = block.number;
            emit Minted(msg.sender, toMint);
        }
    }

    function swap(address _from, address _to, uint256 amount)
        external
        nonReentrant
        notPaused 
    {
        require(amount > 0, '!amount');
        require(_supported[_from] > 0, '!from');
        require(_supported[_to] > 0, '!to');
        require(_to != address(usdv), '!usdv');

        IERC20Lib from = IERC20Lib(_from);
        IERC20Lib to = IERC20Lib(_to);
        require(from.balanceOf(msg.sender) >= amount, '!balance');

        uint256 indexFrom = _supported[_from] - 1;
        uint256 indexTo = _supported[_to] - 1;
        uint256 receiveAmount;
        uint256 fee;

        if (decimals[indexFrom] <= decimals[indexTo]) {
            uint256 delta = uint256(decimals[indexTo]).sub(decimals[indexFrom]);
            require(to.balanceOf(address(this)) >= amount.mul(10 ** delta), '!underlying');

            from.safeTransferFrom(msg.sender, address(this), amount);

            fee = amount.mul(swapFee).div(swapFeeBase);
            if (vox.balanceOf(msg.sender) > minimumVoxBalance) {
                fee = fee.mul(voxHolderDiscount).div(100);
            }
            fees[indexFrom] = fees[indexFrom].add(fee);
            
            uint256 leftover = amount.sub(fee);
            balances[indexFrom] = balances[indexFrom].add(leftover);

            receiveAmount = leftover.mul(10 ** delta);
        } else {
            uint256 delta = uint256(decimals[indexFrom]).sub(decimals[indexTo]);
            require(to.balanceOf(address(this)) >= amount.div(10 ** delta), '!underlying');

            from.safeTransferFrom(msg.sender, address(this), amount);

            fee = amount.mul(swapFee).div(swapFeeBase);
            if (vox.balanceOf(msg.sender) > minimumVoxBalance) {
                fee = fee.mul(voxHolderDiscount).div(100);
            }
            fees[indexFrom] = fees[indexFrom].add(fee);
            
            uint256 leftover = amount.sub(fee);
            balances[indexFrom] = balances[indexFrom].add(leftover);

            receiveAmount = leftover.div(10 ** delta);
        }

        if (receiveAmount > 0) {
            balances[indexTo] = balances[indexTo].sub(receiveAmount);
            IERC20Lib(_to).safeTransfer(msg.sender, receiveAmount);
            emit Swapped(msg.sender, _from, amount, _to, receiveAmount, fee);
        }
    }

    function swapToUSDv(address _from, uint256 amount)
        external
        nonReentrant
        notPaused 
    {
        require(amount > 0, '!amount');
        require(_supported[_from] > 0, '!from');
        
        IERC20Lib from = IERC20Lib(_from);
        uint256 indexFrom = _supported[_from] - 1;

        require(from.balanceOf(msg.sender) >= amount, '!balance');
        from.safeTransferFrom(msg.sender, address(this), amount);

        uint256 fee = amount.mul(swapFee).div(swapFeeBase);
        if (vox.balanceOf(msg.sender) > minimumVoxBalance) {
            fee = fee.mul(voxHolderDiscount).div(100);
        }
        fees[indexFrom] = fees[indexFrom].add(fee);
        uint256 leftover = amount.sub(fee);
        balances[indexFrom] = balances[indexFrom].add(leftover);

        uint256[4] memory amounts;
        amounts[indexFrom] = leftover;
        _mint(amounts);
        uint256 delta = uint256(18).sub(decimals[indexFrom]);
        uint256 usdvAmount = leftover.mul(10 ** delta);
        emit Swapped(msg.sender, _from, amount, address(usdv), usdvAmount, fee);
    }

    function redeemSingle(address _underlying, uint256 amount)
        external
        nonReentrant
    {
        require(amount > 0, '!amount');
        require(_supported[_underlying] > 0, '!underlying');
        require(block.number > _depositedAt[msg.sender], '!same_block');

        require(usdv.balanceOf(msg.sender) >= amount, '!balance');
        IERC20Lib(address(usdv)).safeTransferFrom(msg.sender, address(this), amount);

        uint256 fee = amount.mul(redeemFee).div(redeemFeeBase);
        _redeemFees = _redeemFees.add(fee);
        uint256 leftover = amount.sub(fee);
        usdv.burn(address(this), leftover);
        _redeemed[msg.sender] = _redeemed[msg.sender].add(amount);

        uint256 indexTo = _supported[_underlying] - 1;
        uint256 delta = uint256(18).sub(decimals[indexTo]);
        uint256 receiveAmount = leftover.div(10 ** delta);

        IERC20Lib underlying = IERC20Lib(_underlying);
        require(underlying.balanceOf(address(this)) >= receiveAmount, '!underlying');

        balances[indexTo] = balances[indexTo].sub(receiveAmount);
        underlying.safeTransfer(msg.sender, receiveAmount);
        uint256[4] memory amounts;
        amounts[indexTo] = receiveAmount;
        emit Redeemed(msg.sender, amount, amounts, fee);
    }

    function redeemProportional(uint256 amount)
        public
        nonReentrant
    {
        require(amount > 0, '!amount');
        require(block.number > _depositedAt[msg.sender], '!same_block');

        require(usdv.balanceOf(msg.sender) >= amount, '!balance');
        IERC20Lib(address(usdv)).safeTransferFrom(msg.sender, address(this), amount);

        uint256 fee = amount.mul(redeemFee).div(redeemFeeBase);
        _redeemFees = _redeemFees.add(fee);
        uint256 leftover = amount.sub(fee);
        usdv.burn(address(this), leftover);
        _redeemed[msg.sender] = _redeemed[msg.sender].add(amount);

        uint256[4] memory _shares = shares();
        uint256[4] memory receiveAmounts;

        for(uint256 i = 0; i < _shares.length; i++) {
            uint256 delta = uint256(18).sub(decimals[i]);
            uint256 _amount = leftover.mul(_shares[i]).div(1e18);
            receiveAmounts[i] = _amount.div(10 ** delta);
        }

        for(uint256 i = 0; i < receiveAmounts.length; i++) {
            IERC20Lib underlying = IERC20Lib(coins[i]);
            require(underlying.balanceOf(address(this)) >= receiveAmounts[i], '!underlying');
            balances[i] = balances[i].sub(receiveAmounts[i]);
            underlying.safeTransfer(msg.sender, receiveAmounts[i]);
        }

        emit Redeemed(msg.sender, amount, receiveAmounts, fee);
    }

    function redeemAll()
        external
    {
        uint256 balance = usdv.balanceOf(msg.sender);
        redeemProportional(balance);
    }

    // RESTRICTED FUNCTIONS

    function salvage(address _token, uint256 _amount)
        external
        onlyOwner
    {
        require(_token != tusd, '!tusd');
        require(_token != susd, '!susd');
        require(_token != usdc, '!usdc');
        require(_token != usdt, '!usdt');

        IERC20Lib(_token).safeTransfer(owner, _amount);
        emit Recovered(_token, _amount);
    }

    function setMinimumVoxBalance(uint256 _minimumVoxBalance)
        external
        onlyOwner
    {
        minimumVoxBalance = _minimumVoxBalance;
    }

    function setVoxHolderDiscount(uint256 _voxHolderDiscount)
        external
        onlyOwner
    {
        voxHolderDiscount = _voxHolderDiscount;
    }

    function setSwapFee(uint256 _swapFee)
        external
        onlyOwner
    {
        require(_swapFee <= swapFeeMax, '!max');
        swapFee = _swapFee;
    }

    function setRedeemFee(uint256 _redeemFee)
        external
        onlyOwner
    {
        require(_redeemFee <= redeemFeeMax, '!max');
        redeemFee = _redeemFee;
    }

    function setAdmin(address _admin)
        external
        onlyOwner
    {
        require (_admin != address(0), '!address');
        admin = _admin;
    }

    function setTreasury(address _treasury)
        external
        onlyOwner
    {
        require (_treasury != address(0), '!address');
        treasury = _treasury;
    }

    function collectFees()
        external
        onlyOwner
    {
        for(uint256 i = 0; i < coins.length; i++) {
            if (fees[i] > 0) {
                uint256 _admin = fees[i].div(2);
                uint256 _treasury = fees[i].sub(_admin);

                fees[i] = 0;

                IERC20Lib(coins[i]).safeTransfer(admin, _admin);
                IERC20Lib(coins[i]).safeTransfer(treasury, _treasury);
            }
        }

        uint256 balance = usdv.balanceOf(address(this));
        if (_redeemFees > balance) {
            _redeemFees = balance;
        }

        uint256 _treasury = _redeemFees;
        _redeemFees = 0;
        IERC20Lib(address(usdv)).safeTransfer(treasury, _treasury);
    }

    // EVENTS

    event Swapped(address beneficiary, address from, uint256 fromAmount, address to, uint256 toAmount, uint256 fee);
    event Minted(address beneficiary, uint256 amount);
    event Redeemed(address beneficiary, uint256 amount, uint256[4] receivedAmounts, uint256 fee);
    event Recovered(address token, uint256 amount);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_usdv","type":"address"},{"internalType":"address","name":"_vox","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Minted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"oldOwner","type":"address"},{"indexed":false,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnerNominated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"isPaused","type":"bool"}],"name":"PauseChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"token","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Recovered","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256[4]","name":"receivedAmounts","type":"uint256[4]"},{"indexed":false,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"Redeemed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"beneficiary","type":"address"},{"indexed":false,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"fromAmount","type":"uint256"},{"indexed":false,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"toAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"Swapped","type":"event"},{"inputs":[],"name":"acceptOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"admin","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"balances","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"coins","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"collectFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"fees","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lastPauseTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minimumVoxBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256[4]","name":"amounts","type":"uint256[4]"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"mintedOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"nominateNewOwner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"nominatedOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redeemAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"redeemFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redeemFeeBase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redeemFeeMax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"redeemProportional","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_underlying","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"redeemSingle","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"redeemedOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"salvage","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_admin","type":"address"}],"name":"setAdmin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_minimumVoxBalance","type":"uint256"}],"name":"setMinimumVoxBalance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_paused","type":"bool"}],"name":"setPaused","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_redeemFee","type":"uint256"}],"name":"setRedeemFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_swapFee","type":"uint256"}],"name":"setSwapFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_treasury","type":"address"}],"name":"setTreasury","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_voxHolderDiscount","type":"uint256"}],"name":"setVoxHolderDiscount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"shares","outputs":[{"internalType":"uint256[4]","name":"_shares","type":"uint256[4]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"swap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"swapFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapFeeBase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapFeeMax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"swapToUSDv","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"treasury","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"voxHolderDiscount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

608060405273a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073dac17f958d2ee523a2206206994597c13d831ec7600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506e085d4780b73119b644ae5ecd22b376600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507357ab1ec28d129707052df4df418d58a2d46d5f51600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000601a556019601b556023601c556028601d55620186a0601e55600f601f55601e602055620186a06021553480156200018c57600080fd5b506040516200585e3803806200585e83398181016040526060811015620001b257600080fd5b81019080805190602001909291908051906020019092919080519060200190929190505050826001600081905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141562000284576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f4f776e657220616464726573732063616e6e6f7420626520300000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c600082604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a150600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415620003f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f4f776e6572206d7573742062652073657400000000000000000000000000000081525060200191505060405180910390fd5b81600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600a600060048110620004ac57fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600a6001600481106200051d57fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600a6002600481106200058e57fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600a600360048110620005ff57fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506006600e6000600481106200064f57fe5b01819055506006600e6001600481106200066557fe5b01819055506012600e6002600481106200067b57fe5b01819055506012600e6003600481106200069157fe5b0181905550600160256000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908360ff160217905550600260256000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908360ff160217905550600360256000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908360ff160217905550600460256000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908360ff160217905550505050614fc980620008956000396000f3fe608060405234801561001057600080fd5b506004361061023d5760003560e01c80635d841af51161013b578063965fa21e116100b8578063dd8fbcd11161007c578063dd8fbcd114610931578063df791e501461094f578063f0f44260146109bd578063f0f7949c14610a01578063f851a44014610a1f5761023d565b8063965fa21e146108175780639cc7f70814610835578063a662925e14610877578063c6610657146108cf578063c8796572146109275761023d565b806370f053ea116100ff57806370f053ea1461074f57806375ed6e121461076d57806379ba5097146107bb5780638da5cb5b146107c557806391b4ded9146107f95761023d565b80635d841af514610633578063615254d714610661578063617692dd1461067f57806361d027b3146106d7578063704b6c021461070b5761023d565b80632f4350c2116101c95780634903b0d11161018d5780634903b0d11461053d5780634acc79ed1461057f57806353a47bb7146105c157806354cf2aeb146105f55780635c975abb146106135761023d565b80632f4350c2146104105780633383b2581461041a57806334e199071461047f5780633e3309cc146104ad5780633f47e662146104fb5761023d565b8063194f0d3411610210578063194f0d341461032a5780631abbfaf7146103785780631af639c8146103a65780631e9f317c146103d45780632d395eeb146103f25761023d565b806303314efa1461024257806311995f08146102885780631627540c146102b657806316c38b3c146102fa575b600080fd5b61024a610a53565b6040518082600460200280838360005b8381101561027557808201518184015260208101905061025a565b5050505090500191505060405180910390f35b6102b46004803603602081101561029e57600080fd5b8101908080359060200190929190505050610b7d565b005b6102f8600480360360208110156102cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113a6565b005b6103286004803603602081101561031057600080fd5b8101908080351515906020019092919050505061143f565b005b6103766004803603604081101561034057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114ea565b005b6103a46004803603602081101561038e57600080fd5b8101908080359060200190929190505050611d50565b005b6103d2600480360360208110156103bc57600080fd5b8101908080359060200190929190505050611d62565b005b6103dc611d74565b6040518082815260200191505060405180910390f35b6103fa611d7a565b6040518082815260200191505060405180910390f35b610418611d80565b005b61047d6004803603608081101561043057600080fd5b8101908080608001906004806020026040519081016040528092919082600460200280828437600081840152601f19601f8201169050808301925050505050509192919290505050611e54565b005b6104ab6004803603602081101561049557600080fd5b8101908080359060200190929190505050612089565b005b6104f9600480360360408110156104c357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612113565b005b6105276004803603602081101561051157600080fd5b81019080803590602001909291905050506124d1565b6040518082815260200191505060405180910390f35b6105696004803603602081101561055357600080fd5b81019080803590602001909291905050506124e9565b6040518082815260200191505060405180910390f35b6105ab6004803603602081101561059557600080fd5b8101908080359060200190929190505050612501565b6040518082815260200191505060405180910390f35b6105c9612519565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105fd61253f565b6040518082815260200191505060405180910390f35b61061b612545565b60405180821515815260200191505060405180910390f35b61065f6004803603602081101561064957600080fd5b8101908080359060200190929190505050612558565b005b6106696125e2565b6040518082815260200191505060405180910390f35b6106c16004803603602081101561069557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125e8565b6040518082815260200191505060405180910390f35b6106df612631565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61074d6004803603602081101561072157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612657565b005b610757612746565b6040518082815260200191505060405180910390f35b6107b96004803603604081101561078357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061274c565b005b6107c3612ded565b005b6107cd612fe9565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61080161300f565b6040518082815260200191505060405180910390f35b61081f613015565b6040518082815260200191505060405180910390f35b6108616004803603602081101561084b57600080fd5b810190808035906020019092919050505061301b565b6040518082815260200191505060405180910390f35b6108b96004803603602081101561088d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050613033565b6040518082815260200191505060405180910390f35b6108fb600480360360208110156108e557600080fd5b810190808035906020019092919050505061307c565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61092f6130af565b005b61093961339c565b6040518082815260200191505060405180910390f35b6109bb6004803603606081101561096557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506133a2565b005b6109ff600480360360208110156109d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506140f0565b005b610a096141df565b6040518082815260200191505060405180910390f35b610a276141e5565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610a5b614e86565b610a63614e86565b600080600090505b6004811015610b0b576000610a7f8261301b565b90506000610aa5600e8460048110610a9357fe5b0154601261420b90919063ffffffff16565b9050610abd81600a0a8361425590919063ffffffff16565b858460048110610ac957fe5b602002018181525050610afa610aeb82600a0a8461425590919063ffffffff16565b856142db90919063ffffffff16565b935050508080600101915050610a6b565b5060005b6004811015610b7757610b5582610b47670de0b6b3a7640000868560048110610b3457fe5b602002015161425590919063ffffffff16565b61436390919063ffffffff16565b848260048110610b6157fe5b6020020181815250508080600101915050610b0f565b50505090565b60026000541415610bf6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b600260008190555060008111610c74576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f21616d6f756e740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b602860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544311610d28576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f2173616d655f626c6f636b00000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610db257600080fd5b505afa158015610dc6573d6000803e3d6000fd5b505050506040513d6020811015610ddc57600080fd5b81019080805190602001909291905050501015610e61576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b610eb0333083600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b6000610edb602154610ecd601f548561425590919063ffffffff16565b61436390919063ffffffff16565b9050610ef2816024546142db90919063ffffffff16565b6024819055506000610f0d828461420b90919063ffffffff16565b9050600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639dc29fac30836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015610fa257600080fd5b505af1158015610fb6573d6000803e3d6000fd5b5050505061100c83602760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546142db90919063ffffffff16565b602760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611057614e86565b61105f610a53565b9050611069614e86565b60005b6004811015611116576000611099600e836004811061108757fe5b0154601261420b90919063ffffffff16565b905060006110da670de0b6b3a76400006110cc8786600481106110b857fe5b60200201518961425590919063ffffffff16565b61436390919063ffffffff16565b90506110f282600a0a8261436390919063ffffffff16565b8484600481106110fe57fe5b6020020181815250505050808060010191505061106c565b5060005b6004811015611309576000600a826004811061113257fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905082826004811061116257fe5b60200201518173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156111ce57600080fd5b505afa1580156111e2573d6000803e3d6000fd5b505050506040513d60208110156111f857600080fd5b8101908080519060200190929190505050101561127d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b6112ae83836004811061128c57fe5b60200201516012846004811061129e57fe5b015461420b90919063ffffffff16565b601283600481106112bb57fe5b01819055506112fb338484600481106112d057fe5b60200201518373ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b50808060010191505061111a565b507f134cee3b6ddb8af3e8b971a33c8e55f2839f7b3d46e91c1f432d6aca6b385dcf33868387604051808573ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183600460200280838360005b8381101561137c578082015181840152602081019050611361565b5050505090500182815260200194505050505060405180910390a150505050600160008190555050565b6113ae614510565b80600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce2281604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b611447614510565b600460009054906101000a900460ff1615158115151415611467576114e7565b80600460006101000a81548160ff021916908315150217905550600460009054906101000a900460ff161561149e57426003819055505b7f8fb6c181ee25a520cf3dd6565006ef91229fcfe5a989566c2a3b8c115570cec5600460009054906101000a900460ff1660405180821515815260200191505060405180910390a15b50565b60026000541415611563576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b6002600081905550600081116115e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f21616d6f756e740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000602560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff16116116a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b602860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054431161175a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f2173616d655f626c6f636b00000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156117e457600080fd5b505afa1580156117f8573d6000803e3d6000fd5b505050506040513d602081101561180e57600080fd5b81019080805190602001909291905050501015611893576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6118e2333083600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b600061190d6021546118ff601f548561425590919063ffffffff16565b61436390919063ffffffff16565b9050611924816024546142db90919063ffffffff16565b602481905550600061193f828461420b90919063ffffffff16565b9050600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639dc29fac30836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156119d457600080fd5b505af11580156119e8573d6000803e3d6000fd5b50505050611a3e83602760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546142db90919063ffffffff16565b602760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060006001602560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff160360ff1690506000611afc600e8360048110611aea57fe5b0154601261420b90919063ffffffff16565b90506000611b1682600a0a8561436390919063ffffffff16565b90506000879050818173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611b8557600080fd5b505afa158015611b99573d6000803e3d6000fd5b505050506040513d6020811015611baf57600080fd5b81019080805190602001909291905050501015611c34576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b611c558260128660048110611c4557fe5b015461420b90919063ffffffff16565b60128560048110611c6257fe5b0181905550611c9233838373ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b611c9a614e86565b82818660048110611ca757fe5b6020020181815250507f134cee3b6ddb8af3e8b971a33c8e55f2839f7b3d46e91c1f432d6aca6b385dcf3389838a604051808573ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183600460200280838360005b83811015611d22578082015181840152602081019050611d07565b5050505090500182815260200194505050505060405180910390a15050505050505060016000819055505050565b611d58614510565b80601a8190555050565b611d6a614510565b80601b8190555050565b601a5481565b60215481565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611e0b57600080fd5b505afa158015611e1f573d6000803e3d6000fd5b505050506040513d6020811015611e3557600080fd5b81019080805190602001909291905050509050611e5181610b7d565b50565b60026000541415611ecd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b6002600081905550600460009054906101000a900460ff1615611f3b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603c815260200180614f2e603c913960400191505060405180910390fd5b601a54600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611fc757600080fd5b505afa158015611fdb573d6000803e3d6000fd5b505050506040513d6020811015611ff157600080fd5b810190808051906020019092919050505011612075576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260048152602001807f21766f780000000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b61207e816145b8565b600160008190555050565b612091614510565b601d54811115612109576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260048152602001807f216d61780000000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80601c8190555050565b61211b614510565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156121df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217475736400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156122a3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217375736400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612367576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217573646300000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561242b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217573647400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b612478600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16828473ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b7f8c1256b8896378cd5044f80c202f9772b9d77dc85c8a6eb51967210b09bfaa288282604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15050565b600e81600481106124de57fe5b016000915090505481565b601281600481106124f657fe5b016000915090505481565b6016816004811061250e57fe5b016000915090505481565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b601c5481565b600460009054906101000a900460ff1681565b612560614510565b6020548111156125d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260048152602001807f216d61780000000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80601f8190555050565b601d5481565b6000602660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b602260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61265f614510565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612702576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f216164647265737300000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80602360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b601b5481565b600260005414156127c5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b6002600081905550600460009054906101000a900460ff1615612833576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603c815260200180614f2e603c913960400191505060405180910390fd5b600081116128a9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f21616d6f756e740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000602560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff161161296e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f2166726f6d00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600082905060006001602560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff160360ff169050828273ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612a3257600080fd5b505afa158015612a46573d6000803e3d6000fd5b505050506040513d6020811015612a5c57600080fd5b81019080805190602001909291905050501015612ae1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b612b0e3330858573ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b6000612b39601e54612b2b601c548761425590919063ffffffff16565b61436390919063ffffffff16565b9050601a54600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612bc757600080fd5b505afa158015612bdb573d6000803e3d6000fd5b505050506040513d6020811015612bf157600080fd5b81019080805190602001909291905050501115612c3357612c306064612c22601b548461425590919063ffffffff16565b61436390919063ffffffff16565b90505b612c548160168460048110612c4457fe5b01546142db90919063ffffffff16565b60168360048110612c6157fe5b01819055506000612c7b828661420b90919063ffffffff16565b9050612c9e8160128560048110612c8e57fe5b01546142db90919063ffffffff16565b60128460048110612cab57fe5b0181905550612cb8614e86565b81818560048110612cc557fe5b602002018181525050612cd7816145b8565b6000612cfb600e8660048110612ce957fe5b0154601261420b90919063ffffffff16565b90506000612d1582600a0a8561425590919063ffffffff16565b90507f38367098fb4a75d52361b6c8bda4d52eaeb6dbf04ecb183b39052acd6710bffb338a8a600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16858a604051808773ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018581526020018473ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828152602001965050505050505060405180910390a15050505050505060016000819055505050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612e93576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180614ea96035913960400191505060405180910390fd5b7fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a1600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b601f5481565b60006012826004811061302a57fe5b01549050919050565b6000602760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600a816004811061308957fe5b016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6130b7614510565b60005b600481101561323f576000601682600481106130d257fe5b015411156132325760006130fe6002601684600481106130ee57fe5b015461436390919063ffffffff16565b90506000613123826016856004811061311357fe5b015461420b90919063ffffffff16565b905060006016846004811061313457fe5b01819055506131b4602360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683600a866004811061316d57fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b61322f602260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600a86600481106131e857fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b50505b80806001019150506130ba565b506000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156132cb57600080fd5b505afa1580156132df573d6000803e3d6000fd5b505050506040513d60208110156132f557600080fd5b8101908080519060200190929190505050905080602454111561331a57806024819055505b600060245490506000602481905550613398602260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b5050565b601e5481565b6002600054141561341b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b6002600081905550600460009054906101000a900460ff1615613489576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603c815260200180614f2e603c913960400191505060405180910390fd5b600081116134ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f21616d6f756e740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000602560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff16116135c4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f2166726f6d00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000602560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff1611613689576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260038152602001807f21746f000000000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561374d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217573647600000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60008390506000839050828273ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156137bf57600080fd5b505afa1580156137d3573d6000803e3d6000fd5b505050506040513d60208110156137e957600080fd5b8101908080519060200190929190505050101561386e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60006001602560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff160360ff16905060006001602560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff160360ff169050600080600e836004811061392c57fe5b0154600e856004811061393b57fe5b015411613c8d576000613973600e866004811061395457fe5b0154600e866004811061396357fe5b015461420b90919063ffffffff16565b905061398b81600a0a8961425590919063ffffffff16565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156139f257600080fd5b505afa158015613a06573d6000803e3d6000fd5b505050506040513d6020811015613a1c57600080fd5b81019080805190602001909291905050501015613aa1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b613ace33308a8a73ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b613af7601e54613ae9601c548b61425590919063ffffffff16565b61436390919063ffffffff16565b9150601a54600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015613b8557600080fd5b505afa158015613b99573d6000803e3d6000fd5b505050506040513d6020811015613baf57600080fd5b81019080805190602001909291905050501115613bf157613bee6064613be0601b548561425590919063ffffffff16565b61436390919063ffffffff16565b91505b613c128260168760048110613c0257fe5b01546142db90919063ffffffff16565b60168660048110613c1f57fe5b01819055506000613c39838a61420b90919063ffffffff16565b9050613c5c8160128860048110613c4c57fe5b01546142db90919063ffffffff16565b60128760048110613c6957fe5b0181905550613c8482600a0a8261425590919063ffffffff16565b93505050613fd4565b6000613cbe600e8560048110613c9f57fe5b0154600e8760048110613cae57fe5b015461420b90919063ffffffff16565b9050613cd681600a0a8961436390919063ffffffff16565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015613d3d57600080fd5b505afa158015613d51573d6000803e3d6000fd5b505050506040513d6020811015613d6757600080fd5b81019080805190602001909291905050501015613dec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b613e1933308a8a73ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b613e42601e54613e34601c548b61425590919063ffffffff16565b61436390919063ffffffff16565b9150601a54600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015613ed057600080fd5b505afa158015613ee4573d6000803e3d6000fd5b505050506040513d6020811015613efa57600080fd5b81019080805190602001909291905050501115613f3c57613f396064613f2b601b548561425590919063ffffffff16565b61436390919063ffffffff16565b91505b613f5d8260168760048110613f4d57fe5b01546142db90919063ffffffff16565b60168660048110613f6a57fe5b01819055506000613f84838a61420b90919063ffffffff16565b9050613fa78160128860048110613f9757fe5b01546142db90919063ffffffff16565b60128760048110613fb457fe5b0181905550613fcf82600a0a8261436390919063ffffffff16565b935050505b60008211156140dd57613ffe8260128560048110613fee57fe5b015461420b90919063ffffffff16565b6012846004811061400b57fe5b018190555061403b33838a73ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b7f38367098fb4a75d52361b6c8bda4d52eaeb6dbf04ecb183b39052acd6710bffb338a898b8686604051808773ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018581526020018473ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828152602001965050505050505060405180910390a15b5050505050506001600081905550505050565b6140f8614510565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561419b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f216164647265737300000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80602260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60205481565b602360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600061424d83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506149e0565b905092915050565b60008083141561426857600090506142d5565b600082840290508284828161427957fe5b04146142d0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180614f0d6021913960400191505060405180910390fd5b809150505b92915050565b600080828401905083811015614359576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60006143a583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250614aa0565b905092915050565b614468846323b872dd60e01b858585604051602401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050614b66565b50505050565b61450b8363a9059cbb60e01b8484604051602401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050614b66565b505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146145b6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180614ede602f913960400191505060405180910390fd5b565b600080600090505b60048110156147f85760008382600481106145d757fe5b6020020151905060008111156147ea576000600a83600481106145f657fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050818173ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561468257600080fd5b505afa158015614696573d6000803e3d6000fd5b505050506040513d60208110156146ac57600080fd5b81019080805190602001909291905050501015614731576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b61475e3330848473ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b6000614782600e856004811061477057fe5b0154601261420b90919063ffffffff16565b9050600061479c82600a0a8561425590919063ffffffff16565b90506147bf84601287600481106147af57fe5b01546142db90919063ffffffff16565b601286600481106147cc57fe5b01819055506147e481876142db90919063ffffffff16565b95505050505b5080806001019150506145c0565b5060008111156149dc5761485481602660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546142db90919063ffffffff16565b602660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1933836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561492a57600080fd5b505af115801561493e573d6000803e3d6000fd5b5050505043602860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f30385c845b448a36257a6a1716e6ad2e1bc2cbe333cde1e69fe849ad6511adfe3382604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15b5050565b6000838311158290614a8d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015614a52578082015181840152602081019050614a37565b50505050905090810190601f168015614a7f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60008083118290614b4c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015614b11578082015181840152602081019050614af6565b50505050905090810190601f168015614b3e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581614b5857fe5b049050809150509392505050565b6060614bc8826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65648152508573ffffffffffffffffffffffffffffffffffffffff16614c559092919063ffffffff16565b9050600081511115614c5057808060200190516020811015614be957600080fd5b8101908080519060200190929190505050614c4f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180614f6a602a913960400191505060405180910390fd5b5b505050565b6060614c648484600085614c6d565b90509392505050565b6060614c7885614e73565b614cea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000081525060200191505060405180910390fd5b600060608673ffffffffffffffffffffffffffffffffffffffff1685876040518082805190602001908083835b60208310614d3a5780518252602082019150602081019050602083039250614d17565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d8060008114614d9c576040519150601f19603f3d011682016040523d82523d6000602084013e614da1565b606091505b50915091508115614db6578092505050614e6b565b600081511115614dc95780518082602001fd5b836040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015614e30578082015181840152602081019050614e15565b50505050905090810190601f168015614e5d5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b949350505050565b600080823b905060008111915050919050565b604051806080016040528060049060208202803683378082019150509050509056fe596f75206d757374206265206e6f6d696e61746564206265666f726520796f752063616e20616363657074206f776e6572736869704f6e6c792074686520636f6e7472616374206f776e6572206d617920706572666f726d207468697320616374696f6e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775468697320616374696f6e2063616e6e6f7420626520706572666f726d6564207768696c652074686520636f6e7472616374206973207061757365645361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a264697066735822122056cb1d82f6d620bc0475f830d354bec9be241b0a639960d59db4de731ede099564736f6c634300060c0033000000000000000000000000a79bf5b279277e0b43339809715ca2e25725eb94000000000000000000000000a298d14d21d65d32bea05ed3d1bba8dc5463258400000000000000000000000012d102f06da35cc0111eb58017fd2cd28537d0e1

0x608060405234801561001057600080fd5b506004361061023d5760003560e01c80635d841af51161013b578063965fa21e116100b8578063dd8fbcd11161007c578063dd8fbcd114610931578063df791e501461094f578063f0f44260146109bd578063f0f7949c14610a01578063f851a44014610a1f5761023d565b8063965fa21e146108175780639cc7f70814610835578063a662925e14610877578063c6610657146108cf578063c8796572146109275761023d565b806370f053ea116100ff57806370f053ea1461074f57806375ed6e121461076d57806379ba5097146107bb5780638da5cb5b146107c557806391b4ded9146107f95761023d565b80635d841af514610633578063615254d714610661578063617692dd1461067f57806361d027b3146106d7578063704b6c021461070b5761023d565b80632f4350c2116101c95780634903b0d11161018d5780634903b0d11461053d5780634acc79ed1461057f57806353a47bb7146105c157806354cf2aeb146105f55780635c975abb146106135761023d565b80632f4350c2146104105780633383b2581461041a57806334e199071461047f5780633e3309cc146104ad5780633f47e662146104fb5761023d565b8063194f0d3411610210578063194f0d341461032a5780631abbfaf7146103785780631af639c8146103a65780631e9f317c146103d45780632d395eeb146103f25761023d565b806303314efa1461024257806311995f08146102885780631627540c146102b657806316c38b3c146102fa575b600080fd5b61024a610a53565b6040518082600460200280838360005b8381101561027557808201518184015260208101905061025a565b5050505090500191505060405180910390f35b6102b46004803603602081101561029e57600080fd5b8101908080359060200190929190505050610b7d565b005b6102f8600480360360208110156102cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113a6565b005b6103286004803603602081101561031057600080fd5b8101908080351515906020019092919050505061143f565b005b6103766004803603604081101561034057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114ea565b005b6103a46004803603602081101561038e57600080fd5b8101908080359060200190929190505050611d50565b005b6103d2600480360360208110156103bc57600080fd5b8101908080359060200190929190505050611d62565b005b6103dc611d74565b6040518082815260200191505060405180910390f35b6103fa611d7a565b6040518082815260200191505060405180910390f35b610418611d80565b005b61047d6004803603608081101561043057600080fd5b8101908080608001906004806020026040519081016040528092919082600460200280828437600081840152601f19601f8201169050808301925050505050509192919290505050611e54565b005b6104ab6004803603602081101561049557600080fd5b8101908080359060200190929190505050612089565b005b6104f9600480360360408110156104c357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612113565b005b6105276004803603602081101561051157600080fd5b81019080803590602001909291905050506124d1565b6040518082815260200191505060405180910390f35b6105696004803603602081101561055357600080fd5b81019080803590602001909291905050506124e9565b6040518082815260200191505060405180910390f35b6105ab6004803603602081101561059557600080fd5b8101908080359060200190929190505050612501565b6040518082815260200191505060405180910390f35b6105c9612519565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105fd61253f565b6040518082815260200191505060405180910390f35b61061b612545565b60405180821515815260200191505060405180910390f35b61065f6004803603602081101561064957600080fd5b8101908080359060200190929190505050612558565b005b6106696125e2565b6040518082815260200191505060405180910390f35b6106c16004803603602081101561069557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125e8565b6040518082815260200191505060405180910390f35b6106df612631565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61074d6004803603602081101561072157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612657565b005b610757612746565b6040518082815260200191505060405180910390f35b6107b96004803603604081101561078357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061274c565b005b6107c3612ded565b005b6107cd612fe9565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61080161300f565b6040518082815260200191505060405180910390f35b61081f613015565b6040518082815260200191505060405180910390f35b6108616004803603602081101561084b57600080fd5b810190808035906020019092919050505061301b565b6040518082815260200191505060405180910390f35b6108b96004803603602081101561088d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050613033565b6040518082815260200191505060405180910390f35b6108fb600480360360208110156108e557600080fd5b810190808035906020019092919050505061307c565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61092f6130af565b005b61093961339c565b6040518082815260200191505060405180910390f35b6109bb6004803603606081101561096557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506133a2565b005b6109ff600480360360208110156109d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506140f0565b005b610a096141df565b6040518082815260200191505060405180910390f35b610a276141e5565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610a5b614e86565b610a63614e86565b600080600090505b6004811015610b0b576000610a7f8261301b565b90506000610aa5600e8460048110610a9357fe5b0154601261420b90919063ffffffff16565b9050610abd81600a0a8361425590919063ffffffff16565b858460048110610ac957fe5b602002018181525050610afa610aeb82600a0a8461425590919063ffffffff16565b856142db90919063ffffffff16565b935050508080600101915050610a6b565b5060005b6004811015610b7757610b5582610b47670de0b6b3a7640000868560048110610b3457fe5b602002015161425590919063ffffffff16565b61436390919063ffffffff16565b848260048110610b6157fe5b6020020181815250508080600101915050610b0f565b50505090565b60026000541415610bf6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b600260008190555060008111610c74576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f21616d6f756e740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b602860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544311610d28576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f2173616d655f626c6f636b00000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610db257600080fd5b505afa158015610dc6573d6000803e3d6000fd5b505050506040513d6020811015610ddc57600080fd5b81019080805190602001909291905050501015610e61576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b610eb0333083600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b6000610edb602154610ecd601f548561425590919063ffffffff16565b61436390919063ffffffff16565b9050610ef2816024546142db90919063ffffffff16565b6024819055506000610f0d828461420b90919063ffffffff16565b9050600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639dc29fac30836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015610fa257600080fd5b505af1158015610fb6573d6000803e3d6000fd5b5050505061100c83602760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546142db90919063ffffffff16565b602760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611057614e86565b61105f610a53565b9050611069614e86565b60005b6004811015611116576000611099600e836004811061108757fe5b0154601261420b90919063ffffffff16565b905060006110da670de0b6b3a76400006110cc8786600481106110b857fe5b60200201518961425590919063ffffffff16565b61436390919063ffffffff16565b90506110f282600a0a8261436390919063ffffffff16565b8484600481106110fe57fe5b6020020181815250505050808060010191505061106c565b5060005b6004811015611309576000600a826004811061113257fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905082826004811061116257fe5b60200201518173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156111ce57600080fd5b505afa1580156111e2573d6000803e3d6000fd5b505050506040513d60208110156111f857600080fd5b8101908080519060200190929190505050101561127d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b6112ae83836004811061128c57fe5b60200201516012846004811061129e57fe5b015461420b90919063ffffffff16565b601283600481106112bb57fe5b01819055506112fb338484600481106112d057fe5b60200201518373ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b50808060010191505061111a565b507f134cee3b6ddb8af3e8b971a33c8e55f2839f7b3d46e91c1f432d6aca6b385dcf33868387604051808573ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183600460200280838360005b8381101561137c578082015181840152602081019050611361565b5050505090500182815260200194505050505060405180910390a150505050600160008190555050565b6113ae614510565b80600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce2281604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b611447614510565b600460009054906101000a900460ff1615158115151415611467576114e7565b80600460006101000a81548160ff021916908315150217905550600460009054906101000a900460ff161561149e57426003819055505b7f8fb6c181ee25a520cf3dd6565006ef91229fcfe5a989566c2a3b8c115570cec5600460009054906101000a900460ff1660405180821515815260200191505060405180910390a15b50565b60026000541415611563576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b6002600081905550600081116115e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f21616d6f756e740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000602560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff16116116a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b602860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054431161175a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f2173616d655f626c6f636b00000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156117e457600080fd5b505afa1580156117f8573d6000803e3d6000fd5b505050506040513d602081101561180e57600080fd5b81019080805190602001909291905050501015611893576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6118e2333083600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b600061190d6021546118ff601f548561425590919063ffffffff16565b61436390919063ffffffff16565b9050611924816024546142db90919063ffffffff16565b602481905550600061193f828461420b90919063ffffffff16565b9050600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639dc29fac30836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156119d457600080fd5b505af11580156119e8573d6000803e3d6000fd5b50505050611a3e83602760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546142db90919063ffffffff16565b602760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060006001602560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff160360ff1690506000611afc600e8360048110611aea57fe5b0154601261420b90919063ffffffff16565b90506000611b1682600a0a8561436390919063ffffffff16565b90506000879050818173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611b8557600080fd5b505afa158015611b99573d6000803e3d6000fd5b505050506040513d6020811015611baf57600080fd5b81019080805190602001909291905050501015611c34576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b611c558260128660048110611c4557fe5b015461420b90919063ffffffff16565b60128560048110611c6257fe5b0181905550611c9233838373ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b611c9a614e86565b82818660048110611ca757fe5b6020020181815250507f134cee3b6ddb8af3e8b971a33c8e55f2839f7b3d46e91c1f432d6aca6b385dcf3389838a604051808573ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183600460200280838360005b83811015611d22578082015181840152602081019050611d07565b5050505090500182815260200194505050505060405180910390a15050505050505060016000819055505050565b611d58614510565b80601a8190555050565b611d6a614510565b80601b8190555050565b601a5481565b60215481565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611e0b57600080fd5b505afa158015611e1f573d6000803e3d6000fd5b505050506040513d6020811015611e3557600080fd5b81019080805190602001909291905050509050611e5181610b7d565b50565b60026000541415611ecd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b6002600081905550600460009054906101000a900460ff1615611f3b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603c815260200180614f2e603c913960400191505060405180910390fd5b601a54600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611fc757600080fd5b505afa158015611fdb573d6000803e3d6000fd5b505050506040513d6020811015611ff157600080fd5b810190808051906020019092919050505011612075576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260048152602001807f21766f780000000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b61207e816145b8565b600160008190555050565b612091614510565b601d54811115612109576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260048152602001807f216d61780000000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80601c8190555050565b61211b614510565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156121df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217475736400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156122a3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217375736400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612367576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217573646300000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561242b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217573647400000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b612478600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16828473ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b7f8c1256b8896378cd5044f80c202f9772b9d77dc85c8a6eb51967210b09bfaa288282604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15050565b600e81600481106124de57fe5b016000915090505481565b601281600481106124f657fe5b016000915090505481565b6016816004811061250e57fe5b016000915090505481565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b601c5481565b600460009054906101000a900460ff1681565b612560614510565b6020548111156125d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260048152602001807f216d61780000000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80601f8190555050565b601d5481565b6000602660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b602260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61265f614510565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612702576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f216164647265737300000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80602360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b601b5481565b600260005414156127c5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b6002600081905550600460009054906101000a900460ff1615612833576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603c815260200180614f2e603c913960400191505060405180910390fd5b600081116128a9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f21616d6f756e740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000602560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff161161296e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f2166726f6d00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600082905060006001602560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff160360ff169050828273ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612a3257600080fd5b505afa158015612a46573d6000803e3d6000fd5b505050506040513d6020811015612a5c57600080fd5b81019080805190602001909291905050501015612ae1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b612b0e3330858573ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b6000612b39601e54612b2b601c548761425590919063ffffffff16565b61436390919063ffffffff16565b9050601a54600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612bc757600080fd5b505afa158015612bdb573d6000803e3d6000fd5b505050506040513d6020811015612bf157600080fd5b81019080805190602001909291905050501115612c3357612c306064612c22601b548461425590919063ffffffff16565b61436390919063ffffffff16565b90505b612c548160168460048110612c4457fe5b01546142db90919063ffffffff16565b60168360048110612c6157fe5b01819055506000612c7b828661420b90919063ffffffff16565b9050612c9e8160128560048110612c8e57fe5b01546142db90919063ffffffff16565b60128460048110612cab57fe5b0181905550612cb8614e86565b81818560048110612cc557fe5b602002018181525050612cd7816145b8565b6000612cfb600e8660048110612ce957fe5b0154601261420b90919063ffffffff16565b90506000612d1582600a0a8561425590919063ffffffff16565b90507f38367098fb4a75d52361b6c8bda4d52eaeb6dbf04ecb183b39052acd6710bffb338a8a600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16858a604051808773ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018581526020018473ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828152602001965050505050505060405180910390a15050505050505060016000819055505050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612e93576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180614ea96035913960400191505060405180910390fd5b7fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a1600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b601f5481565b60006012826004811061302a57fe5b01549050919050565b6000602760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600a816004811061308957fe5b016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6130b7614510565b60005b600481101561323f576000601682600481106130d257fe5b015411156132325760006130fe6002601684600481106130ee57fe5b015461436390919063ffffffff16565b90506000613123826016856004811061311357fe5b015461420b90919063ffffffff16565b905060006016846004811061313457fe5b01819055506131b4602360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683600a866004811061316d57fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b61322f602260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600a86600481106131e857fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b50505b80806001019150506130ba565b506000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156132cb57600080fd5b505afa1580156132df573d6000803e3d6000fd5b505050506040513d60208110156132f557600080fd5b8101908080519060200190929190505050905080602454111561331a57806024819055505b600060245490506000602481905550613398602260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b5050565b601e5481565b6002600054141561341b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5265656e7472616e637947756172643a207265656e7472616e742063616c6c0081525060200191505060405180910390fd5b6002600081905550600460009054906101000a900460ff1615613489576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603c815260200180614f2e603c913960400191505060405180910390fd5b600081116134ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f21616d6f756e740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000602560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff16116135c4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f2166726f6d00000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000602560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1660ff1611613689576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260038152602001807f21746f000000000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561374d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260058152602001807f217573647600000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60008390506000839050828273ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156137bf57600080fd5b505afa1580156137d3573d6000803e3d6000fd5b505050506040513d60208110156137e957600080fd5b8101908080519060200190929190505050101561386e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60006001602560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff160360ff16905060006001602560008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff160360ff169050600080600e836004811061392c57fe5b0154600e856004811061393b57fe5b015411613c8d576000613973600e866004811061395457fe5b0154600e866004811061396357fe5b015461420b90919063ffffffff16565b905061398b81600a0a8961425590919063ffffffff16565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156139f257600080fd5b505afa158015613a06573d6000803e3d6000fd5b505050506040513d6020811015613a1c57600080fd5b81019080805190602001909291905050501015613aa1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b613ace33308a8a73ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b613af7601e54613ae9601c548b61425590919063ffffffff16565b61436390919063ffffffff16565b9150601a54600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015613b8557600080fd5b505afa158015613b99573d6000803e3d6000fd5b505050506040513d6020811015613baf57600080fd5b81019080805190602001909291905050501115613bf157613bee6064613be0601b548561425590919063ffffffff16565b61436390919063ffffffff16565b91505b613c128260168760048110613c0257fe5b01546142db90919063ffffffff16565b60168660048110613c1f57fe5b01819055506000613c39838a61420b90919063ffffffff16565b9050613c5c8160128860048110613c4c57fe5b01546142db90919063ffffffff16565b60128760048110613c6957fe5b0181905550613c8482600a0a8261425590919063ffffffff16565b93505050613fd4565b6000613cbe600e8560048110613c9f57fe5b0154600e8760048110613cae57fe5b015461420b90919063ffffffff16565b9050613cd681600a0a8961436390919063ffffffff16565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015613d3d57600080fd5b505afa158015613d51573d6000803e3d6000fd5b505050506040513d6020811015613d6757600080fd5b81019080805190602001909291905050501015613dec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21756e6465726c79696e6700000000000000000000000000000000000000000081525060200191505060405180910390fd5b613e1933308a8a73ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b613e42601e54613e34601c548b61425590919063ffffffff16565b61436390919063ffffffff16565b9150601a54600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015613ed057600080fd5b505afa158015613ee4573d6000803e3d6000fd5b505050506040513d6020811015613efa57600080fd5b81019080805190602001909291905050501115613f3c57613f396064613f2b601b548561425590919063ffffffff16565b61436390919063ffffffff16565b91505b613f5d8260168760048110613f4d57fe5b01546142db90919063ffffffff16565b60168660048110613f6a57fe5b01819055506000613f84838a61420b90919063ffffffff16565b9050613fa78160128860048110613f9757fe5b01546142db90919063ffffffff16565b60128760048110613fb457fe5b0181905550613fcf82600a0a8261436390919063ffffffff16565b935050505b60008211156140dd57613ffe8260128560048110613fee57fe5b015461420b90919063ffffffff16565b6012846004811061400b57fe5b018190555061403b33838a73ffffffffffffffffffffffffffffffffffffffff1661446e9092919063ffffffff16565b7f38367098fb4a75d52361b6c8bda4d52eaeb6dbf04ecb183b39052acd6710bffb338a898b8686604051808773ffffffffffffffffffffffffffffffffffffffff1681526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018581526020018473ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828152602001965050505050505060405180910390a15b5050505050506001600081905550505050565b6140f8614510565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561419b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f216164647265737300000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80602260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60205481565b602360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600061424d83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506149e0565b905092915050565b60008083141561426857600090506142d5565b600082840290508284828161427957fe5b04146142d0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180614f0d6021913960400191505060405180910390fd5b809150505b92915050565b600080828401905083811015614359576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60006143a583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250614aa0565b905092915050565b614468846323b872dd60e01b858585604051602401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050614b66565b50505050565b61450b8363a9059cbb60e01b8484604051602401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050614b66565b505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146145b6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180614ede602f913960400191505060405180910390fd5b565b600080600090505b60048110156147f85760008382600481106145d757fe5b6020020151905060008111156147ea576000600a83600481106145f657fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050818173ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561468257600080fd5b505afa158015614696573d6000803e3d6000fd5b505050506040513d60208110156146ac57600080fd5b81019080805190602001909291905050501015614731576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260088152602001807f2162616c616e636500000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b61475e3330848473ffffffffffffffffffffffffffffffffffffffff166143ad909392919063ffffffff16565b6000614782600e856004811061477057fe5b0154601261420b90919063ffffffff16565b9050600061479c82600a0a8561425590919063ffffffff16565b90506147bf84601287600481106147af57fe5b01546142db90919063ffffffff16565b601286600481106147cc57fe5b01819055506147e481876142db90919063ffffffff16565b95505050505b5080806001019150506145c0565b5060008111156149dc5761485481602660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546142db90919063ffffffff16565b602660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1933836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561492a57600080fd5b505af115801561493e573d6000803e3d6000fd5b5050505043602860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f30385c845b448a36257a6a1716e6ad2e1bc2cbe333cde1e69fe849ad6511adfe3382604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15b5050565b6000838311158290614a8d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015614a52578082015181840152602081019050614a37565b50505050905090810190601f168015614a7f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60008083118290614b4c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015614b11578082015181840152602081019050614af6565b50505050905090810190601f168015614b3e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581614b5857fe5b049050809150509392505050565b6060614bc8826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65648152508573ffffffffffffffffffffffffffffffffffffffff16614c559092919063ffffffff16565b9050600081511115614c5057808060200190516020811015614be957600080fd5b8101908080519060200190929190505050614c4f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180614f6a602a913960400191505060405180910390fd5b5b505050565b6060614c648484600085614c6d565b90509392505050565b6060614c7885614e73565b614cea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000081525060200191505060405180910390fd5b600060608673ffffffffffffffffffffffffffffffffffffffff1685876040518082805190602001908083835b60208310614d3a5780518252602082019150602081019050602083039250614d17565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d8060008114614d9c576040519150601f19603f3d011682016040523d82523d6000602084013e614da1565b606091505b50915091508115614db6578092505050614e6b565b600081511115614dc95780518082602001fd5b836040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015614e30578082015181840152602081019050614e15565b50505050905090810190601f168015614e5d5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b949350505050565b600080823b905060008111915050919050565b604051806080016040528060049060208202803683378082019150509050509056fe596f75206d757374206265206e6f6d696e61746564206265666f726520796f752063616e20616363657074206f776e6572736869704f6e6c792074686520636f6e7472616374206f776e6572206d617920706572666f726d207468697320616374696f6e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775468697320616374696f6e2063616e6e6f7420626520706572666f726d6564207768696c652074686520636f6e7472616374206973207061757365645361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a264697066735822122056cb1d82f6d620bc0475f830d354bec9be241b0a639960d59db4de731ede099564736f6c634300060c0033

000000000000000000000000a79bf5b279277e0b43339809715ca2e25725eb94000000000000000000000000a298d14d21d65d32bea05ed3d1bba8dc5463258400000000000000000000000012d102f06da35cc0111eb58017fd2cd28537d0e1

-----Decoded View---------------
Arg [0] : _owner (address): 0xA79bF5B279277E0B43339809715cA2E25725eb94
Arg [1] : _usdv (address): 0xA298D14d21D65d32bEa05ED3D1bBa8dc54632584
Arg [2] : _vox (address): 0x12D102F06da35cC0111EB58017fd2Cd28537d0e1

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 000000000000000000000000a79bf5b279277e0b43339809715ca2e25725eb94
Arg [1] : 000000000000000000000000a298d14d21d65d32bea05ed3d1bba8dc54632584
Arg [2] : 00000000000000000000000012d102f06da35cc0111eb58017fd2cd28537d0e1

37007:12928:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;38863:564;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;45811:1408;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2983:141;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4360:488;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;44496:1307;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;47792:157;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;47957;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;37667:36;;;:::i;:::-;;;;;;;;;;;;;;;;;;;37946:37;;;:::i;:::-;;;;;;;;;;;;;;;;;;;47227:145;;;:::i;:::-;;39813:212;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;48122:167;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;47411:373;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;37570:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;37603;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;37636:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2752:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;37756:27;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3946:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;48297:179;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;37790:30;;;:::i;:::-;;;;;;;;;;;;;;;;;;;39435:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;37992:23;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;48484:162;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;37710:37;;;:::i;:::-;;;;;;;;;;;;;;;;;;;43369:1119;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3132:308;;;:::i;:::-;;2725:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3911:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;37871:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;39673:105;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;39552:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;37540:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;48839:748;;;:::i;:::-;;37827:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;40988:2373;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;48654:177;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;37907:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;38022:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;38863:564;38902:25;;:::i;:::-;38940:24;;:::i;:::-;38975:13;39005:9;39017:1;39005:13;;39001:267;39024:12;39020:1;:16;39001:267;;;39058:15;39076:12;39086:1;39076:9;:12::i;:::-;39058:30;;39103:13;39119:28;39135:8;39144:1;39135:11;;;;;;;;;39127:2;39119:15;;:28;;;;:::i;:::-;39103:44;;39174:24;39192:5;39186:2;:11;39174:7;:11;;:24;;;;:::i;:::-;39162:6;39169:1;39162:9;;;;;;;;;;:36;;;;;39221:35;39231:24;39249:5;39243:2;:11;39231:7;:11;;:24;;;;:::i;:::-;39221:5;:9;;:35;;;;:::i;:::-;39213:43;;39001:267;;39038:3;;;;;;;39001:267;;;;39284:9;39280:113;39303:13;39299:1;:17;39280:113;;;39351:30;39375:5;39351:19;39365:4;39351:6;39358:1;39351:9;;;;;;;;;;;:13;;:19;;;;:::i;:::-;:23;;:30;;;;:::i;:::-;39338:7;39346:1;39338:10;;;;;;;;;;:43;;;;;39318:3;;;;;;;39280:113;;;;39405:14;;38863:564;:::o;45811:1408::-;1702:1;2308:7;;:19;;2300:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1702:1;2441:7;:18;;;;45926:1:::1;45917:6;:10;45909:30;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;45973:12;:24;45986:10;45973:24;;;;;;;;;;;;;;;;45958:12;:39;45950:63;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;46064:6;46034:4;;;;;;;;;;;:14;;;46049:10;46034:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;:36;;46026:57;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;46094:76;46136:10;46156:4;46163:6;46112:4;;;;;;;;;;;46094:41;;;;:76;;;;;;:::i;:::-;46183:11;46197:40;46223:13;;46197:21;46208:9;;46197:6;:10;;:21;;;;:::i;:::-;:25;;:40;;;;:::i;:::-;46183:54;;46262:20;46278:3;46262:11;;:15;;:20;;;;:::i;:::-;46248:11;:34;;;;46293:16;46312:15;46323:3;46312:6;:10;;:15;;;;:::i;:::-;46293:34;;46338:4;;;;;;;;;;;:9;;;46356:4;46363:8;46338:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;46407:33;46433:6;46407:9;:21;46417:10;46407:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;46383:9;:21;46393:10;46383:21;;;;;;;;;;;;;;;:57;;;;46453:25;;:::i;:::-;46481:8;:6;:8::i;:::-;46453:36;;46500:32;;:::i;:::-;46549:9;46545:241;46568:14;46564:1;:18;46545:241;;;46604:13;46620:28;46636:8;46645:1;46636:11;;;;;;;;;46628:2;46620:15;;:28;;;;:::i;:::-;46604:44;;46663:15;46681:34;46710:4;46681:24;46694:7;46702:1;46694:10;;;;;;;;;;;46681:8;:12;;:24;;;;:::i;:::-;:28;;:34;;;;:::i;:::-;46663:52;;46750:24;46768:5;46762:2;:11;46750:7;:11;;:24;;;;:::i;:::-;46730:14;46745:1;46730:17;;;;;;;;;;:44;;;::::0;::::1;46545:241;;46584:3;;;;;;;46545:241;;;;46802:9;46798:347;46821:21;46817:1;:25;46798:347;;;46864:20;46897:5;46903:1;46897:8;;;;;;;;;;;;;;;;;;46864:42;;46968:14;46983:1;46968:17;;;;;;;;;;;46929:10;:20;;;46958:4;46929:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;:56;;46921:80;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;47030:34;47046:14;47061:1;47046:17;;;;;;;;;;;47030:8;47039:1;47030:11;;;;;;;;;:15;;:34;;;;:::i;:::-;47016:8;47025:1;47016:11;;;;;;;;:48;;;;47079:54;47103:10;47115:14;47130:1;47115:17;;;;;;;;;;;47079:10;:23;;;;:54;;;;;:::i;:::-;46798:347;46844:3;;;;;;;46798:347;;;;47162:49;47171:10;47183:6;47191:14;47207:3;47162:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2472:1;;;;1658::::0;2620:7;:22;;;;45811:1408;:::o;2983:141::-;3478:12;:10;:12::i;:::-;3072:6:::1;3055:14;;:23;;;;;;;;;;;;;;;;;;3094:22;3109:6;3094:22;;;;;;;;;;;;;;;;;;;;2983:141:::0;:::o;4360:488::-;3478:12;:10;:12::i;:::-;4513:6:::1;;;;;;;;;;;4502:17;;:7;:17;;;4498:56;;;4536:7;;4498:56;4609:7;4600:6;;:16;;;;;;;;;;;;;;;;;;4685:6;;;;;;;;;;;4681:58;;;4724:3;4708:13;:19;;;;4681:58;4820:20;4833:6;;;;;;;;;;;4820:20;;;;;;;;;;;;;;;;;;;;3501:1;4360:488:::0;:::o;44496:1307::-;1702:1;2308:7;;:19;;2300:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1702:1;2441:7;:18;;;;44628:1:::1;44619:6;:10;44611:30;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;44686:1;44660:10;:23;44671:11;44660:23;;;;;;;;;;;;;;;;;;;;;;;;;:27;;;44652:51;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;44737:12;:24;44750:10;44737:24;;;;;;;;;;;;;;;;44722:12;:39;44714:63;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;44828:6;44798:4;;;;;;;;;;;:14;;;44813:10;44798:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;:36;;44790:57;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;44858:76;44900:10;44920:4;44927:6;44876:4;;;;;;;;;;;44858:41;;;;:76;;;;;;:::i;:::-;44947:11;44961:40;44987:13;;44961:21;44972:9;;44961:6;:10;;:21;;;;:::i;:::-;:25;;:40;;;;:::i;:::-;44947:54;;45026:20;45042:3;45026:11;;:15;;:20;;;;:::i;:::-;45012:11;:34;;;;45057:16;45076:15;45087:3;45076:6;:10;;:15;;;;:::i;:::-;45057:34;;45102:4;;;;;;;;;;;:9;;;45120:4;45127:8;45102:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;45171:33;45197:6;45171:9;:21;45181:10;45171:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;45147:9;:21;45157:10;45147:21;;;;;;;;;;;;;;;:57;;;;45217:15;45261:1;45235:10;:23;45246:11;45235:23;;;;;;;;;;;;;;;;;;;;;;;;;:27;45217:45;;;;45273:13;45289:34;45305:8;45314:7;45305:17;;;;;;;;;45297:2;45289:15;;:34;;;;:::i;:::-;45273:50;;45334:21;45358:25;45377:5;45371:2;:11;45358:8;:12;;:25;;;;:::i;:::-;45334:49;;45396:20;45429:11;45396:45;;45499:13;45460:10;:20;;;45489:4;45460:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;:52;;45452:76;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;45561:36;45583:13;45561:8;45570:7;45561:17;;;;;;;;;:21;;:36;;;;:::i;:::-;45541:8;45550:7;45541:17;;;;;;;;:56;;;;45608:50;45632:10;45644:13;45608:10;:23;;;;:50;;;;;:::i;:::-;45669:25;;:::i;:::-;45724:13;45705:7;45713;45705:16;;;;;;;;;;:32;;;::::0;::::1;45753:42;45762:10;45774:6;45782:7;45791:3;45753:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2472:1;;;;;;;1658::::0;2620:7;:22;;;;44496:1307;;:::o;47792:157::-;3478:12;:10;:12::i;:::-;47923:18:::1;47903:17;:38;;;;47792:157:::0;:::o;47957:::-;3478:12;:10;:12::i;:::-;48088:18:::1;48068:17;:38;;;;47957:157:::0;:::o;37667:36::-;;;;:::o;37946:37::-;;;;:::o;47227:145::-;47282:15;47300:4;;;;;;;;;;;:14;;;47315:10;47300:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;47282:44;;47337:27;47356:7;47337:18;:27::i;:::-;47227:145;:::o;39813:212::-;1702:1;2308:7;;:19;;2300:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1702:1;2441:7;:18;;;;4951:6:::1;;;;;;;;;;;4950:7;4928:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39966:17:::2;;39938:3;;;;;;;;;;;:13;;;39952:10;39938:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;:45;39930:62;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;40003:14;40009:7;40003:5;:14::i;:::-;1658:1:::0;2620:7;:22;;;;39813:212;:::o;48122:167::-;3478:12;:10;:12::i;:::-;48233:10:::1;;48221:8;:22;;48213:39;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;48273:8;48263:7;:18;;;;48122:167:::0;:::o;47411:373::-;3478:12;:10;:12::i;:::-;47532:4:::1;;;;;;;;;;;47522:14;;:6;:14;;;;47514:32;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;47575:4;;;;;;;;;;;47565:14;;:6;:14;;;;47557:32;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;47618:4;;;;;;;;;;;47608:14;;:6;:14;;;;47600:32;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;47661:4;;;;;;;;;;;47651:14;;:6;:14;;;;47643:32;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;47688:46;47719:5;;;;;;;;;;;47726:7;47698:6;47688:30;;;;:46;;;;;:::i;:::-;47750:26;47760:6;47768:7;47750:26;;;;;;;;;;;;;;;;;;;;;;;;;;47411:373:::0;;:::o;37570:26::-;;;;;;;;;;;;;;;;;;:::o;37603:::-;;;;;;;;;;;;;;;;;;:::o;37636:22::-;;;;;;;;;;;;;;;;;;:::o;2752:29::-;;;;;;;;;;;;;:::o;37756:27::-;;;;:::o;3946:18::-;;;;;;;;;;;;;:::o;48297:179::-;3478:12;:10;:12::i;:::-;48414::::1;;48400:10;:26;;48392:43;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;48458:10;48446:9;:22;;;;48297:179:::0;:::o;37790:30::-;;;;:::o;39435:109::-;39493:7;39520;:16;39528:7;39520:16;;;;;;;;;;;;;;;;39513:23;;39435:109;;;:::o;37992:23::-;;;;;;;;;;;;;:::o;48484:162::-;3478:12;:10;:12::i;:::-;48598:1:::1;48580:20;;:6;:20;;;;48571:42;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;48632:6;48624:5;;:14;;;;;;;;;;;;;;;;;;48484:162:::0;:::o;37710:37::-;;;;:::o;43369:1119::-;1702:1;2308:7;;:19;;2300:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1702:1;2441:7;:18;;;;4951:6:::1;;;;;;;;;;;4950:7;4928:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;43513:1:::2;43504:6;:10;43496:30;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;43565:1;43545:10;:17;43556:5;43545:17;;;;;;;;;;;;;;;;;;;;;;;;;:21;;;43537:39;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;43597:14;43624:5;43597:33;;43641:17;43681:1;43661:10;:17;43672:5;43661:17;;;;;;;;;;;;;;;;;;;;;;;;;:21;43641:41;;;;43733:6;43703:4;:14;;;43718:10;43703:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;:36;;43695:57;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;43763:56;43785:10;43805:4;43812:6;43763:4;:21;;;;:56;;;;;;:::i;:::-;43832:11;43846:36;43870:11;;43846:19;43857:7;;43846:6;:10;;:19;;;;:::i;:::-;:23;;:36;;;;:::i;:::-;43832:50;;43925:17;;43897:3;;;;;;;;;;;:13;;;43911:10;43897:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;:45;43893:119;;;43965:35;43996:3;43965:26;43973:17;;43965:3;:7;;:26;;;;:::i;:::-;:30;;:35;;;;:::i;:::-;43959:41;;43893:119;44040:24;44060:3;44040:4;44045:9;44040:15;;;;;;;;;:19;;:24;;;;:::i;:::-;44022:4;44027:9;44022:15;;;;;;;;:42;;;;44075:16;44094:15;44105:3;44094:6;:10;;:15;;;;:::i;:::-;44075:34;;44142:33;44166:8;44142;44151:9;44142:19;;;;;;;;;:23;;:33;;;;:::i;:::-;44120:8;44129:9;44120:19;;;;;;;;:55;;;;44188:25;;:::i;:::-;44245:8;44224:7;44232:9;44224:18;;;;;;;;;;:29;;;::::0;::::2;44264:14;44270:7;44264:5;:14::i;:::-;44289:13;44305:36;44321:8;44330:9;44321:19;;;;;;;;;44313:2;44305:15;;:36;;;;:::i;:::-;44289:52;;44352:18;44373:25;44392:5;44386:2;:11;44373:8;:12;;:25;;;;:::i;:::-;44352:46;;44414:66;44422:10;44434:5;44441:6;44457:4;;;;;;;;;;;44464:10;44476:3;44414:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5056:1;;;;;;;1658::::0;2620:7;:22;;;;43369:1119;;:::o;3132:308::-;3215:14;;;;;;;;;;;3201:28;;:10;:28;;;3179:131;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3326:35;3339:5;;;;;;;;;;;3346:14;;;;;;;;;;;3326:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;3380:14;;;;;;;;;;;3372:5;;:22;;;;;;;;;;;;;;;;;;3430:1;3405:14;;:27;;;;;;;;;;;;;;;;;;3132:308::o;2725:20::-;;;;;;;;;;;;;:::o;3911:28::-;;;;:::o;37871:29::-;;;;:::o;39673:105::-;39728:7;39755:8;39764:5;39755:15;;;;;;;;;39748:22;;39673:105;;;:::o;39552:113::-;39612:7;39639:9;:18;39649:7;39639:18;;;;;;;;;;;;;;;;39632:25;;39552:113;;;:::o;37540:23::-;;;;;;;;;;;;;;;;;;;;;;;:::o;48839:748::-;3478:12;:10;:12::i;:::-;48919:9:::1;48915:381;48938:12;48934:1;:16;48915:381;;;48986:1;48976:4;48981:1;48976:7;;;;;;;;;:11;48972:313;;;49008:14;49025;49037:1;49025:4;49030:1;49025:7;;;;;;;;;:11;;:14;;;;:::i;:::-;49008:31;;49058:17;49078:19;49090:6;49078:4;49083:1;49078:7;;;;;;;;;:11;;:19;;;;:::i;:::-;49058:39;;49128:1;49118:4;49123:1;49118:7;;;;;;;;:11;;;;49150:47;49183:5;;;;;;;;;;;49190:6;49160:5;49166:1;49160:8;;;;;;;;;;;;;;;;;;49150:32;;;;:47;;;;;:::i;:::-;49216:53;49249:8;;;;;;;;;;;49259:9;49226:5;49232:1;49226:8;;;;;;;;;;;;;;;;;;49216:32;;;;:53;;;;;:::i;:::-;48972:313;;;48952:3;;;;;;;48915:381;;;;49308:15;49326:4;;;;;;;;;;;:14;;;49349:4;49326:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;49308:47;;49384:7;49370:11;;:21;49366:75;;;49422:7;49408:11;:21;;;;49366:75;49453:17;49473:11;;49453:31;;49509:1;49495:11;:15;;;;49521:58;49559:8;;;;;;;;;;;49569:9;49539:4;;;;;;;;;;;49521:37;;;;:58;;;;;:::i;:::-;3501:1;;48839:748::o:0;37827:35::-;;;;:::o;40988:2373::-;1702:1;2308:7;;:19;;2300:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1702:1;2441:7;:18;;;;4951:6:::1;;;;;;;;;;;4950:7;4928:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41139:1:::2;41130:6;:10;41122:30;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;41191:1;41171:10;:17;41182:5;41171:17;;;;;;;;;;;;;;;;;;;;;;;;;:21;;;41163:39;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;41239:1;41221:10;:15;41232:3;41221:15;;;;;;;;;;;;;;;;;;;;;;;;;:19;;;41213:35;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;41282:4;;;;;;;;;;;41267:20;;:3;:20;;;;41259:38;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;41310:14;41337:5;41310:33;;41354:12;41379:3;41354:29;;41432:6;41402:4;:14;;;41417:10;41402:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;:36;;41394:57;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;41464:17;41504:1;41484:10;:17;41495:5;41484:17;;;;;;;;;;;;;;;;;;;;;;;;;:21;41464:41;;;;41516:15;41552:1;41534:10;:15;41545:3;41534:15;;;;;;;;;;;;;;;;;;;;;;;;;:19;41516:37;;;;41564:21;41596:11:::0;41647:8:::2;41656:7;41647:17;;;;;;;;;41624:8;41633:9;41624:19;;;;;;;;;:40;41620:1468;;41681:13;41697:51;41728:8;41737:9;41728:19;;;;;;;;;41705:8;41714:7;41705:17;;;;;;;;;41697:30;;:51;;;;:::i;:::-;41681:67;;41802:23;41819:5;41813:2;:11;41802:6;:10;;:23;;;;:::i;:::-;41771:2;:12;;;41792:4;41771:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;:54;;41763:78;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;41858:56;41880:10;41900:4;41907:6;41858:4;:21;;;;:56;;;;;;:::i;:::-;41937:36;41961:11;;41937:19;41948:7;;41937:6;:10;;:19;;;;:::i;:::-;:23;;:36;;;;:::i;:::-;41931:42;;42020:17;;41992:3;;;;;;;;;;;:13;;;42006:10;41992:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;:45;41988:127;;;42064:35;42095:3;42064:26;42072:17;;42064:3;:7;;:26;;;;:::i;:::-;:30;;:35;;;;:::i;:::-;42058:41;;41988:127;42147:24;42167:3;42147:4;42152:9;42147:15;;;;;;;;;:19;;:24;;;;:::i;:::-;42129:4;42134:9;42129:15;;;;;;;;:42;;;;42200:16;42219:15;42230:3;42219:6;:10;;:15;;;;:::i;:::-;42200:34;;42271:33;42295:8;42271;42280:9;42271:19;;;;;;;;;:23;;:33;;;;:::i;:::-;42249:8;42258:9;42249:19;;;;;;;;:55;;;;42337:25;42356:5;42350:2;:11;42337:8;:12;;:25;;;;:::i;:::-;42321:41;;41620:1468;;;;;42395:13;42411:51;42444:8;42453:7;42444:17;;;;;;;;;42419:8;42428:9;42419:19;;;;;;;;;42411:32;;:51;;;;:::i;:::-;42395:67;;42516:23;42533:5;42527:2;:11;42516:6;:10;;:23;;;;:::i;:::-;42485:2;:12;;;42506:4;42485:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;:54;;42477:78;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;42572:56;42594:10;42614:4;42621:6;42572:4;:21;;;;:56;;;;;;:::i;:::-;42651:36;42675:11;;42651:19;42662:7;;42651:6;:10;;:19;;;;:::i;:::-;:23;;:36;;;;:::i;:::-;42645:42;;42734:17;;42706:3;;;;;;;;;;;:13;;;42720:10;42706:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;:45;42702:127;;;42778:35;42809:3;42778:26;42786:17;;42778:3;:7;;:26;;;;:::i;:::-;:30;;:35;;;;:::i;:::-;42772:41;;42702:127;42861:24;42881:3;42861:4;42866:9;42861:15;;;;;;;;;:19;;:24;;;;:::i;:::-;42843:4;42848:9;42843:15;;;;;;;;:42;;;;42914:16;42933:15;42944:3;42933:6;:10;;:15;;;;:::i;:::-;42914:34;;42985:33;43009:8;42985;42994:9;42985:19;;;;;;;;;:23;;:33;;;;:::i;:::-;42963:8;42972:9;42963:19;;;;;;;;:55;;;;43051:25;43070:5;43064:2;:11;43051:8;:12;;:25;;;;:::i;:::-;43035:41;;41620:1468;;;43120:1;43104:13;:17;43100:254;;;43158:36;43180:13;43158:8;43167:7;43158:17;;;;;;;;;:21;;:36;;;;:::i;:::-;43138:8;43147:7;43138:17;;;;;;;;:56;;;;43209:54;43237:10;43249:13;43219:3;43209:27;;;;:54;;;;;:::i;:::-;43283:59;43291:10;43303:5;43310:6;43318:3;43323:13;43338:3;43283:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;43100:254;5056:1;;;;;;1658::::0;2620:7;:22;;;;40988:2373;;;:::o;48654:177::-;3478:12;:10;:12::i;:::-;48777:1:::1;48756:23;;:9;:23;;;;48747:45;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;48814:9;48803:8;;:20;;;;;;;;;;;;;;;;;;48654:177:::0;:::o;37907:32::-;;;;:::o;38022:20::-;;;;;;;;;;;;;:::o;6376:136::-;6434:7;6461:43;6465:1;6468;6461:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;6454:50;;6376:136;;;;:::o;7266:471::-;7324:7;7574:1;7569;:6;7565:47;;;7599:1;7592:8;;;;7565:47;7624:9;7640:1;7636;:5;7624:17;;7669:1;7664;7660;:5;;;;;;:10;7652:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7728:1;7721:8;;;7266:471;;;;;:::o;5912:181::-;5970:7;5990:9;6006:1;6002;:5;5990:17;;6031:1;6026;:6;;6018:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6084:1;6077:8;;;5912:181;;;;:::o;8213:132::-;8271:7;8298:39;8302:1;8305;8298:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;8291:46;;8213:132;;;;:::o;32952:288::-;33099:133;33133:5;33176:27;;;33205:4;33211:2;33215:5;33153:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33099:19;:133::i;:::-;32952:288;;;;:::o;32693:251::-;32813:123;32847:5;32890:23;;;32915:2;32919:5;32867:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32813:19;:123::i;:::-;32693:251;;;:::o;3518:170::-;3600:5;;;;;;;;;;;3586:19;;:10;:19;;;3564:116;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3518:170::o;40033:947::-;40109:14;40140:9;40152:1;40140:13;;40136:585;40159:12;40155:1;:16;40136:585;;;40193:14;40210:7;40218:1;40210:10;;;;;;;;;;;40193:27;;40248:1;40239:6;:10;40235:475;;;40270:15;40298:5;40304:1;40298:8;;;;;;;;;;;;;;;;;;40270:37;;40365:6;40334:5;:15;;;40350:10;40334:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:37;;40326:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40403:57;40426:10;40446:4;40453:6;40403:5;:22;;;;:57;;;;;;:::i;:::-;40481:13;40497:28;40513:8;40522:1;40513:11;;;;;;;;;40505:2;40497:15;;:28;;;;:::i;:::-;40481:44;;40544:18;40565:23;40582:5;40576:2;:11;40565:6;:10;;:23;;;;:::i;:::-;40544:44;;40621:23;40637:6;40621:8;40630:1;40621:11;;;;;;;;;:15;;:23;;;;:::i;:::-;40607:8;40616:1;40607:11;;;;;;;;:37;;;;40672:22;40683:10;40672:6;:10;;:22;;;;:::i;:::-;40663:31;;40235:475;;;;40136:585;40173:3;;;;;;;40136:585;;;;40746:1;40737:6;:10;40733:240;;;40786:31;40810:6;40786:7;:19;40794:10;40786:19;;;;;;;;;;;;;;;;:23;;:31;;;;:::i;:::-;40764:7;:19;40772:10;40764:19;;;;;;;;;;;;;;;:53;;;;40832:4;;;;;;;;;;;:9;;;40842:10;40854:6;40832:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40903:12;40876;:24;40889:10;40876:24;;;;;;;;;;;;;;;:39;;;;40935:26;40942:10;40954:6;40935:26;;;;;;;;;;;;;;;;;;;;;;;;;;40733:240;40033:947;;:::o;6815:192::-;6901:7;6934:1;6929;:6;;6937:12;6921:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6961:9;6977:1;6973;:5;6961:17;;6998:1;6991:8;;;6815:192;;;;;:::o;8841:278::-;8927:7;8959:1;8955;:5;8962:12;8947:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8986:9;9002:1;8998;:5;;;;;;8986:17;;9110:1;9103:8;;;8841:278;;;;;:::o;35584:863::-;36011:23;36037:106;36079:4;36037:106;;;;;;;;;;;;;;;;;36045:5;36037:27;;;;:106;;;;;:::i;:::-;36011:132;;36178:1;36158:10;:17;:21;36154:286;;;36331:10;36320:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;36294:134;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;36154:286;35584:863;;;:::o;17854:230::-;17991:12;18023:53;18046:6;18054:4;18060:1;18063:12;18023:22;:53::i;:::-;18016:60;;17854:230;;;;;:::o;19475:1044::-;19648:12;19681:18;19692:6;19681:10;:18::i;:::-;19673:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19807:12;19821:23;19848:6;:11;;19867:8;19891:4;19848:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19806:100;;;;19921:7;19917:595;;;19952:10;19945:17;;;;;;19917:595;20086:1;20066:10;:17;:21;20062:439;;;20329:10;20323:17;20390:15;20377:10;20373:2;20369:19;20362:44;20277:148;20472:12;20465:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19475:1044;;;;;;;:::o;14817:444::-;14877:4;15085:12;15209:7;15197:20;15189:28;;15252:1;15245:4;:8;15238:15;;;14817:444;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

ipfs://56cb1d82f6d620bc0475f830d354bec9be241b0a639960d59db4de731ede0995