[
  {
    "op": "MULMOD",
    "value": "0x09",
    "description": "0 * 0 % 0",
    "in": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000",
        "0x0000000000000000000000000000000000000000000000000000000000000000",
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "MULMOD",
    "value": "0x09",
    "description": "(2^256 -1) * (2^256 -1) % (2^256 -1)",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "MULMOD",
    "value": "0x09",
    "description": "(2^256 -1) * (2^256 -1) % 0",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  }
]