[
  {
    "op": "SDIV",
    "value": "0x05",
    "description": "-1 / -1",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000001"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "SDIV",
    "value": "0x05",
    "description": "-1 / 0",
    "in": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "SDIV",
    "value": "0x05",
    "description": "-1 / 2",
    "in": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000002",
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "SDIV",
    "value": "0x05",
    "description": "2 / -1",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0x0000000000000000000000000000000000000000000000000000000000000002"
      ]
    },
    "out": {
      "stack": [
        "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "SDIV",
    "value": "0x05",
    "description": "1/2",
    "in": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000002",
        "0x0000000000000000000000000000000000000000000000000000000000000001"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000000"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "SDIV",
    "value": "0x05",
    "description": "19/2",
    "in": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000002",
        "0x0000000000000000000000000000000000000000000000000000000000000013"
      ]
    },
    "out": {
      "stack": [
        "0x0000000000000000000000000000000000000000000000000000000000000009"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  },
  {
    "op": "SDIV",
    "value": "0x05",
    "description": "sdiv_i256min",
    "in": {
      "stack": [
        "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
        "0x8000000000000000000000000000000000000000000000000000000000000001"
      ]
    },
    "out": {
      "stack": [
        "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
      ]
    },
    "environment": {
      "callData": "0x00",
      "caller": "0x0000000000000000000000000000000000000000",
      "address": "0x0000000000000000000000000000000000000000",
      "coinbase": "0x0000000000000000000000000000000000000000"
    }
  }
]