WORLD

Contract addressNot currently resolved

Hash-verified 0x352f6bbc…011c7f

Source details▾

Property	Value
Keccak256 Hash	0x352f6bbc5542e916d30bd52a890f251241111389a034d177fe6a51d4c6011c7f
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/58607494f7741b80525953e4a85bc99e66fd20fc/solidity/dysnomia/domain/world.sol
Source Revision	58607494f7741b80525953e4a85bc99e66fd20fc
Source Status	Canonical source snapshot; deployed bytecode equivalence is only established where a deployment record says so.
Compiler	solc 0.8.21; optimizer enabled with 200 runs
Compiler Configuration	{"evmVersion":"compiler-default","optimizer":{"enabled":true,"runs":200},"version":"0.8.21+commit.d9974bed.Linux.g++"}
Compilation Closure Hash	0xafacb2771d0b8ee5016f242b06000a4a51e59ef8ef1502d4c591caf97b2da31d
Compilation Closure Files	43
Hash Generated	2026-09-14T19:33:45Z

Overview

WORLD is the world simulation contract that manages territory, creation tracking, and reward distribution. It coordinates between players, geographic locations, and the economic system.

• Kind: Contract
• License: Sharia
• Solidity: ^0.8.21
• Source: domain/world.sol

Inheritance Chain (C3 Linearized)

0. self — WORLD
1. DYSNOMIA
2. MultiOwnable

Immediate Parents

• DYSNOMIA

What This Means For Players

Plain English Summary: WORLD is the territory system - where you claim land and earn creator rewards. When you “Code” at a location, you’re planting your flag there and earning VITUS tokens (creator credits). The more territory you control, the more rewards you receive when distributions happen.

Real-World Analogy: Think of WORLD like a virtual real estate system. You can stake claims on territory near venues (QINGs), and as the game economy grows, landowners receive dividends proportional to their holdings. It’s like owning property that pays rent.

How It Affects Your Gameplay:

• Claim territory - Use Code() to register your presence at a location near a QING
• Earn VITUS - Successful coding earns you creator credits
• Receive distributions - Token owners can distribute rewards to territory holders
• Range limits - You can only code within a certain range of a QING’s position

State Variables

Variable	Type	Visibility	Mutability	Initial Value	NatSpec
Type	string	public	constant	WORLD
Cheon	CHEON	public	mutable	``
Meta	META	public	mutable	``
Vitus	VITUS	public	mutable	``
Map	MAPINTERFACE	public	mutable	``
_world	mapping(int256 => mapping(int256 => mapping(address => uint256)))	private	mutable	``
_cauda	mapping(address => int256[])	private	mutable	``
_creation	mapping(int256 => address[])	private	mutable	``
_creators	mapping(int256 => mapping(address => mapping(address => uint256)))	private	mutable	``
_whitelist	mapping(address => mapping(address => bool))	private	mutable	``

Errors

Error	Parameters	NatSpec
OutOfRange	int256 QingLatitude, int256 QingLongitude, uint256 Range

Constructor

constructor

constructorconstructor

constructor(address CheonAddress, address MetaAddress, address MapAddress) DYSNOMIA("Dysnomia World", "WORLD", address(DYSNOMIA(CheonAddress).Xiao()))

• Modifiers: DYSNOMIA("Dysnomia World", "WORLD", address(DYSNOMIA(CheonAddress).Xiao()))
• Parameters: address CheonAddress, address MetaAddress, address MapAddress

Functions

External & Public

Whitelist

Whitelistfunction

function Whitelist(address Caude, address Distributive, bool Allow) public

A callable deployment has not been resolved for this reference.

• Visibility: public
• Parameters: address Caude, address Distributive, bool Allow

Tail

Tailfunction

function Tail(address Caude, uint256 Position) public view returns (uint256 Bid)

A callable deployment has not been resolved for this reference.

• Visibility: public
• State Mutability: view
• Parameters: address Caude, uint256 Position
• Returns: uint256 Bid

Bun

Bunfunction

