{
  "x": {
   "data": [[1, 1, 1]],
   "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
   }
  },
  "x1": {
   "data": [[1, 1, 1], [1, 1, 1]],
   "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
   }
  },
  "x2": {
   "data": [0, 0],
   "format": {
      "numeric_type": "bitnum",
      "is_signed": true,
      "width": 32
   }
  }
}