{
  version: {
    _major: 0,
    _minor: 31,
    _patch: 0,
    _draft: true
  },
  blocks: [
    {
      name: "main",
      operators: [
        {
          op: "TABLE",
          attribute_type: "TableAttribute",
          attribute: {
            table: [
              -21288,
              -1,
              5743,
              0,
              19233,
              0,
              -21589,
              -1,
              -13108,
              -1,
              27860,
              0,
              32091,
              0,
              5312,
              0,
              -3471,
              -1,
              -10036,
              -1,
              7369,
              0,
              5958,
              0,
              -13452,
              -1,
              -31274,
              -1,
              -22840,
              -1,
              30052,
              0,
              -5364,
              -1,
              -1160,
              -1,
              -2156,
              -1,
              18529,
              0,
              -28512,
              -1,
              -27347,
              -1,
              -14691,
              -1,
              -875,
              -1,
              11214,
              0,
              -610,
              -1,
              -3856,
              -1,
              28693,
              0,
              -22216,
              -1,
              4700,
              0,
              2768,
              0,
              -1738,
              -1,
              20158,
              0,
              -15272,
              -1,
              29738,
              0,
              -11039,
              -1,
              2949,
              0,
              1354,
              0,
              22923,
              0,
              -4004,
              -1,
              -14120,
              -1,
              -31352,
              -1,
              -8934,
              -1,
              21383,
              0,
              -32119,
              -1,
              25962,
              0,
              2806,
              0,
              -23577,
              -1,
              -12965,
              -1,
              3541,
              0,
              -12079,
              -1,
              -25653,
              -1,
              10878,
              0,
              11287,
              0,
              -24978,
              -1,
              -14338,
              -1,
              -16786,
              -1,
              10447,
              0,
              15092,
              0,
              14876,
              0,
              28754,
              0,
              17606,
              0,
              -11752,
              -1,
              -25708,
              -1,
              7513,
              0,
              27263,
              0,
              31139,
              0,
              -17681,
              -1,
              -17272,
              -1,
              -30317,
              -1,
              -23511,
              -1,
              3594,
              0,
              3067,
              0,
              -8460,
              -1,
              -12455,
              -1,
              21613,
              0,
              -2620,
              -1,
              20201,
              0,
              30357,
              0,
              -11984,
              -1,
              -19482,
              -1,
              29681,
              0,
              8836,
              0,
              -13703,
              -1,
              7986,
              0,
              986,
              0,
              26576,
              0,
              -15994,
              -1,
              32203,
              0,
              28576,
              0,
              -20926,
              -1,
              -21981,
              -1,
              2172,
              0,
              -29825,
              -1,
              -13186,
              -1,
              -4254,
              -1,
              30760,
              0,
              32268,
              0,
              -22837,
              -1,
              25668,
              0,
              -26809,
              -1,
              16292,
              0,
              22652,
              0,
              25610,
              0,
              -18127,
              -1,
              25784,
              0,
              -25168,
              -1,
              1235,
              0,
              -1996,
              -1,
              -12064,
              -1,
              -31319,
              -1,
              17826,
              0,
              -10776,
              -1,
              10594,
              0,
              -5884,
              -1,
              -8280,
              -1,
              25316,
              0,
              -26578,
              -1,
              15506,
              0,
              16173,
              0,
              -7865,
              -1,
              -15568,
              -1,
              -32421,
              -1,
              28626,
              0,
              29342,
              0,
              -16976,
              -1,
              -30677,
              -1,
              -24723,
              -1,
              -28335,
              -1,
              21699,
              0,
              25684,
              0,
              -22723,
              -1,
              16170,
              0,
              -21020,
              -1,
              -8703,
              -1,
              6513,
              0,
              14413,
              0,
              24547,
              0,
              -29833,
              -1,
              -19895,
              -1,
              -14385,
              -1,
              -12431,
              -1,
              32638,
              0,
              18180,
              0,
              -11770,
              -1,
              30921,
              0,
              -46,
              -1,
              48,
              0,
              -4346,
              -1,
              -23338,
              -1,
              28467,
              0,
              -31855,
              -1,
              -21347,
              -1,
              -17718,
              -1,
              -14464,
              -1,
              -24129,
              -1,
              -31591,
              -1,
              11643,
              0,
              30756,
              0,
              -24784,
              -1,
              -13335,
              -1,
              414,
              0,
              28016,
              0,
              12731,
              0,
              17444,
              0,
              5316,
              0,
              -5438,
              -1,
              -19676,
              -1,
              23875,
              0,
              19931,
              0,
              -31123,
              -1,
              14116,
              0,
              -27238,
              -1,
              15662,
              0,
              21361,
              0,
              -24179,
              -1,
              -4337,
              -1,
              -24658,
              -1,
              4409,
              0,
              28020,
              0,
              -27469,
              -1,
              -6713,
              -1,
              31006,
              0,
              -13046,
              -1,
              -24104,
              -1,
              -749,
              -1,
              548,
              0,
              10673,
              0,
              -12207,
              -1,
              29859,
              0,
              1377,
              0,
              -13996,
              -1,
              30165,
              0,
              27840,
              0,
              -55,
              -1,
              -31139,
              -1,
              6352,
              0,
              3617,
              0,
              -23056,
              -1,
              8780,
              0,
              22334,
              0,
              -25828,
              -1,
              14635,
              0,
              -23571,
              -1,
              16307,
              0,
              -5301,
              -1,
              -32342,
              -1,
              30554,
              0,
              -21891,
              -1,
              6294,
              0,
              -20876,
              -1,
              28378,
              0,
              15618,
              0,
              19946,
              0,
              -4452,
              -1,
              -2138,
              -1,
              8801,
              0,
              18662,
              0,
              22739,
              0,
              -31600,
              -1,
              10719,
              0,
              -25616,
              -1,
              -13899,
              -1,
              21589,
              0,
              -16351,
              -1,
              19452,
              0,
              -2425,
              -1,
              -17522,
              -1,
              -10863,
              -1,
              2016,
              0,
              17376,
              0,
              6947,
              0,
              28391,
              0,
              24100,
              0,
              16603,
              0,
              6757,
              0,
              -13773,
              -1,
              -5730,
              -1,
              -24977,
              -1,
              -8246,
              -1,
              27949,
              0,
              -4858,
              -1,
              -25315,
              -1,
              9956,
              0,
              30317,
              0,
              24083,
              0,
              -14807,
              -1,
              -3022,
              -1,
              2032,
              0,
              -16526,
              -1,
              -15160,
              -1,
              -17259,
              -1,
              32412,
              0,
              16122,
              0,
              22338,
              0,
              20746,
              0,
              30090
            ]
          },
          inputs: [
            "input-0"
          ],
          outputs: [
            "result-0"
          ]
        }
      ],
      tensors: [
        {
          name: "input-0",
          shape: [
            20
          ],
          type: "INT16"
        },
        {
          name: "result-0",
          shape: [
            20
          ],
          type: "INT32"
        }
      ],
      inputs: [
        "input-0"
      ],
      outputs: [
        "result-0"
      ]
    }
  ]
}