function Bun(int256 Latitude, int256 Longitude, address Caude) public view returns (uint256)

A callable deployment has not been resolved for this reference.

• Visibility: public
• State Mutability: view
• Parameters: int256 Latitude, int256 Longitude, address Caude
• Returns: uint256

Buzz

Buzzfunction

function Buzz(int256 Latitude, address Coder, address Caude) public view returns (uint256)

A callable deployment has not been resolved for this reference.

• Visibility: public
• State Mutability: view
• Parameters: int256 Latitude, address Coder, address Caude
• Returns: uint256

Distribute

Distributefunction

function Distribute(address Caude, address Distributive, uint256 Amount) public returns (uint256 Remaining)

A callable deployment has not been resolved for this reference.

• Visibility: public
• Parameters: address Caude, address Distributive, uint256 Amount
• Returns: uint256 Remaining

Code

Codefunction

function Code(int256 Latitude, int256 Longitude, address Cause) public

A callable deployment has not been resolved for this reference.

• Visibility: public
• Parameters: int256 Latitude, int256 Longitude, address Cause

Inherited Members

This contract inherits the members below from its parents. See each parent’s dedicated MD for full signatures, NatSpec, and semantics.

From DYSNOMIA

External & Public Functions

Function	Signature	State Mutability
Rename	function Rename(string memory newName, string memory newSymbol) public virtual onlyOwners	nonpayable
mintToCap	function mintToCap() public onlyOwners	nonpayable
GetMarketRate	function GetMarketRate(address _a) public view returns (uint256)	view
Purchase	function Purchase(address _t, uint256 _a) public	nonpayable
Redeem	function Redeem(address _t, uint256 _a) public	nonpayable
name	function name() public view virtual returns (string memory)	view
symbol	function symbol() public view virtual returns (string memory)	view
decimals	function decimals() public view virtual returns (uint8)	view
totalSupply	function totalSupply() public view virtual returns (uint256)	view
balanceOf	function balanceOf(address account) public view virtual returns (uint256)	view
transfer	function transfer(address to, uint256 value) public virtual returns (bool)	nonpayable
allowance	function allowance(address owner, address spender) public view virtual returns (uint256)	view
approve	function approve(address spender, uint256 value) public virtual returns (bool)	nonpayable
transferFrom	function transferFrom(address from, address to, uint256 value) public virtual returns (bool)	nonpayable

Internal Functions

Function	Signature
_addLibraryOwner	function _addLibraryOwner(VOID Void, string memory what) internal
_mintToCap	function _mintToCap() internal
_addMarketRate	function _addMarketRate(address _a, uint256 _r) internal
_transfer	function _transfer(address from, address to, uint256 value) internal
_update	function _update(address from, address to, uint256 value) internal virtual
_mint	function _mint(address account, uint256 value) internal
_approve	function _approve(address owner, address spender, uint256 value) internal
_spendAllowance	function _spendAllowance(address owner, address spender, uint256 value) internal virtual

Events

Event	Parameters
Transfer	address indexed from, address indexed to, uint256 value
Approval	address indexed owner, address indexed spender, uint256 value

Errors

Error	Parameters
MarketRateNotFound	address asset
DysnomiaInsufficientBalance	address origin, address sender, address from, address to, address what, uint256 balance, uint256 needed
DysnomiaInsufficientAllowance	address origin, address sender, address owner, address spender, address what, uint256 allowance, uint256 needed

State Variables (private parent storage is not reachable and is omitted)

Variable	Type	Visibility	Mutability
__name	string	internal	mutable
__symbol	string	internal	mutable
MotzkinPrime	uint64	public	constant
Xiao	atropaMath	public	mutable
maxSupply	uint256	public	mutable

From MultiOwnable

External & Public Functions

Function	Signature	State Mutability
owner	function owner() external view virtual returns (address)	view
renounceOwnership	function renounceOwnership(address toRemove) public virtual onlyOwners	nonpayable
addOwner	function addOwner(address newOwner) public virtual onlyOwners	nonpayable

