{
	"id": "7a87b201c6815c4745373d1b799a0a6d",
	"_format": "hh-sol-build-info-1",
	"solcVersion": "0.6.12",
	"solcLongVersion": "0.6.12+commit.27d51765",
	"input": {
		"language": "Solidity",
		"sources": {
			"contracts/11_inheritance.sol": {
				"content": "contract parent {\n    string name;\n    function setName(string memory _name) public {\n        name=_name;\n    }\n}\ncontract child is parent {\nfunction getName() public view returns(string memory){\n        return name;\n    }\n}"
			}
		},
		"settings": {
			"optimizer": {
				"enabled": false,
				"runs": 200
			},
			"outputSelection": {
				"*": {
					"": [
						"ast"
					],
					"*": [
						"abi",
						"metadata",
						"devdoc",
						"userdoc",
						"storageLayout",
						"evm.legacyAssembly",
						"evm.bytecode",
						"evm.deployedBytecode",
						"evm.methodIdentifiers",
						"evm.gasEstimates",
						"evm.assembly"
					]
				}
			}
		}
	},
	"output": {
		"contracts": {
			"contracts/11_inheritance.sol": {
				"child": {
					"abi": [
						{
							"inputs": [],
							"name": "getName",
							"outputs": [
								{
									"internalType": "string",
									"name": "",
									"type": "string"
								}
							],
							"stateMutability": "view",
							"type": "function"
						},
						{
							"inputs": [
								{
									"internalType": "string",
									"name": "_name",
									"type": "string"
								}
							],
							"name": "setName",
							"outputs": [],
							"stateMutability": "nonpayable",
							"type": "function"
						}
					],
					"devdoc": {
						"kind": "dev",
						"methods": {},
						"version": 1
					},
					"evm": {
						"assembly": "    /* \"contracts/11_inheritance.sol\":114:224  contract child is parent {... */\n  mstore(0x40, 0x80)\n  callvalue\n  dup1\n  iszero\n  tag_1\n  jumpi\n  0x00\n  dup1\n  revert\ntag_1:\n  pop\n  dataSize(sub_0)\n  dup1\n  dataOffset(sub_0)\n  0x00\n  codecopy\n  0x00\n  return\nstop\n\nsub_0: assembly {\n        /* \"contracts/11_inheritance.sol\":114:224  contract child is parent {... */\n      mstore(0x40, 0x80)\n      callvalue\n      dup1\n      iszero\n      tag_1\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_1:\n      pop\n      jumpi(tag_2, lt(calldatasize, 0x04))\n      shr(0xe0, calldataload(0x00))\n      dup1\n      0x17d7de7c\n      eq\n      tag_3\n      jumpi\n      dup1\n      0xc47f0027\n      eq\n      tag_4\n      jumpi\n    tag_2:\n      0x00\n      dup1\n      revert\n        /* \"contracts/11_inheritance.sol\":141:222  function getName() public view returns(string memory){... */\n    tag_3:\n      tag_5\n      tag_6\n      jump\t// in\n    tag_5:\n      mload(0x40)\n      dup1\n      dup1\n      0x20\n      add\n      dup3\n      dup2\n      sub\n      dup3\n      mstore\n      dup4\n      dup2\n      dup2\n      mload\n      dup2\n      mstore\n      0x20\n      add\n      swap2\n      pop\n      dup1\n      mload\n      swap1\n      0x20\n      add\n      swap1\n      dup1\n      dup4\n      dup4\n      0x00\n    tag_7:\n      dup4\n      dup2\n      lt\n      iszero\n      tag_9\n      jumpi\n      dup1\n      dup3\n      add\n      mload\n      dup2\n      dup5\n      add\n      mstore\n      0x20\n      dup2\n      add\n      swap1\n      pop\n      jump(tag_7)\n    tag_9:\n      pop\n      pop\n      pop\n      pop\n      swap1\n      pop\n      swap1\n      dup2\n      add\n      swap1\n      0x1f\n      and\n      dup1\n      iszero\n      tag_10\n      jumpi\n      dup1\n      dup3\n      sub\n      dup1\n      mload\n      0x01\n      dup4\n      0x20\n      sub\n      0x0100\n      exp\n      sub\n      not\n      and\n      dup2\n      mstore\n      0x20\n      add\n      swap2\n      pop\n    tag_10:\n      pop\n      swap3\n      pop\n      pop\n      pop\n      mload(0x40)\n      dup1\n      swap2\n      sub\n      swap1\n      return\n        /* \"contracts/11_inheritance.sol\":39:111  function setName(string memory _name) public {... */\n    tag_4:\n      tag_11\n      0x04\n      dup1\n      calldatasize\n      sub\n      0x20\n      dup2\n      lt\n      iszero\n      tag_12\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_12:\n      dup2\n      add\n      swap1\n      dup1\n      dup1\n      calldataload\n      swap1\n      0x20\n      add\n      swap1\n      0x0100000000\n      dup2\n      gt\n      iszero\n      tag_13\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_13:\n      dup3\n      add\n      dup4\n      0x20\n      dup3\n      add\n      gt\n      iszero\n      tag_14\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_14:\n      dup1\n      calldataload\n      swap1\n      0x20\n      add\n      swap2\n      dup5\n      0x01\n      dup4\n      mul\n      dup5\n      add\n      gt\n      0x0100000000\n      dup4\n      gt\n      or\n      iszero\n      tag_15\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_15:\n      swap2\n      swap1\n      dup1\n      dup1\n      0x1f\n      add\n      0x20\n      dup1\n      swap2\n      div\n      mul\n      0x20\n      add\n      mload(0x40)\n      swap1\n      dup2\n      add\n      0x40\n      mstore\n      dup1\n      swap4\n      swap3\n      swap2\n      swap1\n      dup2\n      dup2\n      mstore\n      0x20\n      add\n      dup4\n      dup4\n      dup1\n      dup3\n      dup5\n      calldatacopy\n      0x00\n      dup2\n      dup5\n      add\n      mstore\n      not(0x1f)\n      0x1f\n      dup3\n      add\n      and\n      swap1\n      pop\n      dup1\n      dup4\n      add\n      swap3\n      pop\n      pop\n      pop\n      pop\n      pop\n      pop\n      pop\n      swap2\n      swap3\n      swap2\n      swap3\n      swap1\n      pop\n      pop\n      pop\n      tag_16\n      jump\t// in\n    tag_11:\n      stop\n        /* \"contracts/11_inheritance.sol\":141:222  function getName() public view returns(string memory){... */\n    tag_6:\n        /* \"contracts/11_inheritance.sol\":180:193  string memory */\n      0x60\n        /* \"contracts/11_inheritance.sol\":211:215  name */\n      0x00\n        /* \"contracts/11_inheritance.sol\":204:215  return name */\n      dup1\n      sload\n      0x01\n      dup2\n      0x01\n      and\n      iszero\n      0x0100\n      mul\n      sub\n      and\n      0x02\n      swap1\n      div\n      dup1\n      0x1f\n      add\n      0x20\n      dup1\n      swap2\n      div\n      mul\n      0x20\n      add\n      mload(0x40)\n      swap1\n      dup2\n      add\n      0x40\n      mstore\n      dup1\n      swap3\n      swap2\n      swap1\n      dup2\n      dup2\n      mstore\n      0x20\n      add\n      dup3\n      dup1\n      sload\n      0x01\n      dup2\n      0x01\n      and\n      iszero\n      0x0100\n      mul\n      sub\n      and\n      0x02\n      swap1\n      div\n      dup1\n      iszero\n      tag_18\n      jumpi\n      dup1\n      0x1f\n      lt\n      tag_19\n      jumpi\n      0x0100\n      dup1\n      dup4\n      sload\n      div\n      mul\n      dup4\n      mstore\n      swap2\n      0x20\n      add\n      swap2\n      jump(tag_18)\n    tag_19:\n      dup3\n      add\n      swap2\n      swap1\n      0x00\n      mstore\n      keccak256(0x00, 0x20)\n      swap1\n    tag_20:\n      dup2\n      sload\n      dup2\n      mstore\n      swap1\n      0x01\n      add\n      swap1\n      0x20\n      add\n      dup1\n      dup4\n      gt\n      tag_20\n      jumpi\n      dup3\n      swap1\n      sub\n      0x1f\n      and\n      dup3\n      add\n      swap2\n    tag_18:\n      pop\n      pop\n      pop\n      pop\n      pop\n      swap1\n      pop\n        /* \"contracts/11_inheritance.sol\":141:222  function getName() public view returns(string memory){... */\n      swap1\n      jump\t// out\n        /* \"contracts/11_inheritance.sol\":39:111  function setName(string memory _name) public {... */\n    tag_16:\n        /* \"contracts/11_inheritance.sol\":99:104  _name */\n      dup1\n        /* \"contracts/11_inheritance.sol\":94:98  name */\n      0x00\n        /* \"contracts/11_inheritance.sol\":94:104  name=_name */\n      swap1\n      dup1\n      mload\n      swap1\n      0x20\n      add\n      swap1\n      tag_22\n      swap3\n      swap2\n      swap1\n      tag_23\n      jump\t// in\n    tag_22:\n      pop\n        /* \"contracts/11_inheritance.sol\":39:111  function setName(string memory _name) public {... */\n      pop\n      jump\t// out\n    tag_23:\n      dup3\n      dup1\n      sload\n      0x01\n      dup2\n      0x01\n      and\n      iszero\n      0x0100\n      mul\n      sub\n      and\n      0x02\n      swap1\n      div\n      swap1\n      0x00\n      mstore\n      keccak256(0x00, 0x20)\n      swap1\n      0x1f\n      add\n      0x20\n      swap1\n      div\n      dup2\n      add\n      swap3\n      dup3\n      0x1f\n      lt\n      tag_25\n      jumpi\n      dup1\n      mload\n      not(0xff)\n      and\n      dup4\n      dup1\n      add\n      or\n      dup6\n      sstore\n      jump(tag_24)\n    tag_25:\n      dup3\n      dup1\n      add\n      0x01\n      add\n      dup6\n      sstore\n      dup3\n      iszero\n      tag_24\n      jumpi\n      swap2\n      dup3\n      add\n    tag_26:\n      dup3\n      dup2\n      gt\n      iszero\n      tag_27\n      jumpi\n      dup3\n      mload\n      dup3\n      sstore\n      swap2\n      0x20\n      add\n      swap2\n      swap1\n      0x01\n      add\n      swap1\n      jump(tag_26)\n    tag_27:\n    tag_24:\n      pop\n      swap1\n      pop\n      tag_28\n      swap2\n      swap1\n      tag_29\n      jump\t// in\n    tag_28:\n      pop\n      swap1\n      jump\t// out\n    tag_29:\n    tag_30:\n      dup1\n      dup3\n      gt\n      iszero\n      tag_31\n      jumpi\n      0x00\n      dup2\n      0x00\n      swap1\n      sstore\n      pop\n      0x01\n      add\n      jump(tag_30)\n    tag_31:\n      pop\n      swap1\n      jump\t// out\n\n    auxdata: 0xa26469706673582212208ba2b16a501f4fb789c39e6d37e15ba5904dda156a7a9a0df65404da35caa50864736f6c634300060c0033\n}\n",
						"bytecode": {
							"linkReferences": {},
							"object": "608060405234801561001057600080fd5b50610308806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c806317d7de7c1461003b578063c47f0027146100be575b600080fd5b610043610179565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610083578082015181840152602081019050610068565b50505050905090810190601f1680156100b05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610177600480360360208110156100d457600080fd5b81019080803590602001906401000000008111156100f157600080fd5b82018360208201111561010357600080fd5b8035906020019184600183028401116401000000008311171561012557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061021b565b005b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156102115780601f106101e657610100808354040283529160200191610211565b820191906000526020600020905b8154815290600101906020018083116101f457829003601f168201915b5050505050905090565b8060009080519060200190610231929190610235565b5050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061027657805160ff19168380011785556102a4565b828001600101855582156102a4579182015b828111156102a3578251825591602001919060010190610288565b5b5090506102b191906102b5565b5090565b5b808211156102ce5760008160009055506001016102b6565b509056fea26469706673582212208ba2b16a501f4fb789c39e6d37e15ba5904dda156a7a9a0df65404da35caa50864736f6c634300060c0033",
							"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x308 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 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x17D7DE7C EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xC47F0027 EQ PUSH2 0xBE JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x43 PUSH2 0x179 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE DUP4 DUP2 DUP2 MLOAD DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 DUP1 DUP4 DUP4 PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x83 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x68 JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1F AND DUP1 ISZERO PUSH2 0xB0 JUMPI DUP1 DUP3 SUB DUP1 MLOAD PUSH1 0x1 DUP4 PUSH1 0x20 SUB PUSH2 0x100 EXP SUB NOT AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP JUMPDEST POP SWAP3 POP POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x177 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0xD4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH5 0x100000000 DUP2 GT ISZERO PUSH2 0xF1 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 ADD DUP4 PUSH1 0x20 DUP3 ADD GT ISZERO PUSH2 0x103 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP2 DUP5 PUSH1 0x1 DUP4 MUL DUP5 ADD GT PUSH5 0x100000000 DUP4 GT OR ISZERO PUSH2 0x125 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP2 SWAP1 DUP1 DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP4 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP4 DUP4 DUP1 DUP3 DUP5 CALLDATACOPY PUSH1 0x0 DUP2 DUP5 ADD MSTORE PUSH1 0x1F NOT PUSH1 0x1F DUP3 ADD AND SWAP1 POP DUP1 DUP4 ADD SWAP3 POP POP POP POP POP POP POP SWAP2 SWAP3 SWAP2 SWAP3 SWAP1 POP POP POP PUSH2 0x21B JUMP JUMPDEST STOP JUMPDEST PUSH1 0x60 PUSH1 0x0 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 ISZERO PUSH2 0x211 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x1E6 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x211 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0x1F4 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 POP SWAP1 JUMP JUMPDEST DUP1 PUSH1 0x0 SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH2 0x231 SWAP3 SWAP2 SWAP1 PUSH2 0x235 JUMP JUMPDEST POP POP JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH1 0x1F LT PUSH2 0x276 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0x2A4 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x2A4 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x2A3 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0x288 JUMP JUMPDEST JUMPDEST POP SWAP1 POP PUSH2 0x2B1 SWAP2 SWAP1 PUSH2 0x2B5 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x2CE JUMPI PUSH1 0x0 DUP2 PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0x2B6 JUMP JUMPDEST POP SWAP1 JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 DUP12 LOG2 0xB1 PUSH11 0x501F4FB789C39E6D37E15B 0xA5 SWAP1 0x4D 0xDA ISZERO PUSH11 0x7A9A0DF65404DA35CAA508 PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
							"sourceMap": "114:110:0:-:0;;;;;;;;;;;;;;;;;;;"
						},
						"deployedBytecode": {
							"immutableReferences": {},
							"linkReferences": {},
							"object": "608060405234801561001057600080fd5b50600436106100365760003560e01c806317d7de7c1461003b578063c47f0027146100be575b600080fd5b610043610179565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610083578082015181840152602081019050610068565b50505050905090810190601f1680156100b05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610177600480360360208110156100d457600080fd5b81019080803590602001906401000000008111156100f157600080fd5b82018360208201111561010357600080fd5b8035906020019184600183028401116401000000008311171561012557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929050505061021b565b005b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156102115780601f106101e657610100808354040283529160200191610211565b820191906000526020600020905b8154815290600101906020018083116101f457829003601f168201915b5050505050905090565b8060009080519060200190610231929190610235565b5050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061027657805160ff19168380011785556102a4565b828001600101855582156102a4579182015b828111156102a3578251825591602001919060010190610288565b5b5090506102b191906102b5565b5090565b5b808211156102ce5760008160009055506001016102b6565b509056fea26469706673582212208ba2b16a501f4fb789c39e6d37e15ba5904dda156a7a9a0df65404da35caa50864736f6c634300060c0033",
							"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x17D7DE7C EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0xC47F0027 EQ PUSH2 0xBE JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x43 PUSH2 0x179 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE DUP4 DUP2 DUP2 MLOAD DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 DUP1 DUP4 DUP4 PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x83 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x68 JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1F AND DUP1 ISZERO PUSH2 0xB0 JUMPI DUP1 DUP3 SUB DUP1 MLOAD PUSH1 0x1 DUP4 PUSH1 0x20 SUB PUSH2 0x100 EXP SUB NOT AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP JUMPDEST POP SWAP3 POP POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x177 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0xD4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH5 0x100000000 DUP2 GT ISZERO PUSH2 0xF1 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 ADD DUP4 PUSH1 0x20 DUP3 ADD GT ISZERO PUSH2 0x103 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP2 DUP5 PUSH1 0x1 DUP4 MUL DUP5 ADD GT PUSH5 0x100000000 DUP4 GT OR ISZERO PUSH2 0x125 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP2 SWAP1 DUP1 DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP4 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP4 DUP4 DUP1 DUP3 DUP5 CALLDATACOPY PUSH1 0x0 DUP2 DUP5 ADD MSTORE PUSH1 0x1F NOT PUSH1 0x1F DUP3 ADD AND SWAP1 POP DUP1 DUP4 ADD SWAP3 POP POP POP POP POP POP POP SWAP2 SWAP3 SWAP2 SWAP3 SWAP1 POP POP POP PUSH2 0x21B JUMP JUMPDEST STOP JUMPDEST PUSH1 0x60 PUSH1 0x0 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 ISZERO PUSH2 0x211 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x1E6 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x211 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0x1F4 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 POP SWAP1 JUMP JUMPDEST DUP1 PUSH1 0x0 SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH2 0x231 SWAP3 SWAP2 SWAP1 PUSH2 0x235 JUMP JUMPDEST POP POP JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH1 0x1F LT PUSH2 0x276 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0x2A4 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x2A4 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x2A3 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0x288 JUMP JUMPDEST JUMPDEST POP SWAP1 POP PUSH2 0x2B1 SWAP2 SWAP1 PUSH2 0x2B5 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x2CE JUMPI PUSH1 0x0 DUP2 PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0x2B6 JUMP JUMPDEST POP SWAP1 JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 DUP12 LOG2 0xB1 PUSH11 0x501F4FB789C39E6D37E15B 0xA5 SWAP1 0x4D 0xDA ISZERO PUSH11 0x7A9A0DF65404DA35CAA508 PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
							"sourceMap": "114:110:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;141:81;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;141:81;180:13;211:4;204:11;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;141:81;:::o;39:72::-;99:5;94:4;:10;;;;;;;;;;;;:::i;:::-;;39:72;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o"
						},
						"gasEstimates": {
							"creation": {
								"codeDepositCost": "155200",
								"executionCost": "202",
								"totalCost": "155402"
							},
							"external": {
								"getName()": "infinite",
								"setName(string)": "infinite"
							}
						},
						"legacyAssembly": {
							".code": [
								{
									"begin": 114,
									"end": 224,
									"name": "PUSH",
									"source": 0,
									"value": "80"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "PUSH",
									"source": 0,
									"value": "40"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "MSTORE",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "CALLVALUE",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "DUP1",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "ISZERO",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "PUSH [tag]",
									"source": 0,
									"value": "1"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "JUMPI",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "PUSH",
									"source": 0,
									"value": "0"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "DUP1",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "REVERT",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "tag",
									"source": 0,
									"value": "1"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "JUMPDEST",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "POP",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "PUSH #[$]",
									"source": 0,
									"value": "0000000000000000000000000000000000000000000000000000000000000000"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "DUP1",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "PUSH [$]",
									"source": 0,
									"value": "0000000000000000000000000000000000000000000000000000000000000000"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "PUSH",
									"source": 0,
									"value": "0"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "CODECOPY",
									"source": 0
								},
								{
									"begin": 114,
									"end": 224,
									"name": "PUSH",
									"source": 0,
									"value": "0"
								},
								{
									"begin": 114,
									"end": 224,
									"name": "RETURN",
									"source": 0
								}
							],
							".data": {
								"0": {
									".auxdata": "a26469706673582212208ba2b16a501f4fb789c39e6d37e15ba5904dda156a7a9a0df65404da35caa50864736f6c634300060c0033",
									".code": [
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "80"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "CALLVALUE",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "tag",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "4"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "CALLDATASIZE",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "LT",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "2"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "CALLDATALOAD",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "E0"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "SHR",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "17D7DE7C"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "EQ",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "3"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "C47F0027"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "EQ",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "4"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "tag",
											"source": 0,
											"value": "2"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 114,
											"end": 224,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 114,
											"end": 224,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "tag",
											"source": 0,
											"value": "3"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "5"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "6"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMP",
											"source": 0,
											"value": "[in]"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "tag",
											"source": 0,
											"value": "5"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "tag",
											"source": 0,
											"value": "7"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "LT",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "9"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "7"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "tag",
											"source": 0,
											"value": "9"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "10"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "100"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "EXP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "NOT",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "tag",
											"source": 0,
											"value": "10"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "RETURN",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "4"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "11"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "4"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "CALLDATASIZE",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "LT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "12"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "12"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "CALLDATALOAD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "100000000"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "13"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "13"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "14"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "14"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "CALLDATALOAD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MUL",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "100000000"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "OR",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "15"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "15"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DIV",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MUL",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "CALLDATACOPY",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "NOT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "16"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMP",
											"source": 0,
											"value": "[in]"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "11"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "STOP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "tag",
											"source": 0,
											"value": "6"
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 180,
											"end": 193,
											"name": "PUSH",
											"source": 0,
											"value": "60"
										},
										{
											"begin": 211,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SLOAD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "100"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MUL",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "2"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DIV",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DIV",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MUL",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SLOAD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "100"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MUL",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "2"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DIV",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "18"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "LT",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "19"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "100"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SLOAD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DIV",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MUL",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "18"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "JUMP",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "tag",
											"source": 0,
											"value": "19"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "KECCAK256",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "tag",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SLOAD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "tag",
											"source": 0,
											"value": "18"
										},
										{
											"begin": 204,
											"end": 215,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 204,
											"end": 215,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 141,
											"end": 222,
											"name": "JUMP",
											"source": 0,
											"value": "[out]"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "16"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 99,
											"end": 104,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 98,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "22"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "23"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "JUMP",
											"source": 0,
											"value": "[in]"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "tag",
											"source": 0,
											"value": "22"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMP",
											"source": 0,
											"value": "[out]"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "23"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SLOAD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "AND",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ISZERO",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "100"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "MUL",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SUB",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "AND",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "2"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DIV",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "0"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "MSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "20"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "0"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "KECCAK256",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1F"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "20"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DIV",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1F"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "LT",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "25"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPI",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "MLOAD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "FF"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "NOT",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "AND",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP4",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "OR",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP6",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "24"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "25"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP6",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ISZERO",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "24"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPI",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "26"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "GT",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ISZERO",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "27"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPI",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "MLOAD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "20"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "26"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "27"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "24"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "28"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "29"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1,
											"value": "[in]"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "28"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1,
											"value": "[out]"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "29"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "30"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "GT",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ISZERO",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "31"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPI",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "0"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "0"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "30"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "31"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1,
											"value": "[out]"
										}
									]
								}
							}
						},
						"methodIdentifiers": {
							"getName()": "17d7de7c",
							"setName(string)": "c47f0027"
						}
					},
					"metadata": "{\"compiler\":{\"version\":\"0.6.12+commit.27d51765\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"getName\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"string\",\"name\":\"_name\",\"type\":\"string\"}],\"name\":\"setName\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/11_inheritance.sol\":\"child\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"contracts/11_inheritance.sol\":{\"keccak256\":\"0x68d305b33ede98a63f8b65d20f4c50b0cefde24a327e3473cd0fec7be0f0fb38\",\"urls\":[\"bzz-raw://691e0efd9d28cfbc247ed6a4320f46cb35e8d5ffc304b96b410707cf0cf72dbf\",\"dweb:/ipfs/QmQPRZPTLoZPUneCoGHSLFs6C3caeXryVwsS4Kw3LoLtUW\"]}},\"version\":1}",
					"storageLayout": {
						"storage": [
							{
								"astId": 2,
								"contract": "contracts/11_inheritance.sol:child",
								"label": "name",
								"offset": 0,
								"slot": "0",
								"type": "t_string_storage"
							}
						],
						"types": {
							"t_string_storage": {
								"encoding": "bytes",
								"label": "string",
								"numberOfBytes": "32"
							}
						}
					},
					"userdoc": {
						"kind": "user",
						"methods": {},
						"version": 1
					}
				},
				"parent": {
					"abi": [
						{
							"inputs": [
								{
									"internalType": "string",
									"name": "_name",
									"type": "string"
								}
							],
							"name": "setName",
							"outputs": [],
							"stateMutability": "nonpayable",
							"type": "function"
						}
					],
					"devdoc": {
						"kind": "dev",
						"methods": {},
						"version": 1
					},
					"evm": {
						"assembly": "    /* \"contracts/11_inheritance.sol\":0:113  contract parent {... */\n  mstore(0x40, 0x80)\n  callvalue\n  dup1\n  iszero\n  tag_1\n  jumpi\n  0x00\n  dup1\n  revert\ntag_1:\n  pop\n  dataSize(sub_0)\n  dup1\n  dataOffset(sub_0)\n  0x00\n  codecopy\n  0x00\n  return\nstop\n\nsub_0: assembly {\n        /* \"contracts/11_inheritance.sol\":0:113  contract parent {... */\n      mstore(0x40, 0x80)\n      callvalue\n      dup1\n      iszero\n      tag_1\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_1:\n      pop\n      jumpi(tag_2, lt(calldatasize, 0x04))\n      shr(0xe0, calldataload(0x00))\n      dup1\n      0xc47f0027\n      eq\n      tag_3\n      jumpi\n    tag_2:\n      0x00\n      dup1\n      revert\n        /* \"contracts/11_inheritance.sol\":39:111  function setName(string memory _name) public {... */\n    tag_3:\n      tag_4\n      0x04\n      dup1\n      calldatasize\n      sub\n      0x20\n      dup2\n      lt\n      iszero\n      tag_5\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_5:\n      dup2\n      add\n      swap1\n      dup1\n      dup1\n      calldataload\n      swap1\n      0x20\n      add\n      swap1\n      0x0100000000\n      dup2\n      gt\n      iszero\n      tag_6\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_6:\n      dup3\n      add\n      dup4\n      0x20\n      dup3\n      add\n      gt\n      iszero\n      tag_7\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_7:\n      dup1\n      calldataload\n      swap1\n      0x20\n      add\n      swap2\n      dup5\n      0x01\n      dup4\n      mul\n      dup5\n      add\n      gt\n      0x0100000000\n      dup4\n      gt\n      or\n      iszero\n      tag_8\n      jumpi\n      0x00\n      dup1\n      revert\n    tag_8:\n      swap2\n      swap1\n      dup1\n      dup1\n      0x1f\n      add\n      0x20\n      dup1\n      swap2\n      div\n      mul\n      0x20\n      add\n      mload(0x40)\n      swap1\n      dup2\n      add\n      0x40\n      mstore\n      dup1\n      swap4\n      swap3\n      swap2\n      swap1\n      dup2\n      dup2\n      mstore\n      0x20\n      add\n      dup4\n      dup4\n      dup1\n      dup3\n      dup5\n      calldatacopy\n      0x00\n      dup2\n      dup5\n      add\n      mstore\n      not(0x1f)\n      0x1f\n      dup3\n      add\n      and\n      swap1\n      pop\n      dup1\n      dup4\n      add\n      swap3\n      pop\n      pop\n      pop\n      pop\n      pop\n      pop\n      pop\n      swap2\n      swap3\n      swap2\n      swap3\n      swap1\n      pop\n      pop\n      pop\n      tag_9\n      jump\t// in\n    tag_4:\n      stop\n    tag_9:\n        /* \"contracts/11_inheritance.sol\":99:104  _name */\n      dup1\n        /* \"contracts/11_inheritance.sol\":94:98  name */\n      0x00\n        /* \"contracts/11_inheritance.sol\":94:104  name=_name */\n      swap1\n      dup1\n      mload\n      swap1\n      0x20\n      add\n      swap1\n      tag_11\n      swap3\n      swap2\n      swap1\n      tag_12\n      jump\t// in\n    tag_11:\n      pop\n        /* \"contracts/11_inheritance.sol\":39:111  function setName(string memory _name) public {... */\n      pop\n      jump\t// out\n    tag_12:\n      dup3\n      dup1\n      sload\n      0x01\n      dup2\n      0x01\n      and\n      iszero\n      0x0100\n      mul\n      sub\n      and\n      0x02\n      swap1\n      div\n      swap1\n      0x00\n      mstore\n      keccak256(0x00, 0x20)\n      swap1\n      0x1f\n      add\n      0x20\n      swap1\n      div\n      dup2\n      add\n      swap3\n      dup3\n      0x1f\n      lt\n      tag_14\n      jumpi\n      dup1\n      mload\n      not(0xff)\n      and\n      dup4\n      dup1\n      add\n      or\n      dup6\n      sstore\n      jump(tag_13)\n    tag_14:\n      dup3\n      dup1\n      add\n      0x01\n      add\n      dup6\n      sstore\n      dup3\n      iszero\n      tag_13\n      jumpi\n      swap2\n      dup3\n      add\n    tag_15:\n      dup3\n      dup2\n      gt\n      iszero\n      tag_16\n      jumpi\n      dup3\n      mload\n      dup3\n      sstore\n      swap2\n      0x20\n      add\n      swap2\n      swap1\n      0x01\n      add\n      swap1\n      jump(tag_15)\n    tag_16:\n    tag_13:\n      pop\n      swap1\n      pop\n      tag_17\n      swap2\n      swap1\n      tag_18\n      jump\t// in\n    tag_17:\n      pop\n      swap1\n      jump\t// out\n    tag_18:\n    tag_19:\n      dup1\n      dup3\n      gt\n      iszero\n      tag_20\n      jumpi\n      0x00\n      dup2\n      0x00\n      swap1\n      sstore\n      pop\n      0x01\n      add\n      jump(tag_19)\n    tag_20:\n      pop\n      swap1\n      jump\t// out\n\n    auxdata: 0xa264697066735822122003998ae7892577cb306101b3af46a42ccccde6e7f6fe01c6d62076c0c81fcfd764736f6c634300060c0033\n}\n",
						"bytecode": {
							"linkReferences": {},
							"object": "608060405234801561001057600080fd5b506101d8806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c8063c47f002714610030575b600080fd5b6100e96004803603602081101561004657600080fd5b810190808035906020019064010000000081111561006357600080fd5b82018360208201111561007557600080fd5b8035906020019184600183028401116401000000008311171561009757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506100eb565b005b8060009080519060200190610101929190610105565b5050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061014657805160ff1916838001178555610174565b82800160010185558215610174579182015b82811115610173578251825591602001919060010190610158565b5b5090506101819190610185565b5090565b5b8082111561019e576000816000905550600101610186565b509056fea264697066735822122003998ae7892577cb306101b3af46a42ccccde6e7f6fe01c6d62076c0c81fcfd764736f6c634300060c0033",
							"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x1D8 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 0x2B JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0xC47F0027 EQ PUSH2 0x30 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0xE9 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x46 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH5 0x100000000 DUP2 GT ISZERO PUSH2 0x63 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 ADD DUP4 PUSH1 0x20 DUP3 ADD GT ISZERO PUSH2 0x75 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP2 DUP5 PUSH1 0x1 DUP4 MUL DUP5 ADD GT PUSH5 0x100000000 DUP4 GT OR ISZERO PUSH2 0x97 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP2 SWAP1 DUP1 DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP4 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP4 DUP4 DUP1 DUP3 DUP5 CALLDATACOPY PUSH1 0x0 DUP2 DUP5 ADD MSTORE PUSH1 0x1F NOT PUSH1 0x1F DUP3 ADD AND SWAP1 POP DUP1 DUP4 ADD SWAP3 POP POP POP POP POP POP POP SWAP2 SWAP3 SWAP2 SWAP3 SWAP1 POP POP POP PUSH2 0xEB JUMP JUMPDEST STOP JUMPDEST DUP1 PUSH1 0x0 SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH2 0x101 SWAP3 SWAP2 SWAP1 PUSH2 0x105 JUMP JUMPDEST POP POP JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH1 0x1F LT PUSH2 0x146 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0x174 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x174 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x173 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0x158 JUMP JUMPDEST JUMPDEST POP SWAP1 POP PUSH2 0x181 SWAP2 SWAP1 PUSH2 0x185 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x19E JUMPI PUSH1 0x0 DUP2 PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0x186 JUMP JUMPDEST POP SWAP1 JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 SUB SWAP10 DUP11 0xE7 DUP10 0x25 PUSH24 0xCB306101B3AF46A42CCCCDE6E7F6FE01C6D62076C0C81FCF 0xD7 PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
							"sourceMap": "0:113:0:-:0;;;;;;;;;;;;;;;;;;;"
						},
						"deployedBytecode": {
							"immutableReferences": {},
							"linkReferences": {},
							"object": "608060405234801561001057600080fd5b506004361061002b5760003560e01c8063c47f002714610030575b600080fd5b6100e96004803603602081101561004657600080fd5b810190808035906020019064010000000081111561006357600080fd5b82018360208201111561007557600080fd5b8035906020019184600183028401116401000000008311171561009757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506100eb565b005b8060009080519060200190610101929190610105565b5050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061014657805160ff1916838001178555610174565b82800160010185558215610174579182015b82811115610173578251825591602001919060010190610158565b5b5090506101819190610185565b5090565b5b8082111561019e576000816000905550600101610186565b509056fea264697066735822122003998ae7892577cb306101b3af46a42ccccde6e7f6fe01c6d62076c0c81fcfd764736f6c634300060c0033",
							"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x2B JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0xC47F0027 EQ PUSH2 0x30 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0xE9 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x46 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH5 0x100000000 DUP2 GT ISZERO PUSH2 0x63 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 ADD DUP4 PUSH1 0x20 DUP3 ADD GT ISZERO PUSH2 0x75 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP2 DUP5 PUSH1 0x1 DUP4 MUL DUP5 ADD GT PUSH5 0x100000000 DUP4 GT OR ISZERO PUSH2 0x97 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP2 SWAP1 DUP1 DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP4 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP4 DUP4 DUP1 DUP3 DUP5 CALLDATACOPY PUSH1 0x0 DUP2 DUP5 ADD MSTORE PUSH1 0x1F NOT PUSH1 0x1F DUP3 ADD AND SWAP1 POP DUP1 DUP4 ADD SWAP3 POP POP POP POP POP POP POP SWAP2 SWAP3 SWAP2 SWAP3 SWAP1 POP POP POP PUSH2 0xEB JUMP JUMPDEST STOP JUMPDEST DUP1 PUSH1 0x0 SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH2 0x101 SWAP3 SWAP2 SWAP1 PUSH2 0x105 JUMP JUMPDEST POP POP JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH1 0x1F LT PUSH2 0x146 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0x174 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x174 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x173 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0x158 JUMP JUMPDEST JUMPDEST POP SWAP1 POP PUSH2 0x181 SWAP2 SWAP1 PUSH2 0x185 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x19E JUMPI PUSH1 0x0 DUP2 PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0x186 JUMP JUMPDEST POP SWAP1 JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 SUB SWAP10 DUP11 0xE7 DUP10 0x25 PUSH24 0xCB306101B3AF46A42CCCCDE6E7F6FE01C6D62076C0C81FCF 0xD7 PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
							"sourceMap": "0:113:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;99:5;94:4;:10;;;;;;;;;;;;:::i;:::-;;39:72;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o"
						},
						"gasEstimates": {
							"creation": {
								"codeDepositCost": "94400",
								"executionCost": "141",
								"totalCost": "94541"
							},
							"external": {
								"setName(string)": "infinite"
							}
						},
						"legacyAssembly": {
							".code": [
								{
									"begin": 0,
									"end": 113,
									"name": "PUSH",
									"source": 0,
									"value": "80"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "PUSH",
									"source": 0,
									"value": "40"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "MSTORE",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "CALLVALUE",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "DUP1",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "ISZERO",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "PUSH [tag]",
									"source": 0,
									"value": "1"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "JUMPI",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "PUSH",
									"source": 0,
									"value": "0"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "DUP1",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "REVERT",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "tag",
									"source": 0,
									"value": "1"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "JUMPDEST",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "POP",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "PUSH #[$]",
									"source": 0,
									"value": "0000000000000000000000000000000000000000000000000000000000000000"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "DUP1",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "PUSH [$]",
									"source": 0,
									"value": "0000000000000000000000000000000000000000000000000000000000000000"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "PUSH",
									"source": 0,
									"value": "0"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "CODECOPY",
									"source": 0
								},
								{
									"begin": 0,
									"end": 113,
									"name": "PUSH",
									"source": 0,
									"value": "0"
								},
								{
									"begin": 0,
									"end": 113,
									"name": "RETURN",
									"source": 0
								}
							],
							".data": {
								"0": {
									".auxdata": "a264697066735822122003998ae7892577cb306101b3af46a42ccccde6e7f6fe01c6d62076c0c81fcfd764736f6c634300060c0033",
									".code": [
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH",
											"source": 0,
											"value": "80"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "CALLVALUE",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "tag",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH",
											"source": 0,
											"value": "4"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "CALLDATASIZE",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "LT",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "2"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "CALLDATALOAD",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH",
											"source": 0,
											"value": "E0"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "SHR",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH",
											"source": 0,
											"value": "C47F0027"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "EQ",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "3"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "tag",
											"source": 0,
											"value": "2"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 0,
											"end": 113,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 0,
											"end": 113,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "3"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "4"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "4"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "CALLDATASIZE",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SUB",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "LT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "5"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "5"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "CALLDATALOAD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "100000000"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "6"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "6"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "7"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "7"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "CALLDATALOAD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "1"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MUL",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "100000000"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "GT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "OR",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ISZERO",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "8"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPI",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "REVERT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "8"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DIV",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MUL",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "40"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "CALLDATACOPY",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP5",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "MSTORE",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "NOT",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH",
											"source": 0,
											"value": "1F"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "AND",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "DUP4",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "9"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMP",
											"source": 0,
											"value": "[in]"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "4"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "STOP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "tag",
											"source": 0,
											"value": "9"
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 99,
											"end": 104,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 98,
											"name": "PUSH",
											"source": 0,
											"value": "0"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "DUP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "MLOAD",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "PUSH",
											"source": 0,
											"value": "20"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "ADD",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "11"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP3",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP2",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "SWAP1",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "PUSH [tag]",
											"source": 0,
											"value": "12"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "JUMP",
											"source": 0,
											"value": "[in]"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "tag",
											"source": 0,
											"value": "11"
										},
										{
											"begin": 94,
											"end": 104,
											"name": "JUMPDEST",
											"source": 0
										},
										{
											"begin": 94,
											"end": 104,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "POP",
											"source": 0
										},
										{
											"begin": 39,
											"end": 111,
											"name": "JUMP",
											"source": 0,
											"value": "[out]"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "12"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SLOAD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "AND",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ISZERO",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "100"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "MUL",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SUB",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "AND",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "2"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DIV",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "0"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "MSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "20"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "0"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "KECCAK256",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1F"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "20"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DIV",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1F"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "LT",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "14"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPI",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "MLOAD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "FF"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "NOT",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "AND",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP4",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "OR",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP6",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "13"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "14"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP6",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ISZERO",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "13"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPI",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "15"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "GT",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ISZERO",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "16"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPI",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "MLOAD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "20"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "15"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "16"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "13"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "17"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "18"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1,
											"value": "[in]"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "17"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1,
											"value": "[out]"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "18"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "19"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP3",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "GT",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ISZERO",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "20"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPI",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "0"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "DUP2",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "0"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SSTORE",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH",
											"source": -1,
											"value": "1"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "ADD",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "PUSH [tag]",
											"source": -1,
											"value": "19"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "tag",
											"source": -1,
											"value": "20"
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMPDEST",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "POP",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "SWAP1",
											"source": -1
										},
										{
											"begin": -1,
											"end": -1,
											"name": "JUMP",
											"source": -1,
											"value": "[out]"
										}
									]
								}
							}
						},
						"methodIdentifiers": {
							"setName(string)": "c47f0027"
						}
					},
					"metadata": "{\"compiler\":{\"version\":\"0.6.12+commit.27d51765\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"string\",\"name\":\"_name\",\"type\":\"string\"}],\"name\":\"setName\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/11_inheritance.sol\":\"parent\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"contracts/11_inheritance.sol\":{\"keccak256\":\"0x68d305b33ede98a63f8b65d20f4c50b0cefde24a327e3473cd0fec7be0f0fb38\",\"urls\":[\"bzz-raw://691e0efd9d28cfbc247ed6a4320f46cb35e8d5ffc304b96b410707cf0cf72dbf\",\"dweb:/ipfs/QmQPRZPTLoZPUneCoGHSLFs6C3caeXryVwsS4Kw3LoLtUW\"]}},\"version\":1}",
					"storageLayout": {
						"storage": [
							{
								"astId": 2,
								"contract": "contracts/11_inheritance.sol:parent",
								"label": "name",
								"offset": 0,
								"slot": "0",
								"type": "t_string_storage"
							}
						],
						"types": {
							"t_string_storage": {
								"encoding": "bytes",
								"label": "string",
								"numberOfBytes": "32"
							}
						}
					},
					"userdoc": {
						"kind": "user",
						"methods": {},
						"version": 1
					}
				}
			}
		},
		"errors": [
			{
				"component": "general",
				"errorCode": "1878",
				"formattedMessage": "contracts/11_inheritance.sol: Warning: SPDX license identifier not provided in source file. Before publishing, consider adding a comment containing \"SPDX-License-Identifier: <SPDX-License>\" to each source file. Use \"SPDX-License-Identifier: UNLICENSED\" for non-open-source code. Please see https://spdx.org for more information.\n",
				"message": "SPDX license identifier not provided in source file. Before publishing, consider adding a comment containing \"SPDX-License-Identifier: <SPDX-License>\" to each source file. Use \"SPDX-License-Identifier: UNLICENSED\" for non-open-source code. Please see https://spdx.org for more information.",
				"severity": "warning",
				"sourceLocation": {
					"end": -1,
					"file": "contracts/11_inheritance.sol",
					"start": -1
				},
				"type": "Warning"
			},
			{
				"component": "general",
				"errorCode": "3420",
				"formattedMessage": "contracts/11_inheritance.sol: Warning: Source file does not specify required compiler version! Consider adding \"pragma solidity ^0.6.12;\"\n",
				"message": "Source file does not specify required compiler version! Consider adding \"pragma solidity ^0.6.12;\"",
				"severity": "warning",
				"sourceLocation": {
					"end": -1,
					"file": "contracts/11_inheritance.sol",
					"start": -1
				},
				"type": "Warning"
			}
		],
		"sources": {
			"contracts/11_inheritance.sol": {
				"ast": {
					"absolutePath": "contracts/11_inheritance.sol",
					"exportedSymbols": {
						"child": [
							24
						],
						"parent": [
							13
						]
					},
					"id": 25,
					"license": null,
					"nodeType": "SourceUnit",
					"nodes": [
						{
							"abstract": false,
							"baseContracts": [],
							"contractDependencies": [],
							"contractKind": "contract",
							"documentation": null,
							"fullyImplemented": true,
							"id": 13,
							"linearizedBaseContracts": [
								13
							],
							"name": "parent",
							"nodeType": "ContractDefinition",
							"nodes": [
								{
									"constant": false,
									"id": 2,
									"mutability": "mutable",
									"name": "name",
									"nodeType": "VariableDeclaration",
									"overrides": null,
									"scope": 13,
									"src": "22:11:0",
									"stateVariable": true,
									"storageLocation": "default",
									"typeDescriptions": {
										"typeIdentifier": "t_string_storage",
										"typeString": "string"
									},
									"typeName": {
										"id": 1,
										"name": "string",
										"nodeType": "ElementaryTypeName",
										"src": "22:6:0",
										"typeDescriptions": {
											"typeIdentifier": "t_string_storage_ptr",
											"typeString": "string"
										}
									},
									"value": null,
									"visibility": "internal"
								},
								{
									"body": {
										"id": 11,
										"nodeType": "Block",
										"src": "84:27:0",
										"statements": [
											{
												"expression": {
													"argumentTypes": null,
													"id": 9,
													"isConstant": false,
													"isLValue": false,
													"isPure": false,
													"lValueRequested": false,
													"leftHandSide": {
														"argumentTypes": null,
														"id": 7,
														"name": "name",
														"nodeType": "Identifier",
														"overloadedDeclarations": [],
														"referencedDeclaration": 2,
														"src": "94:4:0",
														"typeDescriptions": {
															"typeIdentifier": "t_string_storage",
															"typeString": "string storage ref"
														}
													},
													"nodeType": "Assignment",
													"operator": "=",
													"rightHandSide": {
														"argumentTypes": null,
														"id": 8,
														"name": "_name",
														"nodeType": "Identifier",
														"overloadedDeclarations": [],
														"referencedDeclaration": 4,
														"src": "99:5:0",
														"typeDescriptions": {
															"typeIdentifier": "t_string_memory_ptr",
															"typeString": "string memory"
														}
													},
													"src": "94:10:0",
													"typeDescriptions": {
														"typeIdentifier": "t_string_storage",
														"typeString": "string storage ref"
													}
												},
												"id": 10,
												"nodeType": "ExpressionStatement",
												"src": "94:10:0"
											}
										]
									},
									"documentation": null,
									"functionSelector": "c47f0027",
									"id": 12,
									"implemented": true,
									"kind": "function",
									"modifiers": [],
									"name": "setName",
									"nodeType": "FunctionDefinition",
									"overrides": null,
									"parameters": {
										"id": 5,
										"nodeType": "ParameterList",
										"parameters": [
											{
												"constant": false,
												"id": 4,
												"mutability": "mutable",
												"name": "_name",
												"nodeType": "VariableDeclaration",
												"overrides": null,
												"scope": 12,
												"src": "56:19:0",
												"stateVariable": false,
												"storageLocation": "memory",
												"typeDescriptions": {
													"typeIdentifier": "t_string_memory_ptr",
													"typeString": "string"
												},
												"typeName": {
													"id": 3,
													"name": "string",
													"nodeType": "ElementaryTypeName",
													"src": "56:6:0",
													"typeDescriptions": {
														"typeIdentifier": "t_string_storage_ptr",
														"typeString": "string"
													}
												},
												"value": null,
												"visibility": "internal"
											}
										],
										"src": "55:21:0"
									},
									"returnParameters": {
										"id": 6,
										"nodeType": "ParameterList",
										"parameters": [],
										"src": "84:0:0"
									},
									"scope": 13,
									"src": "39:72:0",
									"stateMutability": "nonpayable",
									"virtual": false,
									"visibility": "public"
								}
							],
							"scope": 25,
							"src": "0:113:0"
						},
						{
							"abstract": false,
							"baseContracts": [
								{
									"arguments": null,
									"baseName": {
										"contractScope": null,
										"id": 14,
										"name": "parent",
										"nodeType": "UserDefinedTypeName",
										"referencedDeclaration": 13,
										"src": "132:6:0",
										"typeDescriptions": {
											"typeIdentifier": "t_contract$_parent_$13",
											"typeString": "contract parent"
										}
									},
									"id": 15,
									"nodeType": "InheritanceSpecifier",
									"src": "132:6:0"
								}
							],
							"contractDependencies": [
								13
							],
							"contractKind": "contract",
							"documentation": null,
							"fullyImplemented": true,
							"id": 24,
							"linearizedBaseContracts": [
								24,
								13
							],
							"name": "child",
							"nodeType": "ContractDefinition",
							"nodes": [
								{
									"body": {
										"id": 22,
										"nodeType": "Block",
										"src": "194:28:0",
										"statements": [
											{
												"expression": {
													"argumentTypes": null,
													"id": 20,
													"name": "name",
													"nodeType": "Identifier",
													"overloadedDeclarations": [],
													"referencedDeclaration": 2,
													"src": "211:4:0",
													"typeDescriptions": {
														"typeIdentifier": "t_string_storage",
														"typeString": "string storage ref"
													}
												},
												"functionReturnParameters": 19,
												"id": 21,
												"nodeType": "Return",
												"src": "204:11:0"
											}
										]
									},
									"documentation": null,
									"functionSelector": "17d7de7c",
									"id": 23,
									"implemented": true,
									"kind": "function",
									"modifiers": [],
									"name": "getName",
									"nodeType": "FunctionDefinition",
									"overrides": null,
									"parameters": {
										"id": 16,
										"nodeType": "ParameterList",
										"parameters": [],
										"src": "157:2:0"
									},
									"returnParameters": {
										"id": 19,
										"nodeType": "ParameterList",
										"parameters": [
											{
												"constant": false,
												"id": 18,
												"mutability": "mutable",
												"name": "",
												"nodeType": "VariableDeclaration",
												"overrides": null,
												"scope": 23,
												"src": "180:13:0",
												"stateVariable": false,
												"storageLocation": "memory",
												"typeDescriptions": {
													"typeIdentifier": "t_string_memory_ptr",
													"typeString": "string"
												},
												"typeName": {
													"id": 17,
													"name": "string",
													"nodeType": "ElementaryTypeName",
													"src": "180:6:0",
													"typeDescriptions": {
														"typeIdentifier": "t_string_storage_ptr",
														"typeString": "string"
													}
												},
												"value": null,
												"visibility": "internal"
											}
										],
										"src": "179:15:0"
									},
									"scope": 24,
									"src": "141:81:0",
									"stateMutability": "view",
									"virtual": false,
									"visibility": "public"
								}
							],
							"scope": 25,
							"src": "114:110:0"
						}
					],
					"src": "0:224:0"
				},
				"id": 0
			}
		}
	}
}