{
  version: {
    _major: 0,
    _minor: 31,
    _patch: 0,
    _draft: true
  },
  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,
              26862,
              0,
              16500,
              0,
              -21320,
              -1,
              -12200,
              -1,
              -20739,
              -1,
              -14890,
              -1,
              -8815,
              -1,
              -24190,
              -1,
              -31823,
              -1,
              -4010,
              -1,
              13172,
              0,
              -12913,
              -1,
              23622,
              0,
              -8568,
              -1,
              26266,
              0,
              -17302,
              -1,
              2577,
              0,
              17246,
              0,
              -28899,
              -1,
              28180,
              0,
              -8851,
              -1,
              -136,
              -1,
              8417,
              0,
              9371,
              0,
              -31217,
              -1,
              24063,
              0,
              8100,
              0,
              32691,
              0,
              -1867,
              -1,
              7439,
              0,
              -3863,
              -1,
              25544,
              0,
              21783,
              0,
              26778,
              0,
              280,
              0,
              19100,
              0,
              -9255,
              -1,
              -2561,
              -1,
              17053,
              0,
              -27450,
              -1,
              13794,
              0,
              -31733,
              -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,
              -25648,
              -1,
              13954,
              0,
              -18011,
              -1,
              -19872,
              -1,
              19202,
              0,
              -28267,
              -1,
              22795,
              0,
              17730,
              0,
              32428,
              0,
              11006,
              0,
              24439,
              0,
              -25000,
              -1,
              25552,
              0,
              -22261,
              -1,
              -12167,
              -1,
              -24367,
              -1,
              -6445,
              -1,
              16318,
              0,
              -15199,
              -1,
              21115,
              0,
              6966,
              0,
              8449,
              0,
              28757,
              0,
              -4467,
              -1,
              -10182,
              -1,
              32411,
              0,
              3735,
              0,
              7510,
              0,
              -13350,
              -1,
              -18650,
              -1,
              -21640,
              -1,
              -18117,
              -1,
              -19977,
              -1,
              16169,
              0,
              -28971,
              -1,
              8479,
              0,
              29444,
              0,
              17403,
              0,
              -6365,
              -1,
              -28875,
              -1,
              21896,
              0,
              -32562,
              -1,
              11883,
              0,
              11203,
              0,
              -20191,
              -1,
              15720,
              0,
              -21269,
              -1,
              -17980,
              -1,
              20446,
              0,
              31400,
              0,
              -15420,
              -1,
              27612,
              0,
              27085,
              0,
              17655,
              0,
              -23590,
              -1,
              -13146,
              -1,
              11646,
              0,
              32716,
              0,
              20609,
              0,
              -5226,
              -1,
              -17351,
              -1,
              30168,
              0,
              -14667,
              -1,
              -10341,
              -1,
              30442,
              0,
              4041,
              0,
              -15428,
              -1,
              -32418,
              -1,
              -4591,
              -1,
              31850,
              0,
              -4423,
              -1,
              13076,
              0,
              -16186,
              -1,
              18062,
              0,
              18074,
              0,
              7097,
              0,
              17815,
              0,
              5165,
              0,
              -7975,
              -1,
              15589,
              0,
              21962,
              0,
              22351,
              0,
              -18804,
              -1,
              11573,
              0,
              -32486,
              -1,
              4718,
              0,
              4664,
              0,
              -8946,
              -1,
              32379,
              0,
              25097,
              0,
              -30236,
              -1,
              -19082,
              -1,
              -19137,
              -1,
              26054,
              0,
              1239,
              0,
              14999,
              0,
              20312,
              0,
              17538,
              0,
              -26933,
              -1,
              -23572,
              -1,
              -6866,
              -1,
              -10593,
              -1,
              16192,
              0,
              -22529,
              -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,
              -23969,
              -1,
              31653,
              0,
              -21967,
              -1,
              -5778,
              -1,
              10000,
              0,
              -6334,
              -1,
              -16835,
              -1,
              27744,
              0,
              -28081,
              -1,
              -16655,
              -1,
              32309,
              0,
              15061,
              0,
              -27068,
              -1,
              16683,
              0,
              30769,
              0,
              -26360,
              -1,
              -5633,
              -1,
              -2082,
              -1,
              -24182,
              -1,
              -19624,
              -1,
              -21381,
              -1,
              -20620,
              -1,
              -6323,
              -1,
              -2371,
              -1,
              -17172,
              -1,
              -13800,
              -1,
              -20170,
              -1,
              19402,
              0,
              -18891,
              -1,
              26712,
              0,
              2546,
              0,
              19839,
              0,
              8938,
              0,
              -15334,
              -1,
              6642,
              0,
              -14803,
              -1,
              -24999,
              -1,
              -16075,
              -1,
              -14704,
              -1,
              -23919,
              -1,
              -31221,
              -1,
              29084,
              0,
              879,
              0,
              -6420,
              -1,
              28177,
              0,
              -18043,
              -1,
              -6366,
              -1,
              22719,
              0,
              8652,
              0,
              -6607,
              -1,
              -16003,
              -1,
              -30467,
              -1,
              -27194,
              -1,
              -22155,
              -1,
              18783,
              0,
              9125,
              0,
              -4361,
              -1,
              18540,
              0,
              -22232,
              -1,
              -18945,
              -1,
              -7031,
              -1,
              27354,
              0,
              7486,
              0,
              23002,
              0,
              -16505,
              -1,
              22831,
              0,
              -28018,
              -1,
              -17848,
              -1,
              1508,
              0,
              -29457,
              -1,
              23479,
              0,
              24079,
              0,
              2717,
              0,
              -12728,
              -1,
              -26283,
              -1,
              7793
            ]
          },
          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"
      ]
    }
  ]
}