Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-05-05
*/

pragma solidity ^0.8.0;

// https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/math/SafeMath.sol

// CAUTION
// This version of SafeMath should only be used with Solidity 0.8 or later,
// because it relies on the compiler's built in overflow checks.

/**
 * @dev Wrappers over Solidity's arithmetic operations.
 *
 * NOTE: `SafeMath` is generally not needed starting with Solidity 0.8, since the compiler
 * now has built in overflow checking.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

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

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

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

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

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

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

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

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator.
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

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

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

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * 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) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

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

/** https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC20/IERC20.sol
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

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

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

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

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

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

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

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


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

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

/** https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC20/extensions/IERC20Metadata.sol
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

/** https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/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 Contracts guidelines: functions revert
 * instead 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 ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override 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 this function is
     * overridden;
     *
     * 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 virtual override returns (uint8) {
        return 18;
    }

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

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

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

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

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, 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}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual override returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, amount);
        _transfer(from, to, amount);
        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) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, spender) + 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) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `sender` to `recipient`.
     *
     * This 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:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     */
    function _transfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
        }
        _balances[to] += amount;

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, 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:
     *
     * - `account` 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 += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(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);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(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 Updates `owner` s allowance for `spender` based on spent `amount`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }

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

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been 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 _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}


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

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

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

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

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

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

/** https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC20/extensions/ERC20Burnable.sol
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
abstract contract ERC20Burnable is Ownable, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public virtual {
        _spendAllowance(account, _msgSender(), amount);
        _burn(account, amount);
    }
}

/** https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC20/extensions/ERC20Capped.sol
 * @dev Extension of {ERC20} that adds a cap to the supply of tokens.
 */
abstract contract ERC20Capped is ERC20Burnable {
    uint256 private immutable _cap;

    /**
     * @dev Sets the value of the `cap`. This value is immutable, it can only be
     * set once during construction.
     */
    constructor(uint256 cap_) {
        require(cap_ > 0, "ERC20Capped: cap is 0");
        _cap = cap_;
    }

    /**
     * @dev Returns the cap on the token's total supply.
     */
    function cap() public view virtual returns (uint256) {
        return _cap;
    }

    /**
     * @dev See {ERC20-_mint}.
     */
    function _mint(address account, uint256 amount) internal virtual override {
        require(ERC20.totalSupply() + amount <= cap(), "ERC20Capped: cap exceeded");
        super._mint(account, amount);
    }
}