Internal Functions

Function	Signature
_checkOwner	function _checkOwner() internal view virtual
_changeOwnership	function _changeOwnership(address cOwner, bool cState) internal virtual

Events

Event	Parameters
OwnershipUpdate	address indexed newOwner, bool indexed state

Errors

Error	Parameters
OwnableUnauthorizedAccount	address origin, address account, address what
OwnableInvalidOwner	address origin, address owner, address what

Modifiers

Modifier	Parameters
onlyOwners	(none)

Contract Interactions

Depends On

• DYSNOMIA V2 - Base functionality
• CHEON - Player management
• META - Calculations
• MAP - Geographic registry

Creates

• VITUS - Creator reward token

Special Mechanisms

Range Validation

function Code(int256 Latitude, int256 Longitude, address Cause) public {
    // Get QING position
    (int256 qlat, int256 qlon) = Map.Map().Compliment(QingWaat);

    // Yeo is the range from META
    if(Latitude > qlat + int256(Yeo)) revert OutOfRange(...);
    if(Latitude < qlat - int256(Yeo)) revert OutOfRange(...);
    // Same for longitude...
}

Creator Tracking

if(_creators[Latitude][address(Chi)][Cause] == 0)
    _creation[Latitude].push(address(Chi));
_creators[Latitude][address(Chi)][Cause] += Deimos;

Distribution Algorithm

for each latitude in _cauda[Caude]:
    for each creator at latitude:
        charge = creator_amount % per_distribution
        transfer charge to creator
        subtract from creator_amount

VITUS Minting

Successful Code() operations mint VITUS to the player’s YUE:

Vitus.Mint(address(Chi), Dione);

---

---

---

---

---

Inherited functions and getters (26)

WORLD.Cheon()Read

A callable deployment has not been resolved for this reference.

WORLD.GetMarketRate(address _a)Read

A callable deployment has not been resolved for this reference.

WORLD.Map()Read

A callable deployment has not been resolved for this reference.

WORLD.Meta()Read

A callable deployment has not been resolved for this reference.

WORLD.MotzkinPrime()Read

A callable deployment has not been resolved for this reference.

WORLD.Purchase(address _t, uint256 _a)Simulate / call

A callable deployment has not been resolved for this reference.

WORLD.Redeem(address _t, uint256 _a)Simulate / call

A callable deployment has not been resolved for this reference.

WORLD.Rename(string newName, string newSymbol)Simulate / call

A callable deployment has not been resolved for this reference.

WORLD.Type()Read

A callable deployment has not been resolved for this reference.

WORLD.Vitus()Read

A callable deployment has not been resolved for this reference.

WORLD.Xiao()Read

A callable deployment has not been resolved for this reference.

WORLD.addOwner(address newOwner)Simulate / call

A callable deployment has not been resolved for this reference.

WORLD.allowance(address owner, address spender)Read

A callable deployment has not been resolved for this reference.

WORLD.approve(address spender, uint256 value)Simulate / call

A callable deployment has not been resolved for this reference.

WORLD.balanceOf(address account)Read

A callable deployment has not been resolved for this reference.

WORLD.decimals()Read

A callable deployment has not been resolved for this reference.

WORLD.maxSupply()Read

A callable deployment has not been resolved for this reference.

WORLD.mintToCap()Simulate / call

A callable deployment has not been resolved for this reference.

WORLD.name()Read

A callable deployment has not been resolved for this reference.

WORLD.owner(address cOwner)Read

A callable deployment has not been resolved for this reference.

WORLD.owner()Read

A callable deployment has not been resolved for this reference.

WORLD.renounceOwnership(address toRemove)Simulate / call

A callable deployment has not been resolved for this reference.

WORLD.symbol()Read

A callable deployment has not been resolved for this reference.

WORLD.totalSupply()Read

A callable deployment has not been resolved for this reference.

WORLD.transfer(address to, uint256 value)Simulate / call

A callable deployment has not been resolved for this reference.

