{
  version: {
    _major: 0,
    _minor: 41,
    _patch: 0,
    _draft: true
  },
  blocks: [
    {
      name: "main",
      operators: [
        {
          op: "TABLE",
          attribute_type: "TableAttribute",
          attribute: {
            table: [
              -26984,
              -1,
              5783,
              0,
              -26985,
              -1,
              5782,
              0,
              -24253,
              -1,
              -15563,
              -1,
              13615,
              0,
              8052,
              0,
              18450,
              0,
              7271,
              0,
              -25497,
              -1,
              7270,
              0,
              -18629,
              -1,
              -23851,
              -1,
              8916,
              0,
              -20000,
              -1,
              2364,
              0,
              -920,
              -1,
              17662,
              0,
              -15106,
              -1,
              -25776,
              -1,
              -5532,
              -1,
              -1753,
              -1,
              18888,
              0,
              6929,
              0,
              -23022,
              -1,
              9745,
              0,
              -2625,
              -1,
              30142,
              0,
              32097,
              0,
              -671,
              -1,
              387,
              0,
              -5110,
              -1,
              -110,
              -1,
              -12456,
              -1,
              3853,
              0,
              -512,
              -1,
              -20579,
              -1,
              -13861,
              -1,
              -23124,
              -1,
              9643,
              0,
              11623,
              0,
              -7371,
              -1,
              -6832,
              -1,
              -27585,
              -1,
              -13769,
              -1,
              18998,
              0,
              -13770,
              -1,
              -23192,
              -1,
              9575,
              0,
              1332,
              0,
              -30650,
              -1,
              -671,
              -1,
              16382,
              0,
              -10154,
              -1,
              -7734,
              -1,
              8606,
              0,
              6467,
              0,
              26405,
              0,
              -6363,
              -1,
              -14676,
              -1,
              -22584,
              -1,
              10183,
              0,
              2188,
              0,
              -10031,
              -1,
              12820,
              0,
              -8082,
              -1,
              -19957,
              -1,
              2611,
              0,
              -4171,
              -1,
              -6200,
              -1,
              -3628,
              -1,
              27145,
              0,
              -5623,
              -1,
              -14693,
              -1,
              4263,
              0,
              -28505,
              -1,
              -23204,
              -1,
              4347,
              0,
              638,
              0,
              10015,
              0,
              -22753,
              -1,
              10014,
              0,
              -948,
              -1,
              -22609,
              -1,
              -12348,
              -1,
              -17862,
              -1,
              -3130,
              -1,
              -2007,
              -1,
              -4342,
              -1,
              -2556,
              -1,
              26734,
              0,
              30090,
              0,
              -660,
              -1,
              30344,
              0,
              20873,
              0,
              20968,
              0,
              -11800,
              -1,
              -4036,
              -1,
              -9694,
              -1,
              -26447,
              -1,
              -27847,
              -1,
              4920,
              0,
              -5194,
              -1,
              21346,
              0,
              11055,
              0,
              -21713,
              -1,
              11054,
              0,
              -256,
              -1,
              4319,
              0,
              30519,
              0,
              9179,
              0,
              -23589,
              -1,
              -21151,
              -1,
              -4827,
              -1,
              -30330,
              -1,
              -21793,
              -1,
              10974,
              0,
              -21794,
              -1,
              -21821,
              -1,
              306,
              0,
              -26794,
              -1,
              -16012,
              -1,
              16755,
              0,
              8616,
              0,
              30377,
              0,
              -2391,
              -1,
              7619,
              0,
              -17134,
              -1,
              -7954,
              -1,
              -21322,
              -1,
              11445,
              0,
              -20707,
              -1,
              -19352,
              -1,
              -2372,
              -1,
              -4628,
              -1,
              -12201,
              -1,
              -9371,
              -1,
              -13434,
              -1,
              19333,
              0,
              5267,
              0,
              27510,
              0,
              31903,
              0,
              9888,
              0,
              21342,
              0,
              -11426,
              -1,
              21341,
              0,
              -1168,
              -1,
              13987,
              0,
              -16691,
              -1,
              -26510,
              -1,
              6257,
              0,
              -3313,
              -1,
              -23698,
              -1,
              9069,
              0,
              -23699,
              -1,
              -3246,
              -1,
              13397,
              0,
              14445,
              0,
              -3062,
              -1,
              -8523,
              -1,
              22175,
              0,
              -10593,
              -1,
              -27878,
              -1,
              -22490,
              -1,
              10277,
              0,
              -1973,
              -1,
              -30322,
              -1,
              -21708,
              -1,
              -30929,
              -1,
              1838,
              0,
              -2536,
              -1,
              -28308,
              -1,
              -18266,
              -1,
              7632,
              0,
              6141,
              0,
              20924,
              0,
              -11844,
              -1,
              -28220,
              -1,
              -30449,
              -1,
              -6943,
              -1,
              14886,
              0,
              10682,
              0,
              -18995,
              -1,
              10304,
              0,
              10250,
              0,
              -20226,
              -1,
              12541,
              0,
              -5093,
              -1,
              -28880,
              -1,
              -7171,
              -1,
              17678,
              0,
              12858,
              0,
              -15177,
              -1,
              16836,
              0,
              -7239,
              -1,
              -2606,
              -1,
              -27091,
              -1,
              5676,
              0,
              22192,
              0,
              -10576,
              -1,
              3979,
              0,
              18373,
              0,
              305,
              0,
              -18954,
              -1,
              13813,
              0,
              -15152,
              -1,
              -10846,
              -1,
              -8414,
              -1,
              24353,
              0,
              0,
              0,
              14397,
              0,
              26293,
              0,
              28084,
              0,
              23359,
              0,
              26725,
              0,
              29374,
              0,
              32180,
              0,
              9377,
              0,
              -23391,
              -1,
              -25342,
              -1,
              7425,
              0,
              -12050,
              -1,
              19955,
              0,
              28490,
              0,
              9461,
              0,
              17321,
              0,
              -14493,
              -1,
              -4291,
              -1,
              28476,
              0,
              20765,
              0,
              -12003,
              -1,
              20764,
              0,
              -28,
              -1,
              22535,
              0,
              1408,
              0,
              6808,
              0,
              -22163,
              -1,
              -10574,
              -1,
              14583,
              0,
              22439,
              0,
              -10329,
              -1,
              -27731,
              -1,
              5036,
              0,
              -3468,
              -1,
              22846,
              0,
              -9922,
              -1,
              -9870,
              -1,
              -30446,
              -1,
              2321,
              0,
              23452,
              0,
              -9316,
              -1,
              -11537,
              -1,
              21230,
              0,
              -11538,
              -1,
              21229,
              0,
              25361
            ]
          },
          inputs: [
            "input-0"
          ],
          outputs: [
            "result-0"
          ]
        }
      ],
      tensors: [
        {
          name: "input-0",
          shape: [
            10,
            10,
            11,
            3
          ],
          type: "INT48"
        },
        {
          name: "result-0",
          shape: [
            10,
            10,
            11,
            3
          ],
          type: "INT8"
        }
      ],
      inputs: [
        "input-0"
      ],
      outputs: [
        "result-0"
      ]
    }
  ]
}