contract SAFEToken is ERC20Capped(3E25) {

    using  SafeMath for uint256;
    string private constant NAME      = "SAFE(AnWang)";
    string private constant SYMBOL    = "SAFE";

    event Eth2Safe_Event(address indexed eth_address, uint256 amount, string safe_address);
    event Safe2Eth_Event(address indexed eth_address, uint256 amount, string txid);
    
    constructor () public ERC20(NAME, SYMBOL) {}
    
    //called by owner, _to recieves wSAFE sent by minting
    function safe2eth(address _to, uint256 _value, string memory _safe_txid) onlyOwner public
    {
        require(_value < 1E25, "SAFE: transform too much SAFE");
        super._mint(_to,_value);
		emit Safe2Eth_Event(_to,_value,_safe_txid);
    }    

    //users burn wSAFE, and receieve SAFE on SAFE network
    function eth2safe(uint256 _value, string memory _safe_dst_address) public
    {
		require(_value > 1E14, "SAFE: transform too few SAFE");
        super.burn(_value);
        emit Eth2Safe_Event(_msgSender(),_value,_safe_dst_address);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"eth_address","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"safe_address","type":"string"}],"name":"Eth2Safe_Event","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"eth_address","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"txid","type":"string"}],"name":"Safe2Eth_Event","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"cap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"string","name":"_safe_dst_address","type":"string"}],"name":"eth2safe","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"string","name":"_safe_txid","type":"string"}],"name":"safe2eth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60a06040523480156200001157600080fd5b506a18d0bf423c03d8de0000006040518060400160405280600c81526020017f5341464528416e57616e672900000000000000000000000000000000000000008152506040518060400160405280600481526020017f5341464500000000000000000000000000000000000000000000000000000000815250620000aa6200009e6200013360201b60201c565b6200013b60201b60201c565b8160049080519060200190620000c2929190620001ff565b508060059080519060200190620000db929190620001ff565b5050506000811162000124576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200011b9062000310565b60405180910390fd5b80608081815250505062000396565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8280546200020d9062000361565b90600052602060002090601f0160209004810192826200023157600085556200027d565b82601f106200024c57805160ff19168380011785556200027d565b828001600101855582156200027d579182015b828111156200027c5782518255916020019190600101906200025f565b5b5090506200028c919062000290565b5090565b5b80821115620002ab57600081600090555060010162000291565b5090565b600082825260208201905092915050565b7f45524332304361707065643a2063617020697320300000000000000000000000600082015250565b6000620002f8601583620002af565b91506200030582620002c0565b602082019050919050565b600060208201905081810360008301526200032b81620002e9565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200037a57607f821691505b60208210810362000390576200038f62000332565b5b50919050565b6080516121ee620003b260003960006104a601526121ee6000f3fe608060405234801561001057600080fd5b50600436106101165760003560e01c806379cc6790116100a2578063a9059cbb11610071578063a9059cbb146102f7578063aac8092e14610327578063bc157d0c14610343578063dd62ed3e1461035f578063f2fde38b1461038f57610116565b806379cc67901461026f5780638da5cb5b1461028b57806395d89b41146102a9578063a457c2d7146102c757610116565b8063313ce567116100e9578063313ce567146101b7578063355274ea146101d557806339509351146101f357806342966c681461022357806370a082311461023f57610116565b806306fdde031461011b578063095ea7b31461013957806318160ddd1461016957806323b872dd14610187575b600080fd5b6101236103ab565b604051610130919061140d565b60405180910390f35b610153600480360381019061014e91906114d7565b61043d565b6040516101609190611532565b60405180910390f35b610171610460565b60405161017e919061155c565b60405180910390f35b6101a1600480360381019061019c9190611577565b61046a565b6040516101ae9190611532565b60405180910390f35b6101bf610499565b6040516101cc91906115e6565b60405180910390f35b6101dd6104a2565b6040516101ea919061155c565b60405180910390f35b61020d600480360381019061020891906114d7565b6104ca565b60405161021a9190611532565b60405180910390f35b61023d60048036038101906102389190611601565b610501565b005b6102596004803603810190610254919061162e565b610515565b604051610266919061155c565b60405180910390f35b610289600480360381019061028491906114d7565b61055e565b005b61029361057e565b6040516102a0919061166a565b60405180910390f35b6102b16105a7565b6040516102be919061140d565b60405180910390f35b6102e160048036038101906102dc91906114d7565b610639565b6040516102ee9190611532565b60405180910390f35b610311600480360381019061030c91906114d7565b6106b0565b60405161031e9190611532565b60405180910390f35b610341600480360381019061033c91906117ba565b6106d3565b005b61035d60048036038101906103589190611829565b6107fb565b005b61037960048036038101906103749190611885565b6108a7565b604051610386919061155c565b60405180910390f35b6103a960048036038101906103a4919061162e565b61092e565b005b6060600480546103ba906118f4565b80601f01602080910402602001604051908101604052809291908181526020018280546103e6906118f4565b80156104335780601f1061040857610100808354040283529160200191610433565b820191906000526020600020905b81548152906001019060200180831161041657829003601f168201915b5050505050905090565b600080610448610a25565b9050610455818585610a2d565b600191505092915050565b6000600354905090565b600080610475610a25565b9050610482858285610bf6565b61048d858585610c82565b60019150509392505050565b60006012905090565b60007f0000000000000000000000000000000000000000000000000000000000000000905090565b6000806104d5610a25565b90506104f68185856104e785896108a7565b6104f19190611954565b610a2d565b600191505092915050565b61051261050c610a25565b82610f04565b50565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6105708261056a610a25565b83610bf6565b61057a8282610f04565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600580546105b6906118f4565b80601f01602080910402602001604051908101604052809291908181526020018280546105e2906118f4565b801561062f5780601f106106045761010080835404028352916020019161062f565b820191906000526020600020905b81548152906001019060200180831161061257829003601f168201915b5050505050905090565b600080610644610a25565b9050600061065282866108a7565b905083811015610697576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068e90611a1c565b60405180910390fd5b6106a48286868403610a2d565b60019250505092915050565b6000806106bb610a25565b90506106c8818585610c82565b600191505092915050565b6106db610a25565b73ffffffffffffffffffffffffffffffffffffffff166106f961057e565b73ffffffffffffffffffffffffffffffffffffffff161461074f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074690611a88565b60405180910390fd5b6a084595161401484a000000821061079c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079390611af4565b60405180910390fd5b6107a683836110dc565b8273ffffffffffffffffffffffffffffffffffffffff167fb4e6b7819fad3c946b66afb10843e3559e1fbc6140a5b59b682a69cea3045ac483836040516107ee929190611b14565b60405180910390a2505050565b655af3107a40008211610843576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083a90611b90565b60405180910390fd5b61084c82610501565b610854610a25565b73ffffffffffffffffffffffffffffffffffffffff167fc2d574bb02677ab13f51e7d746f4e9d14da47cb6b84a91006181fa87a2f67a0e838360405161089b929190611b14565b60405180910390a25050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610936610a25565b73ffffffffffffffffffffffffffffffffffffffff1661095461057e565b73ffffffffffffffffffffffffffffffffffffffff16146109aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a190611a88565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a19576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1090611c22565b60405180910390fd5b610a2281611146565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9390611cb4565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b0b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0290611d46565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610be9919061155c565b60405180910390a3505050565b6000610c0284846108a7565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610c7c5781811015610c6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c6590611db2565b60405180910390fd5b610c7b8484848403610a2d565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cf1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce890611e44565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d60576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5790611ed6565b60405180910390fd5b610d6b83838361120a565b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610df2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610de990611f68565b60405180910390fd5b818103600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e879190611954565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610eeb919061155c565b60405180910390a3610efe84848461120f565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6a90611ffa565b60405180910390fd5b610f7f8260008361120a565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611006576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ffd9061208c565b60405180910390fd5b818103600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816003600082825461105e91906120ac565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110c3919061155c565b60405180910390a36110d78360008461120f565b505050565b6110e46104a2565b816110ed610460565b6110f79190611954565b1115611138576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161112f9061212c565b60405180910390fd5b6111428282611214565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611283576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127a90612198565b60405180910390fd5b61128f6000838361120a565b80600360008282546112a19190611954565b9250508190555080600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546112f79190611954565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161135c919061155c565b60405180910390a36113706000838361120f565b5050565b600081519050919050565b600082825260208201905092915050565b60005b838110156113ae578082015181840152602081019050611393565b838111156113bd576000848401525b50505050565b6000601f19601f8301169050919050565b60006113df82611374565b6113e9818561137f565b93506113f9818560208601611390565b611402816113c3565b840191505092915050565b6000602082019050818103600083015261142781846113d4565b905092915050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061146e82611443565b9050919050565b61147e81611463565b811461148957600080fd5b50565b60008135905061149b81611475565b92915050565b6000819050919050565b6114b4816114a1565b81146114bf57600080fd5b50565b6000813590506114d1816114ab565b92915050565b600080604083850312156114ee576114ed611439565b5b60006114fc8582860161148c565b925050602061150d858286016114c2565b9150509250929050565b60008115159050919050565b61152c81611517565b82525050565b60006020820190506115476000830184611523565b92915050565b611556816114a1565b82525050565b6000602082019050611571600083018461154d565b92915050565b6000806000606084860312156115905761158f611439565b5b600061159e8682870161148c565b93505060206115af8682870161148c565b92505060406115c0868287016114c2565b9150509250925092565b600060ff82169050919050565b6115e0816115ca565b82525050565b60006020820190506115fb60008301846115d7565b92915050565b60006020828403121561161757611616611439565b5b6000611625848285016114c2565b91505092915050565b60006020828403121561164457611643611439565b5b60006116528482850161148c565b91505092915050565b61166481611463565b82525050565b600060208201905061167f600083018461165b565b92915050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6116c7826113c3565b810181811067ffffffffffffffff821117156116e6576116e561168f565b5b80604052505050565b60006116f961142f565b905061170582826116be565b919050565b600067ffffffffffffffff8211156117255761172461168f565b5b61172e826113c3565b9050602081019050919050565b82818337600083830152505050565b600061175d6117588461170a565b6116ef565b9050828152602081018484840111156117795761177861168a565b5b61178484828561173b565b509392505050565b600082601f8301126117a1576117a0611685565b5b81356117b184826020860161174a565b91505092915050565b6000806000606084860312156117d3576117d2611439565b5b60006117e18682870161148c565b93505060206117f2868287016114c2565b925050604084013567ffffffffffffffff8111156118135761181261143e565b5b61181f8682870161178c565b9150509250925092565b600080604083850312156118405761183f611439565b5b600061184e858286016114c2565b925050602083013567ffffffffffffffff81111561186f5761186e61143e565b5b61187b8582860161178c565b9150509250929050565b6000806040838503121561189c5761189b611439565b5b60006118aa8582860161148c565b92505060206118bb8582860161148c565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061190c57607f821691505b60208210810361191f5761191e6118c5565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061195f826114a1565b915061196a836114a1565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561199f5761199e611925565b5b828201905092915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000611a0660258361137f565b9150611a11826119aa565b604082019050919050565b60006020820190508181036000830152611a35816119f9565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611a7260208361137f565b9150611a7d82611a3c565b602082019050919050565b60006020820190508181036000830152611aa181611a65565b9050919050565b7f534146453a207472616e73666f726d20746f6f206d7563682053414645000000600082015250565b6000611ade601d8361137f565b9150611ae982611aa8565b602082019050919050565b60006020820190508181036000830152611b0d81611ad1565b9050919050565b6000604082019050611b29600083018561154d565b8181036020830152611b3b81846113d4565b90509392505050565b7f534146453a207472616e73666f726d20746f6f20666577205341464500000000600082015250565b6000611b7a601c8361137f565b9150611b8582611b44565b602082019050919050565b60006020820190508181036000830152611ba981611b6d565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611c0c60268361137f565b9150611c1782611bb0565b604082019050919050565b60006020820190508181036000830152611c3b81611bff565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611c9e60248361137f565b9150611ca982611c42565b604082019050919050565b60006020820190508181036000830152611ccd81611c91565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611d3060228361137f565b9150611d3b82611cd4565b604082019050919050565b60006020820190508181036000830152611d5f81611d23565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611d9c601d8361137f565b9150611da782611d66565b602082019050919050565b60006020820190508181036000830152611dcb81611d8f565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611e2e60258361137f565b9150611e3982611dd2565b604082019050919050565b60006020820190508181036000830152611e5d81611e21565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611ec060238361137f565b9150611ecb82611e64565b604082019050919050565b60006020820190508181036000830152611eef81611eb3565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611f5260268361137f565b9150611f5d82611ef6565b604082019050919050565b60006020820190508181036000830152611f8181611f45565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000611fe460218361137f565b9150611fef82611f88565b604082019050919050565b6000602082019050818103600083015261201381611fd7565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b600061207660228361137f565b91506120818261201a565b604082019050919050565b600060208201905081810360008301526120a581612069565b9050919050565b60006120b7826114a1565b91506120c2836114a1565b9250828210156120d5576120d4611925565b5b828203905092915050565b7f45524332304361707065643a2063617020657863656564656400000000000000600082015250565b600061211660198361137f565b9150612121826120e0565b602082019050919050565b6000602082019050818103600083015261214581612109565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000612182601f8361137f565b915061218d8261214c565b602082019050919050565b600060208201905081810360008301526121b181612175565b905091905056fea264697066735822122059ec3d10a7d1cbfa57450a3da0d0ee0dc990f6e480bc6a0ec6acc6416cf3946064736f6c634300080d0033