WORLD.transferFrom(address from, address to, uint256 value)Simulate / call

A callable deployment has not been resolved for this reference.

Compiled ABI

The compiled ABI below is produced by solc 0.8.21 from the exact source bytes recorded in Source details. Consumers can paste it directly into ethers/web3/viem.

Click to expand JSON ABI

[
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "CheonAddress",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "MetaAddress",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "MapAddress",
        "type": "address"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "constructor"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "sender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "spender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "allowance",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "needed",
        "type": "uint256"
      }
    ],
    "name": "DysnomiaInsufficientAllowance",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "sender",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "from",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "to",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "balance",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "needed",
        "type": "uint256"
      }
    ],
    "name": "DysnomiaInsufficientBalance",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "asset",
        "type": "address"
      }
    ],
    "name": "MarketRateNotFound",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "int256",
        "name": "QingLatitude",
        "type": "int256"
      },
      {
        "internalType": "int256",
        "name": "QingLongitude",
        "type": "int256"
      },
      {
        "internalType": "uint256",
        "name": "Range",
        "type": "uint256"
      }
    ],
    "name": "OutOfRange",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "owner",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      }
    ],
    "name": "OwnableInvalidOwner",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "origin",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "account",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "what",
        "type": "address"
      }
    ],
    "name": "OwnableUnauthorizedAccount",
    "type": "error"
  },
  {
    "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": "newOwner",
        "type": "address"
      },
      {
        "indexed": true,
        "internalType": "bool",
        "name": "state",
        "type": "bool"
      }
    ],
    "name": "OwnershipUpdate",
    "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": "int256",
        "name": "Latitude",
        "type": "int256"
      },
      {
        "internalType": "int256",
        "name": "Longitude",
        "type": "int256"
      },
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      }
    ],
    "name": "Bun",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "int256",
        "name": "Latitude",
        "type": "int256"
      },
      {
        "internalType": "address",
        "name": "Coder",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      }
    ],
    "name": "Buzz",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Cheon",
    "outputs": [
      {
        "internalType": "contract CHEON",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "int256",
        "name": "Latitude",
        "type": "int256"
      },
      {
        "internalType": "int256",
        "name": "Longitude",
        "type": "int256"
      },
      {
        "internalType": "address",
        "name": "Cause",
        "type": "address"
      }
    ],
    "name": "Code",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "Distributive",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "Amount",
        "type": "uint256"
      }
    ],
    "name": "Distribute",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "Remaining",
        "type": "uint256"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_a",
        "type": "address"
      }
    ],
    "name": "GetMarketRate",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Map",
    "outputs": [
      {
        "internalType": "contract MAPINTERFACE",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Meta",
    "outputs": [
      {
        "internalType": "contract META",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "MotzkinPrime",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Purchase",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Redeem",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "newName",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "newSymbol",
        "type": "string"
      }
    ],
    "name": "Rename",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "Position",
        "type": "uint256"
      }
    ],
    "name": "Tail",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "Bid",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Type",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Vitus",
    "outputs": [
      {
        "internalType": "contract VITUS",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Caude",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "Distributive",
        "type": "address"
      },
      {
        "internalType": "bool",
        "name": "Allow",
        "type": "bool"
      }
    ],
    "name": "Whitelist",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Xiao",
    "outputs": [
      {
        "internalType": "contract atropaMath",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "newOwner",
        "type": "address"
      }
    ],
    "name": "addOwner",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "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": "value",
        "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": [],
    "name": "decimals",
    "outputs": [
      {
        "internalType": "uint8",
        "name": "",
        "type": "uint8"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "maxSupply",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "mintToCap",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "name",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "cOwner",
        "type": "address"
      }
    ],
    "name": "owner",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "owner",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "toRemove",
        "type": "address"
      }
    ],
    "name": "renounceOwnership",
    "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": "value",
        "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": "value",
        "type": "uint256"
      }
    ],
    "name": "transferFrom",
    "outputs": [
      {
        "internalType": "bool",
        "name": "",
        "type": "bool"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  }
]