[
  {
    "op": "MUL",
    "value": "0x02",
    "description": "2^255 * 2^255",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000001"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "MUL",
    "value": "0x02",
    "description": "2^255 * 0",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "MUL",
    "value": "0x02",
    "descrittion": "2 * 2",
    "in": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000002",
        "0x0000000000000000000000000000000000000000000000000000000000000002"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000004"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "MUL",
    "value": "0x02",
    "descrittion": "(2^32 - 1) * (2^32 - 1)",
    "in": {
      "stack": [
        "0x00000000000000000000000000000000000000000000000000000000ffffffff",
        "0x00000000000000000000000000000000000000000000000000000000ffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x000000000000000000000000000000000000000000000000fffffffe00000001"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  }
]