{
  version: {
    _major: 0,
    _minor: 41,
    _patch: 0,
    _draft: true
  },
  blocks: [
    {
      name: "main",
      operators: [
        {
          op: "TABLE",
          attribute_type: "TableAttribute",
          attribute: {
            table: [
              -21288,
              -1,
              5743,
              0,
              19233,
              0,
              -13535,
              -1,
              -13108,
              -1,
              19659,
              0,
              32091,
              0,
              5312,
              0,
              -3471,
              -1,
              -10036,
              -1,
              7369,
              0,
              5958,
              0,
              -13452,
              -1,
              -31274,
              -1,
              -22840,
              -1,
              9927,
              0,
              -5364,
              -1,
              -1160,
              -1,
              -2156,
              -1,
              18529,
              0,
              -14239,
              -1,
              -27347,
              -1,
              -14691,
              -1,
              -875,
              -1,
              11214,
              0,
              -610,
              -1,
              -3856,
              -1,
              28693,
              0,
              -4075,
              -1,
              4700,
              0,
              2768,
              0,
              -1738,
              -1,
              20158,
              0,
              -12610,
              -1,
              20157,
              0,
              -11039,
              -1,
              2949,
              0,
              1354,
              0,
              22923,
              0,
              -4004,
              -1,
              -14120,
              -1,
              -31352,
              -1,
              -8934,
              -1,
              21383,
              0,
              -11385,
              -1,
              21382,
              0,
              2806,
              0,
              -23577,
              -1,
              -12965,
              -1,
              3541,
              0,
              -12079,
              -1,
              -25653,
              -1,
              7114,
              0,
              11287,
              0,
              -21481,
              -1,
              -14338,
              -1,
              -16786,
              -1,
              10447,
              0,
              15092,
              0,
              14876,
              0,
              28754,
              0,
              17606,
              0,
              -11752,
              -1,
              -25708,
              -1,
              7059,
              0,
              27263,
              0,
              31139,
              0,
              -1629,
              -1,
              -17272,
              -1,
              -30317,
              -1,
              -23511,
              -1,
              3594,
              0,
              3067,
              0,
              -8460,
              -1,
              -12455,
              -1,
              20312,
              0,
              -2620,
              -1,
              20201,
              0,
              30357,
              0,
              -2411,
              -1,
              -19482,
              -1,
              13285,
              0,
              8836,
              0,
              -13703,
              -1,
              7986,
              0,
              986,
              0,
              26576,
              0,
              -6192,
              -1,
              26575,
              0,
              28576,
              0,
              -4192,
              -1,
              -21981,
              -1,
              2172,
              0,
              -29825,
              -1,
              -13186,
              -1,
              -4254,
              -1,
              28513,
              0,
              32268,
              0,
              -500,
              -1,
              25668,
              0,
              -7100,
              -1,
              16292,
              0,
              22652,
              0,
              25610,
              0,
              -7158,
              -1,
              25609,
              0,
              -7159,
              -1,
              1235,
              0,
              -1996,
              -1,
              -12064,
              -1,
              -31319,
              -1,
              1448,
              0,
              -10776,
              -1,
              10594,
              0,
              -5884,
              -1,
              -8280,
              -1,
              24487,
              0,
              -8281,
              -1,
              15506,
              0,
              16173,
              0,
              -7865,
              -1,
              -15568,
              -1,
              -32421,
              -1,
              346,
              0,
              29342,
              0,
              -3426,
              -1,
              -30677,
              -1,
              -24723,
              -1,
              -28335,
              -1,
              4432,
              0,
              25684,
              0,
              -7084,
              -1,
              16170,
              0,
              -16598,
              -1,
              -8703,
              -1,
              6513,
              0,
              14413,
              0,
              24547,
              0,
              -8221,
              -1,
              -19895,
              -1,
              -14385,
              -1,
              -12431,
              -1,
              20336,
              0,
              18180,
              0,
              -11770,
              -1,
              20997,
              0,
              -46,
              -1,
              48,
              0,
              -4346,
              -1,
              -23338,
              -1,
              9429,
              0,
              -23339,
              -1,
              -21347,
              -1,
              -17718,
              -1,
              -14464,
              -1,
              -24129,
              -1,
              -31591,
              -1,
              1176,
              0,
              30756,
              0,
              -2012,
              -1,
              -13335,
              -1,
              414,
              0,
              28016,
              0,
              12731,
              0,
              17444,
              0,
              5316,
              0,
              -5438,
              -1,
              -19676,
              -1,
              13091,
              0,
              19931,
              0,
              -12837,
              -1,
              14116,
              0,
              -18652,
              -1,
              14115,
              0,
              21361,
              0,
              -11407,
              -1,
              -4337,
              -1,
              -24658,
              -1,
              4409,
              0,
              28020,
              0,
              -4748,
              -1,
              -6713,
              -1,
              26054,
              0,
              -6714,
              -1,
              -24104,
              -1,
              -749,
              -1,
              548,
              0,
              10673,
              0,
              -12207,
              -1,
              20560,
              0,
              1377,
              0,
              -13996,
              -1,
              18771,
              0,
              27840,
              0,
              -55,
              -1,
              -31139,
              -1,
              1628,
              0,
              3617,
              0,
              -23056,
              -1,
              8780,
              0,
              22334,
              0,
              -10434,
              -1,
              14635,
              0,
              -18133,
              -1,
              14634,
              0,
              -5301,
              -1,
              -32342,
              -1,
              425,
              0,
              -21891,
              -1,
              6294,
              0,
              -20876,
              -1,
              11891,
              0,
              15618,
              0,
              19946,
              0,
              -4452,
              -1,
              -2138,
              -1,
              8801,
              0,
              18662,
              0,
              22739,
              0,
              -10029,
              -1,
              10719,
              0,
              -22049,
              -1,
              -13899,
              -1,
              18868,
              0,
              -13900,
              -1,
              18867,
              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,
              24521,
              0,
              -4858,
              -1,
              -25315,
              -1,
              7452,
              0,
              30317,
              0,
              24083,
              0,
              -8685,
              -1,
              -3022,
              -1,
              2032,
              0,
              -16526,
              -1,
              -15160,
              -1,
              -17259,
              -1,
              15508,
              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"
      ]
    }
  ]
}