{
  version: {
    _major: 0,
    _minor: 40,
    _patch: 0,
    _draft: false
  },
  blocks: [
    {
      name: "main",
      operators: [
        {
          op: "TABLE",
          attribute_type: "TableAttribute",
          attribute: {
            table: [
              -21211,
              -1,
              -17607,
              -1,
              -2131,
              -1,
              -10266,
              -1,
              -7074,
              -1,
              14356,
              0,
              -16979,
              -1,
              15788,
              0,
              16500,
              0,
              -16268,
              -1,
              -12200,
              -1,
              -20739,
              -1,
              -14890,
              -1,
              -8815,
              -1,
              -24190,
              -1,
              -31823,
              -1,
              -4010,
              -1,
              13172,
              0,
              -12913,
              -1,
              19854,
              0,
              -8568,
              -1,
              24199,
              0,
              -8569,
              -1,
              2577,
              0,
              17246,
              0,
              -15522,
              -1,
              17245,
              0,
              -8851,
              -1,
              -136,
              -1,
              8417,
              0,
              9371,
              0,
              -23397,
              -1,
              9370,
              0,
              8100,
              0,
              32691,
              0,
              -77,
              -1,
              7439,
              0,
              -3863,
              -1,
              25544,
              0,
              21783,
              0,
              26778,
              0,
              280,
              0,
              19100,
              0,
              -9255,
              -1,
              -2561,
              -1,
              17053,
              0,
              -15715,
              -1,
              13794,
              0,
              -18974,
              -1,
              5285,
              0,
              -1495,
              -1,
              -2053,
              -1,
              -373,
              -1,
              -529,
              -1,
              -6072,
              -1,
              -3189,
              -1,
              4467,
              0,
              17266,
              0,
              3418,
              0,
              9340,
              0,
              22060,
              0,
              32080,
              0,
              -688,
              -1,
              13954,
              0,
              -18011,
              -1,
              -19872,
              -1,
              12895,
              0,
              -19873,
              -1,
              12894,
              0,
              17730,
              0,
              32428,
              0,
              11006,
              0,
              24439,
              0,
              -8329,
              -1,
              24438,
              0,
              -8330,
              -1,
              -12167,
              -1,
              -24367,
              -1,
              -6445,
              -1,
              16318,
              0,
              -15199,
              -1,
              17568,
              0,
              6966,
              0,
              8449,
              0,
              28757,
              0,
              -4011,
              -1,
              -10182,
              -1,
              22585,
              0,
              3735,
              0,
              7510,
              0,
              -13350,
              -1,
              -18650,
              -1,
              -21640,
              -1,
              -18117,
              -1,
              -19977,
              -1,
              12790,
              0,
              -19978,
              -1,
              8479,
              0,
              29444,
              0,
              17403,
              0,
              -6365,
              -1,
              -28875,
              -1,
              3892,
              0,
              -28876,
              -1,
              3891,
              0,
              11203,
              0,
              -20191,
              -1,
              12576,
              0,
              -20192,
              -1,
              -17980,
              -1,
              14787,
              0,
              31400,
              0,
              -1368,
              -1,
              27612,
              0,
              27085,
              0,
              17655,
              0,
              -15113,
              -1,
              -13146,
              -1,
              11646,
              0,
              32716,
              0,
              20609,
              0,
              -5226,
              -1,
              -17351,
              -1,
              15416,
              0,
              -14667,
              -1,
              -10341,
              -1,
              22426,
              0,
              4041,
              0,
              -15428,
              -1,
              -32418,
              -1,
              -4591,
              -1,
              28176,
              0,
              -4423,
              -1,
              13076,
              0,
              -16186,
              -1,
              16581,
              0,
              18074,
              0,
              7097,
              0,
              17815,
              0,
              5165,
              0,
              -7975,
              -1,
              15589,
              0,
              21962,
              0,
              22351,
              0,
              -10417,
              -1,
              11573,
              0,
              -21195,
              -1,
              4718,
              0,
              4664,
              0,
              -8946,
              -1,
              23821,
              0,
              25097,
              0,
              -7671,
              -1,
              -19082,
              -1,
              -19137,
              -1,
              13630,
              0,
              1239,
              0,
              14999,
              0,
              20312,
              0,
              17538,
              0,
              -15230,
              -1,
              -23572,
              -1,
              -6866,
              -1,
              -10593,
              -1,
              16192,
              0,
              -16576,
              -1,
              -8419,
              -1,
              -17264,
              -1,
              -20393,
              -1,
              -21444,
              -1,
              -19956,
              -1,
              4218,
              0,
              -5896,
              -1,
              -4241,
              -1,
              -1349,
              -1,
              15798,
              0,
              23711,
              0,
              1732,
              0,
              9322,
              0,
              15634,
              0,
              12478,
              0,
              -20290,
              -1,
              12477,
              0,
              -20291,
              -1,
              -5778,
              -1,
              10000,
              0,
              -6334,
              -1,
              -16835,
              -1,
              15932,
              0,
              -16836,
              -1,
              -16655,
              -1,
              16112,
              0,
              15061,
              0,
              -17707,
              -1,
              15060,
              0,
              30769,
              0,
              -1999,
              -1,
              -5633,
              -1,
              -2082,
              -1,
              -24182,
              -1,
              -19624,
              -1,
              -21381,
              -1,
              -20620,
              -1,
              -6323,
              -1,
              -2371,
              -1,
              -17172,
              -1,
              -13800,
              -1,
              -20170,
              -1,
              12597,
              0,
              -18891,
              -1,
              13876,
              0,
              2546,
              0,
              19839,
              0,
              8938,
              0,
              -15334,
              -1,
              6642,
              0,
              -14803,
              -1,
              -24999,
              -1,
              -16075,
              -1,
              -14704,
              -1,
              -23919,
              -1,
              -31221,
              -1,
              1546,
              0,
              879,
              0,
              -6420,
              -1,
              26347,
              0,
              -6421,
              -1,
              -6366,
              -1,
              22719,
              0,
              8652,
              0,
              -6607,
              -1,
              -16003,
              -1,
              -30467,
              -1,
              -27194,
              -1,
              -22155,
              -1,
              10612,
              0,
              9125,
              0,
              -4361,
              -1,
              18540,
              0,
              -14228,
              -1,
              -18945,
              -1,
              -7031,
              -1,
              25736,
              0,
              7486,
              0,
              23002,
              0,
              -9766,
              -1,
              22831,
              0,
              -9937,
              -1,
              -17848,
              -1,
              1508,
              0,
              -29457,
              -1,
              3310,
              0,
              24079,
              0,
              2717,
              0,
              -12728,
              -1,
              -26283,
              -1,
              6484
            ]
          },
          inputs: [
            "input-0"
          ],
          outputs: [
            "result-0"
          ]
        }
      ],
      tensors: [
        {
          name: "input-0",
          shape: [
            23,
            12
          ],
          type: "INT4"
        },
        {
          name: "result-0",
          shape: [
            23,
            12
          ],
          type: "INT8"
        }
      ],
      inputs: [
        "input-0"
      ],
      outputs: [
        "result-0"
      ]
    }
  ]
}