0x608060405234801561001057600080fd5b50600436106101165760003560e01c806379cc6790116100a2578063a9059cbb11610071578063a9059cbb146102f7578063aac8092e14610327578063bc157d0c14610343578063dd62ed3e1461035f578063f2fde38b1461038f57610116565b806379cc67901461026f5780638da5cb5b1461028b57806395d89b41146102a9578063a457c2d7146102c757610116565b8063313ce567116100e9578063313ce567146101b7578063355274ea146101d557806339509351146101f357806342966c681461022357806370a082311461023f57610116565b806306fdde031461011b578063095ea7b31461013957806318160ddd1461016957806323b872dd14610187575b600080fd5b6101236103ab565b604051610130919061140d565b60405180910390f35b610153600480360381019061014e91906114d7565b61043d565b6040516101609190611532565b60405180910390f35b610171610460565b60405161017e919061155c565b60405180910390f35b6101a1600480360381019061019c9190611577565b61046a565b6040516101ae9190611532565b60405180910390f35b6101bf610499565b6040516101cc91906115e6565b60405180910390f35b6101dd6104a2565b6040516101ea919061155c565b60405180910390f35b61020d600480360381019061020891906114d7565b6104ca565b60405161021a9190611532565b60405180910390f35b61023d60048036038101906102389190611601565b610501565b005b6102596004803603810190610254919061162e565b610515565b604051610266919061155c565b60405180910390f35b610289600480360381019061028491906114d7565b61055e565b005b61029361057e565b6040516102a0919061166a565b60405180910390f35b6102b16105a7565b6040516102be919061140d565b60405180910390f35b6102e160048036038101906102dc91906114d7565b610639565b6040516102ee9190611532565b60405180910390f35b610311600480360381019061030c91906114d7565b6106b0565b60405161031e9190611532565b60405180910390f35b610341600480360381019061033c91906117ba565b6106d3565b005b61035d60048036038101906103589190611829565b6107fb565b005b61037960048036038101906103749190611885565b6108a7565b604051610386919061155c565b60405180910390f35b6103a960048036038101906103a4919061162e565b61092e565b005b6060600480546103ba906118f4565b80601f01602080910402602001604051908101604052809291908181526020018280546103e6906118f4565b80156104335780601f1061040857610100808354040283529160200191610433565b820191906000526020600020905b81548152906001019060200180831161041657829003601f168201915b5050505050905090565b600080610448610a25565b9050610455818585610a2d565b600191505092915050565b6000600354905090565b600080610475610a25565b9050610482858285610bf6565b61048d858585610c82565b60019150509392505050565b60006012905090565b60007f00000000000000000000000000000000000000000018d0bf423c03d8de000000905090565b6000806104d5610a25565b90506104f68185856104e785896108a7565b6104f19190611954565b610a2d565b600191505092915050565b61051261050c610a25565b82610f04565b50565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6105708261056a610a25565b83610bf6565b61057a8282610f04565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600580546105b6906118f4565b80601f01602080910402602001604051908101604052809291908181526020018280546105e2906118f4565b801561062f5780601f106106045761010080835404028352916020019161062f565b820191906000526020600020905b81548152906001019060200180831161061257829003601f168201915b5050505050905090565b600080610644610a25565b9050600061065282866108a7565b905083811015610697576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068e90611a1c565b60405180910390fd5b6106a48286868403610a2d565b60019250505092915050565b6000806106bb610a25565b90506106c8818585610c82565b600191505092915050565b6106db610a25565b73ffffffffffffffffffffffffffffffffffffffff166106f961057e565b73ffffffffffffffffffffffffffffffffffffffff161461074f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074690611a88565b60405180910390fd5b6a084595161401484a000000821061079c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079390611af4565b60405180910390fd5b6107a683836110dc565b8273ffffffffffffffffffffffffffffffffffffffff167fb4e6b7819fad3c946b66afb10843e3559e1fbc6140a5b59b682a69cea3045ac483836040516107ee929190611b14565b60405180910390a2505050565b655af3107a40008211610843576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083a90611b90565b60405180910390fd5b61084c82610501565b610854610a25565b73ffffffffffffffffffffffffffffffffffffffff167fc2d574bb02677ab13f51e7d746f4e9d14da47cb6b84a91006181fa87a2f67a0e838360405161089b929190611b14565b60405180910390a25050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610936610a25565b73ffffffffffffffffffffffffffffffffffffffff1661095461057e565b73ffffffffffffffffffffffffffffffffffffffff16146109aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a190611a88565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a19576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1090611c22565b60405180910390fd5b610a2281611146565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a9390611cb4565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b0b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0290611d46565b60405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610be9919061155c565b60405180910390a3505050565b6000610c0284846108a7565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610c7c5781811015610c6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c6590611db2565b60405180910390fd5b610c7b8484848403610a2d565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cf1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce890611e44565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d60576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d5790611ed6565b60405180910390fd5b610d6b83838361120a565b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610df2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610de990611f68565b60405180910390fd5b818103600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e879190611954565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610eeb919061155c565b60405180910390a3610efe84848461120f565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610f73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6a90611ffa565b60405180910390fd5b610f7f8260008361120a565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611006576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ffd9061208c565b60405180910390fd5b818103600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816003600082825461105e91906120ac565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110c3919061155c565b60405180910390a36110d78360008461120f565b505050565b6110e46104a2565b816110ed610460565b6110f79190611954565b1115611138576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161112f9061212c565b60405180910390fd5b6111428282611214565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611283576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127a90612198565b60405180910390fd5b61128f6000838361120a565b80600360008282546112a19190611954565b9250508190555080600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546112f79190611954565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161135c919061155c565b60405180910390a36113706000838361120f565b5050565b600081519050919050565b600082825260208201905092915050565b60005b838110156113ae578082015181840152602081019050611393565b838111156113bd576000848401525b50505050565b6000601f19601f8301169050919050565b60006113df82611374565b6113e9818561137f565b93506113f9818560208601611390565b611402816113c3565b840191505092915050565b6000602082019050818103600083015261142781846113d4565b905092915050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061146e82611443565b9050919050565b61147e81611463565b811461148957600080fd5b50565b60008135905061149b81611475565b92915050565b6000819050919050565b6114b4816114a1565b81146114bf57600080fd5b50565b6000813590506114d1816114ab565b92915050565b600080604083850312156114ee576114ed611439565b5b60006114fc8582860161148c565b925050602061150d858286016114c2565b9150509250929050565b60008115159050919050565b61152c81611517565b82525050565b60006020820190506115476000830184611523565b92915050565b611556816114a1565b82525050565b6000602082019050611571600083018461154d565b92915050565b6000806000606084860312156115905761158f611439565b5b600061159e8682870161148c565b93505060206115af8682870161148c565b92505060406115c0868287016114c2565b9150509250925092565b600060ff82169050919050565b6115e0816115ca565b82525050565b60006020820190506115fb60008301846115d7565b92915050565b60006020828403121561161757611616611439565b5b6000611625848285016114c2565b91505092915050565b60006020828403121561164457611643611439565b5b60006116528482850161148c565b91505092915050565b61166481611463565b82525050565b600060208201905061167f600083018461165b565b92915050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6116c7826113c3565b810181811067ffffffffffffffff821117156116e6576116e561168f565b5b80604052505050565b60006116f961142f565b905061170582826116be565b919050565b600067ffffffffffffffff8211156117255761172461168f565b5b61172e826113c3565b9050602081019050919050565b82818337600083830152505050565b600061175d6117588461170a565b6116ef565b9050828152602081018484840111156117795761177861168a565b5b61178484828561173b565b509392505050565b600082601f8301126117a1576117a0611685565b5b81356117b184826020860161174a565b91505092915050565b6000806000606084860312156117d3576117d2611439565b5b60006117e18682870161148c565b93505060206117f2868287016114c2565b925050604084013567ffffffffffffffff8111156118135761181261143e565b5b61181f8682870161178c565b9150509250925092565b600080604083850312156118405761183f611439565b5b600061184e858286016114c2565b925050602083013567ffffffffffffffff81111561186f5761186e61143e565b5b61187b8582860161178c565b9150509250929050565b6000806040838503121561189c5761189b611439565b5b60006118aa8582860161148c565b92505060206118bb8582860161148c565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061190c57607f821691505b60208210810361191f5761191e6118c5565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061195f826114a1565b915061196a836114a1565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561199f5761199e611925565b5b828201905092915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000611a0660258361137f565b9150611a11826119aa565b604082019050919050565b60006020820190508181036000830152611a35816119f9565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000611a7260208361137f565b9150611a7d82611a3c565b602082019050919050565b60006020820190508181036000830152611aa181611a65565b9050919050565b7f534146453a207472616e73666f726d20746f6f206d7563682053414645000000600082015250565b6000611ade601d8361137f565b9150611ae982611aa8565b602082019050919050565b60006020820190508181036000830152611b0d81611ad1565b9050919050565b6000604082019050611b29600083018561154d565b8181036020830152611b3b81846113d4565b90509392505050565b7f534146453a207472616e73666f726d20746f6f20666577205341464500000000600082015250565b6000611b7a601c8361137f565b9150611b8582611b44565b602082019050919050565b60006020820190508181036000830152611ba981611b6d565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000611c0c60268361137f565b9150611c1782611bb0565b604082019050919050565b60006020820190508181036000830152611c3b81611bff565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000611c9e60248361137f565b9150611ca982611c42565b604082019050919050565b60006020820190508181036000830152611ccd81611c91565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000611d3060228361137f565b9150611d3b82611cd4565b604082019050919050565b60006020820190508181036000830152611d5f81611d23565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b6000611d9c601d8361137f565b9150611da782611d66565b602082019050919050565b60006020820190508181036000830152611dcb81611d8f565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000611e2e60258361137f565b9150611e3982611dd2565b604082019050919050565b60006020820190508181036000830152611e5d81611e21565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000611ec060238361137f565b9150611ecb82611e64565b604082019050919050565b60006020820190508181036000830152611eef81611eb3565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000611f5260268361137f565b9150611f5d82611ef6565b604082019050919050565b60006020820190508181036000830152611f8181611f45565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000611fe460218361137f565b9150611fef82611f88565b604082019050919050565b6000602082019050818103600083015261201381611fd7565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b600061207660228361137f565b91506120818261201a565b604082019050919050565b600060208201905081810360008301526120a581612069565b9050919050565b60006120b7826114a1565b91506120c2836114a1565b9250828210156120d5576120d4611925565b5b828203905092915050565b7f45524332304361707065643a2063617020657863656564656400000000000000600082015250565b600061211660198361137f565b9150612121826120e0565b602082019050919050565b6000602082019050818103600083015261214581612109565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000612182601f8361137f565b915061218d8261214c565b602082019050919050565b600060208201905081810360008301526121b181612175565b905091905056fea264697066735822122059ec3d10a7d1cbfa57450a3da0d0ee0dc990f6e480bc6a0ec6acc6416cf3946064736f6c634300080d0033

