{ "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 } } }