{
"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": {
"@_16": {
"entryPoint": null,
"id": 16,
"parameterSlots": 0,
"returnSlots": 0
}
},
"generatedSources": [],
"linkReferences": {},
"object": "6080604052348015600e575f80fd5b505f80819055506103ce806100225f395ff3fe608060405234801561000f575f80fd5b5060043610610034575f3560e01c80631d263f6714610038578063e6f334d714610068575b5f80fd5b610052600480360381019061004d9190610198565b610086565b60405161005f91906101d2565b60405180910390f35b61007061015a565b60405161007d9190610203565b60405180910390f35b5f806001436100959190610249565b405f1c905080600154036100de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100d5906102d6565b60405180910390fd5b806001819055505f7f8000000000000000000000000000000000000000000000000000000000000000826101129190610321565b90505f60018214905084151581151503610148575f8081548092919061013790610351565b919050555060019350505050610155565b5f80819055505f93505050505b919050565b5f5481565b5f80fd5b5f8115159050919050565b61017781610163565b8114610181575f80fd5b50565b5f813590506101928161016e565b92915050565b5f602082840312156101ad576101ac61015f565b5b5f6101ba84828501610184565b91505092915050565b6101cc81610163565b82525050565b5f6020820190506101e55f8301846101c3565b92915050565b5f819050919050565b6101fd816101eb565b82525050565b5f6020820190506102165f8301846101f4565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610253826101eb565b915061025e836101eb565b92508282039050818111156102765761027561021c565b5b92915050565b5f82825260208201905092915050565b7f426c6f636b2076616c756520616c7265616479207573656400000000000000005f82015250565b5f6102c060188361027c565b91506102cb8261028c565b602082019050919050565b5f6020820190508181035f8301526102ed816102b4565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61032b826101eb565b9150610336836101eb565b925082610346576103456102f4565b5b828204905092915050565b5f61035b826101eb565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361038d5761038c61021c565b5b60018201905091905056fea2646970667358221220c9c7cd9b914156bbc919d23458b474b6fe4d5d9d96e841916b7d6564363bfc6264736f6c634300081a0033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH1 0xE JUMPI PUSH0 DUP1 REVERT JUMPDEST POP PUSH0 DUP1 DUP2 SWAP1 SSTORE POP PUSH2 0x3CE DUP1 PUSH2 0x22 PUSH0 CODECOPY PUSH0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0xF JUMPI PUSH0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x34 JUMPI PUSH0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x1D263F67 EQ PUSH2 0x38 JUMPI DUP1 PUSH4 0xE6F334D7 EQ PUSH2 0x68 JUMPI JUMPDEST PUSH0 DUP1 REVERT JUMPDEST PUSH2 0x52 PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x4D SWAP2 SWAP1 PUSH2 0x198 JUMP JUMPDEST PUSH2 0x86 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x5F SWAP2 SWAP1 PUSH2 0x1D2 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x70 PUSH2 0x15A JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x7D SWAP2 SWAP1 PUSH2 0x203 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH0 DUP1 PUSH1 0x1 NUMBER PUSH2 0x95 SWAP2 SWAP1 PUSH2 0x249 JUMP JUMPDEST BLOCKHASH PUSH0 SHR SWAP1 POP DUP1 PUSH1 0x1 SLOAD SUB PUSH2 0xDE JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD PUSH2 0xD5 SWAP1 PUSH2 0x2D6 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST DUP1 PUSH1 0x1 DUP2 SWAP1 SSTORE POP PUSH0 PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000 DUP3 PUSH2 0x112 SWAP2 SWAP1 PUSH2 0x321 JUMP JUMPDEST SWAP1 POP PUSH0 PUSH1 0x1 DUP3 EQ SWAP1 POP DUP5 ISZERO ISZERO DUP2 ISZERO ISZERO SUB PUSH2 0x148 JUMPI PUSH0 DUP1 DUP2 SLOAD DUP1 SWAP3 SWAP2 SWAP1 PUSH2 0x137 SWAP1 PUSH2 0x351 JUMP JUMPDEST SWAP2 SWAP1 POP SSTORE POP PUSH1 0x1 SWAP4 POP POP POP POP PUSH2 0x155 JUMP JUMPDEST PUSH0 DUP1 DUP2 SWAP1 SSTORE POP PUSH0 SWAP4 POP POP POP POP JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 SLOAD DUP2 JUMP JUMPDEST PUSH0 DUP1 REVERT JUMPDEST PUSH0 DUP2 ISZERO ISZERO SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x177 DUP2 PUSH2 0x163 JUMP JUMPDEST DUP2 EQ PUSH2 0x181 JUMPI PUSH0 DUP1 REVERT JUMPDEST POP JUMP JUMPDEST PUSH0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x192 DUP2 PUSH2 0x16E JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x1AD JUMPI PUSH2 0x1AC PUSH2 0x15F JUMP JUMPDEST JUMPDEST PUSH0 PUSH2 0x1BA DUP5 DUP3 DUP6 ADD PUSH2 0x184 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x1CC DUP2 PUSH2 0x163 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x1E5 PUSH0 DUP4 ADD DUP5 PUSH2 0x1C3 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x1FD DUP2 PUSH2 0x1EB JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x216 PUSH0 DUP4 ADD DUP5 PUSH2 0x1F4 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH0 REVERT JUMPDEST PUSH0 PUSH2 0x253 DUP3 PUSH2 0x1EB JUMP JUMPDEST SWAP2 POP PUSH2 0x25E DUP4 PUSH2 0x1EB JUMP JUMPDEST SWAP3 POP DUP3 DUP3 SUB SWAP1 POP DUP2 DUP2 GT ISZERO PUSH2 0x276 JUMPI PUSH2 0x275 PUSH2 0x21C JUMP JUMPDEST JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x426C6F636B2076616C756520616C726561647920757365640000000000000000 PUSH0 DUP3 ADD MSTORE POP JUMP JUMPDEST PUSH0 PUSH2 0x2C0 PUSH1 0x18 DUP4 PUSH2 0x27C JUMP JUMPDEST SWAP2 POP PUSH2 0x2CB DUP3 PUSH2 0x28C JUMP JUMPDEST PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH0 DUP4 ADD MSTORE PUSH2 0x2ED DUP2 PUSH2 0x2B4 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH0 MSTORE PUSH1 0x12 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH0 REVERT JUMPDEST PUSH0 PUSH2 0x32B DUP3 PUSH2 0x1EB JUMP JUMPDEST SWAP2 POP PUSH2 0x336 DUP4 PUSH2 0x1EB JUMP JUMPDEST SWAP3 POP DUP3 PUSH2 0x346 JUMPI PUSH2 0x345 PUSH2 0x2F4 JUMP JUMPDEST JUMPDEST DUP3 DUP3 DIV SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 PUSH2 0x35B DUP3 PUSH2 0x1EB JUMP JUMPDEST SWAP2 POP PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP3 SUB PUSH2 0x38D JUMPI PUSH2 0x38C PUSH2 0x21C JUMP JUMPDEST JUMPDEST PUSH1 0x1 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xC9 0xC7 0xCD SWAP12 SWAP2 COINBASE JUMP 0xBB 0xC9 NOT 0xD2 CALLVALUE PC 0xB4 PUSH21 0xB6FE4D5D9D96E841916B7D6564363BFC6264736F6C PUSH4 0x4300081A STOP CALLER ",
"sourceMap": "62:811:0:-:0;;;284:52;;;;;;;;;;327:1;309:15;:19;;;;62:811;;;;;;"
},
"deployedBytecode": {
"functionDebugData": {
"@consecutiveWins_3": {
"entryPoint": 346,
"id": 3,
"parameterSlots": 0,
"returnSlots": 0
},
"@flip_78": {
"entryPoint": 134,
"id": 78,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_decode_t_bool": {
"entryPoint": 388,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_decode_tuple_t_bool": {
"entryPoint": 408,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_encode_t_bool_to_t_bool_fromStack": {
"entryPoint": 451,
"id": null,
"parameterSlots": 2,
"returnSlots": 0
},
"abi_encode_t_stringliteral_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256_to_t_string_memory_ptr_fromStack": {
"entryPoint": 692,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_encode_t_uint256_to_t_uint256_fromStack": {
"entryPoint": 500,
"id": null,
"parameterSlots": 2,
"returnSlots": 0
},
"abi_encode_tuple_t_bool__to_t_bool__fromStack_reversed": {
"entryPoint": 466,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"abi_encode_tuple_t_stringliteral_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256__to_t_string_memory_ptr__fromStack_reversed": {
"entryPoint": 726,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed": {
"entryPoint": 515,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"allocate_unbounded": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 1
},
"array_storeLengthForEncoding_t_string_memory_ptr_fromStack": {
"entryPoint": 636,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"checked_div_t_uint256": {
"entryPoint": 801,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"checked_sub_t_uint256": {
"entryPoint": 585,
"id": null,
"parameterSlots": 2,
"returnSlots": 1
},
"cleanup_t_bool": {
"entryPoint": 355,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"cleanup_t_uint256": {
"entryPoint": 491,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"increment_t_uint256": {
"entryPoint": 849,
"id": null,
"parameterSlots": 1,
"returnSlots": 1
},
"panic_error_0x11": {
"entryPoint": 540,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"panic_error_0x12": {
"entryPoint": 756,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db": {
"entryPoint": null,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b": {
"entryPoint": 351,
"id": null,
"parameterSlots": 0,
"returnSlots": 0
},
"store_literal_in_memory_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256": {
"entryPoint": 652,
"id": null,
"parameterSlots": 1,
"returnSlots": 0
},
"validator_revert_t_bool": {
"entryPoint": 366,
"id": null,
"parameterSlots": 1,
"returnSlots": 0
}
},
"generatedSources": [
{
"ast": {
"nativeSrc": "0:3937:1",
"nodeType": "YulBlock",
"src": "0:3937:1",
"statements": [
{
"body": {
"nativeSrc": "47:35:1",
"nodeType": "YulBlock",
"src": "47:35:1",
"statements": [
{
"nativeSrc": "57:19:1",
"nodeType": "YulAssignment",
"src": "57:19:1",
"value": {
"arguments": [
{
"kind": "number",
"nativeSrc": "73:2:1",
"nodeType": "YulLiteral",
"src": "73:2:1",
"type": "",
"value": "64"
}
],
"functionName": {
"name": "mload",
"nativeSrc": "67:5:1",
"nodeType": "YulIdentifier",
"src": "67:5:1"
},
"nativeSrc": "67:9:1",
"nodeType": "YulFunctionCall",
"src": "67:9:1"
},
"variableNames": [
{
"name": "memPtr",
"nativeSrc": "57:6:1",
"nodeType": "YulIdentifier",
"src": "57:6:1"
}
]
}
]
},
"name": "allocate_unbounded",
"nativeSrc": "7:75:1",
"nodeType": "YulFunctionDefinition",
"returnVariables": [
{
"name": "memPtr",
"nativeSrc": "40:6:1",
"nodeType": "YulTypedName",
"src": "40:6:1",
"type": ""
}
],
"src": "7:75:1"
},
{
"body": {
"nativeSrc": "177:28:1",
"nodeType": "YulBlock",
"src": "177:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "194:1:1",
"nodeType": "YulLiteral",
"src": "194:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "197:1:1",
"nodeType": "YulLiteral",
"src": "197:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "187:6:1",
"nodeType": "YulIdentifier",
"src": "187:6:1"
},
"nativeSrc": "187:12:1",
"nodeType": "YulFunctionCall",
"src": "187:12:1"
},
"nativeSrc": "187:12:1",
"nodeType": "YulExpressionStatement",
"src": "187:12:1"
}
]
},
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nativeSrc": "88:117:1",
"nodeType": "YulFunctionDefinition",
"src": "88:117:1"
},
{
"body": {
"nativeSrc": "300:28:1",
"nodeType": "YulBlock",
"src": "300:28:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "317:1:1",
"nodeType": "YulLiteral",
"src": "317:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "320:1:1",
"nodeType": "YulLiteral",
"src": "320:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "310:6:1",
"nodeType": "YulIdentifier",
"src": "310:6:1"
},
"nativeSrc": "310:12:1",
"nodeType": "YulFunctionCall",
"src": "310:12:1"
},
"nativeSrc": "310:12:1",
"nodeType": "YulExpressionStatement",
"src": "310:12:1"
}
]
},
"name": "revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db",
"nativeSrc": "211:117:1",
"nodeType": "YulFunctionDefinition",
"src": "211:117:1"
},
{
"body": {
"nativeSrc": "376:48:1",
"nodeType": "YulBlock",
"src": "376:48:1",
"statements": [
{
"nativeSrc": "386:32:1",
"nodeType": "YulAssignment",
"src": "386:32:1",
"value": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nativeSrc": "411:5:1",
"nodeType": "YulIdentifier",
"src": "411:5:1"
}
],
"functionName": {
"name": "iszero",
"nativeSrc": "404:6:1",
"nodeType": "YulIdentifier",
"src": "404:6:1"
},
"nativeSrc": "404:13:1",
"nodeType": "YulFunctionCall",
"src": "404:13:1"
}
],
"functionName": {
"name": "iszero",
"nativeSrc": "397:6:1",
"nodeType": "YulIdentifier",
"src": "397:6:1"
},
"nativeSrc": "397:21:1",
"nodeType": "YulFunctionCall",
"src": "397:21:1"
},
"variableNames": [
{
"name": "cleaned",
"nativeSrc": "386:7:1",
"nodeType": "YulIdentifier",
"src": "386:7:1"
}
]
}
]
},
"name": "cleanup_t_bool",
"nativeSrc": "334:90:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "358:5:1",
"nodeType": "YulTypedName",
"src": "358:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "cleaned",
"nativeSrc": "368:7:1",
"nodeType": "YulTypedName",
"src": "368:7:1",
"type": ""
}
],
"src": "334:90:1"
},
{
"body": {
"nativeSrc": "470:76:1",
"nodeType": "YulBlock",
"src": "470:76:1",
"statements": [
{
"body": {
"nativeSrc": "524:16:1",
"nodeType": "YulBlock",
"src": "524:16:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "533:1:1",
"nodeType": "YulLiteral",
"src": "533:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "536:1:1",
"nodeType": "YulLiteral",
"src": "536:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "526:6:1",
"nodeType": "YulIdentifier",
"src": "526:6:1"
},
"nativeSrc": "526:12:1",
"nodeType": "YulFunctionCall",
"src": "526:12:1"
},
"nativeSrc": "526:12:1",
"nodeType": "YulExpressionStatement",
"src": "526:12:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "value",
"nativeSrc": "493:5:1",
"nodeType": "YulIdentifier",
"src": "493:5:1"
},
{
"arguments": [
{
"name": "value",
"nativeSrc": "515:5:1",
"nodeType": "YulIdentifier",
"src": "515:5:1"
}
],
"functionName": {
"name": "cleanup_t_bool",
"nativeSrc": "500:14:1",
"nodeType": "YulIdentifier",
"src": "500:14:1"
},
"nativeSrc": "500:21:1",
"nodeType": "YulFunctionCall",
"src": "500:21:1"
}
],
"functionName": {
"name": "eq",
"nativeSrc": "490:2:1",
"nodeType": "YulIdentifier",
"src": "490:2:1"
},
"nativeSrc": "490:32:1",
"nodeType": "YulFunctionCall",
"src": "490:32:1"
}
],
"functionName": {
"name": "iszero",
"nativeSrc": "483:6:1",
"nodeType": "YulIdentifier",
"src": "483:6:1"
},
"nativeSrc": "483:40:1",
"nodeType": "YulFunctionCall",
"src": "483:40:1"
},
"nativeSrc": "480:60:1",
"nodeType": "YulIf",
"src": "480:60:1"
}
]
},
"name": "validator_revert_t_bool",
"nativeSrc": "430:116:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "463:5:1",
"nodeType": "YulTypedName",
"src": "463:5:1",
"type": ""
}
],
"src": "430:116:1"
},
{
"body": {
"nativeSrc": "601:84:1",
"nodeType": "YulBlock",
"src": "601:84:1",
"statements": [
{
"nativeSrc": "611:29:1",
"nodeType": "YulAssignment",
"src": "611:29:1",
"value": {
"arguments": [
{
"name": "offset",
"nativeSrc": "633:6:1",
"nodeType": "YulIdentifier",
"src": "633:6:1"
}
],
"functionName": {
"name": "calldataload",
"nativeSrc": "620:12:1",
"nodeType": "YulIdentifier",
"src": "620:12:1"
},
"nativeSrc": "620:20:1",
"nodeType": "YulFunctionCall",
"src": "620:20:1"
},
"variableNames": [
{
"name": "value",
"nativeSrc": "611:5:1",
"nodeType": "YulIdentifier",
"src": "611:5:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value",
"nativeSrc": "673:5:1",
"nodeType": "YulIdentifier",
"src": "673:5:1"
}
],
"functionName": {
"name": "validator_revert_t_bool",
"nativeSrc": "649:23:1",
"nodeType": "YulIdentifier",
"src": "649:23:1"
},
"nativeSrc": "649:30:1",
"nodeType": "YulFunctionCall",
"src": "649:30:1"
},
"nativeSrc": "649:30:1",
"nodeType": "YulExpressionStatement",
"src": "649:30:1"
}
]
},
"name": "abi_decode_t_bool",
"nativeSrc": "552:133:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "offset",
"nativeSrc": "579:6:1",
"nodeType": "YulTypedName",
"src": "579:6:1",
"type": ""
},
{
"name": "end",
"nativeSrc": "587:3:1",
"nodeType": "YulTypedName",
"src": "587:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value",
"nativeSrc": "595:5:1",
"nodeType": "YulTypedName",
"src": "595:5:1",
"type": ""
}
],
"src": "552:133:1"
},
{
"body": {
"nativeSrc": "754:260:1",
"nodeType": "YulBlock",
"src": "754:260:1",
"statements": [
{
"body": {
"nativeSrc": "800:83:1",
"nodeType": "YulBlock",
"src": "800:83:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b",
"nativeSrc": "802:77:1",
"nodeType": "YulIdentifier",
"src": "802:77:1"
},
"nativeSrc": "802:79:1",
"nodeType": "YulFunctionCall",
"src": "802:79:1"
},
"nativeSrc": "802:79:1",
"nodeType": "YulExpressionStatement",
"src": "802:79:1"
}
]
},
"condition": {
"arguments": [
{
"arguments": [
{
"name": "dataEnd",
"nativeSrc": "775:7:1",
"nodeType": "YulIdentifier",
"src": "775:7:1"
},
{
"name": "headStart",
"nativeSrc": "784:9:1",
"nodeType": "YulIdentifier",
"src": "784:9:1"
}
],
"functionName": {
"name": "sub",
"nativeSrc": "771:3:1",
"nodeType": "YulIdentifier",
"src": "771:3:1"
},
"nativeSrc": "771:23:1",
"nodeType": "YulFunctionCall",
"src": "771:23:1"
},
{
"kind": "number",
"nativeSrc": "796:2:1",
"nodeType": "YulLiteral",
"src": "796:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "slt",
"nativeSrc": "767:3:1",
"nodeType": "YulIdentifier",
"src": "767:3:1"
},
"nativeSrc": "767:32:1",
"nodeType": "YulFunctionCall",
"src": "767:32:1"
},
"nativeSrc": "764:119:1",
"nodeType": "YulIf",
"src": "764:119:1"
},
{
"nativeSrc": "893:114:1",
"nodeType": "YulBlock",
"src": "893:114:1",
"statements": [
{
"nativeSrc": "908:15:1",
"nodeType": "YulVariableDeclaration",
"src": "908:15:1",
"value": {
"kind": "number",
"nativeSrc": "922:1:1",
"nodeType": "YulLiteral",
"src": "922:1:1",
"type": "",
"value": "0"
},
"variables": [
{
"name": "offset",
"nativeSrc": "912:6:1",
"nodeType": "YulTypedName",
"src": "912:6:1",
"type": ""
}
]
},
{
"nativeSrc": "937:60:1",
"nodeType": "YulAssignment",
"src": "937:60:1",
"value": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nativeSrc": "969:9:1",
"nodeType": "YulIdentifier",
"src": "969:9:1"
},
{
"name": "offset",
"nativeSrc": "980:6:1",
"nodeType": "YulIdentifier",
"src": "980:6:1"
}
],
"functionName": {
"name": "add",
"nativeSrc": "965:3:1",
"nodeType": "YulIdentifier",
"src": "965:3:1"
},
"nativeSrc": "965:22:1",
"nodeType": "YulFunctionCall",
"src": "965:22:1"
},
{
"name": "dataEnd",
"nativeSrc": "989:7:1",
"nodeType": "YulIdentifier",
"src": "989:7:1"
}
],
"functionName": {
"name": "abi_decode_t_bool",
"nativeSrc": "947:17:1",
"nodeType": "YulIdentifier",
"src": "947:17:1"
},
"nativeSrc": "947:50:1",
"nodeType": "YulFunctionCall",
"src": "947:50:1"
},
"variableNames": [
{
"name": "value0",
"nativeSrc": "937:6:1",
"nodeType": "YulIdentifier",
"src": "937:6:1"
}
]
}
]
}
]
},
"name": "abi_decode_tuple_t_bool",
"nativeSrc": "691:323:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nativeSrc": "724:9:1",
"nodeType": "YulTypedName",
"src": "724:9:1",
"type": ""
},
{
"name": "dataEnd",
"nativeSrc": "735:7:1",
"nodeType": "YulTypedName",
"src": "735:7:1",
"type": ""
}
],
"returnVariables": [
{
"name": "value0",
"nativeSrc": "747:6:1",
"nodeType": "YulTypedName",
"src": "747:6:1",
"type": ""
}
],
"src": "691:323:1"
},
{
"body": {
"nativeSrc": "1079:50:1",
"nodeType": "YulBlock",
"src": "1079:50:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nativeSrc": "1096:3:1",
"nodeType": "YulIdentifier",
"src": "1096:3:1"
},
{
"arguments": [
{
"name": "value",
"nativeSrc": "1116:5:1",
"nodeType": "YulIdentifier",
"src": "1116:5:1"
}
],
"functionName": {
"name": "cleanup_t_bool",
"nativeSrc": "1101:14:1",
"nodeType": "YulIdentifier",
"src": "1101:14:1"
},
"nativeSrc": "1101:21:1",
"nodeType": "YulFunctionCall",
"src": "1101:21:1"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1089:6:1",
"nodeType": "YulIdentifier",
"src": "1089:6:1"
},
"nativeSrc": "1089:34:1",
"nodeType": "YulFunctionCall",
"src": "1089:34:1"
},
"nativeSrc": "1089:34:1",
"nodeType": "YulExpressionStatement",
"src": "1089:34:1"
}
]
},
"name": "abi_encode_t_bool_to_t_bool_fromStack",
"nativeSrc": "1020:109:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "1067:5:1",
"nodeType": "YulTypedName",
"src": "1067:5:1",
"type": ""
},
{
"name": "pos",
"nativeSrc": "1074:3:1",
"nodeType": "YulTypedName",
"src": "1074:3:1",
"type": ""
}
],
"src": "1020:109:1"
},
{
"body": {
"nativeSrc": "1227:118:1",
"nodeType": "YulBlock",
"src": "1227:118:1",
"statements": [
{
"nativeSrc": "1237:26:1",
"nodeType": "YulAssignment",
"src": "1237:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nativeSrc": "1249:9:1",
"nodeType": "YulIdentifier",
"src": "1249:9:1"
},
{
"kind": "number",
"nativeSrc": "1260:2:1",
"nodeType": "YulLiteral",
"src": "1260:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1245:3:1",
"nodeType": "YulIdentifier",
"src": "1245:3:1"
},
"nativeSrc": "1245:18:1",
"nodeType": "YulFunctionCall",
"src": "1245:18:1"
},
"variableNames": [
{
"name": "tail",
"nativeSrc": "1237:4:1",
"nodeType": "YulIdentifier",
"src": "1237:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value0",
"nativeSrc": "1311:6:1",
"nodeType": "YulIdentifier",
"src": "1311:6:1"
},
{
"arguments": [
{
"name": "headStart",
"nativeSrc": "1324:9:1",
"nodeType": "YulIdentifier",
"src": "1324:9:1"
},
{
"kind": "number",
"nativeSrc": "1335:1:1",
"nodeType": "YulLiteral",
"src": "1335:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1320:3:1",
"nodeType": "YulIdentifier",
"src": "1320:3:1"
},
"nativeSrc": "1320:17:1",
"nodeType": "YulFunctionCall",
"src": "1320:17:1"
}
],
"functionName": {
"name": "abi_encode_t_bool_to_t_bool_fromStack",
"nativeSrc": "1273:37:1",
"nodeType": "YulIdentifier",
"src": "1273:37:1"
},
"nativeSrc": "1273:65:1",
"nodeType": "YulFunctionCall",
"src": "1273:65:1"
},
"nativeSrc": "1273:65:1",
"nodeType": "YulExpressionStatement",
"src": "1273:65:1"
}
]
},
"name": "abi_encode_tuple_t_bool__to_t_bool__fromStack_reversed",
"nativeSrc": "1135:210:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nativeSrc": "1199:9:1",
"nodeType": "YulTypedName",
"src": "1199:9:1",
"type": ""
},
{
"name": "value0",
"nativeSrc": "1211:6:1",
"nodeType": "YulTypedName",
"src": "1211:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nativeSrc": "1222:4:1",
"nodeType": "YulTypedName",
"src": "1222:4:1",
"type": ""
}
],
"src": "1135:210:1"
},
{
"body": {
"nativeSrc": "1396:32:1",
"nodeType": "YulBlock",
"src": "1396:32:1",
"statements": [
{
"nativeSrc": "1406:16:1",
"nodeType": "YulAssignment",
"src": "1406:16:1",
"value": {
"name": "value",
"nativeSrc": "1417:5:1",
"nodeType": "YulIdentifier",
"src": "1417:5:1"
},
"variableNames": [
{
"name": "cleaned",
"nativeSrc": "1406:7:1",
"nodeType": "YulIdentifier",
"src": "1406:7:1"
}
]
}
]
},
"name": "cleanup_t_uint256",
"nativeSrc": "1351:77:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "1378:5:1",
"nodeType": "YulTypedName",
"src": "1378:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "cleaned",
"nativeSrc": "1388:7:1",
"nodeType": "YulTypedName",
"src": "1388:7:1",
"type": ""
}
],
"src": "1351:77:1"
},
{
"body": {
"nativeSrc": "1499:53:1",
"nodeType": "YulBlock",
"src": "1499:53:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nativeSrc": "1516:3:1",
"nodeType": "YulIdentifier",
"src": "1516:3:1"
},
{
"arguments": [
{
"name": "value",
"nativeSrc": "1539:5:1",
"nodeType": "YulIdentifier",
"src": "1539:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nativeSrc": "1521:17:1",
"nodeType": "YulIdentifier",
"src": "1521:17:1"
},
"nativeSrc": "1521:24:1",
"nodeType": "YulFunctionCall",
"src": "1521:24:1"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1509:6:1",
"nodeType": "YulIdentifier",
"src": "1509:6:1"
},
"nativeSrc": "1509:37:1",
"nodeType": "YulFunctionCall",
"src": "1509:37:1"
},
"nativeSrc": "1509:37:1",
"nodeType": "YulExpressionStatement",
"src": "1509:37:1"
}
]
},
"name": "abi_encode_t_uint256_to_t_uint256_fromStack",
"nativeSrc": "1434:118:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "1487:5:1",
"nodeType": "YulTypedName",
"src": "1487:5:1",
"type": ""
},
{
"name": "pos",
"nativeSrc": "1494:3:1",
"nodeType": "YulTypedName",
"src": "1494:3:1",
"type": ""
}
],
"src": "1434:118:1"
},
{
"body": {
"nativeSrc": "1656:124:1",
"nodeType": "YulBlock",
"src": "1656:124:1",
"statements": [
{
"nativeSrc": "1666:26:1",
"nodeType": "YulAssignment",
"src": "1666:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nativeSrc": "1678:9:1",
"nodeType": "YulIdentifier",
"src": "1678:9:1"
},
{
"kind": "number",
"nativeSrc": "1689:2:1",
"nodeType": "YulLiteral",
"src": "1689:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1674:3:1",
"nodeType": "YulIdentifier",
"src": "1674:3:1"
},
"nativeSrc": "1674:18:1",
"nodeType": "YulFunctionCall",
"src": "1674:18:1"
},
"variableNames": [
{
"name": "tail",
"nativeSrc": "1666:4:1",
"nodeType": "YulIdentifier",
"src": "1666:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "value0",
"nativeSrc": "1746:6:1",
"nodeType": "YulIdentifier",
"src": "1746:6:1"
},
{
"arguments": [
{
"name": "headStart",
"nativeSrc": "1759:9:1",
"nodeType": "YulIdentifier",
"src": "1759:9:1"
},
{
"kind": "number",
"nativeSrc": "1770:1:1",
"nodeType": "YulLiteral",
"src": "1770:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nativeSrc": "1755:3:1",
"nodeType": "YulIdentifier",
"src": "1755:3:1"
},
"nativeSrc": "1755:17:1",
"nodeType": "YulFunctionCall",
"src": "1755:17:1"
}
],
"functionName": {
"name": "abi_encode_t_uint256_to_t_uint256_fromStack",
"nativeSrc": "1702:43:1",
"nodeType": "YulIdentifier",
"src": "1702:43:1"
},
"nativeSrc": "1702:71:1",
"nodeType": "YulFunctionCall",
"src": "1702:71:1"
},
"nativeSrc": "1702:71:1",
"nodeType": "YulExpressionStatement",
"src": "1702:71:1"
}
]
},
"name": "abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed",
"nativeSrc": "1558:222:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nativeSrc": "1628:9:1",
"nodeType": "YulTypedName",
"src": "1628:9:1",
"type": ""
},
{
"name": "value0",
"nativeSrc": "1640:6:1",
"nodeType": "YulTypedName",
"src": "1640:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nativeSrc": "1651:4:1",
"nodeType": "YulTypedName",
"src": "1651:4:1",
"type": ""
}
],
"src": "1558:222:1"
},
{
"body": {
"nativeSrc": "1814:152:1",
"nodeType": "YulBlock",
"src": "1814:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1831:1:1",
"nodeType": "YulLiteral",
"src": "1831:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "1834:77:1",
"nodeType": "YulLiteral",
"src": "1834:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1824:6:1",
"nodeType": "YulIdentifier",
"src": "1824:6:1"
},
"nativeSrc": "1824:88:1",
"nodeType": "YulFunctionCall",
"src": "1824:88:1"
},
"nativeSrc": "1824:88:1",
"nodeType": "YulExpressionStatement",
"src": "1824:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1928:1:1",
"nodeType": "YulLiteral",
"src": "1928:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nativeSrc": "1931:4:1",
"nodeType": "YulLiteral",
"src": "1931:4:1",
"type": "",
"value": "0x11"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "1921:6:1",
"nodeType": "YulIdentifier",
"src": "1921:6:1"
},
"nativeSrc": "1921:15:1",
"nodeType": "YulFunctionCall",
"src": "1921:15:1"
},
"nativeSrc": "1921:15:1",
"nodeType": "YulExpressionStatement",
"src": "1921:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "1952:1:1",
"nodeType": "YulLiteral",
"src": "1952:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "1955:4:1",
"nodeType": "YulLiteral",
"src": "1955:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "1945:6:1",
"nodeType": "YulIdentifier",
"src": "1945:6:1"
},
"nativeSrc": "1945:15:1",
"nodeType": "YulFunctionCall",
"src": "1945:15:1"
},
"nativeSrc": "1945:15:1",
"nodeType": "YulExpressionStatement",
"src": "1945:15:1"
}
]
},
"name": "panic_error_0x11",
"nativeSrc": "1786:180:1",
"nodeType": "YulFunctionDefinition",
"src": "1786:180:1"
},
{
"body": {
"nativeSrc": "2017:149:1",
"nodeType": "YulBlock",
"src": "2017:149:1",
"statements": [
{
"nativeSrc": "2027:25:1",
"nodeType": "YulAssignment",
"src": "2027:25:1",
"value": {
"arguments": [
{
"name": "x",
"nativeSrc": "2050:1:1",
"nodeType": "YulIdentifier",
"src": "2050:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nativeSrc": "2032:17:1",
"nodeType": "YulIdentifier",
"src": "2032:17:1"
},
"nativeSrc": "2032:20:1",
"nodeType": "YulFunctionCall",
"src": "2032:20:1"
},
"variableNames": [
{
"name": "x",
"nativeSrc": "2027:1:1",
"nodeType": "YulIdentifier",
"src": "2027:1:1"
}
]
},
{
"nativeSrc": "2061:25:1",
"nodeType": "YulAssignment",
"src": "2061:25:1",
"value": {
"arguments": [
{
"name": "y",
"nativeSrc": "2084:1:1",
"nodeType": "YulIdentifier",
"src": "2084:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nativeSrc": "2066:17:1",
"nodeType": "YulIdentifier",
"src": "2066:17:1"
},
"nativeSrc": "2066:20:1",
"nodeType": "YulFunctionCall",
"src": "2066:20:1"
},
"variableNames": [
{
"name": "y",
"nativeSrc": "2061:1:1",
"nodeType": "YulIdentifier",
"src": "2061:1:1"
}
]
},
{
"nativeSrc": "2095:17:1",
"nodeType": "YulAssignment",
"src": "2095:17:1",
"value": {
"arguments": [
{
"name": "x",
"nativeSrc": "2107:1:1",
"nodeType": "YulIdentifier",
"src": "2107:1:1"
},
{
"name": "y",
"nativeSrc": "2110:1:1",
"nodeType": "YulIdentifier",
"src": "2110:1:1"
}
],
"functionName": {
"name": "sub",
"nativeSrc": "2103:3:1",
"nodeType": "YulIdentifier",
"src": "2103:3:1"
},
"nativeSrc": "2103:9:1",
"nodeType": "YulFunctionCall",
"src": "2103:9:1"
},
"variableNames": [
{
"name": "diff",
"nativeSrc": "2095:4:1",
"nodeType": "YulIdentifier",
"src": "2095:4:1"
}
]
},
{
"body": {
"nativeSrc": "2137:22:1",
"nodeType": "YulBlock",
"src": "2137:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nativeSrc": "2139:16:1",
"nodeType": "YulIdentifier",
"src": "2139:16:1"
},
"nativeSrc": "2139:18:1",
"nodeType": "YulFunctionCall",
"src": "2139:18:1"
},
"nativeSrc": "2139:18:1",
"nodeType": "YulExpressionStatement",
"src": "2139:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "diff",
"nativeSrc": "2128:4:1",
"nodeType": "YulIdentifier",
"src": "2128:4:1"
},
{
"name": "x",
"nativeSrc": "2134:1:1",
"nodeType": "YulIdentifier",
"src": "2134:1:1"
}
],
"functionName": {
"name": "gt",
"nativeSrc": "2125:2:1",
"nodeType": "YulIdentifier",
"src": "2125:2:1"
},
"nativeSrc": "2125:11:1",
"nodeType": "YulFunctionCall",
"src": "2125:11:1"
},
"nativeSrc": "2122:37:1",
"nodeType": "YulIf",
"src": "2122:37:1"
}
]
},
"name": "checked_sub_t_uint256",
"nativeSrc": "1972:194:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "x",
"nativeSrc": "2003:1:1",
"nodeType": "YulTypedName",
"src": "2003:1:1",
"type": ""
},
{
"name": "y",
"nativeSrc": "2006:1:1",
"nodeType": "YulTypedName",
"src": "2006:1:1",
"type": ""
}
],
"returnVariables": [
{
"name": "diff",
"nativeSrc": "2012:4:1",
"nodeType": "YulTypedName",
"src": "2012:4:1",
"type": ""
}
],
"src": "1972:194:1"
},
{
"body": {
"nativeSrc": "2268:73:1",
"nodeType": "YulBlock",
"src": "2268:73:1",
"statements": [
{
"expression": {
"arguments": [
{
"name": "pos",
"nativeSrc": "2285:3:1",
"nodeType": "YulIdentifier",
"src": "2285:3:1"
},
{
"name": "length",
"nativeSrc": "2290:6:1",
"nodeType": "YulIdentifier",
"src": "2290:6:1"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "2278:6:1",
"nodeType": "YulIdentifier",
"src": "2278:6:1"
},
"nativeSrc": "2278:19:1",
"nodeType": "YulFunctionCall",
"src": "2278:19:1"
},
"nativeSrc": "2278:19:1",
"nodeType": "YulExpressionStatement",
"src": "2278:19:1"
},
{
"nativeSrc": "2306:29:1",
"nodeType": "YulAssignment",
"src": "2306:29:1",
"value": {
"arguments": [
{
"name": "pos",
"nativeSrc": "2325:3:1",
"nodeType": "YulIdentifier",
"src": "2325:3:1"
},
{
"kind": "number",
"nativeSrc": "2330:4:1",
"nodeType": "YulLiteral",
"src": "2330:4:1",
"type": "",
"value": "0x20"
}
],
"functionName": {
"name": "add",
"nativeSrc": "2321:3:1",
"nodeType": "YulIdentifier",
"src": "2321:3:1"
},
"nativeSrc": "2321:14:1",
"nodeType": "YulFunctionCall",
"src": "2321:14:1"
},
"variableNames": [
{
"name": "updated_pos",
"nativeSrc": "2306:11:1",
"nodeType": "YulIdentifier",
"src": "2306:11:1"
}
]
}
]
},
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nativeSrc": "2172:169:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "pos",
"nativeSrc": "2240:3:1",
"nodeType": "YulTypedName",
"src": "2240:3:1",
"type": ""
},
{
"name": "length",
"nativeSrc": "2245:6:1",
"nodeType": "YulTypedName",
"src": "2245:6:1",
"type": ""
}
],
"returnVariables": [
{
"name": "updated_pos",
"nativeSrc": "2256:11:1",
"nodeType": "YulTypedName",
"src": "2256:11:1",
"type": ""
}
],
"src": "2172:169:1"
},
{
"body": {
"nativeSrc": "2453:68:1",
"nodeType": "YulBlock",
"src": "2453:68:1",
"statements": [
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "memPtr",
"nativeSrc": "2475:6:1",
"nodeType": "YulIdentifier",
"src": "2475:6:1"
},
{
"kind": "number",
"nativeSrc": "2483:1:1",
"nodeType": "YulLiteral",
"src": "2483:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nativeSrc": "2471:3:1",
"nodeType": "YulIdentifier",
"src": "2471:3:1"
},
"nativeSrc": "2471:14:1",
"nodeType": "YulFunctionCall",
"src": "2471:14:1"
},
{
"hexValue": "426c6f636b2076616c756520616c72656164792075736564",
"kind": "string",
"nativeSrc": "2487:26:1",
"nodeType": "YulLiteral",
"src": "2487:26:1",
"type": "",
"value": "Block value already used"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "2464:6:1",
"nodeType": "YulIdentifier",
"src": "2464:6:1"
},
"nativeSrc": "2464:50:1",
"nodeType": "YulFunctionCall",
"src": "2464:50:1"
},
"nativeSrc": "2464:50:1",
"nodeType": "YulExpressionStatement",
"src": "2464:50:1"
}
]
},
"name": "store_literal_in_memory_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256",
"nativeSrc": "2347:174:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "memPtr",
"nativeSrc": "2445:6:1",
"nodeType": "YulTypedName",
"src": "2445:6:1",
"type": ""
}
],
"src": "2347:174:1"
},
{
"body": {
"nativeSrc": "2673:220:1",
"nodeType": "YulBlock",
"src": "2673:220:1",
"statements": [
{
"nativeSrc": "2683:74:1",
"nodeType": "YulAssignment",
"src": "2683:74:1",
"value": {
"arguments": [
{
"name": "pos",
"nativeSrc": "2749:3:1",
"nodeType": "YulIdentifier",
"src": "2749:3:1"
},
{
"kind": "number",
"nativeSrc": "2754:2:1",
"nodeType": "YulLiteral",
"src": "2754:2:1",
"type": "",
"value": "24"
}
],
"functionName": {
"name": "array_storeLengthForEncoding_t_string_memory_ptr_fromStack",
"nativeSrc": "2690:58:1",
"nodeType": "YulIdentifier",
"src": "2690:58:1"
},
"nativeSrc": "2690:67:1",
"nodeType": "YulFunctionCall",
"src": "2690:67:1"
},
"variableNames": [
{
"name": "pos",
"nativeSrc": "2683:3:1",
"nodeType": "YulIdentifier",
"src": "2683:3:1"
}
]
},
{
"expression": {
"arguments": [
{
"name": "pos",
"nativeSrc": "2855:3:1",
"nodeType": "YulIdentifier",
"src": "2855:3:1"
}
],
"functionName": {
"name": "store_literal_in_memory_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256",
"nativeSrc": "2766:88:1",
"nodeType": "YulIdentifier",
"src": "2766:88:1"
},
"nativeSrc": "2766:93:1",
"nodeType": "YulFunctionCall",
"src": "2766:93:1"
},
"nativeSrc": "2766:93:1",
"nodeType": "YulExpressionStatement",
"src": "2766:93:1"
},
{
"nativeSrc": "2868:19:1",
"nodeType": "YulAssignment",
"src": "2868:19:1",
"value": {
"arguments": [
{
"name": "pos",
"nativeSrc": "2879:3:1",
"nodeType": "YulIdentifier",
"src": "2879:3:1"
},
{
"kind": "number",
"nativeSrc": "2884:2:1",
"nodeType": "YulLiteral",
"src": "2884:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nativeSrc": "2875:3:1",
"nodeType": "YulIdentifier",
"src": "2875:3:1"
},
"nativeSrc": "2875:12:1",
"nodeType": "YulFunctionCall",
"src": "2875:12:1"
},
"variableNames": [
{
"name": "end",
"nativeSrc": "2868:3:1",
"nodeType": "YulIdentifier",
"src": "2868:3:1"
}
]
}
]
},
"name": "abi_encode_t_stringliteral_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256_to_t_string_memory_ptr_fromStack",
"nativeSrc": "2527:366:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "pos",
"nativeSrc": "2661:3:1",
"nodeType": "YulTypedName",
"src": "2661:3:1",
"type": ""
}
],
"returnVariables": [
{
"name": "end",
"nativeSrc": "2669:3:1",
"nodeType": "YulTypedName",
"src": "2669:3:1",
"type": ""
}
],
"src": "2527:366:1"
},
{
"body": {
"nativeSrc": "3070:248:1",
"nodeType": "YulBlock",
"src": "3070:248:1",
"statements": [
{
"nativeSrc": "3080:26:1",
"nodeType": "YulAssignment",
"src": "3080:26:1",
"value": {
"arguments": [
{
"name": "headStart",
"nativeSrc": "3092:9:1",
"nodeType": "YulIdentifier",
"src": "3092:9:1"
},
{
"kind": "number",
"nativeSrc": "3103:2:1",
"nodeType": "YulLiteral",
"src": "3103:2:1",
"type": "",
"value": "32"
}
],
"functionName": {
"name": "add",
"nativeSrc": "3088:3:1",
"nodeType": "YulIdentifier",
"src": "3088:3:1"
},
"nativeSrc": "3088:18:1",
"nodeType": "YulFunctionCall",
"src": "3088:18:1"
},
"variableNames": [
{
"name": "tail",
"nativeSrc": "3080:4:1",
"nodeType": "YulIdentifier",
"src": "3080:4:1"
}
]
},
{
"expression": {
"arguments": [
{
"arguments": [
{
"name": "headStart",
"nativeSrc": "3127:9:1",
"nodeType": "YulIdentifier",
"src": "3127:9:1"
},
{
"kind": "number",
"nativeSrc": "3138:1:1",
"nodeType": "YulLiteral",
"src": "3138:1:1",
"type": "",
"value": "0"
}
],
"functionName": {
"name": "add",
"nativeSrc": "3123:3:1",
"nodeType": "YulIdentifier",
"src": "3123:3:1"
},
"nativeSrc": "3123:17:1",
"nodeType": "YulFunctionCall",
"src": "3123:17:1"
},
{
"arguments": [
{
"name": "tail",
"nativeSrc": "3146:4:1",
"nodeType": "YulIdentifier",
"src": "3146:4:1"
},
{
"name": "headStart",
"nativeSrc": "3152:9:1",
"nodeType": "YulIdentifier",
"src": "3152:9:1"
}
],
"functionName": {
"name": "sub",
"nativeSrc": "3142:3:1",
"nodeType": "YulIdentifier",
"src": "3142:3:1"
},
"nativeSrc": "3142:20:1",
"nodeType": "YulFunctionCall",
"src": "3142:20:1"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "3116:6:1",
"nodeType": "YulIdentifier",
"src": "3116:6:1"
},
"nativeSrc": "3116:47:1",
"nodeType": "YulFunctionCall",
"src": "3116:47:1"
},
"nativeSrc": "3116:47:1",
"nodeType": "YulExpressionStatement",
"src": "3116:47:1"
},
{
"nativeSrc": "3172:139:1",
"nodeType": "YulAssignment",
"src": "3172:139:1",
"value": {
"arguments": [
{
"name": "tail",
"nativeSrc": "3306:4:1",
"nodeType": "YulIdentifier",
"src": "3306:4:1"
}
],
"functionName": {
"name": "abi_encode_t_stringliteral_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256_to_t_string_memory_ptr_fromStack",
"nativeSrc": "3180:124:1",
"nodeType": "YulIdentifier",
"src": "3180:124:1"
},
"nativeSrc": "3180:131:1",
"nodeType": "YulFunctionCall",
"src": "3180:131:1"
},
"variableNames": [
{
"name": "tail",
"nativeSrc": "3172:4:1",
"nodeType": "YulIdentifier",
"src": "3172:4:1"
}
]
}
]
},
"name": "abi_encode_tuple_t_stringliteral_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256__to_t_string_memory_ptr__fromStack_reversed",
"nativeSrc": "2899:419:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "headStart",
"nativeSrc": "3050:9:1",
"nodeType": "YulTypedName",
"src": "3050:9:1",
"type": ""
}
],
"returnVariables": [
{
"name": "tail",
"nativeSrc": "3065:4:1",
"nodeType": "YulTypedName",
"src": "3065:4:1",
"type": ""
}
],
"src": "2899:419:1"
},
{
"body": {
"nativeSrc": "3352:152:1",
"nodeType": "YulBlock",
"src": "3352:152:1",
"statements": [
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "3369:1:1",
"nodeType": "YulLiteral",
"src": "3369:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "3372:77:1",
"nodeType": "YulLiteral",
"src": "3372:77:1",
"type": "",
"value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "3362:6:1",
"nodeType": "YulIdentifier",
"src": "3362:6:1"
},
"nativeSrc": "3362:88:1",
"nodeType": "YulFunctionCall",
"src": "3362:88:1"
},
"nativeSrc": "3362:88:1",
"nodeType": "YulExpressionStatement",
"src": "3362:88:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "3466:1:1",
"nodeType": "YulLiteral",
"src": "3466:1:1",
"type": "",
"value": "4"
},
{
"kind": "number",
"nativeSrc": "3469:4:1",
"nodeType": "YulLiteral",
"src": "3469:4:1",
"type": "",
"value": "0x12"
}
],
"functionName": {
"name": "mstore",
"nativeSrc": "3459:6:1",
"nodeType": "YulIdentifier",
"src": "3459:6:1"
},
"nativeSrc": "3459:15:1",
"nodeType": "YulFunctionCall",
"src": "3459:15:1"
},
"nativeSrc": "3459:15:1",
"nodeType": "YulExpressionStatement",
"src": "3459:15:1"
},
{
"expression": {
"arguments": [
{
"kind": "number",
"nativeSrc": "3490:1:1",
"nodeType": "YulLiteral",
"src": "3490:1:1",
"type": "",
"value": "0"
},
{
"kind": "number",
"nativeSrc": "3493:4:1",
"nodeType": "YulLiteral",
"src": "3493:4:1",
"type": "",
"value": "0x24"
}
],
"functionName": {
"name": "revert",
"nativeSrc": "3483:6:1",
"nodeType": "YulIdentifier",
"src": "3483:6:1"
},
"nativeSrc": "3483:15:1",
"nodeType": "YulFunctionCall",
"src": "3483:15:1"
},
"nativeSrc": "3483:15:1",
"nodeType": "YulExpressionStatement",
"src": "3483:15:1"
}
]
},
"name": "panic_error_0x12",
"nativeSrc": "3324:180:1",
"nodeType": "YulFunctionDefinition",
"src": "3324:180:1"
},
{
"body": {
"nativeSrc": "3552:143:1",
"nodeType": "YulBlock",
"src": "3552:143:1",
"statements": [
{
"nativeSrc": "3562:25:1",
"nodeType": "YulAssignment",
"src": "3562:25:1",
"value": {
"arguments": [
{
"name": "x",
"nativeSrc": "3585:1:1",
"nodeType": "YulIdentifier",
"src": "3585:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nativeSrc": "3567:17:1",
"nodeType": "YulIdentifier",
"src": "3567:17:1"
},
"nativeSrc": "3567:20:1",
"nodeType": "YulFunctionCall",
"src": "3567:20:1"
},
"variableNames": [
{
"name": "x",
"nativeSrc": "3562:1:1",
"nodeType": "YulIdentifier",
"src": "3562:1:1"
}
]
},
{
"nativeSrc": "3596:25:1",
"nodeType": "YulAssignment",
"src": "3596:25:1",
"value": {
"arguments": [
{
"name": "y",
"nativeSrc": "3619:1:1",
"nodeType": "YulIdentifier",
"src": "3619:1:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nativeSrc": "3601:17:1",
"nodeType": "YulIdentifier",
"src": "3601:17:1"
},
"nativeSrc": "3601:20:1",
"nodeType": "YulFunctionCall",
"src": "3601:20:1"
},
"variableNames": [
{
"name": "y",
"nativeSrc": "3596:1:1",
"nodeType": "YulIdentifier",
"src": "3596:1:1"
}
]
},
{
"body": {
"nativeSrc": "3643:22:1",
"nodeType": "YulBlock",
"src": "3643:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x12",
"nativeSrc": "3645:16:1",
"nodeType": "YulIdentifier",
"src": "3645:16:1"
},
"nativeSrc": "3645:18:1",
"nodeType": "YulFunctionCall",
"src": "3645:18:1"
},
"nativeSrc": "3645:18:1",
"nodeType": "YulExpressionStatement",
"src": "3645:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "y",
"nativeSrc": "3640:1:1",
"nodeType": "YulIdentifier",
"src": "3640:1:1"
}
],
"functionName": {
"name": "iszero",
"nativeSrc": "3633:6:1",
"nodeType": "YulIdentifier",
"src": "3633:6:1"
},
"nativeSrc": "3633:9:1",
"nodeType": "YulFunctionCall",
"src": "3633:9:1"
},
"nativeSrc": "3630:35:1",
"nodeType": "YulIf",
"src": "3630:35:1"
},
{
"nativeSrc": "3675:14:1",
"nodeType": "YulAssignment",
"src": "3675:14:1",
"value": {
"arguments": [
{
"name": "x",
"nativeSrc": "3684:1:1",
"nodeType": "YulIdentifier",
"src": "3684:1:1"
},
{
"name": "y",
"nativeSrc": "3687:1:1",
"nodeType": "YulIdentifier",
"src": "3687:1:1"
}
],
"functionName": {
"name": "div",
"nativeSrc": "3680:3:1",
"nodeType": "YulIdentifier",
"src": "3680:3:1"
},
"nativeSrc": "3680:9:1",
"nodeType": "YulFunctionCall",
"src": "3680:9:1"
},
"variableNames": [
{
"name": "r",
"nativeSrc": "3675:1:1",
"nodeType": "YulIdentifier",
"src": "3675:1:1"
}
]
}
]
},
"name": "checked_div_t_uint256",
"nativeSrc": "3510:185:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "x",
"nativeSrc": "3541:1:1",
"nodeType": "YulTypedName",
"src": "3541:1:1",
"type": ""
},
{
"name": "y",
"nativeSrc": "3544:1:1",
"nodeType": "YulTypedName",
"src": "3544:1:1",
"type": ""
}
],
"returnVariables": [
{
"name": "r",
"nativeSrc": "3550:1:1",
"nodeType": "YulTypedName",
"src": "3550:1:1",
"type": ""
}
],
"src": "3510:185:1"
},
{
"body": {
"nativeSrc": "3744:190:1",
"nodeType": "YulBlock",
"src": "3744:190:1",
"statements": [
{
"nativeSrc": "3754:33:1",
"nodeType": "YulAssignment",
"src": "3754:33:1",
"value": {
"arguments": [
{
"name": "value",
"nativeSrc": "3781:5:1",
"nodeType": "YulIdentifier",
"src": "3781:5:1"
}
],
"functionName": {
"name": "cleanup_t_uint256",
"nativeSrc": "3763:17:1",
"nodeType": "YulIdentifier",
"src": "3763:17:1"
},
"nativeSrc": "3763:24:1",
"nodeType": "YulFunctionCall",
"src": "3763:24:1"
},
"variableNames": [
{
"name": "value",
"nativeSrc": "3754:5:1",
"nodeType": "YulIdentifier",
"src": "3754:5:1"
}
]
},
{
"body": {
"nativeSrc": "3877:22:1",
"nodeType": "YulBlock",
"src": "3877:22:1",
"statements": [
{
"expression": {
"arguments": [],
"functionName": {
"name": "panic_error_0x11",
"nativeSrc": "3879:16:1",
"nodeType": "YulIdentifier",
"src": "3879:16:1"
},
"nativeSrc": "3879:18:1",
"nodeType": "YulFunctionCall",
"src": "3879:18:1"
},
"nativeSrc": "3879:18:1",
"nodeType": "YulExpressionStatement",
"src": "3879:18:1"
}
]
},
"condition": {
"arguments": [
{
"name": "value",
"nativeSrc": "3802:5:1",
"nodeType": "YulIdentifier",
"src": "3802:5:1"
},
{
"kind": "number",
"nativeSrc": "3809:66:1",
"nodeType": "YulLiteral",
"src": "3809:66:1",
"type": "",
"value": "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
}
],
"functionName": {
"name": "eq",
"nativeSrc": "3799:2:1",
"nodeType": "YulIdentifier",
"src": "3799:2:1"
},
"nativeSrc": "3799:77:1",
"nodeType": "YulFunctionCall",
"src": "3799:77:1"
},
"nativeSrc": "3796:103:1",
"nodeType": "YulIf",
"src": "3796:103:1"
},
{
"nativeSrc": "3908:20:1",
"nodeType": "YulAssignment",
"src": "3908:20:1",
"value": {
"arguments": [
{
"name": "value",
"nativeSrc": "3919:5:1",
"nodeType": "YulIdentifier",
"src": "3919:5:1"
},
{
"kind": "number",
"nativeSrc": "3926:1:1",
"nodeType": "YulLiteral",
"src": "3926:1:1",
"type": "",
"value": "1"
}
],
"functionName": {
"name": "add",
"nativeSrc": "3915:3:1",
"nodeType": "YulIdentifier",
"src": "3915:3:1"
},
"nativeSrc": "3915:13:1",
"nodeType": "YulFunctionCall",
"src": "3915:13:1"
},
"variableNames": [
{
"name": "ret",
"nativeSrc": "3908:3:1",
"nodeType": "YulIdentifier",
"src": "3908:3:1"
}
]
}
]
},
"name": "increment_t_uint256",
"nativeSrc": "3701:233:1",
"nodeType": "YulFunctionDefinition",
"parameters": [
{
"name": "value",
"nativeSrc": "3730:5:1",
"nodeType": "YulTypedName",
"src": "3730:5:1",
"type": ""
}
],
"returnVariables": [
{
"name": "ret",
"nativeSrc": "3740:3:1",
"nodeType": "YulTypedName",
"src": "3740:3:1",
"type": ""
}
],
"src": "3701:233:1"
}
]
},
"contents": "{\n\n function allocate_unbounded() -> memPtr {\n memPtr := mload(64)\n }\n\n function revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() {\n revert(0, 0)\n }\n\n function revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db() {\n revert(0, 0)\n }\n\n function cleanup_t_bool(value) -> cleaned {\n cleaned := iszero(iszero(value))\n }\n\n function validator_revert_t_bool(value) {\n if iszero(eq(value, cleanup_t_bool(value))) { revert(0, 0) }\n }\n\n function abi_decode_t_bool(offset, end) -> value {\n value := calldataload(offset)\n validator_revert_t_bool(value)\n }\n\n function abi_decode_tuple_t_bool(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_bool(add(headStart, offset), dataEnd)\n }\n\n }\n\n function abi_encode_t_bool_to_t_bool_fromStack(value, pos) {\n mstore(pos, cleanup_t_bool(value))\n }\n\n function abi_encode_tuple_t_bool__to_t_bool__fromStack_reversed(headStart , value0) -> tail {\n tail := add(headStart, 32)\n\n abi_encode_t_bool_to_t_bool_fromStack(value0, add(headStart, 0))\n\n }\n\n function cleanup_t_uint256(value) -> cleaned {\n cleaned := value\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_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 panic_error_0x11() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x11)\n revert(0, 0x24)\n }\n\n function checked_sub_t_uint256(x, y) -> diff {\n x := cleanup_t_uint256(x)\n y := cleanup_t_uint256(y)\n diff := sub(x, y)\n\n if gt(diff, x) { panic_error_0x11() }\n\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 store_literal_in_memory_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256(memPtr) {\n\n mstore(add(memPtr, 0), \"Block value already used\")\n\n }\n\n function abi_encode_t_stringliteral_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256_to_t_string_memory_ptr_fromStack(pos) -> end {\n pos := array_storeLengthForEncoding_t_string_memory_ptr_fromStack(pos, 24)\n store_literal_in_memory_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256(pos)\n end := add(pos, 32)\n }\n\n function abi_encode_tuple_t_stringliteral_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256__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_9d4d2cfd5817ccb62001a1a4ab1734cb107d4cbebb5ae6ca5870fd67395af256_to_t_string_memory_ptr_fromStack( tail)\n\n }\n\n function panic_error_0x12() {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x12)\n revert(0, 0x24)\n }\n\n function checked_div_t_uint256(x, y) -> r {\n x := cleanup_t_uint256(x)\n y := cleanup_t_uint256(y)\n if iszero(y) { panic_error_0x12() }\n\n r := div(x, y)\n }\n\n function increment_t_uint256(value) -> ret {\n value := cleanup_t_uint256(value)\n if eq(value, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) { panic_error_0x11() }\n ret := add(value, 1)\n }\n\n}\n",
"id": 1,
"language": "Yul",
"name": "#utility.yul"
}
],
"immutableReferences": {},
"linkReferences": {},
"object": "608060405234801561000f575f80fd5b5060043610610034575f3560e01c80631d263f6714610038578063e6f334d714610068575b5f80fd5b610052600480360381019061004d9190610198565b610086565b60405161005f91906101d2565b60405180910390f35b61007061015a565b60405161007d9190610203565b60405180910390f35b5f806001436100959190610249565b405f1c905080600154036100de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100d5906102d6565b60405180910390fd5b806001819055505f7f8000000000000000000000000000000000000000000000000000000000000000826101129190610321565b90505f60018214905084151581151503610148575f8081548092919061013790610351565b919050555060019350505050610155565b5f80819055505f93505050505b919050565b5f5481565b5f80fd5b5f8115159050919050565b61017781610163565b8114610181575f80fd5b50565b5f813590506101928161016e565b92915050565b5f602082840312156101ad576101ac61015f565b5b5f6101ba84828501610184565b91505092915050565b6101cc81610163565b82525050565b5f6020820190506101e55f8301846101c3565b92915050565b5f819050919050565b6101fd816101eb565b82525050565b5f6020820190506102165f8301846101f4565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610253826101eb565b915061025e836101eb565b92508282039050818111156102765761027561021c565b5b92915050565b5f82825260208201905092915050565b7f426c6f636b2076616c756520616c7265616479207573656400000000000000005f82015250565b5f6102c060188361027c565b91506102cb8261028c565b602082019050919050565b5f6020820190508181035f8301526102ed816102b4565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61032b826101eb565b9150610336836101eb565b925082610346576103456102f4565b5b828204905092915050565b5f61035b826101eb565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361038d5761038c61021c565b5b60018201905091905056fea2646970667358221220c9c7cd9b914156bbc919d23458b474b6fe4d5d9d96e841916b7d6564363bfc6264736f6c634300081a0033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0xF JUMPI PUSH0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x34 JUMPI PUSH0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x1D263F67 EQ PUSH2 0x38 JUMPI DUP1 PUSH4 0xE6F334D7 EQ PUSH2 0x68 JUMPI JUMPDEST PUSH0 DUP1 REVERT JUMPDEST PUSH2 0x52 PUSH1 0x4 DUP1 CALLDATASIZE SUB DUP2 ADD SWAP1 PUSH2 0x4D SWAP2 SWAP1 PUSH2 0x198 JUMP JUMPDEST PUSH2 0x86 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x5F SWAP2 SWAP1 PUSH2 0x1D2 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x70 PUSH2 0x15A JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x7D SWAP2 SWAP1 PUSH2 0x203 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH0 DUP1 PUSH1 0x1 NUMBER PUSH2 0x95 SWAP2 SWAP1 PUSH2 0x249 JUMP JUMPDEST BLOCKHASH PUSH0 SHR SWAP1 POP DUP1 PUSH1 0x1 SLOAD SUB PUSH2 0xDE JUMPI PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD PUSH2 0xD5 SWAP1 PUSH2 0x2D6 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST DUP1 PUSH1 0x1 DUP2 SWAP1 SSTORE POP PUSH0 PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000 DUP3 PUSH2 0x112 SWAP2 SWAP1 PUSH2 0x321 JUMP JUMPDEST SWAP1 POP PUSH0 PUSH1 0x1 DUP3 EQ SWAP1 POP DUP5 ISZERO ISZERO DUP2 ISZERO ISZERO SUB PUSH2 0x148 JUMPI PUSH0 DUP1 DUP2 SLOAD DUP1 SWAP3 SWAP2 SWAP1 PUSH2 0x137 SWAP1 PUSH2 0x351 JUMP JUMPDEST SWAP2 SWAP1 POP SSTORE POP PUSH1 0x1 SWAP4 POP POP POP POP PUSH2 0x155 JUMP JUMPDEST PUSH0 DUP1 DUP2 SWAP1 SSTORE POP PUSH0 SWAP4 POP POP POP POP JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 SLOAD DUP2 JUMP JUMPDEST PUSH0 DUP1 REVERT JUMPDEST PUSH0 DUP2 ISZERO ISZERO SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x177 DUP2 PUSH2 0x163 JUMP JUMPDEST DUP2 EQ PUSH2 0x181 JUMPI PUSH0 DUP1 REVERT JUMPDEST POP JUMP JUMPDEST PUSH0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x192 DUP2 PUSH2 0x16E JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x1AD JUMPI PUSH2 0x1AC PUSH2 0x15F JUMP JUMPDEST JUMPDEST PUSH0 PUSH2 0x1BA DUP5 DUP3 DUP6 ADD PUSH2 0x184 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x1CC DUP2 PUSH2 0x163 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x1E5 PUSH0 DUP4 ADD DUP5 PUSH2 0x1C3 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x1FD DUP2 PUSH2 0x1EB JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x216 PUSH0 DUP4 ADD DUP5 PUSH2 0x1F4 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH0 REVERT JUMPDEST PUSH0 PUSH2 0x253 DUP3 PUSH2 0x1EB JUMP JUMPDEST SWAP2 POP PUSH2 0x25E DUP4 PUSH2 0x1EB JUMP JUMPDEST SWAP3 POP DUP3 DUP3 SUB SWAP1 POP DUP2 DUP2 GT ISZERO PUSH2 0x276 JUMPI PUSH2 0x275 PUSH2 0x21C JUMP JUMPDEST JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x426C6F636B2076616C756520616C726561647920757365640000000000000000 PUSH0 DUP3 ADD MSTORE POP JUMP JUMPDEST PUSH0 PUSH2 0x2C0 PUSH1 0x18 DUP4 PUSH2 0x27C JUMP JUMPDEST SWAP2 POP PUSH2 0x2CB DUP3 PUSH2 0x28C JUMP JUMPDEST PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH0 DUP4 ADD MSTORE PUSH2 0x2ED DUP2 PUSH2 0x2B4 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH0 MSTORE PUSH1 0x12 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH0 REVERT JUMPDEST PUSH0 PUSH2 0x32B DUP3 PUSH2 0x1EB JUMP JUMPDEST SWAP2 POP PUSH2 0x336 DUP4 PUSH2 0x1EB JUMP JUMPDEST SWAP3 POP DUP3 PUSH2 0x346 JUMPI PUSH2 0x345 PUSH2 0x2F4 JUMP JUMPDEST JUMPDEST DUP3 DUP3 DIV SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH0 PUSH2 0x35B DUP3 PUSH2 0x1EB JUMP JUMPDEST SWAP2 POP PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP3 SUB PUSH2 0x38D JUMPI PUSH2 0x38C PUSH2 0x21C JUMP JUMPDEST JUMPDEST PUSH1 0x1 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0xC9 0xC7 0xCD SWAP12 SWAP2 COINBASE JUMP 0xBB 0xC9 NOT 0xD2 CALLVALUE PC 0xB4 PUSH21 0xB6FE4D5D9D96E841916B7D6564363BFC6264736F6C PUSH4 0x4300081A STOP CALLER ",
"sourceMap": "62:811:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;344:526;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;87:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;344:526;387:4;404:18;458:1;443:12;:16;;;;:::i;:::-;433:27;425:36;;404:57;;490:10;478:8;;:22;474:89;;517:34;;;;;;;;;;:::i;:::-;;;;;;;;474:89;586:10;575:8;:21;;;;607:16;198:77;626:10;:19;;;;:::i;:::-;607:38;;656:9;680:1;668:8;:13;656:25;;706:6;698:14;;:4;:14;;;694:169;;729:15;;:17;;;;;;;;;:::i;:::-;;;;;;768:4;761:11;;;;;;;694:169;823:1;805:15;:19;;;;846:5;839:12;;;;;344:526;;;;:::o;87:30::-;;;;:::o;88:117:1:-;197:1;194;187:12;334:90;368:7;411:5;404:13;397:21;386:32;;334:90;;;:::o;430:116::-;500:21;515:5;500:21;:::i;:::-;493:5;490:32;480:60;;536:1;533;526:12;480:60;430:116;:::o;552:133::-;595:5;633:6;620:20;611:29;;649:30;673:5;649:30;:::i;:::-;552:133;;;;:::o;691:323::-;747:6;796:2;784:9;775:7;771:23;767:32;764:119;;;802:79;;:::i;:::-;764:119;922:1;947:50;989:7;980:6;969:9;965:22;947:50;:::i;:::-;937:60;;893:114;691:323;;;;:::o;1020:109::-;1101:21;1116:5;1101:21;:::i;:::-;1096:3;1089:34;1020:109;;:::o;1135:210::-;1222:4;1260:2;1249:9;1245:18;1237:26;;1273:65;1335:1;1324:9;1320:17;1311:6;1273:65;:::i;:::-;1135:210;;;;:::o;1351:77::-;1388:7;1417:5;1406:16;;1351:77;;;:::o;1434:118::-;1521:24;1539:5;1521:24;:::i;:::-;1516:3;1509:37;1434:118;;:::o;1558:222::-;1651:4;1689:2;1678:9;1674:18;1666:26;;1702:71;1770:1;1759:9;1755:17;1746:6;1702:71;:::i;:::-;1558:222;;;;:::o;1786:180::-;1834:77;1831:1;1824:88;1931:4;1928:1;1921:15;1955:4;1952:1;1945:15;1972:194;2012:4;2032:20;2050:1;2032:20;:::i;:::-;2027:25;;2066:20;2084:1;2066:20;:::i;:::-;2061:25;;2110:1;2107;2103:9;2095:17;;2134:1;2128:4;2125:11;2122:37;;;2139:18;;:::i;:::-;2122:37;1972:194;;;;:::o;2172:169::-;2256:11;2290:6;2285:3;2278:19;2330:4;2325:3;2321:14;2306:29;;2172:169;;;;:::o;2347:174::-;2487:26;2483:1;2475:6;2471:14;2464:50;2347:174;:::o;2527:366::-;2669:3;2690:67;2754:2;2749:3;2690:67;:::i;:::-;2683:74;;2766:93;2855:3;2766:93;:::i;:::-;2884:2;2879:3;2875:12;2868:19;;2527:366;;;:::o;2899:419::-;3065:4;3103:2;3092:9;3088:18;3080:26;;3152:9;3146:4;3142:20;3138:1;3127:9;3123:17;3116:47;3180:131;3306:4;3180:131;:::i;:::-;3172:139;;2899:419;;;:::o;3324:180::-;3372:77;3369:1;3362:88;3469:4;3466:1;3459:15;3493:4;3490:1;3483:15;3510:185;3550:1;3567:20;3585:1;3567:20;:::i;:::-;3562:25;;3601:20;3619:1;3601:20;:::i;:::-;3596:25;;3640:1;3630:35;;3645:18;;:::i;:::-;3630:35;3687:1;3684;3680:9;3675:14;;3510:185;;;;:::o;3701:233::-;3740:3;3763:24;3781:5;3763:24;:::i;:::-;3754:33;;3809:66;3802:5;3799:77;3796:103;;3879:18;;:::i;:::-;3796:103;3926:1;3919:5;3915:13;3908:20;;3701:233;;;:::o"
},
"gasEstimates": {
"creation": {
"codeDepositCost": "194800",
"executionCost": "5249",
"totalCost": "200049"
},
"external": {
"consecutiveWins()": "2424",
"flip(bool)": "infinite"
}
},
"methodIdentifiers": {
"consecutiveWins()": "e6f334d7",
"flip(bool)": "1d263f67"
}
},
"abi": [
{
"inputs": [],
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"inputs": [],
"name": "consecutiveWins",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "bool",
"name": "_guess",
"type": "bool"
}
],
"name": "flip",
"outputs": [
{
"internalType": "bool",
"name": "",
"type": "bool"
}
],
"stateMutability": "nonpayable",
"type": "function"
}
]
}