Skip to content

Instantly share code, notes, and snippets.

@samstickkz
Created February 10, 2023 06:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save samstickkz/dfab20f65c75f719fd39b240bca60a11 to your computer and use it in GitHub Desktop.
Save samstickkz/dfab20f65c75f719fd39b240bca60a11 to your computer and use it in GitHub Desktop.
Created using remix-ide: Realtime Ethereum Contract Compiler and Runtime. Load this file by pasting this gists URL or ID at https://remix.ethereum.org/#version=soljson-v0.8.7+commit.e28d00a7.js&optimize=false&runs=200&gist=
{
"overrides": [
{
"files": "*.sol",
"options": {
"printWidth": 80,
"tabWidth": 4,
"useTabs": false,
"singleQuote": false,
"bracketSpacing": false
}
},
{
"files": "*.yml",
"options": {}
},
{
"files": "*.yaml",
"options": {}
},
{
"files": "*.toml",
"options": {}
},
{
"files": "*.json",
"options": {}
},
{
"files": "*.js",
"options": {}
},
{
"files": "*.ts",
"options": {}
}
]
}
REMIX DEFAULT WORKSPACE
Remix default workspace is present when:
i. Remix loads for the very first time
ii. A new workspace is created with 'Default' template
iii. There are no files existing in the File Explorer
This workspace contains 3 directories:
1. 'contracts': Holds three contracts with increasing levels of complexity.
2. 'scripts': Contains four typescript files to deploy a contract. It is explained below.
3. 'tests': Contains one Solidity test file for 'Ballot' contract & one JS test file for 'Storage' contract.
SCRIPTS
The 'scripts' folder has four typescript files which help to deploy the 'Storage' contract using 'web3.js' and 'ethers.js' libraries.
For the deployment of any other contract, just update the contract's name from 'Storage' to the desired contract and provide constructor arguments accordingly
in the file `deploy_with_ethers.ts` or `deploy_with_web3.ts`
In the 'tests' folder there is a script containing Mocha-Chai unit tests for 'Storage' contract.
To run a script, right click on file name in the file explorer and click 'Run'. Remember, Solidity file must already be compiled.
Output from script will appear in remix terminal.
Please note, require/import is supported in a limited manner for Remix supported modules.
For now, modules supported by Remix are ethers, web3, swarmgw, chai, multihashes, remix and hardhat only for hardhat.ethers object/plugin.
For unsupported modules, an error like this will be thrown: '<module_name> module require is not supported by Remix IDE' will be shown.
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.7.0 <0.9.0;
/**
* @title Storage
* @dev Store & retrieve value in a variable
* @custom:dev-run-script ./scripts/deploy_with_ethers.ts
*/
contract Storage {
uint256 number;
/**
* @dev Store value in variable
* @param num value to store
*/
function store(uint256 num) public {
number = num;
}
/**
* @dev Return value
* @return value of 'number'
*/
function retrieve() public view returns (uint256){
return number;
}
}
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.7.0 <0.9.0;
import "hardhat/console.sol";
/**
* @title Owner
* @dev Set & change owner
*/
contract Owner {
address private owner;
// event for EVM logging
event OwnerSet(address indexed oldOwner, address indexed newOwner);
// modifier to check if caller is owner
modifier isOwner() {
// If the first argument of 'require' evaluates to 'false', execution terminates and all
// changes to the state and to Ether balances are reverted.
// This used to consume all gas in old EVM versions, but not anymore.
// It is often a good idea to use 'require' to check if functions are called correctly.
// As a second argument, you can also provide an explanation about what went wrong.
require(msg.sender == owner, "Caller is not owner");
_;
}
/**
* @dev Set contract deployer as owner
*/
constructor() {
console.log("Owner contract deployed by:", msg.sender);
owner = msg.sender; // 'msg.sender' is sender of current call, contract deployer for a constructor
emit OwnerSet(address(0), owner);
}
/**
* @dev Change owner
* @param newOwner address of new owner
*/
function changeOwner(address newOwner) public isOwner {
emit OwnerSet(owner, newOwner);
owner = newOwner;
}
/**
* @dev Return owner address
* @return address of owner
*/
function getOwner() external view returns (address) {
return owner;
}
}
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.7.0 <0.9.0;
/**
* @title Ballot
* @dev Implements voting process along with vote delegation
*/
contract Ballot {
struct Voter {
uint weight; // weight is accumulated by delegation
bool voted; // if true, that person already voted
address delegate; // person delegated to
uint vote; // index of the voted proposal
}
struct Proposal {
// If you can limit the length to a certain number of bytes,
// always use one of bytes1 to bytes32 because they are much cheaper
bytes32 name; // short name (up to 32 bytes)
uint voteCount; // number of accumulated votes
}
address public chairperson;
mapping(address => Voter) public voters;
Proposal[] public proposals;
/**
* @dev Create a new ballot to choose one of 'proposalNames'.
* @param proposalNames names of proposals
*/
constructor(bytes32[] memory proposalNames) {
chairperson = msg.sender;
voters[chairperson].weight = 1;
for (uint i = 0; i < proposalNames.length; i++) {
// 'Proposal({...})' creates a temporary
// Proposal object and 'proposals.push(...)'
// appends it to the end of 'proposals'.
proposals.push(Proposal({
name: proposalNames[i],
voteCount: 0
}));
}
}
/**
* @dev Give 'voter' the right to vote on this ballot. May only be called by 'chairperson'.
* @param voter address of voter
*/
function giveRightToVote(address voter) public {
require(
msg.sender == chairperson,
"Only chairperson can give right to vote."
);
require(
!voters[voter].voted,
"The voter already voted."
);
require(voters[voter].weight == 0);
voters[voter].weight = 1;
}
/**
* @dev Delegate your vote to the voter 'to'.
* @param to address to which vote is delegated
*/
function delegate(address to) public {
Voter storage sender = voters[msg.sender];
require(!sender.voted, "You already voted.");
require(to != msg.sender, "Self-delegation is disallowed.");
while (voters[to].delegate != address(0)) {
to = voters[to].delegate;
// We found a loop in the delegation, not allowed.
require(to != msg.sender, "Found loop in delegation.");
}
sender.voted = true;
sender.delegate = to;
Voter storage delegate_ = voters[to];
if (delegate_.voted) {
// If the delegate already voted,
// directly add to the number of votes
proposals[delegate_.vote].voteCount += sender.weight;
} else {
// If the delegate did not vote yet,
// add to her weight.
delegate_.weight += sender.weight;
}
}
/**
* @dev Give your vote (including votes delegated to you) to proposal 'proposals[proposal].name'.
* @param proposal index of proposal in the proposals array
*/
function vote(uint proposal) public {
Voter storage sender = voters[msg.sender];
require(sender.weight != 0, "Has no right to vote");
require(!sender.voted, "Already voted.");
sender.voted = true;
sender.vote = proposal;
// If 'proposal' is out of the range of the array,
// this will throw automatically and revert all
// changes.
proposals[proposal].voteCount += sender.weight;
}
/**
* @dev Computes the winning proposal taking all previous votes into account.
* @return winningProposal_ index of winning proposal in the proposals array
*/
function winningProposal() public view
returns (uint winningProposal_)
{
uint winningVoteCount = 0;
for (uint p = 0; p < proposals.length; p++) {
if (proposals[p].voteCount > winningVoteCount) {
winningVoteCount = proposals[p].voteCount;
winningProposal_ = p;
}
}
}
/**
* @dev Calls winningProposal() function to get the index of the winner contained in the proposals array and then
* @return winnerName_ the name of the winner
*/
function winnerName() public view
returns (bytes32 winnerName_)
{
winnerName_ = proposals[winningProposal()].name;
}
}
{
"id": "5a41980de044b57e6044023d332e8316",
"_format": "hh-sol-build-info-1",
"solcVersion": "0.8.7",
"solcLongVersion": "0.8.7+commit.e28d00a7",
"input": {
"language": "Solidity",
"sources": {
"contracts/sam.sol": {
"content": "// SPDX-License-Identifier: MIT\npragma solidity >=0.6.2 <0.9.0; \n\ncontract Sam{\n uint balance;\n\n constructor(){\n balance=0;\n }\n\n // deposit \n function deposit (uint amount) public {\n balance += amount;\n }\n\n // withdraw \n function withdraw (uint amount) public {\n require(balance > amount, \"sapa dey ?\");\n balance -= amount;\n }\n\n //balance\n\n function getBalance() public view returns(uint){\n return balance;\n \n }\n\n}"
}
},
"settings": {
"optimizer": {
"enabled": false,
"runs": 200
},
"outputSelection": {
"*": {
"": [
"ast"
],
"*": [
"abi",
"metadata",
"devdoc",
"userdoc",
"storageLayout",
"evm.legacyAssembly",
"evm.bytecode",
"evm.deployedBytecode",
"evm.methodIdentifiers",
"evm.gasEstimates",
"evm.assembly"
]
}
}
}
},
"output": {
"contracts": {
"contracts/sam.sol": {
"Sam": {
"abi": [
{
"inputs": [],
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
}
],
"name": "deposit",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "getBalance",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
}
],
"name": "withdraw",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
}
],
"devdoc": {
"kind": "dev",
"methods": {},
"version": 1
},
"evm": {
"assembly": " /* \"contracts/sam.sol\":66:492 contract Sam{... */\n mstore(0x40, 0x80)\n /* \"contracts/sam.sol\":103:142 constructor(){... */\n callvalue\n dup1\n iszero\n tag_1\n jumpi\n 0x00\n dup1\n revert\ntag_1:\n pop\n /* \"contracts/sam.sol\":134:135 0 */\n 0x00\n /* \"contracts/sam.sol\":126:133 balance */\n dup1\n /* \"contracts/sam.sol\":126:135 balance=0 */\n dup2\n swap1\n sstore\n pop\n /* \"contracts/sam.sol\":66:492 contract Sam{... */\n dataSize(sub_0)\n dup1\n dataOffset(sub_0)\n 0x00\n codecopy\n 0x00\n return\nstop\n\nsub_0: assembly {\n /* \"contracts/sam.sol\":66:492 contract Sam{... */\n mstore(0x40, 0x80)\n callvalue\n dup1\n iszero\n tag_1\n jumpi\n 0x00\n dup1\n revert\n tag_1:\n pop\n jumpi(tag_2, lt(calldatasize, 0x04))\n shr(0xe0, calldataload(0x00))\n dup1\n 0x12065fe0\n eq\n tag_3\n jumpi\n dup1\n 0x2e1a7d4d\n eq\n tag_4\n jumpi\n dup1\n 0xb6b55f25\n eq\n tag_5\n jumpi\n tag_2:\n 0x00\n dup1\n revert\n /* \"contracts/sam.sol\":402:489 function getBalance() public view returns(uint){... */\n tag_3:\n tag_6\n tag_7\n jump\t// in\n tag_6:\n mload(0x40)\n tag_8\n swap2\n swap1\n tag_9\n jump\t// in\n tag_8:\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n /* \"contracts/sam.sol\":259:381 function withdraw (uint amount) public {... */\n tag_4:\n tag_10\n 0x04\n dup1\n calldatasize\n sub\n dup2\n add\n swap1\n tag_11\n swap2\n swap1\n tag_12\n jump\t// in\n tag_11:\n tag_13\n jump\t// in\n tag_10:\n stop\n /* \"contracts/sam.sol\":164:236 function deposit (uint amount) public {... */\n tag_5:\n tag_14\n 0x04\n dup1\n calldatasize\n sub\n dup2\n add\n swap1\n tag_15\n swap2\n swap1\n tag_12\n jump\t// in\n tag_15:\n tag_16\n jump\t// in\n tag_14:\n stop\n /* \"contracts/sam.sol\":402:489 function getBalance() public view returns(uint){... */\n tag_7:\n /* \"contracts/sam.sol\":444:448 uint */\n 0x00\n /* \"contracts/sam.sol\":466:473 balance */\n dup1\n sload\n /* \"contracts/sam.sol\":459:473 return balance */\n swap1\n pop\n /* \"contracts/sam.sol\":402:489 function getBalance() public view returns(uint){... */\n swap1\n jump\t// out\n /* \"contracts/sam.sol\":259:381 function withdraw (uint amount) public {... */\n tag_13:\n /* \"contracts/sam.sol\":326:332 amount */\n dup1\n /* \"contracts/sam.sol\":316:323 balance */\n sload(0x00)\n /* \"contracts/sam.sol\":316:332 balance > amount */\n gt\n /* \"contracts/sam.sol\":308:347 require(balance > amount, \"sapa dey ?\") */\n tag_19\n jumpi\n mload(0x40)\n 0x08c379a000000000000000000000000000000000000000000000000000000000\n dup2\n mstore\n 0x04\n add\n tag_20\n swap1\n tag_21\n jump\t// in\n tag_20:\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n revert\n tag_19:\n /* \"contracts/sam.sol\":368:374 amount */\n dup1\n /* \"contracts/sam.sol\":357:364 balance */\n 0x00\n dup1\n /* \"contracts/sam.sol\":357:374 balance -= amount */\n dup3\n dup3\n sload\n tag_22\n swap2\n swap1\n tag_23\n jump\t// in\n tag_22:\n swap3\n pop\n pop\n dup2\n swap1\n sstore\n pop\n /* \"contracts/sam.sol\":259:381 function withdraw (uint amount) public {... */\n pop\n jump\t// out\n /* \"contracts/sam.sol\":164:236 function deposit (uint amount) public {... */\n tag_16:\n /* \"contracts/sam.sol\":223:229 amount */\n dup1\n /* \"contracts/sam.sol\":212:219 balance */\n 0x00\n dup1\n /* \"contracts/sam.sol\":212:229 balance += amount */\n dup3\n dup3\n sload\n tag_25\n swap2\n swap1\n tag_26\n jump\t// in\n tag_25:\n swap3\n pop\n pop\n dup2\n swap1\n sstore\n pop\n /* \"contracts/sam.sol\":164:236 function deposit (uint amount) public {... */\n pop\n jump\t// out\n /* \"#utility.yul\":7:146 */\n tag_28:\n /* \"#utility.yul\":53:58 */\n 0x00\n /* \"#utility.yul\":91:97 */\n dup2\n /* \"#utility.yul\":78:98 */\n calldataload\n /* \"#utility.yul\":69:98 */\n swap1\n pop\n /* \"#utility.yul\":107:140 */\n tag_30\n /* \"#utility.yul\":134:139 */\n dup2\n /* \"#utility.yul\":107:140 */\n tag_31\n jump\t// in\n tag_30:\n /* \"#utility.yul\":7:146 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":152:481 */\n tag_12:\n /* \"#utility.yul\":211:217 */\n 0x00\n /* \"#utility.yul\":260:262 */\n 0x20\n /* \"#utility.yul\":248:257 */\n dup3\n /* \"#utility.yul\":239:246 */\n dup5\n /* \"#utility.yul\":235:258 */\n sub\n /* \"#utility.yul\":231:263 */\n slt\n /* \"#utility.yul\":228:347 */\n iszero\n tag_33\n jumpi\n /* \"#utility.yul\":266:345 */\n tag_34\n tag_35\n jump\t// in\n tag_34:\n /* \"#utility.yul\":228:347 */\n tag_33:\n /* \"#utility.yul\":386:387 */\n 0x00\n /* \"#utility.yul\":411:464 */\n tag_36\n /* \"#utility.yul\":456:463 */\n dup5\n /* \"#utility.yul\":447:453 */\n dup3\n /* \"#utility.yul\":436:445 */\n dup6\n /* \"#utility.yul\":432:454 */\n add\n /* \"#utility.yul\":411:464 */\n tag_28\n jump\t// in\n tag_36:\n /* \"#utility.yul\":401:464 */\n swap2\n pop\n /* \"#utility.yul\":357:474 */\n pop\n /* \"#utility.yul\":152:481 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":487:853 */\n tag_37:\n /* \"#utility.yul\":629:632 */\n 0x00\n /* \"#utility.yul\":650:717 */\n tag_39\n /* \"#utility.yul\":714:716 */\n 0x0a\n /* \"#utility.yul\":709:712 */\n dup4\n /* \"#utility.yul\":650:717 */\n tag_40\n jump\t// in\n tag_39:\n /* \"#utility.yul\":643:717 */\n swap2\n pop\n /* \"#utility.yul\":726:819 */\n tag_41\n /* \"#utility.yul\":815:818 */\n dup3\n /* \"#utility.yul\":726:819 */\n tag_42\n jump\t// in\n tag_41:\n /* \"#utility.yul\":844:846 */\n 0x20\n /* \"#utility.yul\":839:842 */\n dup3\n /* \"#utility.yul\":835:847 */\n add\n /* \"#utility.yul\":828:847 */\n swap1\n pop\n /* \"#utility.yul\":487:853 */\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":859:977 */\n tag_43:\n /* \"#utility.yul\":946:970 */\n tag_45\n /* \"#utility.yul\":964:969 */\n dup2\n /* \"#utility.yul\":946:970 */\n tag_46\n jump\t// in\n tag_45:\n /* \"#utility.yul\":941:944 */\n dup3\n /* \"#utility.yul\":934:971 */\n mstore\n /* \"#utility.yul\":859:977 */\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":983:1402 */\n tag_21:\n /* \"#utility.yul\":1149:1153 */\n 0x00\n /* \"#utility.yul\":1187:1189 */\n 0x20\n /* \"#utility.yul\":1176:1185 */\n dup3\n /* \"#utility.yul\":1172:1190 */\n add\n /* \"#utility.yul\":1164:1190 */\n swap1\n pop\n /* \"#utility.yul\":1236:1245 */\n dup2\n /* \"#utility.yul\":1230:1234 */\n dup2\n /* \"#utility.yul\":1226:1246 */\n sub\n /* \"#utility.yul\":1222:1223 */\n 0x00\n /* \"#utility.yul\":1211:1220 */\n dup4\n /* \"#utility.yul\":1207:1224 */\n add\n /* \"#utility.yul\":1200:1247 */\n mstore\n /* \"#utility.yul\":1264:1395 */\n tag_48\n /* \"#utility.yul\":1390:1394 */\n dup2\n /* \"#utility.yul\":1264:1395 */\n tag_37\n jump\t// in\n tag_48:\n /* \"#utility.yul\":1256:1395 */\n swap1\n pop\n /* \"#utility.yul\":983:1402 */\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":1408:1630 */\n tag_9:\n /* \"#utility.yul\":1501:1505 */\n 0x00\n /* \"#utility.yul\":1539:1541 */\n 0x20\n /* \"#utility.yul\":1528:1537 */\n dup3\n /* \"#utility.yul\":1524:1542 */\n add\n /* \"#utility.yul\":1516:1542 */\n swap1\n pop\n /* \"#utility.yul\":1552:1623 */\n tag_50\n /* \"#utility.yul\":1620:1621 */\n 0x00\n /* \"#utility.yul\":1609:1618 */\n dup4\n /* \"#utility.yul\":1605:1622 */\n add\n /* \"#utility.yul\":1596:1602 */\n dup5\n /* \"#utility.yul\":1552:1623 */\n tag_43\n jump\t// in\n tag_50:\n /* \"#utility.yul\":1408:1630 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":1717:1886 */\n tag_40:\n /* \"#utility.yul\":1801:1812 */\n 0x00\n /* \"#utility.yul\":1835:1841 */\n dup3\n /* \"#utility.yul\":1830:1833 */\n dup3\n /* \"#utility.yul\":1823:1842 */\n mstore\n /* \"#utility.yul\":1875:1879 */\n 0x20\n /* \"#utility.yul\":1870:1873 */\n dup3\n /* \"#utility.yul\":1866:1880 */\n add\n /* \"#utility.yul\":1851:1880 */\n swap1\n pop\n /* \"#utility.yul\":1717:1886 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":1892:2197 */\n tag_26:\n /* \"#utility.yul\":1932:1935 */\n 0x00\n /* \"#utility.yul\":1951:1971 */\n tag_55\n /* \"#utility.yul\":1969:1970 */\n dup3\n /* \"#utility.yul\":1951:1971 */\n tag_46\n jump\t// in\n tag_55:\n /* \"#utility.yul\":1946:1971 */\n swap2\n pop\n /* \"#utility.yul\":1985:2005 */\n tag_56\n /* \"#utility.yul\":2003:2004 */\n dup4\n /* \"#utility.yul\":1985:2005 */\n tag_46\n jump\t// in\n tag_56:\n /* \"#utility.yul\":1980:2005 */\n swap3\n pop\n /* \"#utility.yul\":2139:2140 */\n dup3\n /* \"#utility.yul\":2071:2137 */\n 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\n /* \"#utility.yul\":2067:2141 */\n sub\n /* \"#utility.yul\":2064:2065 */\n dup3\n /* \"#utility.yul\":2061:2142 */\n gt\n /* \"#utility.yul\":2058:2165 */\n iszero\n tag_57\n jumpi\n /* \"#utility.yul\":2145:2163 */\n tag_58\n tag_59\n jump\t// in\n tag_58:\n /* \"#utility.yul\":2058:2165 */\n tag_57:\n /* \"#utility.yul\":2189:2190 */\n dup3\n /* \"#utility.yul\":2186:2187 */\n dup3\n /* \"#utility.yul\":2182:2191 */\n add\n /* \"#utility.yul\":2175:2191 */\n swap1\n pop\n /* \"#utility.yul\":1892:2197 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":2203:2394 */\n tag_23:\n /* \"#utility.yul\":2243:2247 */\n 0x00\n /* \"#utility.yul\":2263:2283 */\n tag_61\n /* \"#utility.yul\":2281:2282 */\n dup3\n /* \"#utility.yul\":2263:2283 */\n tag_46\n jump\t// in\n tag_61:\n /* \"#utility.yul\":2258:2283 */\n swap2\n pop\n /* \"#utility.yul\":2297:2317 */\n tag_62\n /* \"#utility.yul\":2315:2316 */\n dup4\n /* \"#utility.yul\":2297:2317 */\n tag_46\n jump\t// in\n tag_62:\n /* \"#utility.yul\":2292:2317 */\n swap3\n pop\n /* \"#utility.yul\":2336:2337 */\n dup3\n /* \"#utility.yul\":2333:2334 */\n dup3\n /* \"#utility.yul\":2330:2338 */\n lt\n /* \"#utility.yul\":2327:2361 */\n iszero\n tag_63\n jumpi\n /* \"#utility.yul\":2341:2359 */\n tag_64\n tag_59\n jump\t// in\n tag_64:\n /* \"#utility.yul\":2327:2361 */\n tag_63:\n /* \"#utility.yul\":2386:2387 */\n dup3\n /* \"#utility.yul\":2383:2384 */\n dup3\n /* \"#utility.yul\":2379:2388 */\n sub\n /* \"#utility.yul\":2371:2388 */\n swap1\n pop\n /* \"#utility.yul\":2203:2394 */\n swap3\n swap2\n pop\n pop\n jump\t// out\n /* \"#utility.yul\":2400:2477 */\n tag_46:\n /* \"#utility.yul\":2437:2444 */\n 0x00\n /* \"#utility.yul\":2466:2471 */\n dup2\n /* \"#utility.yul\":2455:2471 */\n swap1\n pop\n /* \"#utility.yul\":2400:2477 */\n swap2\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":2483:2663 */\n tag_59:\n /* \"#utility.yul\":2531:2608 */\n 0x4e487b7100000000000000000000000000000000000000000000000000000000\n /* \"#utility.yul\":2528:2529 */\n 0x00\n /* \"#utility.yul\":2521:2609 */\n mstore\n /* \"#utility.yul\":2628:2632 */\n 0x11\n /* \"#utility.yul\":2625:2626 */\n 0x04\n /* \"#utility.yul\":2618:2633 */\n mstore\n /* \"#utility.yul\":2652:2656 */\n 0x24\n /* \"#utility.yul\":2649:2650 */\n 0x00\n /* \"#utility.yul\":2642:2657 */\n revert\n /* \"#utility.yul\":2792:2909 */\n tag_35:\n /* \"#utility.yul\":2901:2902 */\n 0x00\n /* \"#utility.yul\":2898:2899 */\n dup1\n /* \"#utility.yul\":2891:2903 */\n revert\n /* \"#utility.yul\":2915:3075 */\n tag_42:\n /* \"#utility.yul\":3055:3067 */\n 0x7361706120646579203f00000000000000000000000000000000000000000000\n /* \"#utility.yul\":3051:3052 */\n 0x00\n /* \"#utility.yul\":3043:3049 */\n dup3\n /* \"#utility.yul\":3039:3053 */\n add\n /* \"#utility.yul\":3032:3068 */\n mstore\n /* \"#utility.yul\":2915:3075 */\n pop\n jump\t// out\n /* \"#utility.yul\":3081:3203 */\n tag_31:\n /* \"#utility.yul\":3154:3178 */\n tag_72\n /* \"#utility.yul\":3172:3177 */\n dup2\n /* \"#utility.yul\":3154:3178 */\n tag_46\n jump\t// in\n tag_72:\n /* \"#utility.yul\":3147:3152 */\n dup2\n /* \"#utility.yul\":3144:3179 */\n eq\n /* \"#utility.yul\":3134:3197 */\n tag_73\n jumpi\n /* \"#utility.yul\":3193:3194 */\n 0x00\n /* \"#utility.yul\":3190:3191 */\n dup1\n /* \"#utility.yul\":3183:3195 */\n revert\n /* \"#utility.yul\":3134:3197 */\n tag_73:\n /* \"#utility.yul\":3081:3203 */\n pop\n jump\t// out\n\n auxdata: 0xa2646970667358221220c384c940ce7d446203b82508d55151cf77e914f6bfbf15bd57b965fb74707d4064736f6c63430008070033\n}\n",
"bytecode": {
"functionDebugData": {
"@_11": {
"entryPoint": null,
"id": 11,
"parameterSlots": 0,
"returnSlots": 0
}
},
"generatedSources": [],
"linkReferences": {},
"object": "608060405234801561001057600080fd5b506000808190555061031d806100276000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c806312065fe0146100465780632e1a7d4d14610064578063b6b55f2514610080575b600080fd5b61004e61009c565b60405161005b91906101b3565b60405180910390f35b61007e60048036038101906100799190610134565b6100a5565b005b61009a60048036038101906100959190610134565b610104565b005b60008054905090565b80600054116100e9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100e090610193565b60405180910390fd5b806000808282546100fa9190610235565b9250508190555050565b8060008082825461011591906101df565b9250508190555050565b60008135905061012e816102d0565b92915050565b60006020828403121561014a576101496102a2565b5b60006101588482850161011f565b91505092915050565b600061016e600a836101ce565b9150610179826102a7565b602082019050919050565b61018d81610269565b82525050565b600060208201905081810360008301526101ac81610161565b9050919050565b60006020820190506101c86000830184610184565b92915050565b600082825260208201905092915050565b60006101ea82610269565b91506101f583610269565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561022a57610229610273565b5b828201905092915050565b600061024082610269565b915061024b83610269565b92508282101561025e5761025d610273565b5b828203905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600080fd5b7f7361706120646579203f00000000000000000000000000000000000000000000600082015250565b6102d981610269565b81146102e457600080fd5b5056fea2646970667358221220c384c940ce7d446203b82508d55151cf77e914f6bfbf15bd57b965fb74707d4064736f6c63430008070033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x0 DUP1 DUP2 SWAP1 SSTORE POP PUSH2 0x31D DUP1 PUSH2 0x27 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x41 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x12065FE0 EQ PUSH2 0x46 JUMPI DUP1 PUSH4 0x2E1A7D4D EQ PUSH2 0x64 JUMPI DUP1 PUSH4 0xB6B55F25 EQ PUSH2 0x80 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x4E PUSH2 0x9C JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x5B SWAP2 SWAP1 PUSH2 0x1B3 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x7E PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x79 SWAP2 SWAP1 PUSH2 0x134 JUMP JUMPDEST PUSH2 0xA5 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x9A PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x95 SWAP2 SWAP1 PUSH2 0x134 JUMP JUMPDEST PUSH2 0x104 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST DUP1 PUSH1 0x0 SLOAD GT PUSH2 0xE9 JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD PUSH2 0xE0 SWAP1 PUSH2 0x193 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST DUP1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0xFA SWAP2 SWAP1 PUSH2 0x235 JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP POP JUMP JUMPDEST DUP1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0x115 SWAP2 SWAP1 PUSH2 0x1DF JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x12E DUP2 PUSH2 0x2D0 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x14A JUMPI PUSH2 0x149 PUSH2 0x2A2 JUMP JUMPDEST JUMPDEST PUSH1 0x0 PUSH2 0x158 DUP5 DUP3 DUP6 ADD PUSH2 0x11F JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x16E PUSH1 0xA DUP4 PUSH2 0x1CE JUMP JUMPDEST SWAP2 POP PUSH2 0x179 DUP3 PUSH2 0x2A7 JUMP JUMPDEST PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x18D DUP2 PUSH2 0x269 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x1AC DUP2 PUSH2 0x161 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x1C8 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x184 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x1EA DUP3 PUSH2 0x269 JUMP JUMPDEST SWAP2 POP PUSH2 0x1F5 DUP4 PUSH2 0x269 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0x22A JUMPI PUSH2 0x229 PUSH2 0x273 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x240 DUP3 PUSH2 0x269 JUMP JUMPDEST SWAP2 POP PUSH2 0x24B DUP4 PUSH2 0x269 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 LT ISZERO PUSH2 0x25E JUMPI PUSH2 0x25D PUSH2 0x273 JUMP JUMPDEST JUMPDEST DUP3 DUP3 SUB SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH32 0x7361706120646579203F00000000000000000000000000000000000000000000 PUSH1 0x0 DUP3 ADD MSTORE POP JUMP JUMPDEST PUSH2 0x2D9 DUP2 PUSH2 0x269 JUMP JUMPDEST DUP2 EQ PUSH2 0x2E4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xC3 DUP5 0xC9 BLOCKHASH 0xCE PUSH30 0x446203B82508D55151CF77E914F6BFBF15BD57B965FB74707D4064736F6C PUSH4 0x43000807 STOP CALLER ",
"sourceMap": "66:426:0:-:0;;;103:39;;;;;;;;;;134:1;126:7;:9;;;;66:426;;;;;;"
},
"deployedBytecode": {
"functionDebugData": {
"@deposit_21": {
"entryPoint": 260,
"id": 21,
"parameterSlots": 1,
"returnSlots": 0
},
"@getBalance_46": {
"entryPoint": 156,
"id": 46,
"parameterSlots": 0,
"returnSlots": 1
},
"@withdraw_38": {
"entryPoint": 165,
"id": 38,
"parameterSlots": 1,
"returnSlots": 0
},
"abi_decode_t_uint256": {
"entryPoint": 287,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_decode_tuple_t_uint256": {
"entryPoint": 308,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack": {
"entryPoint": 353,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_encode_t_uint256_to_t_uint256_fromStack": {
"entryPoint": 388,
"id": null,
"parameterSlots": 2,
"returnSlots": 0
},
"abi_encode_tuple_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e__to_t_string_memory_ptr__fromStack_reversed": {
"entryPoint": 403,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed": {
"entryPoint": 435,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"allocate_unbounded": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 1
},
"array_storeLengthForEncoding_t_string_memory_ptr_fromStack": {
"entryPoint": 462,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"checked_add_t_uint256": {
"entryPoint": 479,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"checked_sub_t_uint256": {
"entryPoint": 565,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"cleanup_t_uint256": {
"entryPoint": 617,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"panic_error_0x11": {
"entryPoint": 627,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b": {
"entryPoint": 674,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e": {
"entryPoint": 679,
"id": null,
"parameterSlots": 1,
"returnSlots": 0
},
"validator_revert_t_uint256": {
"entryPoint": 720,
"id": null,
"parameterSlots": 1,
"returnSlots": 0
}
},
"generatedSources": [
{
"ast": {
"nodeType": "YulBlock",
"src": "0:3206:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "59:87:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "69:29:1",
"value": {
"arguments": [
{
"name": "offset",
"nodeType": "YulIdentifier",
"src": "91:6:1"
}
],
"functionName": {
"name": "calldataload",
"nodeType": "YulIdentifier",
"src": "78:12:1"
},
"nodeType": "YulFunctionCall",
"src": "78:20:1"
},
"variableNames": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "69:5:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "134:5:1"
}
],
"functionName": {
"name": "validator_revert_t_uint256",
"nodeType": "YulIdentifier",
"src": "107:26:1"
},
"nodeType": "YulFunctionCall",
"src": "107:33:1"
},
"nodeType": "YulExpressionStatement",
"src": "107:33:1"
}
]
},
"name": "abi_decode_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "offset",
"nodeType": "YulTypedName",
"src": "37:6:1",
"type": ""
},
{
"name": "end",
"nodeType": "YulTypedName",
"src": "45:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "53:5:1",
"type": ""
}
],
"src": "7:139:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "218:263:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "264:83:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nodeType": "YulIdentifier",
"src": "266:77:1"
},
"nodeType": "YulFunctionCall",
"src": "266:79:1"
},
"nodeType": "YulExpressionStatement",
"src": "266:79:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "dataEnd",
"nodeType": "YulIdentifier",
"src": "239:7:1"
},
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "248:9:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "235:3:1"
},
"nodeType": "YulFunctionCall",
"src": "235:23:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "260:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "slt",
"nodeType": "YulIdentifier",
"src": "231:3:1"
},
"nodeType": "YulFunctionCall",
"src": "231:32:1"
},
"nodeType": "YulIf",
"src": "228:119:1"
},
{
"nodeType": "YulBlock",
"src": "357:117:1",
"statements": [
{
"nodeType": "YulVariableDeclaration",
"src": "372:15:1",
"value": {
"kind": "number",
"nodeType": "YulLiteral",
"src": "386:1:1",
"type": "",
"value": "0"
},
"variables": [
{
"name": "offset",
"nodeType": "YulTypedName",
"src": "376:6:1",
"type": ""
}
]
},
{
"nodeType": "YulAssignment",
"src": "401:63:1",
"value": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "436:9:1"
},
{
"name": "offset",
"nodeType": "YulIdentifier",
"src": "447:6:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "432:3:1"
},
"nodeType": "YulFunctionCall",
"src": "432:22:1"
},
{
"name": "dataEnd",
"nodeType": "YulIdentifier",
"src": "456:7:1"
}
],
"functionName": {
"name": "abi_decode_t_uint256",
"nodeType": "YulIdentifier",
"src": "411:20:1"
},
"nodeType": "YulFunctionCall",
"src": "411:53:1"
},
"variableNames": [
{
"name": "value0",
"nodeType": "YulIdentifier",
"src": "401:6:1"
}
]
}
]
}
]
},
"name": "abi_decode_tuple_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nodeType": "YulTypedName",
"src": "188:9:1",
"type": ""
},
{
"name": "dataEnd",
"nodeType": "YulTypedName",
"src": "199:7:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value0",
"nodeType": "YulTypedName",
"src": "211:6:1",
"type": ""
}
],
"src": "152:329:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "633:220:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "643:74:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "709:3:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "714:2:1",
"type": "",
"value": "10"
}
],
"functionName": {
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nodeType": "YulIdentifier",
"src": "650:58:1"
},
"nodeType": "YulFunctionCall",
"src": "650:67:1"
},
"variableNames": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "643:3:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "815:3:1"
}
],
"functionName": {
"name": "store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e",
"nodeType": "YulIdentifier",
"src": "726:88:1"
},
"nodeType": "YulFunctionCall",
"src": "726:93:1"
},
"nodeType": "YulExpressionStatement",
"src": "726:93:1"
},
{
"nodeType": "YulAssignment",
"src": "828:19:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "839:3:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "844:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "835:3:1"
},
"nodeType": "YulFunctionCall",
"src": "835:12:1"
},
"variableNames": [
{
"name": "end",
"nodeType": "YulIdentifier",
"src": "828:3:1"
}
]
}
]
},
"name": "abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "621:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "end",
"nodeType": "YulTypedName",
"src": "629:3:1",
"type": ""
}
],
"src": "487:366:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "924:53:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "941:3:1"
},
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "964:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "946:17:1"
},
"nodeType": "YulFunctionCall",
"src": "946:24:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "934:6:1"
},
"nodeType": "YulFunctionCall",
"src": "934:37:1"
},
"nodeType": "YulExpressionStatement",
"src": "934:37:1"
}
]
},
"name": "abi_encode_t_uint256_to_t_uint256_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "912:5:1",
"type": ""
},
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "919:3:1",
"type": ""
}
],
"src": "859:118:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1154:248:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1164:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1176:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1187:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1172:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1172:18:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1164:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1211:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1222:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1207:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1207:17:1"
},
{
"arguments": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1230:4:1"
},
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1236:9:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "1226:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1226:20:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1200:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1200:47:1"
},
"nodeType": "YulExpressionStatement",
"src": "1200:47:1"
},
{
"nodeType": "YulAssignment",
"src": "1256:139:1",
"value": {
"arguments": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1390:4:1"
}
],
"functionName": {
"name": "abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack",
"nodeType": "YulIdentifier",
"src": "1264:124:1"
},
"nodeType": "YulFunctionCall",
"src": "1264:131:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1256:4:1"
}
]
}
]
},
"name": "abi_encode_tuple_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e__to_t_string_memory_ptr__fromStack_reversed",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nodeType": "YulTypedName",
"src": "1134:9:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nodeType": "YulTypedName",
"src": "1149:4:1",
"type": ""
}
],
"src": "983:419:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1506:124:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1516:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1528:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1539:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1524:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1524:18:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1516:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value0",
"nodeType": "YulIdentifier",
"src": "1596:6:1"
},
{
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1609:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1620:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1605:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1605:17:1"
}
],
"functionName": {
"name": "abi_encode_t_uint256_to_t_uint256_fromStack",
"nodeType": "YulIdentifier",
"src": "1552:43:1"
},
"nodeType": "YulFunctionCall",
"src": "1552:71:1"
},
"nodeType": "YulExpressionStatement",
"src": "1552:71:1"
}
]
},
"name": "abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nodeType": "YulTypedName",
"src": "1478:9:1",
"type": ""
},
{
"name": "value0",
"nodeType": "YulTypedName",
"src": "1490:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nodeType": "YulTypedName",
"src": "1501:4:1",
"type": ""
}
],
"src": "1408:222:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1676:35:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1686:19:1",
"value": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1702:2:1",
"type": "",
"value": "64"
}
],
"functionName": {
"name": "mload",
"nodeType": "YulIdentifier",
"src": "1696:5:1"
},
"nodeType": "YulFunctionCall",
"src": "1696:9:1"
},
"variableNames": [
{
"name": "memPtr",
"nodeType": "YulIdentifier",
"src": "1686:6:1"
}
]
}
]
},
"name": "allocate_unbounded",
"nodeType": "YulFunctionDefinition",
"returnVariables": [
{
"name": "memPtr",
"nodeType": "YulTypedName",
"src": "1669:6:1",
"type": ""
}
],
"src": "1636:75:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1813:73:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "1830:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1835:6:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1823:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1823:19:1"
},
"nodeType": "YulExpressionStatement",
"src": "1823:19:1"
},
{
"nodeType": "YulAssignment",
"src": "1851:29:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "1870:3:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1875:4:1",
"type": "",
"value": "0x20"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1866:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1866:14:1"
},
"variableNames": [
{
"name": "updated_pos",
"nodeType": "YulIdentifier",
"src": "1851:11:1"
}
]
}
]
},
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "1785:3:1",
"type": ""
},
{
"name": "length",
"nodeType": "YulTypedName",
"src": "1790:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "updated_pos",
"nodeType": "YulTypedName",
"src": "1801:11:1",
"type": ""
}
],
"src": "1717:169:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1936:261:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1946:25:1",
"value": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "1969:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "1951:17:1"
},
"nodeType": "YulFunctionCall",
"src": "1951:20:1"
},
"variableNames": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "1946:1:1"
}
]
},
{
"nodeType": "YulAssignment",
"src": "1980:25:1",
"value": {
"arguments": [
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2003:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "1985:17:1"
},
"nodeType": "YulFunctionCall",
"src": "1985:20:1"
},
"variableNames": [
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "1980:1:1"
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "2143:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nodeType": "YulIdentifier",
"src": "2145:16:1"
},
"nodeType": "YulFunctionCall",
"src": "2145:18:1"
},
"nodeType": "YulExpressionStatement",
"src": "2145:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2064:1:1"
},
{
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2071:66:1",
"type": "",
"value": "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
},
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2139:1:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "2067:3:1"
},
"nodeType": "YulFunctionCall",
"src": "2067:74:1"
}
],
"functionName": {
"name": "gt",
"nodeType": "YulIdentifier",
"src": "2061:2:1"
},
"nodeType": "YulFunctionCall",
"src": "2061:81:1"
},
"nodeType": "YulIf",
"src": "2058:107:1"
},
{
"nodeType": "YulAssignment",
"src": "2175:16:1",
"value": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2186:1:1"
},
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2189:1:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "2182:3:1"
},
"nodeType": "YulFunctionCall",
"src": "2182:9:1"
},
"variableNames": [
{
"name": "sum",
"nodeType": "YulIdentifier",
"src": "2175:3:1"
}
]
}
]
},
"name": "checked_add_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "x",
"nodeType": "YulTypedName",
"src": "1923:1:1",
"type": ""
},
{
"name": "y",
"nodeType": "YulTypedName",
"src": "1926:1:1",
"type": ""
}
],
"returnVariables": [
{
"name": "sum",
"nodeType": "YulTypedName",
"src": "1932:3:1",
"type": ""
}
],
"src": "1892:305:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2248:146:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "2258:25:1",
"value": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2281:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "2263:17:1"
},
"nodeType": "YulFunctionCall",
"src": "2263:20:1"
},
"variableNames": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2258:1:1"
}
]
},
{
"nodeType": "YulAssignment",
"src": "2292:25:1",
"value": {
"arguments": [
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2315:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "2297:17:1"
},
"nodeType": "YulFunctionCall",
"src": "2297:20:1"
},
"variableNames": [
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2292:1:1"
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "2339:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nodeType": "YulIdentifier",
"src": "2341:16:1"
},
"nodeType": "YulFunctionCall",
"src": "2341:18:1"
},
"nodeType": "YulExpressionStatement",
"src": "2341:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2333:1:1"
},
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2336:1:1"
}
],
"functionName": {
"name": "lt",
"nodeType": "YulIdentifier",
"src": "2330:2:1"
},
"nodeType": "YulFunctionCall",
"src": "2330:8:1"
},
"nodeType": "YulIf",
"src": "2327:34:1"
},
{
"nodeType": "YulAssignment",
"src": "2371:17:1",
"value": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2383:1:1"
},
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2386:1:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "2379:3:1"
},
"nodeType": "YulFunctionCall",
"src": "2379:9:1"
},
"variableNames": [
{
"name": "diff",
"nodeType": "YulIdentifier",
"src": "2371:4:1"
}
]
}
]
},
"name": "checked_sub_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "x",
"nodeType": "YulTypedName",
"src": "2234:1:1",
"type": ""
},
{
"name": "y",
"nodeType": "YulTypedName",
"src": "2237:1:1",
"type": ""
}
],
"returnVariables": [
{
"name": "diff",
"nodeType": "YulTypedName",
"src": "2243:4:1",
"type": ""
}
],
"src": "2203:191:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2445:32:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "2455:16:1",
"value": {
"name": "value",
"nodeType": "YulIdentifier",
"src": "2466:5:1"
},
"variableNames": [
{
"name": "cleaned",
"nodeType": "YulIdentifier",
"src": "2455:7:1"
}
]
}
]
},
"name": "cleanup_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "2427:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "cleaned",
"nodeType": "YulTypedName",
"src": "2437:7:1",
"type": ""
}
],
"src": "2400:77:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2511:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2528:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2531:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "2521:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2521:88:1"
},
"nodeType": "YulExpressionStatement",
"src": "2521:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2625:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2628:4:1",
"type": "",
"value": "0x11"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "2618:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2618:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "2618:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2649:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2652:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "2642:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2642:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "2642:15:1"
}
]
},
"name": "panic_error_0x11",
"nodeType": "YulFunctionDefinition",
"src": "2483:180:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2758:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2775:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2778:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "2768:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2768:12:1"
},
"nodeType": "YulExpressionStatement",
"src": "2768:12:1"
}
]
},
"name": "revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db",
"nodeType": "YulFunctionDefinition",
"src": "2669:117:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2881:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2898:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2901:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "2891:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2891:12:1"
},
"nodeType": "YulExpressionStatement",
"src": "2891:12:1"
}
]
},
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nodeType": "YulFunctionDefinition",
"src": "2792:117:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "3021:54:1",
"statements": [
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "memPtr",
"nodeType": "YulIdentifier",
"src": "3043:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "3051:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "3039:3:1"
},
"nodeType": "YulFunctionCall",
"src": "3039:14:1"
},
{
"hexValue": "7361706120646579203f",
"kind": "string",
"nodeType": "YulLiteral",
"src": "3055:12:1",
"type": "",
"value": "sapa dey ?"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "3032:6:1"
},
"nodeType": "YulFunctionCall",
"src": "3032:36:1"
},
"nodeType": "YulExpressionStatement",
"src": "3032:36:1"
}
]
},
"name": "store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "memPtr",
"nodeType": "YulTypedName",
"src": "3013:6:1",
"type": ""
}
],
"src": "2915:160:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "3124:79:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "3181:16:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "3190:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "3193:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "3183:6:1"
},
"nodeType": "YulFunctionCall",
"src": "3183:12:1"
},
"nodeType": "YulExpressionStatement",
"src": "3183:12:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "3147:5:1"
},
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "3172:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "3154:17:1"
},
"nodeType": "YulFunctionCall",
"src": "3154:24:1"
}
],
"functionName": {
"name": "eq",
"nodeType": "YulIdentifier",
"src": "3144:2:1"
},
"nodeType": "YulFunctionCall",
"src": "3144:35:1"
}
],
"functionName": {
"name": "iszero",
"nodeType": "YulIdentifier",
"src": "3137:6:1"
},
"nodeType": "YulFunctionCall",
"src": "3137:43:1"
},
"nodeType": "YulIf",
"src": "3134:63:1"
}
]
},
"name": "validator_revert_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "3117:5:1",
"type": ""
}
],
"src": "3081:122:1"
}
]
},
"contents": "{\n\n function abi_decode_t_uint256(offset, end) -> value {\n value := calldataload(offset)\n validator_revert_t_uint256(value)\n }\n\n function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0 {\n if slt(sub(dataEnd, headStart), 32) { revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() }\n\n {\n\n let offset := 0\n\n value0 := abi_decode_t_uint256(add(headStart, offset), dataEnd)\n }\n\n }\n\n function abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack(pos) -> end {\n pos := array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, 10)\n store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e(pos)\n end := add(pos, 32)\n }\n\n function abi_encode_t_uint256_to_t_uint256_fromStack(value, pos) {\n mstore(pos, cleanup_t_uint256(value))\n }\n\n function abi_encode_tuple_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e__to_t_string_memory_ptr__fromStack_reversed(headStart ) -> tail {\n tail := add(headStart, 32)\n\n mstore(add(headStart, 0), sub(tail, headStart))\n tail := abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack( tail)\n\n }\n\n function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart , value0) -> tail {\n tail := add(headStart, 32)\n\n abi_encode_t_uint256_to_t_uint256_fromStack(value0, add(headStart, 0))\n\n }\n\n function allocate_unbounded() -> memPtr {\n memPtr := mload(64)\n }\n\n function array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, length) -> updated_pos {\n mstore(pos, length)\n updated_pos := add(pos, 0x20)\n }\n\n function checked_add_t_uint256(x, y) -> sum {\n x := cleanup_t_uint256(x)\n y := cleanup_t_uint256(y)\n\n // overflow, if x > (maxValue - y)\n if gt(x, sub(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff, y)) { panic_error_0x11() }\n\n sum := add(x, y)\n }\n\n function checked_sub_t_uint256(x, y) -> diff {\n x := cleanup_t_uint256(x)\n y := cleanup_t_uint256(y)\n\n if lt(x, y) { panic_error_0x11() }\n\n diff := sub(x, y)\n }\n\n function cleanup_t_uint256(value) -> cleaned {\n cleaned := value\n }\n\n function panic_error_0x11() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x11)\n revert(0, 0x24)\n }\n\n function revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db() {\n revert(0, 0)\n }\n\n function revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() {\n revert(0, 0)\n }\n\n function store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e(memPtr) {\n\n mstore(add(memPtr, 0), \"sapa dey ?\")\n\n }\n\n function validator_revert_t_uint256(value) {\n if iszero(eq(value, cleanup_t_uint256(value))) { revert(0, 0) }\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"immutableReferences": {},
"linkReferences": {},
"object": "608060405234801561001057600080fd5b50600436106100415760003560e01c806312065fe0146100465780632e1a7d4d14610064578063b6b55f2514610080575b600080fd5b61004e61009c565b60405161005b91906101b3565b60405180910390f35b61007e60048036038101906100799190610134565b6100a5565b005b61009a60048036038101906100959190610134565b610104565b005b60008054905090565b80600054116100e9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100e090610193565b60405180910390fd5b806000808282546100fa9190610235565b9250508190555050565b8060008082825461011591906101df565b9250508190555050565b60008135905061012e816102d0565b92915050565b60006020828403121561014a576101496102a2565b5b60006101588482850161011f565b91505092915050565b600061016e600a836101ce565b9150610179826102a7565b602082019050919050565b61018d81610269565b82525050565b600060208201905081810360008301526101ac81610161565b9050919050565b60006020820190506101c86000830184610184565b92915050565b600082825260208201905092915050565b60006101ea82610269565b91506101f583610269565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561022a57610229610273565b5b828201905092915050565b600061024082610269565b915061024b83610269565b92508282101561025e5761025d610273565b5b828203905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600080fd5b7f7361706120646579203f00000000000000000000000000000000000000000000600082015250565b6102d981610269565b81146102e457600080fd5b5056fea2646970667358221220c384c940ce7d446203b82508d55151cf77e914f6bfbf15bd57b965fb74707d4064736f6c63430008070033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x41 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x12065FE0 EQ PUSH2 0x46 JUMPI DUP1 PUSH4 0x2E1A7D4D EQ PUSH2 0x64 JUMPI DUP1 PUSH4 0xB6B55F25 EQ PUSH2 0x80 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x4E PUSH2 0x9C JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x5B SWAP2 SWAP1 PUSH2 0x1B3 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x7E PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x79 SWAP2 SWAP1 PUSH2 0x134 JUMP JUMPDEST PUSH2 0xA5 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x9A PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x95 SWAP2 SWAP1 PUSH2 0x134 JUMP JUMPDEST PUSH2 0x104 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST DUP1 PUSH1 0x0 SLOAD GT PUSH2 0xE9 JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD PUSH2 0xE0 SWAP1 PUSH2 0x193 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST DUP1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0xFA SWAP2 SWAP1 PUSH2 0x235 JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP POP JUMP JUMPDEST DUP1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0x115 SWAP2 SWAP1 PUSH2 0x1DF JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x12E DUP2 PUSH2 0x2D0 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x14A JUMPI PUSH2 0x149 PUSH2 0x2A2 JUMP JUMPDEST JUMPDEST PUSH1 0x0 PUSH2 0x158 DUP5 DUP3 DUP6 ADD PUSH2 0x11F JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x16E PUSH1 0xA DUP4 PUSH2 0x1CE JUMP JUMPDEST SWAP2 POP PUSH2 0x179 DUP3 PUSH2 0x2A7 JUMP JUMPDEST PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x18D DUP2 PUSH2 0x269 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x1AC DUP2 PUSH2 0x161 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x1C8 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x184 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x1EA DUP3 PUSH2 0x269 JUMP JUMPDEST SWAP2 POP PUSH2 0x1F5 DUP4 PUSH2 0x269 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0x22A JUMPI PUSH2 0x229 PUSH2 0x273 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x240 DUP3 PUSH2 0x269 JUMP JUMPDEST SWAP2 POP PUSH2 0x24B DUP4 PUSH2 0x269 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 LT ISZERO PUSH2 0x25E JUMPI PUSH2 0x25D PUSH2 0x273 JUMP JUMPDEST JUMPDEST DUP3 DUP3 SUB SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH32 0x7361706120646579203F00000000000000000000000000000000000000000000 PUSH1 0x0 DUP3 ADD MSTORE POP JUMP JUMPDEST PUSH2 0x2D9 DUP2 PUSH2 0x269 JUMP JUMPDEST DUP2 EQ PUSH2 0x2E4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xC3 DUP5 0xC9 BLOCKHASH 0xCE PUSH30 0x446203B82508D55151CF77E914F6BFBF15BD57B965FB74707D4064736F6C PUSH4 0x43000807 STOP CALLER ",
"sourceMap": "66:426:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;402:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;259:122;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;164:72;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;402:87;444:4;466:7;;459:14;;402:87;:::o;259:122::-;326:6;316:7;;:16;308:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;368:6;357:7;;:17;;;;;;;:::i;:::-;;;;;;;;259:122;:::o;164:72::-;223:6;212:7;;:17;;;;;;;:::i;:::-;;;;;;;;164:72;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;7:139;;;;:::o;152:329::-;211:6;260:2;248:9;239:7;235:23;231:32;228:119;;;266:79;;:::i;:::-;228:119;386:1;411:53;456:7;447:6;436:9;432:22;411:53;:::i;:::-;401:63;;357:117;152:329;;;;:::o;487:366::-;629:3;650:67;714:2;709:3;650:67;:::i;:::-;643:74;;726:93;815:3;726:93;:::i;:::-;844:2;839:3;835:12;828:19;;487:366;;;:::o;859:118::-;946:24;964:5;946:24;:::i;:::-;941:3;934:37;859:118;;:::o;983:419::-;1149:4;1187:2;1176:9;1172:18;1164:26;;1236:9;1230:4;1226:20;1222:1;1211:9;1207:17;1200:47;1264:131;1390:4;1264:131;:::i;:::-;1256:139;;983:419;;;:::o;1408:222::-;1501:4;1539:2;1528:9;1524:18;1516:26;;1552:71;1620:1;1609:9;1605:17;1596:6;1552:71;:::i;:::-;1408:222;;;;:::o;1717:169::-;1801:11;1835:6;1830:3;1823:19;1875:4;1870:3;1866:14;1851:29;;1717:169;;;;:::o;1892:305::-;1932:3;1951:20;1969:1;1951:20;:::i;:::-;1946:25;;1985:20;2003:1;1985:20;:::i;:::-;1980:25;;2139:1;2071:66;2067:74;2064:1;2061:81;2058:107;;;2145:18;;:::i;:::-;2058:107;2189:1;2186;2182:9;2175:16;;1892:305;;;;:::o;2203:191::-;2243:4;2263:20;2281:1;2263:20;:::i;:::-;2258:25;;2297:20;2315:1;2297:20;:::i;:::-;2292:25;;2336:1;2333;2330:8;2327:34;;;2341:18;;:::i;:::-;2327:34;2386:1;2383;2379:9;2371:17;;2203:191;;;;:::o;2400:77::-;2437:7;2466:5;2455:16;;2400:77;;;:::o;2483:180::-;2531:77;2528:1;2521:88;2628:4;2625:1;2618:15;2652:4;2649:1;2642:15;2792:117;2901:1;2898;2891:12;2915:160;3055:12;3051:1;3043:6;3039:14;3032:36;2915:160;:::o;3081:122::-;3154:24;3172:5;3154:24;:::i;:::-;3147:5;3144:35;3134:63;;3193:1;3190;3183:12;3134:63;3081:122;:::o"
},
"gasEstimates": {
"creation": {
"codeDepositCost": "159400",
"executionCost": "5216",
"totalCost": "164616"
},
"external": {
"deposit(uint256)": "infinite",
"getBalance()": "2415",
"withdraw(uint256)": "infinite"
}
},
"legacyAssembly": {
".code": [
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "80"
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 66,
"end": 492,
"name": "MSTORE",
"source": 0
},
{
"begin": 103,
"end": 142,
"name": "CALLVALUE",
"source": 0
},
{
"begin": 103,
"end": 142,
"name": "DUP1",
"source": 0
},
{
"begin": 103,
"end": 142,
"name": "ISZERO",
"source": 0
},
{
"begin": 103,
"end": 142,
"name": "PUSH [tag]",
"source": 0,
"value": "1"
},
{
"begin": 103,
"end": 142,
"name": "JUMPI",
"source": 0
},
{
"begin": 103,
"end": 142,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 103,
"end": 142,
"name": "DUP1",
"source": 0
},
{
"begin": 103,
"end": 142,
"name": "REVERT",
"source": 0
},
{
"begin": 103,
"end": 142,
"name": "tag",
"source": 0,
"value": "1"
},
{
"begin": 103,
"end": 142,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 103,
"end": 142,
"name": "POP",
"source": 0
},
{
"begin": 134,
"end": 135,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 126,
"end": 133,
"name": "DUP1",
"source": 0
},
{
"begin": 126,
"end": 135,
"name": "DUP2",
"source": 0
},
{
"begin": 126,
"end": 135,
"name": "SWAP1",
"source": 0
},
{
"begin": 126,
"end": 135,
"name": "SSTORE",
"source": 0
},
{
"begin": 126,
"end": 135,
"name": "POP",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH #[$]",
"source": 0,
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 66,
"end": 492,
"name": "DUP1",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH [$]",
"source": 0,
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 66,
"end": 492,
"name": "CODECOPY",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 66,
"end": 492,
"name": "RETURN",
"source": 0
}
],
".data": {
"0": {
".auxdata": "a2646970667358221220c384c940ce7d446203b82508d55151cf77e914f6bfbf15bd57b965fb74707d4064736f6c63430008070033",
".code": [
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "80"
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 66,
"end": 492,
"name": "MSTORE",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "CALLVALUE",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "DUP1",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "ISZERO",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH [tag]",
"source": 0,
"value": "1"
},
{
"begin": 66,
"end": 492,
"name": "JUMPI",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 66,
"end": 492,
"name": "DUP1",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "REVERT",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "tag",
"source": 0,
"value": "1"
},
{
"begin": 66,
"end": 492,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "POP",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "4"
},
{
"begin": 66,
"end": 492,
"name": "CALLDATASIZE",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "LT",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH [tag]",
"source": 0,
"value": "2"
},
{
"begin": 66,
"end": 492,
"name": "JUMPI",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 66,
"end": 492,
"name": "CALLDATALOAD",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "E0"
},
{
"begin": 66,
"end": 492,
"name": "SHR",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "DUP1",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "12065FE0"
},
{
"begin": 66,
"end": 492,
"name": "EQ",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH [tag]",
"source": 0,
"value": "3"
},
{
"begin": 66,
"end": 492,
"name": "JUMPI",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "DUP1",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "2E1A7D4D"
},
{
"begin": 66,
"end": 492,
"name": "EQ",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH [tag]",
"source": 0,
"value": "4"
},
{
"begin": 66,
"end": 492,
"name": "JUMPI",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "DUP1",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "B6B55F25"
},
{
"begin": 66,
"end": 492,
"name": "EQ",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH [tag]",
"source": 0,
"value": "5"
},
{
"begin": 66,
"end": 492,
"name": "JUMPI",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "tag",
"source": 0,
"value": "2"
},
{
"begin": 66,
"end": 492,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 66,
"end": 492,
"name": "DUP1",
"source": 0
},
{
"begin": 66,
"end": 492,
"name": "REVERT",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "tag",
"source": 0,
"value": "3"
},
{
"begin": 402,
"end": 489,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "PUSH [tag]",
"source": 0,
"value": "6"
},
{
"begin": 402,
"end": 489,
"name": "PUSH [tag]",
"source": 0,
"value": "7"
},
{
"begin": 402,
"end": 489,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 402,
"end": 489,
"name": "tag",
"source": 0,
"value": "6"
},
{
"begin": 402,
"end": 489,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 402,
"end": 489,
"name": "MLOAD",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "PUSH [tag]",
"source": 0,
"value": "8"
},
{
"begin": 402,
"end": 489,
"name": "SWAP2",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "SWAP1",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "PUSH [tag]",
"source": 0,
"value": "9"
},
{
"begin": 402,
"end": 489,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 402,
"end": 489,
"name": "tag",
"source": 0,
"value": "8"
},
{
"begin": 402,
"end": 489,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 402,
"end": 489,
"name": "MLOAD",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "DUP1",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "SWAP2",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "SUB",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "SWAP1",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "RETURN",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "tag",
"source": 0,
"value": "4"
},
{
"begin": 259,
"end": 381,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "PUSH [tag]",
"source": 0,
"value": "10"
},
{
"begin": 259,
"end": 381,
"name": "PUSH",
"source": 0,
"value": "4"
},
{
"begin": 259,
"end": 381,
"name": "DUP1",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "CALLDATASIZE",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "SUB",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "DUP2",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "ADD",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "SWAP1",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "PUSH [tag]",
"source": 0,
"value": "11"
},
{
"begin": 259,
"end": 381,
"name": "SWAP2",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "SWAP1",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "PUSH [tag]",
"source": 0,
"value": "12"
},
{
"begin": 259,
"end": 381,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 259,
"end": 381,
"name": "tag",
"source": 0,
"value": "11"
},
{
"begin": 259,
"end": 381,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "PUSH [tag]",
"source": 0,
"value": "13"
},
{
"begin": 259,
"end": 381,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 259,
"end": 381,
"name": "tag",
"source": 0,
"value": "10"
},
{
"begin": 259,
"end": 381,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "STOP",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "tag",
"source": 0,
"value": "5"
},
{
"begin": 164,
"end": 236,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "PUSH [tag]",
"source": 0,
"value": "14"
},
{
"begin": 164,
"end": 236,
"name": "PUSH",
"source": 0,
"value": "4"
},
{
"begin": 164,
"end": 236,
"name": "DUP1",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "CALLDATASIZE",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "SUB",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "DUP2",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "ADD",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "SWAP1",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "PUSH [tag]",
"source": 0,
"value": "15"
},
{
"begin": 164,
"end": 236,
"name": "SWAP2",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "SWAP1",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "PUSH [tag]",
"source": 0,
"value": "12"
},
{
"begin": 164,
"end": 236,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 164,
"end": 236,
"name": "tag",
"source": 0,
"value": "15"
},
{
"begin": 164,
"end": 236,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "PUSH [tag]",
"source": 0,
"value": "16"
},
{
"begin": 164,
"end": 236,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 164,
"end": 236,
"name": "tag",
"source": 0,
"value": "14"
},
{
"begin": 164,
"end": 236,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "STOP",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "tag",
"source": 0,
"value": "7"
},
{
"begin": 402,
"end": 489,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 444,
"end": 448,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 466,
"end": 473,
"name": "DUP1",
"source": 0
},
{
"begin": 466,
"end": 473,
"name": "SLOAD",
"source": 0
},
{
"begin": 459,
"end": 473,
"name": "SWAP1",
"source": 0
},
{
"begin": 459,
"end": 473,
"name": "POP",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "SWAP1",
"source": 0
},
{
"begin": 402,
"end": 489,
"name": "JUMP",
"source": 0,
"value": "[out]"
},
{
"begin": 259,
"end": 381,
"name": "tag",
"source": 0,
"value": "13"
},
{
"begin": 259,
"end": 381,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 326,
"end": 332,
"name": "DUP1",
"source": 0
},
{
"begin": 316,
"end": 323,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 316,
"end": 323,
"name": "SLOAD",
"source": 0
},
{
"begin": 316,
"end": 332,
"name": "GT",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "PUSH [tag]",
"source": 0,
"value": "19"
},
{
"begin": 308,
"end": 347,
"name": "JUMPI",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 308,
"end": 347,
"name": "MLOAD",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "PUSH",
"source": 0,
"value": "8C379A000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 308,
"end": 347,
"name": "DUP2",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "MSTORE",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "PUSH",
"source": 0,
"value": "4"
},
{
"begin": 308,
"end": 347,
"name": "ADD",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "PUSH [tag]",
"source": 0,
"value": "20"
},
{
"begin": 308,
"end": 347,
"name": "SWAP1",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "PUSH [tag]",
"source": 0,
"value": "21"
},
{
"begin": 308,
"end": 347,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 308,
"end": 347,
"name": "tag",
"source": 0,
"value": "20"
},
{
"begin": 308,
"end": 347,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "PUSH",
"source": 0,
"value": "40"
},
{
"begin": 308,
"end": 347,
"name": "MLOAD",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "DUP1",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "SWAP2",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "SUB",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "SWAP1",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "REVERT",
"source": 0
},
{
"begin": 308,
"end": 347,
"name": "tag",
"source": 0,
"value": "19"
},
{
"begin": 308,
"end": 347,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 368,
"end": 374,
"name": "DUP1",
"source": 0
},
{
"begin": 357,
"end": 364,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 357,
"end": 364,
"name": "DUP1",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "DUP3",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "DUP3",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "SLOAD",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "PUSH [tag]",
"source": 0,
"value": "22"
},
{
"begin": 357,
"end": 374,
"name": "SWAP2",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "SWAP1",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "PUSH [tag]",
"source": 0,
"value": "23"
},
{
"begin": 357,
"end": 374,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 357,
"end": 374,
"name": "tag",
"source": 0,
"value": "22"
},
{
"begin": 357,
"end": 374,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "SWAP3",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "POP",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "POP",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "DUP2",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "SWAP1",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "SSTORE",
"source": 0
},
{
"begin": 357,
"end": 374,
"name": "POP",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "POP",
"source": 0
},
{
"begin": 259,
"end": 381,
"name": "JUMP",
"source": 0,
"value": "[out]"
},
{
"begin": 164,
"end": 236,
"name": "tag",
"source": 0,
"value": "16"
},
{
"begin": 164,
"end": 236,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 223,
"end": 229,
"name": "DUP1",
"source": 0
},
{
"begin": 212,
"end": 219,
"name": "PUSH",
"source": 0,
"value": "0"
},
{
"begin": 212,
"end": 219,
"name": "DUP1",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "DUP3",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "DUP3",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "SLOAD",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "PUSH [tag]",
"source": 0,
"value": "25"
},
{
"begin": 212,
"end": 229,
"name": "SWAP2",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "SWAP1",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "PUSH [tag]",
"source": 0,
"value": "26"
},
{
"begin": 212,
"end": 229,
"name": "JUMP",
"source": 0,
"value": "[in]"
},
{
"begin": 212,
"end": 229,
"name": "tag",
"source": 0,
"value": "25"
},
{
"begin": 212,
"end": 229,
"name": "JUMPDEST",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "SWAP3",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "POP",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "POP",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "DUP2",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "SWAP1",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "SSTORE",
"source": 0
},
{
"begin": 212,
"end": 229,
"name": "POP",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "POP",
"source": 0
},
{
"begin": 164,
"end": 236,
"name": "JUMP",
"source": 0,
"value": "[out]"
},
{
"begin": 7,
"end": 146,
"name": "tag",
"source": 1,
"value": "28"
},
{
"begin": 7,
"end": 146,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 53,
"end": 58,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 91,
"end": 97,
"name": "DUP2",
"source": 1
},
{
"begin": 78,
"end": 98,
"name": "CALLDATALOAD",
"source": 1
},
{
"begin": 69,
"end": 98,
"name": "SWAP1",
"source": 1
},
{
"begin": 69,
"end": 98,
"name": "POP",
"source": 1
},
{
"begin": 107,
"end": 140,
"name": "PUSH [tag]",
"source": 1,
"value": "30"
},
{
"begin": 134,
"end": 139,
"name": "DUP2",
"source": 1
},
{
"begin": 107,
"end": 140,
"name": "PUSH [tag]",
"source": 1,
"value": "31"
},
{
"begin": 107,
"end": 140,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 107,
"end": 140,
"name": "tag",
"source": 1,
"value": "30"
},
{
"begin": 107,
"end": 140,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 7,
"end": 146,
"name": "SWAP3",
"source": 1
},
{
"begin": 7,
"end": 146,
"name": "SWAP2",
"source": 1
},
{
"begin": 7,
"end": 146,
"name": "POP",
"source": 1
},
{
"begin": 7,
"end": 146,
"name": "POP",
"source": 1
},
{
"begin": 7,
"end": 146,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 152,
"end": 481,
"name": "tag",
"source": 1,
"value": "12"
},
{
"begin": 152,
"end": 481,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 211,
"end": 217,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 260,
"end": 262,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 248,
"end": 257,
"name": "DUP3",
"source": 1
},
{
"begin": 239,
"end": 246,
"name": "DUP5",
"source": 1
},
{
"begin": 235,
"end": 258,
"name": "SUB",
"source": 1
},
{
"begin": 231,
"end": 263,
"name": "SLT",
"source": 1
},
{
"begin": 228,
"end": 347,
"name": "ISZERO",
"source": 1
},
{
"begin": 228,
"end": 347,
"name": "PUSH [tag]",
"source": 1,
"value": "33"
},
{
"begin": 228,
"end": 347,
"name": "JUMPI",
"source": 1
},
{
"begin": 266,
"end": 345,
"name": "PUSH [tag]",
"source": 1,
"value": "34"
},
{
"begin": 266,
"end": 345,
"name": "PUSH [tag]",
"source": 1,
"value": "35"
},
{
"begin": 266,
"end": 345,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 266,
"end": 345,
"name": "tag",
"source": 1,
"value": "34"
},
{
"begin": 266,
"end": 345,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 228,
"end": 347,
"name": "tag",
"source": 1,
"value": "33"
},
{
"begin": 228,
"end": 347,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 386,
"end": 387,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 411,
"end": 464,
"name": "PUSH [tag]",
"source": 1,
"value": "36"
},
{
"begin": 456,
"end": 463,
"name": "DUP5",
"source": 1
},
{
"begin": 447,
"end": 453,
"name": "DUP3",
"source": 1
},
{
"begin": 436,
"end": 445,
"name": "DUP6",
"source": 1
},
{
"begin": 432,
"end": 454,
"name": "ADD",
"source": 1
},
{
"begin": 411,
"end": 464,
"name": "PUSH [tag]",
"source": 1,
"value": "28"
},
{
"begin": 411,
"end": 464,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 411,
"end": 464,
"name": "tag",
"source": 1,
"value": "36"
},
{
"begin": 411,
"end": 464,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 401,
"end": 464,
"name": "SWAP2",
"source": 1
},
{
"begin": 401,
"end": 464,
"name": "POP",
"source": 1
},
{
"begin": 357,
"end": 474,
"name": "POP",
"source": 1
},
{
"begin": 152,
"end": 481,
"name": "SWAP3",
"source": 1
},
{
"begin": 152,
"end": 481,
"name": "SWAP2",
"source": 1
},
{
"begin": 152,
"end": 481,
"name": "POP",
"source": 1
},
{
"begin": 152,
"end": 481,
"name": "POP",
"source": 1
},
{
"begin": 152,
"end": 481,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 487,
"end": 853,
"name": "tag",
"source": 1,
"value": "37"
},
{
"begin": 487,
"end": 853,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 629,
"end": 632,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 650,
"end": 717,
"name": "PUSH [tag]",
"source": 1,
"value": "39"
},
{
"begin": 714,
"end": 716,
"name": "PUSH",
"source": 1,
"value": "A"
},
{
"begin": 709,
"end": 712,
"name": "DUP4",
"source": 1
},
{
"begin": 650,
"end": 717,
"name": "PUSH [tag]",
"source": 1,
"value": "40"
},
{
"begin": 650,
"end": 717,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 650,
"end": 717,
"name": "tag",
"source": 1,
"value": "39"
},
{
"begin": 650,
"end": 717,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 643,
"end": 717,
"name": "SWAP2",
"source": 1
},
{
"begin": 643,
"end": 717,
"name": "POP",
"source": 1
},
{
"begin": 726,
"end": 819,
"name": "PUSH [tag]",
"source": 1,
"value": "41"
},
{
"begin": 815,
"end": 818,
"name": "DUP3",
"source": 1
},
{
"begin": 726,
"end": 819,
"name": "PUSH [tag]",
"source": 1,
"value": "42"
},
{
"begin": 726,
"end": 819,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 726,
"end": 819,
"name": "tag",
"source": 1,
"value": "41"
},
{
"begin": 726,
"end": 819,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 844,
"end": 846,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 839,
"end": 842,
"name": "DUP3",
"source": 1
},
{
"begin": 835,
"end": 847,
"name": "ADD",
"source": 1
},
{
"begin": 828,
"end": 847,
"name": "SWAP1",
"source": 1
},
{
"begin": 828,
"end": 847,
"name": "POP",
"source": 1
},
{
"begin": 487,
"end": 853,
"name": "SWAP2",
"source": 1
},
{
"begin": 487,
"end": 853,
"name": "SWAP1",
"source": 1
},
{
"begin": 487,
"end": 853,
"name": "POP",
"source": 1
},
{
"begin": 487,
"end": 853,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 859,
"end": 977,
"name": "tag",
"source": 1,
"value": "43"
},
{
"begin": 859,
"end": 977,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 946,
"end": 970,
"name": "PUSH [tag]",
"source": 1,
"value": "45"
},
{
"begin": 964,
"end": 969,
"name": "DUP2",
"source": 1
},
{
"begin": 946,
"end": 970,
"name": "PUSH [tag]",
"source": 1,
"value": "46"
},
{
"begin": 946,
"end": 970,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 946,
"end": 970,
"name": "tag",
"source": 1,
"value": "45"
},
{
"begin": 946,
"end": 970,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 941,
"end": 944,
"name": "DUP3",
"source": 1
},
{
"begin": 934,
"end": 971,
"name": "MSTORE",
"source": 1
},
{
"begin": 859,
"end": 977,
"name": "POP",
"source": 1
},
{
"begin": 859,
"end": 977,
"name": "POP",
"source": 1
},
{
"begin": 859,
"end": 977,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 983,
"end": 1402,
"name": "tag",
"source": 1,
"value": "21"
},
{
"begin": 983,
"end": 1402,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1149,
"end": 1153,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1187,
"end": 1189,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 1176,
"end": 1185,
"name": "DUP3",
"source": 1
},
{
"begin": 1172,
"end": 1190,
"name": "ADD",
"source": 1
},
{
"begin": 1164,
"end": 1190,
"name": "SWAP1",
"source": 1
},
{
"begin": 1164,
"end": 1190,
"name": "POP",
"source": 1
},
{
"begin": 1236,
"end": 1245,
"name": "DUP2",
"source": 1
},
{
"begin": 1230,
"end": 1234,
"name": "DUP2",
"source": 1
},
{
"begin": 1226,
"end": 1246,
"name": "SUB",
"source": 1
},
{
"begin": 1222,
"end": 1223,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1211,
"end": 1220,
"name": "DUP4",
"source": 1
},
{
"begin": 1207,
"end": 1224,
"name": "ADD",
"source": 1
},
{
"begin": 1200,
"end": 1247,
"name": "MSTORE",
"source": 1
},
{
"begin": 1264,
"end": 1395,
"name": "PUSH [tag]",
"source": 1,
"value": "48"
},
{
"begin": 1390,
"end": 1394,
"name": "DUP2",
"source": 1
},
{
"begin": 1264,
"end": 1395,
"name": "PUSH [tag]",
"source": 1,
"value": "37"
},
{
"begin": 1264,
"end": 1395,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 1264,
"end": 1395,
"name": "tag",
"source": 1,
"value": "48"
},
{
"begin": 1264,
"end": 1395,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1256,
"end": 1395,
"name": "SWAP1",
"source": 1
},
{
"begin": 1256,
"end": 1395,
"name": "POP",
"source": 1
},
{
"begin": 983,
"end": 1402,
"name": "SWAP2",
"source": 1
},
{
"begin": 983,
"end": 1402,
"name": "SWAP1",
"source": 1
},
{
"begin": 983,
"end": 1402,
"name": "POP",
"source": 1
},
{
"begin": 983,
"end": 1402,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 1408,
"end": 1630,
"name": "tag",
"source": 1,
"value": "9"
},
{
"begin": 1408,
"end": 1630,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1501,
"end": 1505,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1539,
"end": 1541,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 1528,
"end": 1537,
"name": "DUP3",
"source": 1
},
{
"begin": 1524,
"end": 1542,
"name": "ADD",
"source": 1
},
{
"begin": 1516,
"end": 1542,
"name": "SWAP1",
"source": 1
},
{
"begin": 1516,
"end": 1542,
"name": "POP",
"source": 1
},
{
"begin": 1552,
"end": 1623,
"name": "PUSH [tag]",
"source": 1,
"value": "50"
},
{
"begin": 1620,
"end": 1621,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1609,
"end": 1618,
"name": "DUP4",
"source": 1
},
{
"begin": 1605,
"end": 1622,
"name": "ADD",
"source": 1
},
{
"begin": 1596,
"end": 1602,
"name": "DUP5",
"source": 1
},
{
"begin": 1552,
"end": 1623,
"name": "PUSH [tag]",
"source": 1,
"value": "43"
},
{
"begin": 1552,
"end": 1623,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 1552,
"end": 1623,
"name": "tag",
"source": 1,
"value": "50"
},
{
"begin": 1552,
"end": 1623,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1408,
"end": 1630,
"name": "SWAP3",
"source": 1
},
{
"begin": 1408,
"end": 1630,
"name": "SWAP2",
"source": 1
},
{
"begin": 1408,
"end": 1630,
"name": "POP",
"source": 1
},
{
"begin": 1408,
"end": 1630,
"name": "POP",
"source": 1
},
{
"begin": 1408,
"end": 1630,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 1717,
"end": 1886,
"name": "tag",
"source": 1,
"value": "40"
},
{
"begin": 1717,
"end": 1886,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1801,
"end": 1812,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1835,
"end": 1841,
"name": "DUP3",
"source": 1
},
{
"begin": 1830,
"end": 1833,
"name": "DUP3",
"source": 1
},
{
"begin": 1823,
"end": 1842,
"name": "MSTORE",
"source": 1
},
{
"begin": 1875,
"end": 1879,
"name": "PUSH",
"source": 1,
"value": "20"
},
{
"begin": 1870,
"end": 1873,
"name": "DUP3",
"source": 1
},
{
"begin": 1866,
"end": 1880,
"name": "ADD",
"source": 1
},
{
"begin": 1851,
"end": 1880,
"name": "SWAP1",
"source": 1
},
{
"begin": 1851,
"end": 1880,
"name": "POP",
"source": 1
},
{
"begin": 1717,
"end": 1886,
"name": "SWAP3",
"source": 1
},
{
"begin": 1717,
"end": 1886,
"name": "SWAP2",
"source": 1
},
{
"begin": 1717,
"end": 1886,
"name": "POP",
"source": 1
},
{
"begin": 1717,
"end": 1886,
"name": "POP",
"source": 1
},
{
"begin": 1717,
"end": 1886,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 1892,
"end": 2197,
"name": "tag",
"source": 1,
"value": "26"
},
{
"begin": 1892,
"end": 2197,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1932,
"end": 1935,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 1951,
"end": 1971,
"name": "PUSH [tag]",
"source": 1,
"value": "55"
},
{
"begin": 1969,
"end": 1970,
"name": "DUP3",
"source": 1
},
{
"begin": 1951,
"end": 1971,
"name": "PUSH [tag]",
"source": 1,
"value": "46"
},
{
"begin": 1951,
"end": 1971,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 1951,
"end": 1971,
"name": "tag",
"source": 1,
"value": "55"
},
{
"begin": 1951,
"end": 1971,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1946,
"end": 1971,
"name": "SWAP2",
"source": 1
},
{
"begin": 1946,
"end": 1971,
"name": "POP",
"source": 1
},
{
"begin": 1985,
"end": 2005,
"name": "PUSH [tag]",
"source": 1,
"value": "56"
},
{
"begin": 2003,
"end": 2004,
"name": "DUP4",
"source": 1
},
{
"begin": 1985,
"end": 2005,
"name": "PUSH [tag]",
"source": 1,
"value": "46"
},
{
"begin": 1985,
"end": 2005,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 1985,
"end": 2005,
"name": "tag",
"source": 1,
"value": "56"
},
{
"begin": 1985,
"end": 2005,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 1980,
"end": 2005,
"name": "SWAP3",
"source": 1
},
{
"begin": 1980,
"end": 2005,
"name": "POP",
"source": 1
},
{
"begin": 2139,
"end": 2140,
"name": "DUP3",
"source": 1
},
{
"begin": 2071,
"end": 2137,
"name": "PUSH",
"source": 1,
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 2067,
"end": 2141,
"name": "SUB",
"source": 1
},
{
"begin": 2064,
"end": 2065,
"name": "DUP3",
"source": 1
},
{
"begin": 2061,
"end": 2142,
"name": "GT",
"source": 1
},
{
"begin": 2058,
"end": 2165,
"name": "ISZERO",
"source": 1
},
{
"begin": 2058,
"end": 2165,
"name": "PUSH [tag]",
"source": 1,
"value": "57"
},
{
"begin": 2058,
"end": 2165,
"name": "JUMPI",
"source": 1
},
{
"begin": 2145,
"end": 2163,
"name": "PUSH [tag]",
"source": 1,
"value": "58"
},
{
"begin": 2145,
"end": 2163,
"name": "PUSH [tag]",
"source": 1,
"value": "59"
},
{
"begin": 2145,
"end": 2163,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 2145,
"end": 2163,
"name": "tag",
"source": 1,
"value": "58"
},
{
"begin": 2145,
"end": 2163,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2058,
"end": 2165,
"name": "tag",
"source": 1,
"value": "57"
},
{
"begin": 2058,
"end": 2165,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2189,
"end": 2190,
"name": "DUP3",
"source": 1
},
{
"begin": 2186,
"end": 2187,
"name": "DUP3",
"source": 1
},
{
"begin": 2182,
"end": 2191,
"name": "ADD",
"source": 1
},
{
"begin": 2175,
"end": 2191,
"name": "SWAP1",
"source": 1
},
{
"begin": 2175,
"end": 2191,
"name": "POP",
"source": 1
},
{
"begin": 1892,
"end": 2197,
"name": "SWAP3",
"source": 1
},
{
"begin": 1892,
"end": 2197,
"name": "SWAP2",
"source": 1
},
{
"begin": 1892,
"end": 2197,
"name": "POP",
"source": 1
},
{
"begin": 1892,
"end": 2197,
"name": "POP",
"source": 1
},
{
"begin": 1892,
"end": 2197,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 2203,
"end": 2394,
"name": "tag",
"source": 1,
"value": "23"
},
{
"begin": 2203,
"end": 2394,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2243,
"end": 2247,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 2263,
"end": 2283,
"name": "PUSH [tag]",
"source": 1,
"value": "61"
},
{
"begin": 2281,
"end": 2282,
"name": "DUP3",
"source": 1
},
{
"begin": 2263,
"end": 2283,
"name": "PUSH [tag]",
"source": 1,
"value": "46"
},
{
"begin": 2263,
"end": 2283,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 2263,
"end": 2283,
"name": "tag",
"source": 1,
"value": "61"
},
{
"begin": 2263,
"end": 2283,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2258,
"end": 2283,
"name": "SWAP2",
"source": 1
},
{
"begin": 2258,
"end": 2283,
"name": "POP",
"source": 1
},
{
"begin": 2297,
"end": 2317,
"name": "PUSH [tag]",
"source": 1,
"value": "62"
},
{
"begin": 2315,
"end": 2316,
"name": "DUP4",
"source": 1
},
{
"begin": 2297,
"end": 2317,
"name": "PUSH [tag]",
"source": 1,
"value": "46"
},
{
"begin": 2297,
"end": 2317,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 2297,
"end": 2317,
"name": "tag",
"source": 1,
"value": "62"
},
{
"begin": 2297,
"end": 2317,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2292,
"end": 2317,
"name": "SWAP3",
"source": 1
},
{
"begin": 2292,
"end": 2317,
"name": "POP",
"source": 1
},
{
"begin": 2336,
"end": 2337,
"name": "DUP3",
"source": 1
},
{
"begin": 2333,
"end": 2334,
"name": "DUP3",
"source": 1
},
{
"begin": 2330,
"end": 2338,
"name": "LT",
"source": 1
},
{
"begin": 2327,
"end": 2361,
"name": "ISZERO",
"source": 1
},
{
"begin": 2327,
"end": 2361,
"name": "PUSH [tag]",
"source": 1,
"value": "63"
},
{
"begin": 2327,
"end": 2361,
"name": "JUMPI",
"source": 1
},
{
"begin": 2341,
"end": 2359,
"name": "PUSH [tag]",
"source": 1,
"value": "64"
},
{
"begin": 2341,
"end": 2359,
"name": "PUSH [tag]",
"source": 1,
"value": "59"
},
{
"begin": 2341,
"end": 2359,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 2341,
"end": 2359,
"name": "tag",
"source": 1,
"value": "64"
},
{
"begin": 2341,
"end": 2359,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2327,
"end": 2361,
"name": "tag",
"source": 1,
"value": "63"
},
{
"begin": 2327,
"end": 2361,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2386,
"end": 2387,
"name": "DUP3",
"source": 1
},
{
"begin": 2383,
"end": 2384,
"name": "DUP3",
"source": 1
},
{
"begin": 2379,
"end": 2388,
"name": "SUB",
"source": 1
},
{
"begin": 2371,
"end": 2388,
"name": "SWAP1",
"source": 1
},
{
"begin": 2371,
"end": 2388,
"name": "POP",
"source": 1
},
{
"begin": 2203,
"end": 2394,
"name": "SWAP3",
"source": 1
},
{
"begin": 2203,
"end": 2394,
"name": "SWAP2",
"source": 1
},
{
"begin": 2203,
"end": 2394,
"name": "POP",
"source": 1
},
{
"begin": 2203,
"end": 2394,
"name": "POP",
"source": 1
},
{
"begin": 2203,
"end": 2394,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 2400,
"end": 2477,
"name": "tag",
"source": 1,
"value": "46"
},
{
"begin": 2400,
"end": 2477,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2437,
"end": 2444,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 2466,
"end": 2471,
"name": "DUP2",
"source": 1
},
{
"begin": 2455,
"end": 2471,
"name": "SWAP1",
"source": 1
},
{
"begin": 2455,
"end": 2471,
"name": "POP",
"source": 1
},
{
"begin": 2400,
"end": 2477,
"name": "SWAP2",
"source": 1
},
{
"begin": 2400,
"end": 2477,
"name": "SWAP1",
"source": 1
},
{
"begin": 2400,
"end": 2477,
"name": "POP",
"source": 1
},
{
"begin": 2400,
"end": 2477,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 2483,
"end": 2663,
"name": "tag",
"source": 1,
"value": "59"
},
{
"begin": 2483,
"end": 2663,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2531,
"end": 2608,
"name": "PUSH",
"source": 1,
"value": "4E487B7100000000000000000000000000000000000000000000000000000000"
},
{
"begin": 2528,
"end": 2529,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 2521,
"end": 2609,
"name": "MSTORE",
"source": 1
},
{
"begin": 2628,
"end": 2632,
"name": "PUSH",
"source": 1,
"value": "11"
},
{
"begin": 2625,
"end": 2626,
"name": "PUSH",
"source": 1,
"value": "4"
},
{
"begin": 2618,
"end": 2633,
"name": "MSTORE",
"source": 1
},
{
"begin": 2652,
"end": 2656,
"name": "PUSH",
"source": 1,
"value": "24"
},
{
"begin": 2649,
"end": 2650,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 2642,
"end": 2657,
"name": "REVERT",
"source": 1
},
{
"begin": 2792,
"end": 2909,
"name": "tag",
"source": 1,
"value": "35"
},
{
"begin": 2792,
"end": 2909,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 2901,
"end": 2902,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 2898,
"end": 2899,
"name": "DUP1",
"source": 1
},
{
"begin": 2891,
"end": 2903,
"name": "REVERT",
"source": 1
},
{
"begin": 2915,
"end": 3075,
"name": "tag",
"source": 1,
"value": "42"
},
{
"begin": 2915,
"end": 3075,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 3055,
"end": 3067,
"name": "PUSH",
"source": 1,
"value": "7361706120646579203F00000000000000000000000000000000000000000000"
},
{
"begin": 3051,
"end": 3052,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 3043,
"end": 3049,
"name": "DUP3",
"source": 1
},
{
"begin": 3039,
"end": 3053,
"name": "ADD",
"source": 1
},
{
"begin": 3032,
"end": 3068,
"name": "MSTORE",
"source": 1
},
{
"begin": 2915,
"end": 3075,
"name": "POP",
"source": 1
},
{
"begin": 2915,
"end": 3075,
"name": "JUMP",
"source": 1,
"value": "[out]"
},
{
"begin": 3081,
"end": 3203,
"name": "tag",
"source": 1,
"value": "31"
},
{
"begin": 3081,
"end": 3203,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 3154,
"end": 3178,
"name": "PUSH [tag]",
"source": 1,
"value": "72"
},
{
"begin": 3172,
"end": 3177,
"name": "DUP2",
"source": 1
},
{
"begin": 3154,
"end": 3178,
"name": "PUSH [tag]",
"source": 1,
"value": "46"
},
{
"begin": 3154,
"end": 3178,
"name": "JUMP",
"source": 1,
"value": "[in]"
},
{
"begin": 3154,
"end": 3178,
"name": "tag",
"source": 1,
"value": "72"
},
{
"begin": 3154,
"end": 3178,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 3147,
"end": 3152,
"name": "DUP2",
"source": 1
},
{
"begin": 3144,
"end": 3179,
"name": "EQ",
"source": 1
},
{
"begin": 3134,
"end": 3197,
"name": "PUSH [tag]",
"source": 1,
"value": "73"
},
{
"begin": 3134,
"end": 3197,
"name": "JUMPI",
"source": 1
},
{
"begin": 3193,
"end": 3194,
"name": "PUSH",
"source": 1,
"value": "0"
},
{
"begin": 3190,
"end": 3191,
"name": "DUP1",
"source": 1
},
{
"begin": 3183,
"end": 3195,
"name": "REVERT",
"source": 1
},
{
"begin": 3134,
"end": 3197,
"name": "tag",
"source": 1,
"value": "73"
},
{
"begin": 3134,
"end": 3197,
"name": "JUMPDEST",
"source": 1
},
{
"begin": 3081,
"end": 3203,
"name": "POP",
"source": 1
},
{
"begin": 3081,
"end": 3203,
"name": "JUMP",
"source": 1,
"value": "[out]"
}
]
}
}
},
"methodIdentifiers": {
"deposit(uint256)": "b6b55f25",
"getBalance()": "12065fe0",
"withdraw(uint256)": "2e1a7d4d"
}
},
"metadata": "{\"compiler\":{\"version\":\"0.8.7+commit.e28d00a7\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"}],\"name\":\"deposit\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"getBalance\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"}],\"name\":\"withdraw\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/sam.sol\":\"Sam\"},\"evmVersion\":\"london\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"contracts/sam.sol\":{\"keccak256\":\"0x5d66d327733c0bfeac7a4e740c46b3d50a3dcbe5cab3b275a82aa17736662186\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://7508448737adc014ce9c96d362e879e997fac647b5f3ad5c732834156d3052a4\",\"dweb:/ipfs/QmcRU67juH1bg94wa9rxdodHkwPQz4s9paQoT3GYeWWWTJ\"]}},\"version\":1}",
"storageLayout": {
"storage": [
{
"astId": 3,
"contract": "contracts/sam.sol:Sam",
"label": "balance",
"offset": 0,
"slot": "0",
"type": "t_uint256"
}
],
"types": {
"t_uint256": {
"encoding": "inplace",
"label": "uint256",
"numberOfBytes": "32"
}
}
},
"userdoc": {
"kind": "user",
"methods": {},
"version": 1
}
}
}
},
"sources": {
"contracts/sam.sol": {
"ast": {
"absolutePath": "contracts/sam.sol",
"exportedSymbols": {
"Sam": [
47
]
},
"id": 48,
"license": "MIT",
"nodeType": "SourceUnit",
"nodes": [
{
"id": 1,
"literals": [
"solidity",
">=",
"0.6",
".2",
"<",
"0.9",
".0"
],
"nodeType": "PragmaDirective",
"src": "32:31:0"
},
{
"abstract": false,
"baseContracts": [],
"contractDependencies": [],
"contractKind": "contract",
"fullyImplemented": true,
"id": 47,
"linearizedBaseContracts": [
47
],
"name": "Sam",
"nameLocation": "75:3:0",
"nodeType": "ContractDefinition",
"nodes": [
{
"constant": false,
"id": 3,
"mutability": "mutable",
"name": "balance",
"nameLocation": "89:7:0",
"nodeType": "VariableDeclaration",
"scope": 47,
"src": "84:12:0",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 2,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "84:4:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"visibility": "internal"
},
{
"body": {
"id": 10,
"nodeType": "Block",
"src": "116:26:0",
"statements": [
{
"expression": {
"id": 8,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftHandSide": {
"id": 6,
"name": "balance",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 3,
"src": "126:7:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"nodeType": "Assignment",
"operator": "=",
"rightHandSide": {
"hexValue": "30",
"id": 7,
"isConstant": false,
"isLValue": false,
"isPure": true,
"kind": "number",
"lValueRequested": false,
"nodeType": "Literal",
"src": "134:1:0",
"typeDescriptions": {
"typeIdentifier": "t_rational_0_by_1",
"typeString": "int_const 0"
},
"value": "0"
},
"src": "126:9:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"id": 9,
"nodeType": "ExpressionStatement",
"src": "126:9:0"
}
]
},
"id": 11,
"implemented": true,
"kind": "constructor",
"modifiers": [],
"name": "",
"nameLocation": "-1:-1:-1",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 4,
"nodeType": "ParameterList",
"parameters": [],
"src": "114:2:0"
},
"returnParameters": {
"id": 5,
"nodeType": "ParameterList",
"parameters": [],
"src": "116:0:0"
},
"scope": 47,
"src": "103:39:0",
"stateMutability": "nonpayable",
"virtual": false,
"visibility": "public"
},
{
"body": {
"id": 20,
"nodeType": "Block",
"src": "202:34:0",
"statements": [
{
"expression": {
"id": 18,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftHandSide": {
"id": 16,
"name": "balance",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 3,
"src": "212:7:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"nodeType": "Assignment",
"operator": "+=",
"rightHandSide": {
"id": 17,
"name": "amount",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 13,
"src": "223:6:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"src": "212:17:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"id": 19,
"nodeType": "ExpressionStatement",
"src": "212:17:0"
}
]
},
"functionSelector": "b6b55f25",
"id": 21,
"implemented": true,
"kind": "function",
"modifiers": [],
"name": "deposit",
"nameLocation": "173:7:0",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 14,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 13,
"mutability": "mutable",
"name": "amount",
"nameLocation": "187:6:0",
"nodeType": "VariableDeclaration",
"scope": 21,
"src": "182:11:0",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 12,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "182:4:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"visibility": "internal"
}
],
"src": "181:13:0"
},
"returnParameters": {
"id": 15,
"nodeType": "ParameterList",
"parameters": [],
"src": "202:0:0"
},
"scope": 47,
"src": "164:72:0",
"stateMutability": "nonpayable",
"virtual": false,
"visibility": "public"
},
{
"body": {
"id": 37,
"nodeType": "Block",
"src": "298:83:0",
"statements": [
{
"expression": {
"arguments": [
{
"commonType": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"id": 29,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftExpression": {
"id": 27,
"name": "balance",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 3,
"src": "316:7:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"nodeType": "BinaryOperation",
"operator": ">",
"rightExpression": {
"id": 28,
"name": "amount",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 23,
"src": "326:6:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"src": "316:16:0",
"typeDescriptions": {
"typeIdentifier": "t_bool",
"typeString": "bool"
}
},
{
"hexValue": "7361706120646579203f",
"id": 30,
"isConstant": false,
"isLValue": false,
"isPure": true,
"kind": "string",
"lValueRequested": false,
"nodeType": "Literal",
"src": "334:12:0",
"typeDescriptions": {
"typeIdentifier": "t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e",
"typeString": "literal_string \"sapa dey ?\""
},
"value": "sapa dey ?"
}
],
"expression": {
"argumentTypes": [
{
"typeIdentifier": "t_bool",
"typeString": "bool"
},
{
"typeIdentifier": "t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e",
"typeString": "literal_string \"sapa dey ?\""
}
],
"id": 26,
"name": "require",
"nodeType": "Identifier",
"overloadedDeclarations": [
4294967278,
4294967278
],
"referencedDeclaration": 4294967278,
"src": "308:7:0",
"typeDescriptions": {
"typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$",
"typeString": "function (bool,string memory) pure"
}
},
"id": 31,
"isConstant": false,
"isLValue": false,
"isPure": false,
"kind": "functionCall",
"lValueRequested": false,
"names": [],
"nodeType": "FunctionCall",
"src": "308:39:0",
"tryCall": false,
"typeDescriptions": {
"typeIdentifier": "t_tuple$__$",
"typeString": "tuple()"
}
},
"id": 32,
"nodeType": "ExpressionStatement",
"src": "308:39:0"
},
{
"expression": {
"id": 35,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftHandSide": {
"id": 33,
"name": "balance",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 3,
"src": "357:7:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"nodeType": "Assignment",
"operator": "-=",
"rightHandSide": {
"id": 34,
"name": "amount",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 23,
"src": "368:6:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"src": "357:17:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"id": 36,
"nodeType": "ExpressionStatement",
"src": "357:17:0"
}
]
},
"functionSelector": "2e1a7d4d",
"id": 38,
"implemented": true,
"kind": "function",
"modifiers": [],
"name": "withdraw",
"nameLocation": "268:8:0",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 24,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 23,
"mutability": "mutable",
"name": "amount",
"nameLocation": "283:6:0",
"nodeType": "VariableDeclaration",
"scope": 38,
"src": "278:11:0",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 22,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "278:4:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"visibility": "internal"
}
],
"src": "277:13:0"
},
"returnParameters": {
"id": 25,
"nodeType": "ParameterList",
"parameters": [],
"src": "298:0:0"
},
"scope": 47,
"src": "259:122:0",
"stateMutability": "nonpayable",
"virtual": false,
"visibility": "public"
},
{
"body": {
"id": 45,
"nodeType": "Block",
"src": "449:40:0",
"statements": [
{
"expression": {
"id": 43,
"name": "balance",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 3,
"src": "466:7:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"functionReturnParameters": 42,
"id": 44,
"nodeType": "Return",
"src": "459:14:0"
}
]
},
"functionSelector": "12065fe0",
"id": 46,
"implemented": true,
"kind": "function",
"modifiers": [],
"name": "getBalance",
"nameLocation": "411:10:0",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 39,
"nodeType": "ParameterList",
"parameters": [],
"src": "421:2:0"
},
"returnParameters": {
"id": 42,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 41,
"mutability": "mutable",
"name": "",
"nameLocation": "-1:-1:-1",
"nodeType": "VariableDeclaration",
"scope": 46,
"src": "444:4:0",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 40,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "444:4:0",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"visibility": "internal"
}
],
"src": "443:6:0"
},
"scope": 47,
"src": "402:87:0",
"stateMutability": "view",
"virtual": false,
"visibility": "public"
}
],
"scope": 48,
"src": "66:426:0",
"usedErrors": []
}
],
"src": "32:460:0"
},
"id": 0
}
}
}
}
{
"deploy": {
"VM:-": {
"linkReferences": {},
"autoDeployLib": true
},
"main:1": {
"linkReferences": {},
"autoDeployLib": true
},
"ropsten:3": {
"linkReferences": {},
"autoDeployLib": true
},
"rinkeby:4": {
"linkReferences": {},
"autoDeployLib": true
},
"kovan:42": {
"linkReferences": {},
"autoDeployLib": true
},
"goerli:5": {
"linkReferences": {},
"autoDeployLib": true
},
"Custom": {
"linkReferences": {},
"autoDeployLib": true
}
},
"data": {
"bytecode": {
"functionDebugData": {
"@_11": {
"entryPoint": null,
"id": 11,
"parameterSlots": 0,
"returnSlots": 0
}
},
"generatedSources": [],
"linkReferences": {},
"object": "608060405234801561001057600080fd5b506000808190555061031d806100276000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c806312065fe0146100465780632e1a7d4d14610064578063b6b55f2514610080575b600080fd5b61004e61009c565b60405161005b91906101b3565b60405180910390f35b61007e60048036038101906100799190610134565b6100a5565b005b61009a60048036038101906100959190610134565b610104565b005b60008054905090565b80600054116100e9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100e090610193565b60405180910390fd5b806000808282546100fa9190610235565b9250508190555050565b8060008082825461011591906101df565b9250508190555050565b60008135905061012e816102d0565b92915050565b60006020828403121561014a576101496102a2565b5b60006101588482850161011f565b91505092915050565b600061016e600a836101ce565b9150610179826102a7565b602082019050919050565b61018d81610269565b82525050565b600060208201905081810360008301526101ac81610161565b9050919050565b60006020820190506101c86000830184610184565b92915050565b600082825260208201905092915050565b60006101ea82610269565b91506101f583610269565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561022a57610229610273565b5b828201905092915050565b600061024082610269565b915061024b83610269565b92508282101561025e5761025d610273565b5b828203905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600080fd5b7f7361706120646579203f00000000000000000000000000000000000000000000600082015250565b6102d981610269565b81146102e457600080fd5b5056fea2646970667358221220c384c940ce7d446203b82508d55151cf77e914f6bfbf15bd57b965fb74707d4064736f6c63430008070033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x0 DUP1 DUP2 SWAP1 SSTORE POP PUSH2 0x31D DUP1 PUSH2 0x27 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x41 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x12065FE0 EQ PUSH2 0x46 JUMPI DUP1 PUSH4 0x2E1A7D4D EQ PUSH2 0x64 JUMPI DUP1 PUSH4 0xB6B55F25 EQ PUSH2 0x80 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x4E PUSH2 0x9C JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x5B SWAP2 SWAP1 PUSH2 0x1B3 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x7E PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x79 SWAP2 SWAP1 PUSH2 0x134 JUMP JUMPDEST PUSH2 0xA5 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x9A PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x95 SWAP2 SWAP1 PUSH2 0x134 JUMP JUMPDEST PUSH2 0x104 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST DUP1 PUSH1 0x0 SLOAD GT PUSH2 0xE9 JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD PUSH2 0xE0 SWAP1 PUSH2 0x193 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST DUP1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0xFA SWAP2 SWAP1 PUSH2 0x235 JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP POP JUMP JUMPDEST DUP1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0x115 SWAP2 SWAP1 PUSH2 0x1DF JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x12E DUP2 PUSH2 0x2D0 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x14A JUMPI PUSH2 0x149 PUSH2 0x2A2 JUMP JUMPDEST JUMPDEST PUSH1 0x0 PUSH2 0x158 DUP5 DUP3 DUP6 ADD PUSH2 0x11F JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x16E PUSH1 0xA DUP4 PUSH2 0x1CE JUMP JUMPDEST SWAP2 POP PUSH2 0x179 DUP3 PUSH2 0x2A7 JUMP JUMPDEST PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x18D DUP2 PUSH2 0x269 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x1AC DUP2 PUSH2 0x161 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x1C8 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x184 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x1EA DUP3 PUSH2 0x269 JUMP JUMPDEST SWAP2 POP PUSH2 0x1F5 DUP4 PUSH2 0x269 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0x22A JUMPI PUSH2 0x229 PUSH2 0x273 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x240 DUP3 PUSH2 0x269 JUMP JUMPDEST SWAP2 POP PUSH2 0x24B DUP4 PUSH2 0x269 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 LT ISZERO PUSH2 0x25E JUMPI PUSH2 0x25D PUSH2 0x273 JUMP JUMPDEST JUMPDEST DUP3 DUP3 SUB SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH32 0x7361706120646579203F00000000000000000000000000000000000000000000 PUSH1 0x0 DUP3 ADD MSTORE POP JUMP JUMPDEST PUSH2 0x2D9 DUP2 PUSH2 0x269 JUMP JUMPDEST DUP2 EQ PUSH2 0x2E4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xC3 DUP5 0xC9 BLOCKHASH 0xCE PUSH30 0x446203B82508D55151CF77E914F6BFBF15BD57B965FB74707D4064736F6C PUSH4 0x43000807 STOP CALLER ",
"sourceMap": "66:426:0:-:0;;;103:39;;;;;;;;;;134:1;126:7;:9;;;;66:426;;;;;;"
},
"deployedBytecode": {
"functionDebugData": {
"@deposit_21": {
"entryPoint": 260,
"id": 21,
"parameterSlots": 1,
"returnSlots": 0
},
"@getBalance_46": {
"entryPoint": 156,
"id": 46,
"parameterSlots": 0,
"returnSlots": 1
},
"@withdraw_38": {
"entryPoint": 165,
"id": 38,
"parameterSlots": 1,
"returnSlots": 0
},
"abi_decode_t_uint256": {
"entryPoint": 287,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_decode_tuple_t_uint256": {
"entryPoint": 308,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack": {
"entryPoint": 353,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_encode_t_uint256_to_t_uint256_fromStack": {
"entryPoint": 388,
"id": null,
"parameterSlots": 2,
"returnSlots": 0
},
"abi_encode_tuple_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e__to_t_string_memory_ptr__fromStack_reversed": {
"entryPoint": 403,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed": {
"entryPoint": 435,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"allocate_unbounded": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 1
},
"array_storeLengthForEncoding_t_string_memory_ptr_fromStack": {
"entryPoint": 462,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"checked_add_t_uint256": {
"entryPoint": 479,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"checked_sub_t_uint256": {
"entryPoint": 565,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"cleanup_t_uint256": {
"entryPoint": 617,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"panic_error_0x11": {
"entryPoint": 627,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b": {
"entryPoint": 674,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e": {
"entryPoint": 679,
"id": null,
"parameterSlots": 1,
"returnSlots": 0
},
"validator_revert_t_uint256": {
"entryPoint": 720,
"id": null,
"parameterSlots": 1,
"returnSlots": 0
}
},
"generatedSources": [
{
"ast": {
"nodeType": "YulBlock",
"src": "0:3206:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "59:87:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "69:29:1",
"value": {
"arguments": [
{
"name": "offset",
"nodeType": "YulIdentifier",
"src": "91:6:1"
}
],
"functionName": {
"name": "calldataload",
"nodeType": "YulIdentifier",
"src": "78:12:1"
},
"nodeType": "YulFunctionCall",
"src": "78:20:1"
},
"variableNames": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "69:5:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "134:5:1"
}
],
"functionName": {
"name": "validator_revert_t_uint256",
"nodeType": "YulIdentifier",
"src": "107:26:1"
},
"nodeType": "YulFunctionCall",
"src": "107:33:1"
},
"nodeType": "YulExpressionStatement",
"src": "107:33:1"
}
]
},
"name": "abi_decode_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "offset",
"nodeType": "YulTypedName",
"src": "37:6:1",
"type": ""
},
{
"name": "end",
"nodeType": "YulTypedName",
"src": "45:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "53:5:1",
"type": ""
}
],
"src": "7:139:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "218:263:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "264:83:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nodeType": "YulIdentifier",
"src": "266:77:1"
},
"nodeType": "YulFunctionCall",
"src": "266:79:1"
},
"nodeType": "YulExpressionStatement",
"src": "266:79:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "dataEnd",
"nodeType": "YulIdentifier",
"src": "239:7:1"
},
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "248:9:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "235:3:1"
},
"nodeType": "YulFunctionCall",
"src": "235:23:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "260:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "slt",
"nodeType": "YulIdentifier",
"src": "231:3:1"
},
"nodeType": "YulFunctionCall",
"src": "231:32:1"
},
"nodeType": "YulIf",
"src": "228:119:1"
},
{
"nodeType": "YulBlock",
"src": "357:117:1",
"statements": [
{
"nodeType": "YulVariableDeclaration",
"src": "372:15:1",
"value": {
"kind": "number",
"nodeType": "YulLiteral",
"src": "386:1:1",
"type": "",
"value": "0"
},
"variables": [
{
"name": "offset",
"nodeType": "YulTypedName",
"src": "376:6:1",
"type": ""
}
]
},
{
"nodeType": "YulAssignment",
"src": "401:63:1",
"value": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "436:9:1"
},
{
"name": "offset",
"nodeType": "YulIdentifier",
"src": "447:6:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "432:3:1"
},
"nodeType": "YulFunctionCall",
"src": "432:22:1"
},
{
"name": "dataEnd",
"nodeType": "YulIdentifier",
"src": "456:7:1"
}
],
"functionName": {
"name": "abi_decode_t_uint256",
"nodeType": "YulIdentifier",
"src": "411:20:1"
},
"nodeType": "YulFunctionCall",
"src": "411:53:1"
},
"variableNames": [
{
"name": "value0",
"nodeType": "YulIdentifier",
"src": "401:6:1"
}
]
}
]
}
]
},
"name": "abi_decode_tuple_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nodeType": "YulTypedName",
"src": "188:9:1",
"type": ""
},
{
"name": "dataEnd",
"nodeType": "YulTypedName",
"src": "199:7:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value0",
"nodeType": "YulTypedName",
"src": "211:6:1",
"type": ""
}
],
"src": "152:329:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "633:220:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "643:74:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "709:3:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "714:2:1",
"type": "",
"value": "10"
}
],
"functionName": {
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nodeType": "YulIdentifier",
"src": "650:58:1"
},
"nodeType": "YulFunctionCall",
"src": "650:67:1"
},
"variableNames": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "643:3:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "815:3:1"
}
],
"functionName": {
"name": "store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e",
"nodeType": "YulIdentifier",
"src": "726:88:1"
},
"nodeType": "YulFunctionCall",
"src": "726:93:1"
},
"nodeType": "YulExpressionStatement",
"src": "726:93:1"
},
{
"nodeType": "YulAssignment",
"src": "828:19:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "839:3:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "844:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "835:3:1"
},
"nodeType": "YulFunctionCall",
"src": "835:12:1"
},
"variableNames": [
{
"name": "end",
"nodeType": "YulIdentifier",
"src": "828:3:1"
}
]
}
]
},
"name": "abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "621:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "end",
"nodeType": "YulTypedName",
"src": "629:3:1",
"type": ""
}
],
"src": "487:366:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "924:53:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "941:3:1"
},
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "964:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "946:17:1"
},
"nodeType": "YulFunctionCall",
"src": "946:24:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "934:6:1"
},
"nodeType": "YulFunctionCall",
"src": "934:37:1"
},
"nodeType": "YulExpressionStatement",
"src": "934:37:1"
}
]
},
"name": "abi_encode_t_uint256_to_t_uint256_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "912:5:1",
"type": ""
},
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "919:3:1",
"type": ""
}
],
"src": "859:118:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1154:248:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1164:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1176:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1187:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1172:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1172:18:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1164:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1211:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1222:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1207:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1207:17:1"
},
{
"arguments": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1230:4:1"
},
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1236:9:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "1226:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1226:20:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1200:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1200:47:1"
},
"nodeType": "YulExpressionStatement",
"src": "1200:47:1"
},
{
"nodeType": "YulAssignment",
"src": "1256:139:1",
"value": {
"arguments": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1390:4:1"
}
],
"functionName": {
"name": "abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack",
"nodeType": "YulIdentifier",
"src": "1264:124:1"
},
"nodeType": "YulFunctionCall",
"src": "1264:131:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1256:4:1"
}
]
}
]
},
"name": "abi_encode_tuple_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e__to_t_string_memory_ptr__fromStack_reversed",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nodeType": "YulTypedName",
"src": "1134:9:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nodeType": "YulTypedName",
"src": "1149:4:1",
"type": ""
}
],
"src": "983:419:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1506:124:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1516:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1528:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1539:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1524:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1524:18:1"
},
"variableNames": [
{
"name": "tail",
"nodeType": "YulIdentifier",
"src": "1516:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value0",
"nodeType": "YulIdentifier",
"src": "1596:6:1"
},
{
"arguments": [
{
"name": "headStart",
"nodeType": "YulIdentifier",
"src": "1609:9:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1620:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1605:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1605:17:1"
}
],
"functionName": {
"name": "abi_encode_t_uint256_to_t_uint256_fromStack",
"nodeType": "YulIdentifier",
"src": "1552:43:1"
},
"nodeType": "YulFunctionCall",
"src": "1552:71:1"
},
"nodeType": "YulExpressionStatement",
"src": "1552:71:1"
}
]
},
"name": "abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nodeType": "YulTypedName",
"src": "1478:9:1",
"type": ""
},
{
"name": "value0",
"nodeType": "YulTypedName",
"src": "1490:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nodeType": "YulTypedName",
"src": "1501:4:1",
"type": ""
}
],
"src": "1408:222:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1676:35:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1686:19:1",
"value": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1702:2:1",
"type": "",
"value": "64"
}
],
"functionName": {
"name": "mload",
"nodeType": "YulIdentifier",
"src": "1696:5:1"
},
"nodeType": "YulFunctionCall",
"src": "1696:9:1"
},
"variableNames": [
{
"name": "memPtr",
"nodeType": "YulIdentifier",
"src": "1686:6:1"
}
]
}
]
},
"name": "allocate_unbounded",
"nodeType": "YulFunctionDefinition",
"returnVariables": [
{
"name": "memPtr",
"nodeType": "YulTypedName",
"src": "1669:6:1",
"type": ""
}
],
"src": "1636:75:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1813:73:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "1830:3:1"
},
{
"name": "length",
"nodeType": "YulIdentifier",
"src": "1835:6:1"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "1823:6:1"
},
"nodeType": "YulFunctionCall",
"src": "1823:19:1"
},
"nodeType": "YulExpressionStatement",
"src": "1823:19:1"
},
{
"nodeType": "YulAssignment",
"src": "1851:29:1",
"value": {
"arguments": [
{
"name": "pos",
"nodeType": "YulIdentifier",
"src": "1870:3:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "1875:4:1",
"type": "",
"value": "0x20"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "1866:3:1"
},
"nodeType": "YulFunctionCall",
"src": "1866:14:1"
},
"variableNames": [
{
"name": "updated_pos",
"nodeType": "YulIdentifier",
"src": "1851:11:1"
}
]
}
]
},
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "pos",
"nodeType": "YulTypedName",
"src": "1785:3:1",
"type": ""
},
{
"name": "length",
"nodeType": "YulTypedName",
"src": "1790:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "updated_pos",
"nodeType": "YulTypedName",
"src": "1801:11:1",
"type": ""
}
],
"src": "1717:169:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "1936:261:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "1946:25:1",
"value": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "1969:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "1951:17:1"
},
"nodeType": "YulFunctionCall",
"src": "1951:20:1"
},
"variableNames": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "1946:1:1"
}
]
},
{
"nodeType": "YulAssignment",
"src": "1980:25:1",
"value": {
"arguments": [
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2003:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "1985:17:1"
},
"nodeType": "YulFunctionCall",
"src": "1985:20:1"
},
"variableNames": [
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "1980:1:1"
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "2143:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nodeType": "YulIdentifier",
"src": "2145:16:1"
},
"nodeType": "YulFunctionCall",
"src": "2145:18:1"
},
"nodeType": "YulExpressionStatement",
"src": "2145:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2064:1:1"
},
{
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2071:66:1",
"type": "",
"value": "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
},
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2139:1:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "2067:3:1"
},
"nodeType": "YulFunctionCall",
"src": "2067:74:1"
}
],
"functionName": {
"name": "gt",
"nodeType": "YulIdentifier",
"src": "2061:2:1"
},
"nodeType": "YulFunctionCall",
"src": "2061:81:1"
},
"nodeType": "YulIf",
"src": "2058:107:1"
},
{
"nodeType": "YulAssignment",
"src": "2175:16:1",
"value": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2186:1:1"
},
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2189:1:1"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "2182:3:1"
},
"nodeType": "YulFunctionCall",
"src": "2182:9:1"
},
"variableNames": [
{
"name": "sum",
"nodeType": "YulIdentifier",
"src": "2175:3:1"
}
]
}
]
},
"name": "checked_add_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "x",
"nodeType": "YulTypedName",
"src": "1923:1:1",
"type": ""
},
{
"name": "y",
"nodeType": "YulTypedName",
"src": "1926:1:1",
"type": ""
}
],
"returnVariables": [
{
"name": "sum",
"nodeType": "YulTypedName",
"src": "1932:3:1",
"type": ""
}
],
"src": "1892:305:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2248:146:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "2258:25:1",
"value": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2281:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "2263:17:1"
},
"nodeType": "YulFunctionCall",
"src": "2263:20:1"
},
"variableNames": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2258:1:1"
}
]
},
{
"nodeType": "YulAssignment",
"src": "2292:25:1",
"value": {
"arguments": [
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2315:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "2297:17:1"
},
"nodeType": "YulFunctionCall",
"src": "2297:20:1"
},
"variableNames": [
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2292:1:1"
}
]
},
{
"body": {
"nodeType": "YulBlock",
"src": "2339:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nodeType": "YulIdentifier",
"src": "2341:16:1"
},
"nodeType": "YulFunctionCall",
"src": "2341:18:1"
},
"nodeType": "YulExpressionStatement",
"src": "2341:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2333:1:1"
},
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2336:1:1"
}
],
"functionName": {
"name": "lt",
"nodeType": "YulIdentifier",
"src": "2330:2:1"
},
"nodeType": "YulFunctionCall",
"src": "2330:8:1"
},
"nodeType": "YulIf",
"src": "2327:34:1"
},
{
"nodeType": "YulAssignment",
"src": "2371:17:1",
"value": {
"arguments": [
{
"name": "x",
"nodeType": "YulIdentifier",
"src": "2383:1:1"
},
{
"name": "y",
"nodeType": "YulIdentifier",
"src": "2386:1:1"
}
],
"functionName": {
"name": "sub",
"nodeType": "YulIdentifier",
"src": "2379:3:1"
},
"nodeType": "YulFunctionCall",
"src": "2379:9:1"
},
"variableNames": [
{
"name": "diff",
"nodeType": "YulIdentifier",
"src": "2371:4:1"
}
]
}
]
},
"name": "checked_sub_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "x",
"nodeType": "YulTypedName",
"src": "2234:1:1",
"type": ""
},
{
"name": "y",
"nodeType": "YulTypedName",
"src": "2237:1:1",
"type": ""
}
],
"returnVariables": [
{
"name": "diff",
"nodeType": "YulTypedName",
"src": "2243:4:1",
"type": ""
}
],
"src": "2203:191:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2445:32:1",
"statements": [
{
"nodeType": "YulAssignment",
"src": "2455:16:1",
"value": {
"name": "value",
"nodeType": "YulIdentifier",
"src": "2466:5:1"
},
"variableNames": [
{
"name": "cleaned",
"nodeType": "YulIdentifier",
"src": "2455:7:1"
}
]
}
]
},
"name": "cleanup_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "2427:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "cleaned",
"nodeType": "YulTypedName",
"src": "2437:7:1",
"type": ""
}
],
"src": "2400:77:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2511:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2528:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2531:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "2521:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2521:88:1"
},
"nodeType": "YulExpressionStatement",
"src": "2521:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2625:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2628:4:1",
"type": "",
"value": "0x11"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "2618:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2618:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "2618:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2649:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2652:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "2642:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2642:15:1"
},
"nodeType": "YulExpressionStatement",
"src": "2642:15:1"
}
]
},
"name": "panic_error_0x11",
"nodeType": "YulFunctionDefinition",
"src": "2483:180:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2758:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2775:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2778:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "2768:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2768:12:1"
},
"nodeType": "YulExpressionStatement",
"src": "2768:12:1"
}
]
},
"name": "revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db",
"nodeType": "YulFunctionDefinition",
"src": "2669:117:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "2881:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2898:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "2901:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "2891:6:1"
},
"nodeType": "YulFunctionCall",
"src": "2891:12:1"
},
"nodeType": "YulExpressionStatement",
"src": "2891:12:1"
}
]
},
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nodeType": "YulFunctionDefinition",
"src": "2792:117:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "3021:54:1",
"statements": [
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "memPtr",
"nodeType": "YulIdentifier",
"src": "3043:6:1"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "3051:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nodeType": "YulIdentifier",
"src": "3039:3:1"
},
"nodeType": "YulFunctionCall",
"src": "3039:14:1"
},
{
"hexValue": "7361706120646579203f",
"kind": "string",
"nodeType": "YulLiteral",
"src": "3055:12:1",
"type": "",
"value": "sapa dey ?"
}
],
"functionName": {
"name": "mstore",
"nodeType": "YulIdentifier",
"src": "3032:6:1"
},
"nodeType": "YulFunctionCall",
"src": "3032:36:1"
},
"nodeType": "YulExpressionStatement",
"src": "3032:36:1"
}
]
},
"name": "store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "memPtr",
"nodeType": "YulTypedName",
"src": "3013:6:1",
"type": ""
}
],
"src": "2915:160:1"
},
{
"body": {
"nodeType": "YulBlock",
"src": "3124:79:1",
"statements": [
{
"body": {
"nodeType": "YulBlock",
"src": "3181:16:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "3190:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nodeType": "YulLiteral",
"src": "3193:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nodeType": "YulIdentifier",
"src": "3183:6:1"
},
"nodeType": "YulFunctionCall",
"src": "3183:12:1"
},
"nodeType": "YulExpressionStatement",
"src": "3183:12:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "3147:5:1"
},
{
"arguments": [
{
"name": "value",
"nodeType": "YulIdentifier",
"src": "3172:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nodeType": "YulIdentifier",
"src": "3154:17:1"
},
"nodeType": "YulFunctionCall",
"src": "3154:24:1"
}
],
"functionName": {
"name": "eq",
"nodeType": "YulIdentifier",
"src": "3144:2:1"
},
"nodeType": "YulFunctionCall",
"src": "3144:35:1"
}
],
"functionName": {
"name": "iszero",
"nodeType": "YulIdentifier",
"src": "3137:6:1"
},
"nodeType": "YulFunctionCall",
"src": "3137:43:1"
},
"nodeType": "YulIf",
"src": "3134:63:1"
}
]
},
"name": "validator_revert_t_uint256",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nodeType": "YulTypedName",
"src": "3117:5:1",
"type": ""
}
],
"src": "3081:122:1"
}
]
},
"contents": "{\n\n function abi_decode_t_uint256(offset, end) -> value {\n value := calldataload(offset)\n validator_revert_t_uint256(value)\n }\n\n function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0 {\n if slt(sub(dataEnd, headStart), 32) { revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() }\n\n {\n\n let offset := 0\n\n value0 := abi_decode_t_uint256(add(headStart, offset), dataEnd)\n }\n\n }\n\n function abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack(pos) -> end {\n pos := array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, 10)\n store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e(pos)\n end := add(pos, 32)\n }\n\n function abi_encode_t_uint256_to_t_uint256_fromStack(value, pos) {\n mstore(pos, cleanup_t_uint256(value))\n }\n\n function abi_encode_tuple_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e__to_t_string_memory_ptr__fromStack_reversed(headStart ) -> tail {\n tail := add(headStart, 32)\n\n mstore(add(headStart, 0), sub(tail, headStart))\n tail := abi_encode_t_stringliteral_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e_to_t_string_memory_ptr_fromStack( tail)\n\n }\n\n function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart , value0) -> tail {\n tail := add(headStart, 32)\n\n abi_encode_t_uint256_to_t_uint256_fromStack(value0, add(headStart, 0))\n\n }\n\n function allocate_unbounded() -> memPtr {\n memPtr := mload(64)\n }\n\n function array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, length) -> updated_pos {\n mstore(pos, length)\n updated_pos := add(pos, 0x20)\n }\n\n function checked_add_t_uint256(x, y) -> sum {\n x := cleanup_t_uint256(x)\n y := cleanup_t_uint256(y)\n\n // overflow, if x > (maxValue - y)\n if gt(x, sub(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff, y)) { panic_error_0x11() }\n\n sum := add(x, y)\n }\n\n function checked_sub_t_uint256(x, y) -> diff {\n x := cleanup_t_uint256(x)\n y := cleanup_t_uint256(y)\n\n if lt(x, y) { panic_error_0x11() }\n\n diff := sub(x, y)\n }\n\n function cleanup_t_uint256(value) -> cleaned {\n cleaned := value\n }\n\n function panic_error_0x11() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x11)\n revert(0, 0x24)\n }\n\n function revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db() {\n revert(0, 0)\n }\n\n function revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() {\n revert(0, 0)\n }\n\n function store_literal_in_memory_47c99c40d6b74967d300baa8c77d558aec3b27e57ef8814830ae94f30ab9888e(memPtr) {\n\n mstore(add(memPtr, 0), \"sapa dey ?\")\n\n }\n\n function validator_revert_t_uint256(value) {\n if iszero(eq(value, cleanup_t_uint256(value))) { revert(0, 0) }\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"immutableReferences": {},
"linkReferences": {},
"object": "608060405234801561001057600080fd5b50600436106100415760003560e01c806312065fe0146100465780632e1a7d4d14610064578063b6b55f2514610080575b600080fd5b61004e61009c565b60405161005b91906101b3565b60405180910390f35b61007e60048036038101906100799190610134565b6100a5565b005b61009a60048036038101906100959190610134565b610104565b005b60008054905090565b80600054116100e9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100e090610193565b60405180910390fd5b806000808282546100fa9190610235565b9250508190555050565b8060008082825461011591906101df565b9250508190555050565b60008135905061012e816102d0565b92915050565b60006020828403121561014a576101496102a2565b5b60006101588482850161011f565b91505092915050565b600061016e600a836101ce565b9150610179826102a7565b602082019050919050565b61018d81610269565b82525050565b600060208201905081810360008301526101ac81610161565b9050919050565b60006020820190506101c86000830184610184565b92915050565b600082825260208201905092915050565b60006101ea82610269565b91506101f583610269565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561022a57610229610273565b5b828201905092915050565b600061024082610269565b915061024b83610269565b92508282101561025e5761025d610273565b5b828203905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600080fd5b7f7361706120646579203f00000000000000000000000000000000000000000000600082015250565b6102d981610269565b81146102e457600080fd5b5056fea2646970667358221220c384c940ce7d446203b82508d55151cf77e914f6bfbf15bd57b965fb74707d4064736f6c63430008070033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x41 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x12065FE0 EQ PUSH2 0x46 JUMPI DUP1 PUSH4 0x2E1A7D4D EQ PUSH2 0x64 JUMPI DUP1 PUSH4 0xB6B55F25 EQ PUSH2 0x80 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x4E PUSH2 0x9C JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x5B SWAP2 SWAP1 PUSH2 0x1B3 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x7E PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x79 SWAP2 SWAP1 PUSH2 0x134 JUMP JUMPDEST PUSH2 0xA5 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x9A PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x95 SWAP2 SWAP1 PUSH2 0x134 JUMP JUMPDEST PUSH2 0x104 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST DUP1 PUSH1 0x0 SLOAD GT PUSH2 0xE9 JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD PUSH2 0xE0 SWAP1 PUSH2 0x193 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST DUP1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0xFA SWAP2 SWAP1 PUSH2 0x235 JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP POP JUMP JUMPDEST DUP1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0x115 SWAP2 SWAP1 PUSH2 0x1DF JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x12E DUP2 PUSH2 0x2D0 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x14A JUMPI PUSH2 0x149 PUSH2 0x2A2 JUMP JUMPDEST JUMPDEST PUSH1 0x0 PUSH2 0x158 DUP5 DUP3 DUP6 ADD PUSH2 0x11F JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x16E PUSH1 0xA DUP4 PUSH2 0x1CE JUMP JUMPDEST SWAP2 POP PUSH2 0x179 DUP3 PUSH2 0x2A7 JUMP JUMPDEST PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x18D DUP2 PUSH2 0x269 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x1AC DUP2 PUSH2 0x161 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x1C8 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x184 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x1EA DUP3 PUSH2 0x269 JUMP JUMPDEST SWAP2 POP PUSH2 0x1F5 DUP4 PUSH2 0x269 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0x22A JUMPI PUSH2 0x229 PUSH2 0x273 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x240 DUP3 PUSH2 0x269 JUMP JUMPDEST SWAP2 POP PUSH2 0x24B DUP4 PUSH2 0x269 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 LT ISZERO PUSH2 0x25E JUMPI PUSH2 0x25D PUSH2 0x273 JUMP JUMPDEST JUMPDEST DUP3 DUP3 SUB SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH32 0x7361706120646579203F00000000000000000000000000000000000000000000 PUSH1 0x0 DUP3 ADD MSTORE POP JUMP JUMPDEST PUSH2 0x2D9 DUP2 PUSH2 0x269 JUMP JUMPDEST DUP2 EQ PUSH2 0x2E4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xC3 DUP5 0xC9 BLOCKHASH 0xCE PUSH30 0x446203B82508D55151CF77E914F6BFBF15BD57B965FB74707D4064736F6C PUSH4 0x43000807 STOP CALLER ",
"sourceMap": "66:426:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;402:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;259:122;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;164:72;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;402:87;444:4;466:7;;459:14;;402:87;:::o;259:122::-;326:6;316:7;;:16;308:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;368:6;357:7;;:17;;;;;;;:::i;:::-;;;;;;;;259:122;:::o;164:72::-;223:6;212:7;;:17;;;;;;;:::i;:::-;;;;;;;;164:72;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;7:139;;;;:::o;152:329::-;211:6;260:2;248:9;239:7;235:23;231:32;228:119;;;266:79;;:::i;:::-;228:119;386:1;411:53;456:7;447:6;436:9;432:22;411:53;:::i;:::-;401:63;;357:117;152:329;;;;:::o;487:366::-;629:3;650:67;714:2;709:3;650:67;:::i;:::-;643:74;;726:93;815:3;726:93;:::i;:::-;844:2;839:3;835:12;828:19;;487:366;;;:::o;859:118::-;946:24;964:5;946:24;:::i;:::-;941:3;934:37;859:118;;:::o;983:419::-;1149:4;1187:2;1176:9;1172:18;1164:26;;1236:9;1230:4;1226:20;1222:1;1211:9;1207:17;1200:47;1264:131;1390:4;1264:131;:::i;:::-;1256:139;;983:419;;;:::o;1408:222::-;1501:4;1539:2;1528:9;1524:18;1516:26;;1552:71;1620:1;1609:9;1605:17;1596:6;1552:71;:::i;:::-;1408:222;;;;:::o;1717:169::-;1801:11;1835:6;1830:3;1823:19;1875:4;1870:3;1866:14;1851:29;;1717:169;;;;:::o;1892:305::-;1932:3;1951:20;1969:1;1951:20;:::i;:::-;1946:25;;1985:20;2003:1;1985:20;:::i;:::-;1980:25;;2139:1;2071:66;2067:74;2064:1;2061:81;2058:107;;;2145:18;;:::i;:::-;2058:107;2189:1;2186;2182:9;2175:16;;1892:305;;;;:::o;2203:191::-;2243:4;2263:20;2281:1;2263:20;:::i;:::-;2258:25;;2297:20;2315:1;2297:20;:::i;:::-;2292:25;;2336:1;2333;2330:8;2327:34;;;2341:18;;:::i;:::-;2327:34;2386:1;2383;2379:9;2371:17;;2203:191;;;;:::o;2400:77::-;2437:7;2466:5;2455:16;;2400:77;;;:::o;2483:180::-;2531:77;2528:1;2521:88;2628:4;2625:1;2618:15;2652:4;2649:1;2642:15;2792:117;2901:1;2898;2891:12;2915:160;3055:12;3051:1;3043:6;3039:14;3032:36;2915:160;:::o;3081:122::-;3154:24;3172:5;3154:24;:::i;:::-;3147:5;3144:35;3134:63;;3193:1;3190;3183:12;3134:63;3081:122;:::o"
},
"gasEstimates": {
"creation": {
"codeDepositCost": "159400",
"executionCost": "5216",
"totalCost": "164616"
},
"external": {
"deposit(uint256)": "infinite",
"getBalance()": "2415",
"withdraw(uint256)": "infinite"
}
},
"methodIdentifiers": {
"deposit(uint256)": "b6b55f25",
"getBalance()": "12065fe0",
"withdraw(uint256)": "2e1a7d4d"
}
},
"abi": [
{
"inputs": [],
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
}
],
"name": "deposit",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "getBalance",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
}
],
"name": "withdraw",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
}
]
}
{
"compiler": {
"version": "0.8.7+commit.e28d00a7"
},
"language": "Solidity",
"output": {
"abi": [
{
"inputs": [],
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
}
],
"name": "deposit",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "getBalance",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
}
],
"name": "withdraw",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
}
],
"devdoc": {
"kind": "dev",
"methods": {},
"version": 1
},
"userdoc": {
"kind": "user",
"methods": {},
"version": 1
}
},
"settings": {
"compilationTarget": {
"contracts/sam.sol": "Sam"
},
"evmVersion": "london",
"libraries": {},
"metadata": {
"bytecodeHash": "ipfs"
},
"optimizer": {
"enabled": false,
"runs": 200
},
"remappings": []
},
"sources": {
"contracts/sam.sol": {
"keccak256": "0x5d66d327733c0bfeac7a4e740c46b3d50a3dcbe5cab3b275a82aa17736662186",
"license": "MIT",
"urls": [
"bzz-raw://7508448737adc014ce9c96d362e879e997fac647b5f3ad5c732834156d3052a4",
"dweb:/ipfs/QmcRU67juH1bg94wa9rxdodHkwPQz4s9paQoT3GYeWWWTJ"
]
}
},
"version": 1
}
// SPDX-License-Identifier: MIT
pragma solidity >=0.6.2 <0.9.0;
contract Sam{
uint balance;
constructor(){
balance=0;
}
// deposit
function deposit (uint amount) public {
balance += amount;
}
// withdraw
function withdraw (uint amount) public {
require(balance > amount, "sapa dey ?");
balance -= amount;
}
//balance
function getBalance() public view returns(uint){
return balance;
}
}
// This script can be used to deploy the "Storage" contract using ethers.js library.
// Please make sure to compile "./contracts/1_Storage.sol" file before running this script.
// And use Right click -> "Run" from context menu of the file to run the script. Shortcut: Ctrl+Shift+S
import { deploy } from './ethers-lib'
(async () => {
try {
const result = await deploy('Storage', [])
console.log(`address: ${result.address}`)
} catch (e) {
console.log(e.message)
}
})()
// This script can be used to deploy the "Storage" contract using Web3 library.
// Please make sure to compile "./contracts/1_Storage.sol" file before running this script.
// And use Right click -> "Run" from context menu of the file to run the script. Shortcut: Ctrl+Shift+S
import { deploy } from './web3-lib'
(async () => {
try {
const result = await deploy('Storage', [])
console.log(`address: ${result.address}`)
} catch (e) {
console.log(e.message)
}
})()
import { ethers } from 'ethers'
/**
* Deploy the given contract
* @param {string} contractName name of the contract to deploy
* @param {Array<any>} args list of constructor' parameters
* @param {Number} accountIndex account index from the exposed account
* @return {Contract} deployed contract
*/
export const deploy = async (contractName: string, args: Array<any>, accountIndex?: number): Promise<ethers.Contract> => {
console.log(`deploying ${contractName}`)
// Note that the script needs the ABI which is generated from the compilation artifact.
// Make sure contract is compiled and artifacts are generated
const artifactsPath = `browser/contracts/artifacts/${contractName}.json` // Change this for different path
const metadata = JSON.parse(await remix.call('fileManager', 'getFile', artifactsPath))
// 'web3Provider' is a remix global variable object
const signer = (new ethers.providers.Web3Provider(web3Provider)).getSigner(accountIndex)
const factory = new ethers.ContractFactory(metadata.abi, metadata.data.bytecode.object, signer)
const contract = await factory.deploy(...args)
// The contract is NOT deployed yet; we must wait until it is mined
await contract.deployed()
return contract
}
import Web3 from 'web3'
import { Contract, ContractSendMethod, Options } from 'web3-eth-contract'
/**
* Deploy the given contract
* @param {string} contractName name of the contract to deploy
* @param {Array<any>} args list of constructor' parameters
* @param {string} from account used to send the transaction
* @param {number} gas gas limit
* @return {Options} deployed contract
*/
export const deploy = async (contractName: string, args: Array<any>, from?: string, gas?: number): Promise<Options> => {
const web3 = new Web3(web3Provider)
console.log(`deploying ${contractName}`)
// Note that the script needs the ABI which is generated from the compilation artifact.
// Make sure contract is compiled and artifacts are generated
const artifactsPath = `browser/contracts/artifacts/${contractName}.json`
const metadata = JSON.parse(await remix.call('fileManager', 'getFile', artifactsPath))
const accounts = await web3.eth.getAccounts()
const contract: Contract = new web3.eth.Contract(metadata.abi)
const contractSend: ContractSendMethod = contract.deploy({
data: metadata.data.bytecode.object,
arguments: args
})
const newContractInstance = await contractSend.send({
from: from || accounts[0],
gas: gas || 1500000
})
return newContractInstance.options
}
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.7.0 <0.9.0;
import "remix_tests.sol"; // this import is automatically injected by Remix.
import "hardhat/console.sol";
import "../contracts/3_Ballot.sol";
contract BallotTest {
bytes32[] proposalNames;
Ballot ballotToTest;
function beforeAll () public {
proposalNames.push(bytes32("candidate1"));
ballotToTest = new Ballot(proposalNames);
}
function checkWinningProposal () public {
console.log("Running checkWinningProposal");
ballotToTest.vote(0);
Assert.equal(ballotToTest.winningProposal(), uint(0), "proposal at index 0 should be the winning proposal");
Assert.equal(ballotToTest.winnerName(), bytes32("candidate1"), "candidate1 should be the winner name");
}
function checkWinninProposalWithReturnValue () public view returns (bool) {
return ballotToTest.winningProposal() == 0;
}
}
// Right click on the script name and hit "Run" to execute
const { expect } = require("chai");
const { ethers } = require("hardhat");
describe("Storage", function () {
it("test initial value", async function () {
const Storage = await ethers.getContractFactory("Storage");
const storage = await Storage.deploy();
await storage.deployed();
console.log('storage deployed at:'+ storage.address)
expect((await storage.retrieve()).toNumber()).to.equal(0);
});
it("test updating and retrieving updated value", async function () {
const Storage = await ethers.getContractFactory("Storage");
const storage = await Storage.deploy();
await storage.deployed();
const storage2 = await ethers.getContractAt("Storage", storage.address);
const setValue = await storage2.store(56);
await setValue.wait();
expect((await storage2.retrieve()).toNumber()).to.equal(56);
});
});
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment