
======= <stdin> (EVM) =======

EVM assembly:
{
    ".code": [
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH",
            "source": -1,
            "value": "80"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "DUP1",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH",
            "source": -1,
            "value": "40"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "MSTORE",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "CALLVALUE",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH [tag]",
            "source": -1,
            "value": "1"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "JUMPI",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH",
            "source": -1,
            "value": "2"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH",
            "source": -1,
            "value": "0"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "SSTORE",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH",
            "source": -1,
            "value": "0"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH",
            "source": -1,
            "value": "1"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "SSTORE",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH #[$]",
            "source": -1,
            "value": "0000000000000000000000000000000000000000000000000000000000000000"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "SWAP1",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "DUP2",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH [$]",
            "source": -1,
            "value": "0000000000000000000000000000000000000000000000000000000000000000"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "DUP3",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "CODECOPY",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "RETURN",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "tag",
            "source": -1,
            "value": "1"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "JUMPDEST",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "PUSH",
            "source": -1,
            "value": "0"
        },
        {
            "begin": -1,
            "end": -1,
            "name": "DUP1",
            "source": -1
        },
        {
            "begin": -1,
            "end": -1,
            "name": "REVERT",
            "source": -1
        }
    ],
    ".data": {
        "0": {
            ".auxdata": "1234abcd",
            ".code": [
                {
                    "begin": 468,
                    "end": 485,
                    "name": "PUSH",
                    "source": -1,
                    "value": "80"
                },
                {
                    "begin": 502,
                    "end": 516,
                    "name": "DUP1",
                    "source": -1
                },
                {
                    "begin": 509,
                    "end": 511,
                    "name": "PUSH",
                    "source": -1,
                    "value": "40"
                },
                {
                    "begin": 502,
                    "end": 516,
                    "name": "MSTORE",
                    "source": -1
                },
                {
                    "begin": 562,
                    "end": 563,
                    "name": "PUSH",
                    "source": -1,
                    "value": "4"
                },
                {
                    "begin": 546,
                    "end": 560,
                    "name": "CALLDATASIZE",
                    "source": -1
                },
                {
                    "begin": 543,
                    "end": 564,
                    "name": "LT",
                    "source": -1
                },
                {
                    "begin": 536,
                    "end": 565,
                    "name": "ISZERO",
                    "source": -1
                },
                {
                    "begin": 533,
                    "end": 831,
                    "name": "PUSH [tag]",
                    "source": -1,
                    "value": "1"
                },
                {
                    "begin": 533,
                    "end": 831,
                    "name": "JUMPI",
                    "source": -1
                },
                {
                    "begin": 426,
                    "end": 884,
                    "name": "tag",
                    "source": -1,
                    "value": "2"
                },
                {
                    "begin": 426,
                    "end": 884,
                    "name": "JUMPDEST",
                    "source": -1
                },
                {
                    "begin": 858,
                    "end": 859,
                    "name": "PUSH",
                    "source": -1,
                    "value": "0"
                },
                {
                    "begin": 848,
                    "end": 860,
                    "name": "DUP1",
                    "source": -1
                },
                {
                    "begin": 848,
                    "end": 860,
                    "name": "REVERT",
                    "source": -1
                },
                {
                    "begin": 582,
                    "end": 831,
                    "name": "tag",
                    "source": -1,
                    "value": "1"
                },
                {
                    "begin": 582,
                    "end": 831,
                    "name": "JUMPDEST",
                    "source": -1
                },
                {
                    "begin": 614,
                    "end": 615,
                    "name": "PUSH",
                    "source": -1,
                    "value": "0"
                },
                {
                    "begin": 652,
                    "end": 668,
                    "name": "CALLDATALOAD",
                    "source": -1
                },
                {
                    "begin": 647,
                    "end": 650,
                    "name": "PUSH",
                    "source": -1,
                    "value": "E0"
                },
                {
                    "begin": 643,
                    "end": 669,
                    "name": "SHR",
                    "source": -1
                },
                {
                    "begin": 695,
                    "end": 705,
                    "name": "PUSH",
                    "source": -1,
                    "value": "B4F40C61"
                },
                {
                    "begin": 690,
                    "end": 813,
                    "name": "SUB",
                    "source": -1
                },
                {
                    "begin": 582,
                    "end": 831,
                    "name": "PUSH [tag]",
                    "source": -1,
                    "value": "2"
                },
                {
                    "begin": 690,
                    "end": 813,
                    "name": "JUMPI",
                    "source": -1
                },
                {
                    "begin": 788,
                    "end": 790,
                    "name": "PUSH",
                    "source": -1,
                    "value": "20"
                },
                {
                    "begin": 743,
                    "end": 751,
                    "name": "SWAP1",
                    "source": -1
                },
                {
                    "begin": 749,
                    "end": 750,
                    "name": "PUSH",
                    "source": -1,
                    "value": "1"
                },
                {
                    "begin": 743,
                    "end": 751,
                    "name": "SLOAD",
                    "source": -1
                },
                {
                    "begin": 732,
                    "end": 752,
                    "name": "DUP2",
                    "source": -1
                },
                {
                    "begin": 732,
                    "end": 752,
                    "name": "MSTORE",
                    "source": -1
                },
                {
                    "begin": 777,
                    "end": 791,
                    "name": "RETURN",
                    "source": -1
                }
            ]
        }
    },
    "sourceList": [
        "abc.sol"
    ]
}
