[
  {
    "op": "ADDMOD",
    "value": "0x08",
    "description": "2^255  + 2^255 % 0",
    "in": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "ADDMOD",
    "value": "0x08",
    "description": "2^255  + 2^255 % 0",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "ADDMOD",
    "value": "0x08",
    "description": "2  + 5 %  2",
    "in": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000002",
        "0x0000000000000000000000000000000000000000000000000000000000000005",
        "0x0000000000000000000000000000000000000000000000000000000000000002"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000001"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  }
]