28297:1058:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13417:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15768:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14537:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16549:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14379:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27942:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17253:238;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26740:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;14708:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27150:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;25229:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13636:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17994:436;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15041:193;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28787:250;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;29108:244;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;15297:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25684:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;13417:100;13471:13;13504:5;13497:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13417:100;:::o;15768:201::-;15851:4;15868:13;15884:12;:10;:12::i;:::-;15868:28;;15907:32;15916:5;15923:7;15932:6;15907:8;:32::i;:::-;15957:4;15950:11;;;15768:201;;;;:::o;14537:108::-;14598:7;14625:12;;14618:19;;14537:108;:::o;16549:295::-;16680:4;16697:15;16715:12;:10;:12::i;:::-;16697:30;;16738:38;16754:4;16760:7;16769:6;16738:15;:38::i;:::-;16787:27;16797:4;16803:2;16807:6;16787:9;:27::i;:::-;16832:4;16825:11;;;16549:295;;;;;:::o;14379:93::-;14437:5;14462:2;14455:9;;14379:93;:::o;27942:83::-;27986:7;28013:4;28006:11;;27942:83;:::o;17253:238::-;17341:4;17358:13;17374:12;:10;:12::i;:::-;17358:28;;17397:64;17406:5;17413:7;17450:10;17422:25;17432:5;17439:7;17422:9;:25::i;:::-;:38;;;;:::i;:::-;17397:8;:64::i;:::-;17479:4;17472:11;;;17253:238;;;;:::o;26740:91::-;26796:27;26802:12;:10;:12::i;:::-;26816:6;26796:5;:27::i;:::-;26740:91;:::o;14708:127::-;14782:7;14809:9;:18;14819:7;14809:18;;;;;;;;;;;;;;;;14802:25;;14708:127;;;:::o;27150:164::-;27227:46;27243:7;27252:12;:10;:12::i;:::-;27266:6;27227:15;:46::i;:::-;27284:22;27290:7;27299:6;27284:5;:22::i;:::-;27150:164;;:::o;25229:87::-;25275:7;25302:6;;;;;;;;;;;25295:13;;25229:87;:::o;13636:104::-;13692:13;13725:7;13718:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13636:104;:::o;17994:436::-;18087:4;18104:13;18120:12;:10;:12::i;:::-;18104:28;;18143:24;18170:25;18180:5;18187:7;18170:9;:25::i;:::-;18143:52;;18234:15;18214:16;:35;;18206:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;18327:60;18336:5;18343:7;18371:15;18352:16;:34;18327:8;:60::i;:::-;18418:4;18411:11;;;;17994:436;;;;:::o;15041:193::-;15120:4;15137:13;15153:12;:10;:12::i;:::-;15137:28;;15176;15186:5;15193:2;15197:6;15176:9;:28::i;:::-;15222:4;15215:11;;;15041:193;;;;:::o;28787:250::-;25460:12;:10;:12::i;:::-;25449:23;;:7;:5;:7::i;:::-;:23;;;25441:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;28910:4:::1;28901:6;:13;28893:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;28959:23;28971:3;28975:6;28959:11;:23::i;:::-;29007:3;28992:37;;;29011:6;29018:10;28992:37;;;;;;;:::i;:::-;;;;;;;;28787:250:::0;;;:::o;29108:244::-;29209:4;29200:6;:13;29192:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;29257:18;29268:6;29257:10;:18::i;:::-;29306:12;:10;:12::i;:::-;29291:53;;;29319:6;29326:17;29291:53;;;;;;;:::i;:::-;;;;;;;;29108:244;;:::o;15297:151::-;15386:7;15413:11;:18;15425:5;15413:18;;;;;;;;;;;;;;;:27;15432:7;15413:27;;;;;;;;;;;;;;;;15406:34;;15297:151;;;;:::o;25684:201::-;25460:12;:10;:12::i;:::-;25449:23;;:7;:5;:7::i;:::-;:23;;;25441:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;25793:1:::1;25773:22;;:8;:22;;::::0;25765:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;25849:28;25868:8;25849:18;:28::i;:::-;25684:201:::0;:::o;10461:98::-;10514:7;10541:10;10534:17;;10461:98;:::o;21628:380::-;21781:1;21764:19;;:5;:19;;;21756:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;21862:1;21843:21;;:7;:21;;;21835:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;21946:6;21916:11;:18;21928:5;21916:18;;;;;;;;;;;;;;;:27;21935:7;21916:27;;;;;;;;;;;;;;;:36;;;;21984:7;21968:32;;21977:5;21968:32;;;21993:6;21968:32;;;;;;:::i;:::-;;;;;;;;21628:380;;;:::o;22299:453::-;22434:24;22461:25;22471:5;22478:7;22461:9;:25::i;:::-;22434:52;;22521:17;22501:16;:37;22497:248;;22583:6;22563:16;:26;;22555:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;22667:51;22676:5;22683:7;22711:6;22692:16;:25;22667:8;:51::i;:::-;22497:248;22423:329;22299:453;;;:::o;18909:671::-;19056:1;19040:18;;:4;:18;;;19032:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;19133:1;19119:16;;:2;:16;;;19111:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;19188:38;19209:4;19215:2;19219:6;19188:20;:38::i;:::-;19239:19;19261:9;:15;19271:4;19261:15;;;;;;;;;;;;;;;;19239:37;;19310:6;19295:11;:21;;19287:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;19427:6;19413:11;:20;19395:9;:15;19405:4;19395:15;;;;;;;;;;;;;;;:38;;;;19472:6;19455:9;:13;19465:2;19455:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;19511:2;19496:26;;19505:4;19496:26;;;19515:6;19496:26;;;;;;:::i;:::-;;;;;;;;19535:37;19555:4;19561:2;19565:6;19535:19;:37::i;:::-;19021:559;18909:671;;;:::o;20599:591::-;20702:1;20683:21;;:7;:21;;;20675:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;20755:49;20776:7;20793:1;20797:6;20755:20;:49::i;:::-;20817:22;20842:9;:18;20852:7;20842:18;;;;;;;;;;;;;;;;20817:43;;20897:6;20879:14;:24;;20871:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;21016:6;20999:14;:23;20978:9;:18;20988:7;20978:18;;;;;;;;;;;;;;;:44;;;;21060:6;21044:12;;:22;;;;;;;:::i;:::-;;;;;;;;21110:1;21084:37;;21093:7;21084:37;;;21114:6;21084:37;;;;;;:::i;:::-;;;;;;;;21134:48;21154:7;21171:1;21175:6;21134:19;:48::i;:::-;20664:526;20599:591;;:::o;28083:207::-;28208:5;:3;:5::i;:::-;28198:6;28176:19;:17;:19::i;:::-;:28;;;;:::i;:::-;:37;;28168:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;28254:28;28266:7;28275:6;28254:11;:28::i;:::-;28083:207;;:::o;26045:191::-;26119:16;26138:6;;;;;;;;;;;26119:25;;26164:8;26155:6;;:17;;;;;;;;;;;;;;;;;;26219:8;26188:40;;26209:8;26188:40;;;;;;;;;;;;26108:128;26045:191;:::o;23352:125::-;;;;:::o;24081:124::-;;;;:::o;19867:399::-;19970:1;19951:21;;:7;:21;;;19943:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;20021:49;20050:1;20054:7;20063:6;20021:20;:49::i;:::-;20099:6;20083:12;;:22;;;;;;;:::i;:::-;;;;;;;;20138:6;20116:9;:18;20126:7;20116:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;20181:7;20160:37;;20177:1;20160:37;;;20190:6;20160:37;;;;;;:::i;:::-;;;;;;;;20210:48;20238:1;20242:7;20251:6;20210:19;:48::i;:::-;19867:399;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:307::-;355:1;365:113;379:6;376:1;373:13;365:113;;;464:1;459:3;455:11;449:18;445:1;440:3;436:11;429:39;401:2;398:1;394:10;389:15;;365:113;;;496:6;493:1;490:13;487:101;;;576:1;567:6;562:3;558:16;551:27;487:101;336:258;287:307;;;:::o;600:102::-;641:6;692:2;688:7;683:2;676:5;672:14;668:28;658:38;;600:102;;;:::o;708:364::-;796:3;824:39;857:5;824:39;:::i;:::-;879:71;943:6;938:3;879:71;:::i;:::-;872:78;;959:52;1004:6;999:3;992:4;985:5;981:16;959:52;:::i;:::-;1036:29;1058:6;1036:29;:::i;:::-;1031:3;1027:39;1020:46;;800:272;708:364;;;;:::o;1078:313::-;1191:4;1229:2;1218:9;1214:18;1206:26;;1278:9;1272:4;1268:20;1264:1;1253:9;1249:17;1242:47;1306:78;1379:4;1370:6;1306:78;:::i;:::-;1298:86;;1078:313;;;;:::o;1397:75::-;1430:6;1463:2;1457:9;1447:19;;1397:75;:::o;1478:117::-;1587:1;1584;1577:12;1601:117;1710:1;1707;1700:12;1724:126;1761:7;1801:42;1794:5;1790:54;1779:65;;1724:126;;;:::o;1856:96::-;1893:7;1922:24;1940:5;1922:24;:::i;:::-;1911:35;;1856:96;;;:::o;1958:122::-;2031:24;2049:5;2031:24;:::i;:::-;2024:5;2021:35;2011:63;;2070:1;2067;2060:12;2011:63;1958:122;:::o;2086:139::-;2132:5;2170:6;2157:20;2148:29;;2186:33;2213:5;2186:33;:::i;:::-;2086:139;;;;:::o;2231:77::-;2268:7;2297:5;2286:16;;2231:77;;;:::o;2314:122::-;2387:24;2405:5;2387:24;:::i;:::-;2380:5;2377:35;2367:63;;2426:1;2423;2416:12;2367:63;2314:122;:::o;2442:139::-;2488:5;2526:6;2513:20;2504:29;;2542:33;2569:5;2542:33;:::i;:::-;2442:139;;;;:::o;2587:474::-;2655:6;2663;2712:2;2700:9;2691:7;2687:23;2683:32;2680:119;;;2718:79;;:::i;:::-;2680:119;2838:1;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;:::i;:::-;2853:63;;2809:117;2965:2;2991:53;3036:7;3027:6;3016:9;3012:22;2991:53;:::i;:::-;2981:63;;2936:118;2587:474;;;;;:::o;3067:90::-;3101:7;3144:5;3137:13;3130:21;3119:32;;3067:90;;;:::o;3163:109::-;3244:21;3259:5;3244:21;:::i;:::-;3239:3;3232:34;3163:109;;:::o;3278:210::-;3365:4;3403:2;3392:9;3388:18;3380:26;;3416:65;3478:1;3467:9;3463:17;3454:6;3416:65;:::i;:::-;3278:210;;;;:::o;3494:118::-;3581:24;3599:5;3581:24;:::i;:::-;3576:3;3569:37;3494:118;;:::o;3618:222::-;3711:4;3749:2;3738:9;3734:18;3726:26;;3762:71;3830:1;3819:9;3815:17;3806:6;3762:71;:::i;:::-;3618:222;;;;:::o;3846:619::-;3923:6;3931;3939;3988:2;3976:9;3967:7;3963:23;3959:32;3956:119;;;3994:79;;:::i;:::-;3956:119;4114:1;4139:53;4184:7;4175:6;4164:9;4160:22;4139:53;:::i;:::-;4129:63;;4085:117;4241:2;4267:53;4312:7;4303:6;4292:9;4288:22;4267:53;:::i;:::-;4257:63;;4212:118;4369:2;4395:53;4440:7;4431:6;4420:9;4416:22;4395:53;:::i;:::-;4385:63;;4340:118;3846:619;;;;;:::o;4471:86::-;4506:7;4546:4;4539:5;4535:16;4524:27;;4471:86;;;:::o;4563:112::-;4646:22;4662:5;4646:22;:::i;:::-;4641:3;4634:35;4563:112;;:::o;4681:214::-;4770:4;4808:2;4797:9;4793:18;4785:26;;4821:67;4885:1;4874:9;4870:17;4861:6;4821:67;:::i;:::-;4681:214;;;;:::o;4901:329::-;4960:6;5009:2;4997:9;4988:7;4984:23;4980:32;4977:119;;;5015:79;;:::i;:::-;4977:119;5135:1;5160:53;5205:7;5196:6;5185:9;5181:22;5160:53;:::i;:::-;5150:63;;5106:117;4901:329;;;;:::o;5236:::-;5295:6;5344:2;5332:9;5323:7;5319:23;5315:32;5312:119;;;5350:79;;:::i;:::-;5312:119;5470:1;5495:53;5540:7;5531:6;5520:9;5516:22;5495:53;:::i;:::-;5485:63;;5441:117;5236:329;;;;:::o;5571:118::-;5658:24;5676:5;5658:24;:::i;:::-;5653:3;5646:37;5571:118;;:::o;5695:222::-;5788:4;5826:2;5815:9;5811:18;5803:26;;5839:71;5907:1;5896:9;5892:17;5883:6;5839:71;:::i;:::-;5695:222;;;;:::o;5923:117::-;6032:1;6029;6022:12;6046:117;6155:1;6152;6145:12;6169:180;6217:77;6214:1;6207:88;6314:4;6311:1;6304:15;6338:4;6335:1;6328:15;6355:281;6438:27;6460:4;6438:27;:::i;:::-;6430:6;6426:40;6568:6;6556:10;6553:22;6532:18;6520:10;6517:34;6514:62;6511:88;;;6579:18;;:::i;:::-;6511:88;6619:10;6615:2;6608:22;6398:238;6355:281;;:::o;6642:129::-;6676:6;6703:20;;:::i;:::-;6693:30;;6732:33;6760:4;6752:6;6732:33;:::i;:::-;6642:129;;;:::o;6777:308::-;6839:4;6929:18;6921:6;6918:30;6915:56;;;6951:18;;:::i;:::-;6915:56;6989:29;7011:6;6989:29;:::i;:::-;6981:37;;7073:4;7067;7063:15;7055:23;;6777:308;;;:::o;7091:154::-;7175:6;7170:3;7165;7152:30;7237:1;7228:6;7223:3;7219:16;7212:27;7091:154;;;:::o;7251:412::-;7329:5;7354:66;7370:49;7412:6;7370:49;:::i;:::-;7354:66;:::i;:::-;7345:75;;7443:6;7436:5;7429:21;7481:4;7474:5;7470:16;7519:3;7510:6;7505:3;7501:16;7498:25;7495:112;;;7526:79;;:::i;:::-;7495:112;7616:41;7650:6;7645:3;7640;7616:41;:::i;:::-;7335:328;7251:412;;;;;:::o;7683:340::-;7739:5;7788:3;7781:4;7773:6;7769:17;7765:27;7755:122;;7796:79;;:::i;:::-;7755:122;7913:6;7900:20;7938:79;8013:3;8005:6;7998:4;7990:6;7986:17;7938:79;:::i;:::-;7929:88;;7745:278;7683:340;;;;:::o;8029:799::-;8116:6;8124;8132;8181:2;8169:9;8160:7;8156:23;8152:32;8149:119;;;8187:79;;:::i;:::-;8149:119;8307:1;8332:53;8377:7;8368:6;8357:9;8353:22;8332:53;:::i;:::-;8322:63;;8278:117;8434:2;8460:53;8505:7;8496:6;8485:9;8481:22;8460:53;:::i;:::-;8450:63;;8405:118;8590:2;8579:9;8575:18;8562:32;8621:18;8613:6;8610:30;8607:117;;;8643:79;;:::i;:::-;8607:117;8748:63;8803:7;8794:6;8783:9;8779:22;8748:63;:::i;:::-;8738:73;;8533:288;8029:799;;;;;:::o;8834:654::-;8912:6;8920;8969:2;8957:9;8948:7;8944:23;8940:32;8937:119;;;8975:79;;:::i;:::-;8937:119;9095:1;9120:53;9165:7;9156:6;9145:9;9141:22;9120:53;:::i;:::-;9110:63;;9066:117;9250:2;9239:9;9235:18;9222:32;9281:18;9273:6;9270:30;9267:117;;;9303:79;;:::i;:::-;9267:117;9408:63;9463:7;9454:6;9443:9;9439:22;9408:63;:::i;:::-;9398:73;;9193:288;8834:654;;;;;:::o;9494:474::-;9562:6;9570;9619:2;9607:9;9598:7;9594:23;9590:32;9587:119;;;9625:79;;:::i;:::-;9587:119;9745:1;9770:53;9815:7;9806:6;9795:9;9791:22;9770:53;:::i;:::-;9760:63;;9716:117;9872:2;9898:53;9943:7;9934:6;9923:9;9919:22;9898:53;:::i;:::-;9888:63;;9843:118;9494:474;;;;;:::o;9974:180::-;10022:77;10019:1;10012:88;10119:4;10116:1;10109:15;10143:4;10140:1;10133:15;10160:320;10204:6;10241:1;10235:4;10231:12;10221:22;;10288:1;10282:4;10278:12;10309:18;10299:81;;10365:4;10357:6;10353:17;10343:27;;10299:81;10427:2;10419:6;10416:14;10396:18;10393:38;10390:84;;10446:18;;:::i;:::-;10390:84;10211:269;10160:320;;;:::o;10486:180::-;10534:77;10531:1;10524:88;10631:4;10628:1;10621:15;10655:4;10652:1;10645:15;10672:305;10712:3;10731:20;10749:1;10731:20;:::i;:::-;10726:25;;10765:20;10783:1;10765:20;:::i;:::-;10760:25;;10919:1;10851:66;10847:74;10844:1;10841:81;10838:107;;;10925:18;;:::i;:::-;10838:107;10969:1;10966;10962:9;10955:16;;10672:305;;;;:::o;10983:224::-;11123:34;11119:1;11111:6;11107:14;11100:58;11192:7;11187:2;11179:6;11175:15;11168:32;10983:224;:::o;11213:366::-;11355:3;11376:67;11440:2;11435:3;11376:67;:::i;:::-;11369:74;;11452:93;11541:3;11452:93;:::i;:::-;11570:2;11565:3;11561:12;11554:19;;11213:366;;;:::o;11585:419::-;11751:4;11789:2;11778:9;11774:18;11766:26;;11838:9;11832:4;11828:20;11824:1;11813:9;11809:17;11802:47;11866:131;11992:4;11866:131;:::i;:::-;11858:139;;11585:419;;;:::o;12010:182::-;12150:34;12146:1;12138:6;12134:14;12127:58;12010:182;:::o;12198:366::-;12340:3;12361:67;12425:2;12420:3;12361:67;:::i;:::-;12354:74;;12437:93;12526:3;12437:93;:::i;:::-;12555:2;12550:3;12546:12;12539:19;;12198:366;;;:::o;12570:419::-;12736:4;12774:2;12763:9;12759:18;12751:26;;12823:9;12817:4;12813:20;12809:1;12798:9;12794:17;12787:47;12851:131;12977:4;12851:131;:::i;:::-;12843:139;;12570:419;;;:::o;12995:179::-;13135:31;13131:1;13123:6;13119:14;13112:55;12995:179;:::o;13180:366::-;13322:3;13343:67;13407:2;13402:3;13343:67;:::i;:::-;13336:74;;13419:93;13508:3;13419:93;:::i;:::-;13537:2;13532:3;13528:12;13521:19;;13180:366;;;:::o;13552:419::-;13718:4;13756:2;13745:9;13741:18;13733:26;;13805:9;13799:4;13795:20;13791:1;13780:9;13776:17;13769:47;13833:131;13959:4;13833:131;:::i;:::-;13825:139;;13552:419;;;:::o;13977:423::-;14118:4;14156:2;14145:9;14141:18;14133:26;;14169:71;14237:1;14226:9;14222:17;14213:6;14169:71;:::i;:::-;14287:9;14281:4;14277:20;14272:2;14261:9;14257:18;14250:48;14315:78;14388:4;14379:6;14315:78;:::i;:::-;14307:86;;13977:423;;;;;:::o;14406:178::-;14546:30;14542:1;14534:6;14530:14;14523:54;14406:178;:::o;14590:366::-;14732:3;14753:67;14817:2;14812:3;14753:67;:::i;:::-;14746:74;;14829:93;14918:3;14829:93;:::i;:::-;14947:2;14942:3;14938:12;14931:19;;14590:366;;;:::o;14962:419::-;15128:4;15166:2;15155:9;15151:18;15143:26;;15215:9;15209:4;15205:20;15201:1;15190:9;15186:17;15179:47;15243:131;15369:4;15243:131;:::i;:::-;15235:139;;14962:419;;;:::o;15387:225::-;15527:34;15523:1;15515:6;15511:14;15504:58;15596:8;15591:2;15583:6;15579:15;15572:33;15387:225;:::o;15618:366::-;15760:3;15781:67;15845:2;15840:3;15781:67;:::i;:::-;15774:74;;15857:93;15946:3;15857:93;:::i;:::-;15975:2;15970:3;15966:12;15959:19;;15618:366;;;:::o;15990:419::-;16156:4;16194:2;16183:9;16179:18;16171:26;;16243:9;16237:4;16233:20;16229:1;16218:9;16214:17;16207:47;16271:131;16397:4;16271:131;:::i;:::-;16263:139;;15990:419;;;:::o;16415:223::-;16555:34;16551:1;16543:6;16539:14;16532:58;16624:6;16619:2;16611:6;16607:15;16600:31;16415:223;:::o;16644:366::-;16786:3;16807:67;16871:2;16866:3;16807:67;:::i;:::-;16800:74;;16883:93;16972:3;16883:93;:::i;:::-;17001:2;16996:3;16992:12;16985:19;;16644:366;;;:::o;17016:419::-;17182:4;17220:2;17209:9;17205:18;17197:26;;17269:9;17263:4;17259:20;17255:1;17244:9;17240:17;17233:47;17297:131;17423:4;17297:131;:::i;:::-;17289:139;;17016:419;;;:::o;17441:221::-;17581:34;17577:1;17569:6;17565:14;17558:58;17650:4;17645:2;17637:6;17633:15;17626:29;17441:221;:::o;17668:366::-;17810:3;17831:67;17895:2;17890:3;17831:67;:::i;:::-;17824:74;;17907:93;17996:3;17907:93;:::i;:::-;18025:2;18020:3;18016:12;18009:19;;17668:366;;;:::o;18040:419::-;18206:4;18244:2;18233:9;18229:18;18221:26;;18293:9;18287:4;18283:20;18279:1;18268:9;18264:17;18257:47;18321:131;18447:4;18321:131;:::i;:::-;18313:139;;18040:419;;;:::o;18465:179::-;18605:31;18601:1;18593:6;18589:14;18582:55;18465:179;:::o;18650:366::-;18792:3;18813:67;18877:2;18872:3;18813:67;:::i;:::-;18806:74;;18889:93;18978:3;18889:93;:::i;:::-;19007:2;19002:3;18998:12;18991:19;;18650:366;;;:::o;19022:419::-;19188:4;19226:2;19215:9;19211:18;19203:26;;19275:9;19269:4;19265:20;19261:1;19250:9;19246:17;19239:47;19303:131;19429:4;19303:131;:::i;:::-;19295:139;;19022:419;;;:::o;19447:224::-;19587:34;19583:1;19575:6;19571:14;19564:58;19656:7;19651:2;19643:6;19639:15;19632:32;19447:224;:::o;19677:366::-;19819:3;19840:67;19904:2;19899:3;19840:67;:::i;:::-;19833:74;;19916:93;20005:3;19916:93;:::i;:::-;20034:2;20029:3;20025:12;20018:19;;19677:366;;;:::o;20049:419::-;20215:4;20253:2;20242:9;20238:18;20230:26;;20302:9;20296:4;20292:20;20288:1;20277:9;20273:17;20266:47;20330:131;20456:4;20330:131;:::i;:::-;20322:139;;20049:419;;;:::o;20474:222::-;20614:34;20610:1;20602:6;20598:14;20591:58;20683:5;20678:2;20670:6;20666:15;20659:30;20474:222;:::o;20702:366::-;20844:3;20865:67;20929:2;20924:3;20865:67;:::i;:::-;20858:74;;20941:93;21030:3;20941:93;:::i;:::-;21059:2;21054:3;21050:12;21043:19;;20702:366;;;:::o;21074:419::-;21240:4;21278:2;21267:9;21263:18;21255:26;;21327:9;21321:4;21317:20;21313:1;21302:9;21298:17;21291:47;21355:131;21481:4;21355:131;:::i;:::-;21347:139;;21074:419;;;:::o;21499:225::-;21639:34;21635:1;21627:6;21623:14;21616:58;21708:8;21703:2;21695:6;21691:15;21684:33;21499:225;:::o;21730:366::-;21872:3;21893:67;21957:2;21952:3;21893:67;:::i;:::-;21886:74;;21969:93;22058:3;21969:93;:::i;:::-;22087:2;22082:3;22078:12;22071:19;;21730:366;;;:::o;22102:419::-;22268:4;22306:2;22295:9;22291:18;22283:26;;22355:9;22349:4;22345:20;22341:1;22330:9;22326:17;22319:47;22383:131;22509:4;22383:131;:::i;:::-;22375:139;;22102:419;;;:::o;22527:220::-;22667:34;22663:1;22655:6;22651:14;22644:58;22736:3;22731:2;22723:6;22719:15;22712:28;22527:220;:::o;22753:366::-;22895:3;22916:67;22980:2;22975:3;22916:67;:::i;:::-;22909:74;;22992:93;23081:3;22992:93;:::i;:::-;23110:2;23105:3;23101:12;23094:19;;22753:366;;;:::o;23125:419::-;23291:4;23329:2;23318:9;23314:18;23306:26;;23378:9;23372:4;23368:20;23364:1;23353:9;23349:17;23342:47;23406:131;23532:4;23406:131;:::i;:::-;23398:139;;23125:419;;;:::o;23550:221::-;23690:34;23686:1;23678:6;23674:14;23667:58;23759:4;23754:2;23746:6;23742:15;23735:29;23550:221;:::o;23777:366::-;23919:3;23940:67;24004:2;23999:3;23940:67;:::i;:::-;23933:74;;24016:93;24105:3;24016:93;:::i;:::-;24134:2;24129:3;24125:12;24118:19;;23777:366;;;:::o;24149:419::-;24315:4;24353:2;24342:9;24338:18;24330:26;;24402:9;24396:4;24392:20;24388:1;24377:9;24373:17;24366:47;24430:131;24556:4;24430:131;:::i;:::-;24422:139;;24149:419;;;:::o;24574:191::-;24614:4;24634:20;24652:1;24634:20;:::i;:::-;24629:25;;24668:20;24686:1;24668:20;:::i;:::-;24663:25;;24707:1;24704;24701:8;24698:34;;;24712:18;;:::i;:::-;24698:34;24757:1;24754;24750:9;24742:17;;24574:191;;;;:::o;24771:175::-;24911:27;24907:1;24899:6;24895:14;24888:51;24771:175;:::o;24952:366::-;25094:3;25115:67;25179:2;25174:3;25115:67;:::i;:::-;25108:74;;25191:93;25280:3;25191:93;:::i;:::-;25309:2;25304:3;25300:12;25293:19;;24952:366;;;:::o;25324:419::-;25490:4;25528:2;25517:9;25513:18;25505:26;;25577:9;25571:4;25567:20;25563:1;25552:9;25548:17;25541:47;25605:131;25731:4;25605:131;:::i;:::-;25597:139;;25324:419;;;:::o;25749:181::-;25889:33;25885:1;25877:6;25873:14;25866:57;25749:181;:::o;25936:366::-;26078:3;26099:67;26163:2;26158:3;26099:67;:::i;:::-;26092:74;;26175:93;26264:3;26175:93;:::i;:::-;26293:2;26288:3;26284:12;26277:19;;25936:366;;;:::o;26308:419::-;26474:4;26512:2;26501:9;26497:18;26489:26;;26561:9;26555:4;26551:20;26547:1;26536:9;26532:17;26525:47;26589:131;26715:4;26589:131;:::i;:::-;26581:139;;26308:419;;;:::o

ipfs://59ec3d10a7d1cbfa57450a3da0d0ee0dc990f6e480bc6a0ec6acc6416cf39460