dfb3a90a9781d0751a4bc89d819bbbeb.json

{"id":"dfb3a90a9781d0751a4bc89d819bbbeb","_format":"hh-sol-build-info-1","solcVersion":"0.8.17","solcLongVersion":"0.8.17+commit.8df45f5f","input":{"language":"Solidity","sources":{"contracts/BoxV2.sol":{"content":"// contracts/BoxV2.sol\n// SPDX-License-Identifier: MIT\npragma solidity ^0.8.17;\n \ncontract BoxV2 {\n    uint256 private value;\n \n    // Emitted when the stored value changes\n    event ValueChanged(uint256 newValue);\n \n    // Stores a new value in the contract\n    function store(uint256 newValue) public {\n        value = newValue;\n        emit ValueChanged(newValue);\n    }\n    \n    // Reads the last stored value\n    function retrieve() public view returns (uint256) {\n        return value;\n    }\n    \n    // Increments the stored value by 1\n    function increment() public {\n        value = value + 1;\n        emit ValueChanged(value);\n    }\n}\n"}},"settings":{"optimizer":{"enabled":false,"runs":200},"outputSelection":{"*":{"*":["abi","evm.bytecode","evm.deployedBytecode","evm.methodIdentifiers","metadata","storageLayout"],"":["ast"]}}}},"output":{"sources":{"contracts/BoxV2.sol":{"ast":{"absolutePath":"contracts/BoxV2.sol","exportedSymbols":{"BoxV2":[44]},"id":45,"license":"MIT","nodeType":"SourceUnit","nodes":[{"id":1,"literals":["solidity","^","0.8",".17"],"nodeType":"PragmaDirective","src":"55:24:0"},{"abstract":false,"baseContracts":[],"canonicalName":"BoxV2","contractDependencies":[],"contractKind":"contract","fullyImplemented":true,"id":44,"linearizedBaseContracts":[44],"name":"BoxV2","nameLocation":"91:5:0","nodeType":"ContractDefinition","nodes":[{"constant":false,"id":3,"mutability":"mutable","name":"value","nameLocation":"119:5:0","nodeType":"VariableDeclaration","scope":44,"src":"103:21:0","stateVariable":true,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":2,"name":"uint256","nodeType":"ElementaryTypeName","src":"103:7:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"private"},{"anonymous":false,"eventSelector":"93fe6d397c74fdf1402a8b72e47b68512f0510d7b98a4bc4cbdf6ac7108b3c59","id":7,"name":"ValueChanged","nameLocation":"183:12:0","nodeType":"EventDefinition","parameters":{"id":6,"nodeType":"ParameterList","parameters":[{"constant":false,"id":5,"indexed":false,"mutability":"mutable","name":"newValue","nameLocation":"204:8:0","nodeType":"VariableDeclaration","scope":7,"src":"196:16:0","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":4,"name":"uint256","nodeType":"ElementaryTypeName","src":"196:7:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"195:18:0"},"src":"177:37:0"},{"body":{"id":20,"nodeType":"Block","src":"303:70:0","statements":[{"expression":{"id":14,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":12,"name":"value","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":3,"src":"313:5:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"id":13,"name":"newValue","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":9,"src":"321:8:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"313:16:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":15,"nodeType":"ExpressionStatement","src":"313:16:0"},{"eventCall":{"arguments":[{"id":17,"name":"newValue","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":9,"src":"357:8:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":16,"name":"ValueChanged","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":7,"src":"344:12:0","typeDescriptions":{"typeIdentifier":"t_function_event_nonpayable$_t_uint256_$returns$__$","typeString":"function (uint256)"}},"id":18,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"344:22:0","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":19,"nodeType":"EmitStatement","src":"339:27:0"}]},"functionSelector":"6057361d","id":21,"implemented":true,"kind":"function","modifiers":[],"name":"store","nameLocation":"272:5:0","nodeType":"FunctionDefinition","parameters":{"id":10,"nodeType":"ParameterList","parameters":[{"constant":false,"id":9,"mutability":"mutable","name":"newValue","nameLocation":"286:8:0","nodeType":"VariableDeclaration","scope":21,"src":"278:16:0","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":8,"name":"uint256","nodeType":"ElementaryTypeName","src":"278:7:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"277:18:0"},"returnParameters":{"id":11,"nodeType":"ParameterList","parameters":[],"src":"303:0:0"},"scope":44,"src":"263:110:0","stateMutability":"nonpayable","virtual":false,"visibility":"public"},{"body":{"id":28,"nodeType":"Block","src":"468:29:0","statements":[{"expression":{"id":26,"name":"value","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":3,"src":"485:5:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"functionReturnParameters":25,"id":27,"nodeType":"Return","src":"478:12:0"}]},"functionSelector":"2e64cec1","id":29,"implemented":true,"kind":"function","modifiers":[],"name":"retrieve","nameLocation":"427:8:0","nodeType":"FunctionDefinition","parameters":{"id":22,"nodeType":"ParameterList","parameters":[],"src":"435:2:0"},"returnParameters":{"id":25,"nodeType":"ParameterList","parameters":[{"constant":false,"id":24,"mutability":"mutable","name":"","nameLocation":"-1:-1:-1","nodeType":"VariableDeclaration","scope":29,"src":"459:7:0","stateVariable":false,"storageLocation":"default","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"},"typeName":{"id":23,"name":"uint256","nodeType":"ElementaryTypeName","src":"459:7:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"visibility":"internal"}],"src":"458:9:0"},"scope":44,"src":"418:79:0","stateMutability":"view","virtual":false,"visibility":"public"},{"body":{"id":42,"nodeType":"Block","src":"575:68:0","statements":[{"expression":{"id":36,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftHandSide":{"id":32,"name":"value","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":3,"src":"585:5:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"Assignment","operator":"=","rightHandSide":{"commonType":{"typeIdentifier":"t_uint256","typeString":"uint256"},"id":35,"isConstant":false,"isLValue":false,"isPure":false,"lValueRequested":false,"leftExpression":{"id":33,"name":"value","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":3,"src":"593:5:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"nodeType":"BinaryOperation","operator":"+","rightExpression":{"hexValue":"31","id":34,"isConstant":false,"isLValue":false,"isPure":true,"kind":"number","lValueRequested":false,"nodeType":"Literal","src":"601:1:0","typeDescriptions":{"typeIdentifier":"t_rational_1_by_1","typeString":"int_const 1"},"value":"1"},"src":"593:9:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"src":"585:17:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}},"id":37,"nodeType":"ExpressionStatement","src":"585:17:0"},{"eventCall":{"arguments":[{"id":39,"name":"value","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":3,"src":"630:5:0","typeDescriptions":{"typeIdentifier":"t_uint256","typeString":"uint256"}}],"expression":{"argumentTypes":[{"typeIdentifier":"t_uint256","typeString":"uint256"}],"id":38,"name":"ValueChanged","nodeType":"Identifier","overloadedDeclarations":[],"referencedDeclaration":7,"src":"617:12:0","typeDescriptions":{"typeIdentifier":"t_function_event_nonpayable$_t_uint256_$returns$__$","typeString":"function (uint256)"}},"id":40,"isConstant":false,"isLValue":false,"isPure":false,"kind":"functionCall","lValueRequested":false,"nameLocations":[],"names":[],"nodeType":"FunctionCall","src":"617:19:0","tryCall":false,"typeDescriptions":{"typeIdentifier":"t_tuple$__$","typeString":"tuple()"}},"id":41,"nodeType":"EmitStatement","src":"612:24:0"}]},"functionSelector":"d09de08a","id":43,"implemented":true,"kind":"function","modifiers":[],"name":"increment","nameLocation":"556:9:0","nodeType":"FunctionDefinition","parameters":{"id":30,"nodeType":"ParameterList","parameters":[],"src":"565:2:0"},"returnParameters":{"id":31,"nodeType":"ParameterList","parameters":[],"src":"575:0:0"},"scope":44,"src":"547:96:0","stateMutability":"nonpayable","virtual":false,"visibility":"public"}],"scope":45,"src":"82:563:0","usedErrors":[]}],"src":"55:591:0"},"id":0}},"contracts":{"contracts/BoxV2.sol":{"BoxV2":{"abi":[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"newValue","type":"uint256"}],"name":"ValueChanged","type":"event"},{"inputs":[],"name":"increment","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"retrieve","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"newValue","type":"uint256"}],"name":"store","outputs":[],"stateMutability":"nonpayable","type":"function"}],"evm":{"bytecode":{"functionDebugData":{},"generatedSources":[],"linkReferences":{},"object":"608060405234801561001057600080fd5b5061024f806100206000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c80632e64cec1146100465780636057361d14610064578063d09de08a14610080575b600080fd5b61004e61008a565b60405161005b919061013d565b60405180910390f35b61007e60048036038101906100799190610189565b610093565b005b6100886100d4565b005b60008054905090565b806000819055507f93fe6d397c74fdf1402a8b72e47b68512f0510d7b98a4bc4cbdf6ac7108b3c59816040516100c9919061013d565b60405180910390a150565b60016000546100e391906101e5565b6000819055507f93fe6d397c74fdf1402a8b72e47b68512f0510d7b98a4bc4cbdf6ac7108b3c5960005460405161011a919061013d565b60405180910390a1565b6000819050919050565b61013781610124565b82525050565b6000602082019050610152600083018461012e565b92915050565b600080fd5b61016681610124565b811461017157600080fd5b50565b6000813590506101838161015d565b92915050565b60006020828403121561019f5761019e610158565b5b60006101ad84828501610174565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006101f082610124565b91506101fb83610124565b9250828201905080821115610213576102126101b6565b5b9291505056fea264697066735822122044376c75d8c6e4695edfdd7a2d7fdeb4b91bc84e712328b2bf1f106af0bdf5e564736f6c63430008110033","opcodes":"PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x24F DUP1 PUSH2 0x20 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 0x2E64CEC1 EQ PUSH2 0x46 JUMPI DUP1 PUSH4 0x6057361D EQ PUSH2 0x64 JUMPI DUP1 PUSH4 0xD09DE08A EQ PUSH2 0x80 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x4E PUSH2 0x8A JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x5B SWAP2 SWAP1 PUSH2 0x13D 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 0x189 JUMP JUMPDEST PUSH2 0x93 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x88 PUSH2 0xD4 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST DUP1 PUSH1 0x0 DUP2 SWAP1 SSTORE POP PUSH32 0x93FE6D397C74FDF1402A8B72E47B68512F0510D7B98A4BC4CBDF6AC7108B3C59 DUP2 PUSH1 0x40 MLOAD PUSH2 0xC9 SWAP2 SWAP1 PUSH2 0x13D JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 LOG1 POP JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 SLOAD PUSH2 0xE3 SWAP2 SWAP1 PUSH2 0x1E5 JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 SSTORE POP PUSH32 0x93FE6D397C74FDF1402A8B72E47B68512F0510D7B98A4BC4CBDF6AC7108B3C59 PUSH1 0x0 SLOAD PUSH1 0x40 MLOAD PUSH2 0x11A SWAP2 SWAP1 PUSH2 0x13D JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 LOG1 JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x137 DUP2 PUSH2 0x124 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x152 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x12E JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x166 DUP2 PUSH2 0x124 JUMP JUMPDEST DUP2 EQ PUSH2 0x171 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x183 DUP2 PUSH2 0x15D JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x19F JUMPI PUSH2 0x19E PUSH2 0x158 JUMP JUMPDEST JUMPDEST PUSH1 0x0 PUSH2 0x1AD DUP5 DUP3 DUP6 ADD PUSH2 0x174 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 PUSH2 0x1F0 DUP3 PUSH2 0x124 JUMP JUMPDEST SWAP2 POP PUSH2 0x1FB DUP4 PUSH2 0x124 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 ADD SWAP1 POP DUP1 DUP3 GT ISZERO PUSH2 0x213 JUMPI PUSH2 0x212 PUSH2 0x1B6 JUMP JUMPDEST JUMPDEST SWAP3 SWAP2 POP POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 DIFFICULTY CALLDATACOPY PUSH13 0x75D8C6E4695EDFDD7A2D7FDEB4 0xB9 SHL 0xC8 0x4E PUSH18 0x2328B2BF1F106AF0BDF5E564736F6C634300 ADDMOD GT STOP CALLER ","sourceMap":"82:563:0:-:0;;;;;;;;;;;;;;;;;;;"},"deployedBytecode":{"functionDebugData":{"@increment_43":{"entryPoint":212,"id":43,"parameterSlots":0,"returnSlots":0},"@retrieve_29":{"entryPoint":138,"id":29,"parameterSlots":0,"returnSlots":1},"@store_21":{"entryPoint":147,"id":21,"parameterSlots":1,"returnSlots":0},"abi_decode_t_uint256":{"entryPoint":372,"id":null,"parameterSlots":2,"returnSlots":1},"abi_decode_tuple_t_uint256":{"entryPoint":393,"id":null,"parameterSlots":2,"returnSlots":1},"abi_encode_t_uint256_to_t_uint256_fromStack":{"entryPoint":302,"id":null,"parameterSlots":2,"returnSlots":0},"abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed":{"entryPoint":317,"id":null,"parameterSlots":2,"returnSlots":1},"allocate_unbounded":{"entryPoint":null,"id":null,"parameterSlots":0,"returnSlots":1},"checked_add_t_uint256":{"entryPoint":485,"id":null,"parameterSlots":2,"returnSlots":1},"cleanup_t_uint256":{"entryPoint":292,"id":null,"parameterSlots":1,"returnSlots":1},"panic_error_0x11":{"entryPoint":438,"id":null,"parameterSlots":0,"returnSlots":0},"revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db":{"entryPoint":null,"id":null,"parameterSlots":0,"returnSlots":0},"revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b":{"entryPoint":344,"id":null,"parameterSlots":0,"returnSlots":0},"validator_revert_t_uint256":{"entryPoint":349,"id":null,"parameterSlots":1,"returnSlots":0}},"generatedSources":[{"ast":{"nodeType":"YulBlock","src":"0:1757:1","statements":[{"body":{"nodeType":"YulBlock","src":"52:32:1","statements":[{"nodeType":"YulAssignment","src":"62:16:1","value":{"name":"value","nodeType":"YulIdentifier","src":"73:5:1"},"variableNames":[{"name":"cleaned","nodeType":"YulIdentifier","src":"62:7:1"}]}]},"name":"cleanup_t_uint256","nodeType":"YulFunctionDefinition","parameters":[{"name":"value","nodeType":"YulTypedName","src":"34:5:1","type":""}],"returnVariables":[{"name":"cleaned","nodeType":"YulTypedName","src":"44:7:1","type":""}],"src":"7:77:1"},{"body":{"nodeType":"YulBlock","src":"155:53:1","statements":[{"expression":{"arguments":[{"name":"pos","nodeType":"YulIdentifier","src":"172:3:1"},{"arguments":[{"name":"value","nodeType":"YulIdentifier","src":"195:5:1"}],"functionName":{"name":"cleanup_t_uint256","nodeType":"YulIdentifier","src":"177:17:1"},"nodeType":"YulFunctionCall","src":"177:24:1"}],"functionName":{"name":"mstore","nodeType":"YulIdentifier","src":"165:6:1"},"nodeType":"YulFunctionCall","src":"165:37:1"},"nodeType":"YulExpressionStatement","src":"165:37:1"}]},"name":"abi_encode_t_uint256_to_t_uint256_fromStack","nodeType":"YulFunctionDefinition","parameters":[{"name":"value","nodeType":"YulTypedName","src":"143:5:1","type":""},{"name":"pos","nodeType":"YulTypedName","src":"150:3:1","type":""}],"src":"90:118:1"},{"body":{"nodeType":"YulBlock","src":"312:124:1","statements":[{"nodeType":"YulAssignment","src":"322:26:1","value":{"arguments":[{"name":"headStart","nodeType":"YulIdentifier","src":"334:9:1"},{"kind":"number","nodeType":"YulLiteral","src":"345:2:1","type":"","value":"32"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"330:3:1"},"nodeType":"YulFunctionCall","src":"330:18:1"},"variableNames":[{"name":"tail","nodeType":"YulIdentifier","src":"322:4:1"}]},{"expression":{"arguments":[{"name":"value0","nodeType":"YulIdentifier","src":"402:6:1"},{"arguments":[{"name":"headStart","nodeType":"YulIdentifier","src":"415:9:1"},{"kind":"number","nodeType":"YulLiteral","src":"426:1:1","type":"","value":"0"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"411:3:1"},"nodeType":"YulFunctionCall","src":"411:17:1"}],"functionName":{"name":"abi_encode_t_uint256_to_t_uint256_fromStack","nodeType":"YulIdentifier","src":"358:43:1"},"nodeType":"YulFunctionCall","src":"358:71:1"},"nodeType":"YulExpressionStatement","src":"358:71:1"}]},"name":"abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed","nodeType":"YulFunctionDefinition","parameters":[{"name":"headStart","nodeType":"YulTypedName","src":"284:9:1","type":""},{"name":"value0","nodeType":"YulTypedName","src":"296:6:1","type":""}],"returnVariables":[{"name":"tail","nodeType":"YulTypedName","src":"307:4:1","type":""}],"src":"214:222:1"},{"body":{"nodeType":"YulBlock","src":"482:35:1","statements":[{"nodeType":"YulAssignment","src":"492:19:1","value":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"508:2:1","type":"","value":"64"}],"functionName":{"name":"mload","nodeType":"YulIdentifier","src":"502:5:1"},"nodeType":"YulFunctionCall","src":"502:9:1"},"variableNames":[{"name":"memPtr","nodeType":"YulIdentifier","src":"492:6:1"}]}]},"name":"allocate_unbounded","nodeType":"YulFunctionDefinition","returnVariables":[{"name":"memPtr","nodeType":"YulTypedName","src":"475:6:1","type":""}],"src":"442:75:1"},{"body":{"nodeType":"YulBlock","src":"612:28:1","statements":[{"expression":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"629:1:1","type":"","value":"0"},{"kind":"number","nodeType":"YulLiteral","src":"632:1:1","type":"","value":"0"}],"functionName":{"name":"revert","nodeType":"YulIdentifier","src":"622:6:1"},"nodeType":"YulFunctionCall","src":"622:12:1"},"nodeType":"YulExpressionStatement","src":"622:12:1"}]},"name":"revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b","nodeType":"YulFunctionDefinition","src":"523:117:1"},{"body":{"nodeType":"YulBlock","src":"735:28:1","statements":[{"expression":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"752:1:1","type":"","value":"0"},{"kind":"number","nodeType":"YulLiteral","src":"755:1:1","type":"","value":"0"}],"functionName":{"name":"revert","nodeType":"YulIdentifier","src":"745:6:1"},"nodeType":"YulFunctionCall","src":"745:12:1"},"nodeType":"YulExpressionStatement","src":"745:12:1"}]},"name":"revert_error_c1322bf8034eace5e0b5c7295db60986aa89aae5e0ea0873e4689e076861a5db","nodeType":"YulFunctionDefinition","src":"646:117:1"},{"body":{"nodeType":"YulBlock","src":"812:79:1","statements":[{"body":{"nodeType":"YulBlock","src":"869:16:1","statements":[{"expression":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"878:1:1","type":"","value":"0"},{"kind":"number","nodeType":"YulLiteral","src":"881:1:1","type":"","value":"0"}],"functionName":{"name":"revert","nodeType":"YulIdentifier","src":"871:6:1"},"nodeType":"YulFunctionCall","src":"871:12:1"},"nodeType":"YulExpressionStatement","src":"871:12:1"}]},"condition":{"arguments":[{"arguments":[{"name":"value","nodeType":"YulIdentifier","src":"835:5:1"},{"arguments":[{"name":"value","nodeType":"YulIdentifier","src":"860:5:1"}],"functionName":{"name":"cleanup_t_uint256","nodeType":"YulIdentifier","src":"842:17:1"},"nodeType":"YulFunctionCall","src":"842:24:1"}],"functionName":{"name":"eq","nodeType":"YulIdentifier","src":"832:2:1"},"nodeType":"YulFunctionCall","src":"832:35:1"}],"functionName":{"name":"iszero","nodeType":"YulIdentifier","src":"825:6:1"},"nodeType":"YulFunctionCall","src":"825:43:1"},"nodeType":"YulIf","src":"822:63:1"}]},"name":"validator_revert_t_uint256","nodeType":"YulFunctionDefinition","parameters":[{"name":"value","nodeType":"YulTypedName","src":"805:5:1","type":""}],"src":"769:122:1"},{"body":{"nodeType":"YulBlock","src":"949:87:1","statements":[{"nodeType":"YulAssignment","src":"959:29:1","value":{"arguments":[{"name":"offset","nodeType":"YulIdentifier","src":"981:6:1"}],"functionName":{"name":"calldataload","nodeType":"YulIdentifier","src":"968:12:1"},"nodeType":"YulFunctionCall","src":"968:20:1"},"variableNames":[{"name":"value","nodeType":"YulIdentifier","src":"959:5:1"}]},{"expression":{"arguments":[{"name":"value","nodeType":"YulIdentifier","src":"1024:5:1"}],"functionName":{"name":"validator_revert_t_uint256","nodeType":"YulIdentifier","src":"997:26:1"},"nodeType":"YulFunctionCall","src":"997:33:1"},"nodeType":"YulExpressionStatement","src":"997:33:1"}]},"name":"abi_decode_t_uint256","nodeType":"YulFunctionDefinition","parameters":[{"name":"offset","nodeType":"YulTypedName","src":"927:6:1","type":""},{"name":"end","nodeType":"YulTypedName","src":"935:3:1","type":""}],"returnVariables":[{"name":"value","nodeType":"YulTypedName","src":"943:5:1","type":""}],"src":"897:139:1"},{"body":{"nodeType":"YulBlock","src":"1108:263:1","statements":[{"body":{"nodeType":"YulBlock","src":"1154:83:1","statements":[{"expression":{"arguments":[],"functionName":{"name":"revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b","nodeType":"YulIdentifier","src":"1156:77:1"},"nodeType":"YulFunctionCall","src":"1156:79:1"},"nodeType":"YulExpressionStatement","src":"1156:79:1"}]},"condition":{"arguments":[{"arguments":[{"name":"dataEnd","nodeType":"YulIdentifier","src":"1129:7:1"},{"name":"headStart","nodeType":"YulIdentifier","src":"1138:9:1"}],"functionName":{"name":"sub","nodeType":"YulIdentifier","src":"1125:3:1"},"nodeType":"YulFunctionCall","src":"1125:23:1"},{"kind":"number","nodeType":"YulLiteral","src":"1150:2:1","type":"","value":"32"}],"functionName":{"name":"slt","nodeType":"YulIdentifier","src":"1121:3:1"},"nodeType":"YulFunctionCall","src":"1121:32:1"},"nodeType":"YulIf","src":"1118:119:1"},{"nodeType":"YulBlock","src":"1247:117:1","statements":[{"nodeType":"YulVariableDeclaration","src":"1262:15:1","value":{"kind":"number","nodeType":"YulLiteral","src":"1276:1:1","type":"","value":"0"},"variables":[{"name":"offset","nodeType":"YulTypedName","src":"1266:6:1","type":""}]},{"nodeType":"YulAssignment","src":"1291:63:1","value":{"arguments":[{"arguments":[{"name":"headStart","nodeType":"YulIdentifier","src":"1326:9:1"},{"name":"offset","nodeType":"YulIdentifier","src":"1337:6:1"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"1322:3:1"},"nodeType":"YulFunctionCall","src":"1322:22:1"},{"name":"dataEnd","nodeType":"YulIdentifier","src":"1346:7:1"}],"functionName":{"name":"abi_decode_t_uint256","nodeType":"YulIdentifier","src":"1301:20:1"},"nodeType":"YulFunctionCall","src":"1301:53:1"},"variableNames":[{"name":"value0","nodeType":"YulIdentifier","src":"1291:6:1"}]}]}]},"name":"abi_decode_tuple_t_uint256","nodeType":"YulFunctionDefinition","parameters":[{"name":"headStart","nodeType":"YulTypedName","src":"1078:9:1","type":""},{"name":"dataEnd","nodeType":"YulTypedName","src":"1089:7:1","type":""}],"returnVariables":[{"name":"value0","nodeType":"YulTypedName","src":"1101:6:1","type":""}],"src":"1042:329:1"},{"body":{"nodeType":"YulBlock","src":"1405:152:1","statements":[{"expression":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"1422:1:1","type":"","value":"0"},{"kind":"number","nodeType":"YulLiteral","src":"1425:77:1","type":"","value":"35408467139433450592217433187231851964531694900788300625387963629091585785856"}],"functionName":{"name":"mstore","nodeType":"YulIdentifier","src":"1415:6:1"},"nodeType":"YulFunctionCall","src":"1415:88:1"},"nodeType":"YulExpressionStatement","src":"1415:88:1"},{"expression":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"1519:1:1","type":"","value":"4"},{"kind":"number","nodeType":"YulLiteral","src":"1522:4:1","type":"","value":"0x11"}],"functionName":{"name":"mstore","nodeType":"YulIdentifier","src":"1512:6:1"},"nodeType":"YulFunctionCall","src":"1512:15:1"},"nodeType":"YulExpressionStatement","src":"1512:15:1"},{"expression":{"arguments":[{"kind":"number","nodeType":"YulLiteral","src":"1543:1:1","type":"","value":"0"},{"kind":"number","nodeType":"YulLiteral","src":"1546:4:1","type":"","value":"0x24"}],"functionName":{"name":"revert","nodeType":"YulIdentifier","src":"1536:6:1"},"nodeType":"YulFunctionCall","src":"1536:15:1"},"nodeType":"YulExpressionStatement","src":"1536:15:1"}]},"name":"panic_error_0x11","nodeType":"YulFunctionDefinition","src":"1377:180:1"},{"body":{"nodeType":"YulBlock","src":"1607:147:1","statements":[{"nodeType":"YulAssignment","src":"1617:25:1","value":{"arguments":[{"name":"x","nodeType":"YulIdentifier","src":"1640:1:1"}],"functionName":{"name":"cleanup_t_uint256","nodeType":"YulIdentifier","src":"1622:17:1"},"nodeType":"YulFunctionCall","src":"1622:20:1"},"variableNames":[{"name":"x","nodeType":"YulIdentifier","src":"1617:1:1"}]},{"nodeType":"YulAssignment","src":"1651:25:1","value":{"arguments":[{"name":"y","nodeType":"YulIdentifier","src":"1674:1:1"}],"functionName":{"name":"cleanup_t_uint256","nodeType":"YulIdentifier","src":"1656:17:1"},"nodeType":"YulFunctionCall","src":"1656:20:1"},"variableNames":[{"name":"y","nodeType":"YulIdentifier","src":"1651:1:1"}]},{"nodeType":"YulAssignment","src":"1685:16:1","value":{"arguments":[{"name":"x","nodeType":"YulIdentifier","src":"1696:1:1"},{"name":"y","nodeType":"YulIdentifier","src":"1699:1:1"}],"functionName":{"name":"add","nodeType":"YulIdentifier","src":"1692:3:1"},"nodeType":"YulFunctionCall","src":"1692:9:1"},"variableNames":[{"name":"sum","nodeType":"YulIdentifier","src":"1685:3:1"}]},{"body":{"nodeType":"YulBlock","src":"1725:22:1","statements":[{"expression":{"arguments":[],"functionName":{"name":"panic_error_0x11","nodeType":"YulIdentifier","src":"1727:16:1"},"nodeType":"YulFunctionCall","src":"1727:18:1"},"nodeType":"YulExpressionStatement","src":"1727:18:1"}]},"condition":{"arguments":[{"name":"x","nodeType":"YulIdentifier","src":"1717:1:1"},{"name":"sum","nodeType":"YulIdentifier","src":"1720:3:1"}],"functionName":{"name":"gt","nodeType":"YulIdentifier","src":"1714:2:1"},"nodeType":"YulFunctionCall","src":"1714:10:1"},"nodeType":"YulIf","src":"1711:36:1"}]},"name":"checked_add_t_uint256","nodeType":"YulFunctionDefinition","parameters":[{"name":"x","nodeType":"YulTypedName","src":"1594:1:1","type":""},{"name":"y","nodeType":"YulTypedName","src":"1597:1:1","type":""}],"returnVariables":[{"name":"sum","nodeType":"YulTypedName","src":"1603:3:1","type":""}],"src":"1563:191:1"}]},"contents":"{\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 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 validator_revert_t_uint256(value) {\n        if iszero(eq(value, cleanup_t_uint256(value))) { revert(0, 0) }\n    }\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 panic_error_0x11() {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x11)\n        revert(0, 0x24)\n    }\n\n    function checked_add_t_uint256(x, y) -> sum {\n        x := cleanup_t_uint256(x)\n        y := cleanup_t_uint256(y)\n        sum := add(x, y)\n\n        if gt(x, sum) { panic_error_0x11() }\n\n    }\n\n}\n","id":1,"language":"Yul","name":"#utility.yul"}],"immutableReferences":{},"linkReferences":{},"object":"608060405234801561001057600080fd5b50600436106100415760003560e01c80632e64cec1146100465780636057361d14610064578063d09de08a14610080575b600080fd5b61004e61008a565b60405161005b919061013d565b60405180910390f35b61007e60048036038101906100799190610189565b610093565b005b6100886100d4565b005b60008054905090565b806000819055507f93fe6d397c74fdf1402a8b72e47b68512f0510d7b98a4bc4cbdf6ac7108b3c59816040516100c9919061013d565b60405180910390a150565b60016000546100e391906101e5565b6000819055507f93fe6d397c74fdf1402a8b72e47b68512f0510d7b98a4bc4cbdf6ac7108b3c5960005460405161011a919061013d565b60405180910390a1565b6000819050919050565b61013781610124565b82525050565b6000602082019050610152600083018461012e565b92915050565b600080fd5b61016681610124565b811461017157600080fd5b50565b6000813590506101838161015d565b92915050565b60006020828403121561019f5761019e610158565b5b60006101ad84828501610174565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006101f082610124565b91506101fb83610124565b9250828201905080821115610213576102126101b6565b5b9291505056fea264697066735822122044376c75d8c6e4695edfdd7a2d7fdeb4b91bc84e712328b2bf1f106af0bdf5e564736f6c63430008110033","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 0x2E64CEC1 EQ PUSH2 0x46 JUMPI DUP1 PUSH4 0x6057361D EQ PUSH2 0x64 JUMPI DUP1 PUSH4 0xD09DE08A EQ PUSH2 0x80 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x4E PUSH2 0x8A JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x5B SWAP2 SWAP1 PUSH2 0x13D 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 0x189 JUMP JUMPDEST PUSH2 0x93 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x88 PUSH2 0xD4 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST DUP1 PUSH1 0x0 DUP2 SWAP1 SSTORE POP PUSH32 0x93FE6D397C74FDF1402A8B72E47B68512F0510D7B98A4BC4CBDF6AC7108B3C59 DUP2 PUSH1 0x40 MLOAD PUSH2 0xC9 SWAP2 SWAP1 PUSH2 0x13D JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 LOG1 POP JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 SLOAD PUSH2 0xE3 SWAP2 SWAP1 PUSH2 0x1E5 JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 SSTORE POP PUSH32 0x93FE6D397C74FDF1402A8B72E47B68512F0510D7B98A4BC4CBDF6AC7108B3C59 PUSH1 0x0 SLOAD PUSH1 0x40 MLOAD PUSH2 0x11A SWAP2 SWAP1 PUSH2 0x13D JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 LOG1 JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH2 0x137 DUP2 PUSH2 0x124 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x152 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x12E JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x166 DUP2 PUSH2 0x124 JUMP JUMPDEST DUP2 EQ PUSH2 0x171 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x183 DUP2 PUSH2 0x15D JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x19F JUMPI PUSH2 0x19E PUSH2 0x158 JUMP JUMPDEST JUMPDEST PUSH1 0x0 PUSH2 0x1AD DUP5 DUP3 DUP6 ADD PUSH2 0x174 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x0 PUSH2 0x1F0 DUP3 PUSH2 0x124 JUMP JUMPDEST SWAP2 POP PUSH2 0x1FB DUP4 PUSH2 0x124 JUMP JUMPDEST SWAP3 POP DUP3 DUP3 ADD SWAP1 POP DUP1 DUP3 GT ISZERO PUSH2 0x213 JUMPI PUSH2 0x212 PUSH2 0x1B6 JUMP JUMPDEST JUMPDEST SWAP3 SWAP2 POP POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 DIFFICULTY CALLDATACOPY PUSH13 0x75D8C6E4695EDFDD7A2D7FDEB4 0xB9 SHL 0xC8 0x4E PUSH18 0x2328B2BF1F106AF0BDF5E564736F6C634300 ADDMOD GT STOP CALLER ","sourceMap":"82:563:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;418:79;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;263:110;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;547:96;;;:::i;:::-;;418:79;459:7;485:5;;478:12;;418:79;:::o;263:110::-;321:8;313:5;:16;;;;344:22;357:8;344:22;;;;;;:::i;:::-;;;;;;;;263:110;:::o;547:96::-;601:1;593:5;;:9;;;;:::i;:::-;585:5;:17;;;;617:19;630:5;;617:19;;;;;;:::i;:::-;;;;;;;;547:96::o;7:77:1:-;44:7;73:5;62:16;;7:77;;;:::o;90:118::-;177:24;195:5;177:24;:::i;:::-;172:3;165:37;90:118;;:::o;214:222::-;307:4;345:2;334:9;330:18;322:26;;358:71;426:1;415:9;411:17;402:6;358:71;:::i;:::-;214:222;;;;:::o;523:117::-;632:1;629;622:12;769:122;842:24;860:5;842:24;:::i;:::-;835:5;832:35;822:63;;881:1;878;871:12;822:63;769:122;:::o;897:139::-;943:5;981:6;968:20;959:29;;997:33;1024:5;997:33;:::i;:::-;897:139;;;;:::o;1042:329::-;1101:6;1150:2;1138:9;1129:7;1125:23;1121:32;1118:119;;;1156:79;;:::i;:::-;1118:119;1276:1;1301:53;1346:7;1337:6;1326:9;1322:22;1301:53;:::i;:::-;1291:63;;1247:117;1042:329;;;;:::o;1377:180::-;1425:77;1422:1;1415:88;1522:4;1519:1;1512:15;1546:4;1543:1;1536:15;1563:191;1603:3;1622:20;1640:1;1622:20;:::i;:::-;1617:25;;1656:20;1674:1;1656:20;:::i;:::-;1651:25;;1699:1;1696;1692:9;1685:16;;1720:3;1717:1;1714:10;1711:36;;;1727:18;;:::i;:::-;1711:36;1563:191;;;;:::o"},"methodIdentifiers":{"increment()":"d09de08a","retrieve()":"2e64cec1","store(uint256)":"6057361d"}},"metadata":"{\"compiler\":{\"version\":\"0.8.17+commit.8df45f5f\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"newValue\",\"type\":\"uint256\"}],\"name\":\"ValueChanged\",\"type\":\"event\"},{\"inputs\":[],\"name\":\"increment\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"retrieve\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"newValue\",\"type\":\"uint256\"}],\"name\":\"store\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/BoxV2.sol\":\"BoxV2\"},\"evmVersion\":\"london\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"contracts/BoxV2.sol\":{\"keccak256\":\"0x9de42d6d81e1687c2f84de9e3c8c939932a0900672b70ff15dbc54d1c1ccc023\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://b7ad85ca6a76947c78f77d8ef26012e807c7280ca73c0967166d61217a12bc26\",\"dweb:/ipfs/QmZ5cjvnQdQEap1JdGV1PezsyRmXwNFYDi6JtRP6Y8Qsci\"]}},\"version\":1}","storageLayout":{"storage":[{"astId":3,"contract":"contracts/BoxV2.sol:BoxV2","label":"value","offset":0,"slot":"0","type":"t_uint256"}],"types":{"t_uint256":{"encoding":"inplace","label":"uint256","numberOfBytes":"32"}}}}}}}}