{
  "proof": "DRP.A--DRP.G",
  "finite_samples_are_general_proof": false,
  "left_maps": [
    "finite perfect projection DRP.11",
    "split target Spencer augmentation DRP.10"
  ],
  "map_shift": 0,
  "right_panel": {
    "n": 2,
    "a": 0,
    "rows": [
      {
        "n": 2,
        "a": 0,
        "r": 0,
        "form_degree": 2,
        "tensor_degree": 0,
        "shifted_form_degree": 0,
        "sign": 1
      },
      {
        "n": 2,
        "a": 0,
        "r": 1,
        "form_degree": 1,
        "tensor_degree": -1,
        "shifted_form_degree": -1,
        "sign": -1
      },
      {
        "n": 2,
        "a": 0,
        "r": 2,
        "form_degree": 0,
        "tensor_degree": -2,
        "shifted_form_degree": -2,
        "sign": -1
      }
    ]
  },
  "finite_degree_sign_samples": [
    {
      "n": 0,
      "a": -2,
      "r": 0,
      "form_degree": 0,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 0,
      "a": -1,
      "r": 0,
      "form_degree": 0,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 0,
      "a": 0,
      "r": 0,
      "form_degree": 0,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 0,
      "a": 1,
      "r": 0,
      "form_degree": 0,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 0,
      "a": 2,
      "r": 0,
      "form_degree": 0,
      "tensor_degree": 2,
      "shifted_form_degree": 2,
      "sign": 1
    },
    {
      "n": 1,
      "a": -2,
      "r": 0,
      "form_degree": 1,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 1,
      "a": -2,
      "r": 1,
      "form_degree": 0,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 1,
      "a": -1,
      "r": 0,
      "form_degree": 1,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 1,
      "a": -1,
      "r": 1,
      "form_degree": 0,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 1,
      "a": 0,
      "r": 0,
      "form_degree": 1,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 1,
      "a": 0,
      "r": 1,
      "form_degree": 0,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 1,
      "a": 1,
      "r": 0,
      "form_degree": 1,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 1,
      "a": 1,
      "r": 1,
      "form_degree": 0,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": -1
    },
    {
      "n": 1,
      "a": 2,
      "r": 0,
      "form_degree": 1,
      "tensor_degree": 2,
      "shifted_form_degree": 2,
      "sign": 1
    },
    {
      "n": 1,
      "a": 2,
      "r": 1,
      "form_degree": 0,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 2,
      "a": -2,
      "r": 0,
      "form_degree": 2,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 2,
      "a": -2,
      "r": 1,
      "form_degree": 1,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 2,
      "a": -2,
      "r": 2,
      "form_degree": 0,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    },
    {
      "n": 2,
      "a": -1,
      "r": 0,
      "form_degree": 2,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 2,
      "a": -1,
      "r": 1,
      "form_degree": 1,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 2,
      "a": -1,
      "r": 2,
      "form_degree": 0,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 2,
      "a": 0,
      "r": 0,
      "form_degree": 2,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 2,
      "a": 0,
      "r": 1,
      "form_degree": 1,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 2,
      "a": 0,
      "r": 2,
      "form_degree": 0,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 2,
      "a": 1,
      "r": 0,
      "form_degree": 2,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 2,
      "a": 1,
      "r": 1,
      "form_degree": 1,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 2,
      "a": 1,
      "r": 2,
      "form_degree": 0,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 2,
      "a": 2,
      "r": 0,
      "form_degree": 2,
      "tensor_degree": 2,
      "shifted_form_degree": 2,
      "sign": 1
    },
    {
      "n": 2,
      "a": 2,
      "r": 1,
      "form_degree": 1,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": -1
    },
    {
      "n": 2,
      "a": 2,
      "r": 2,
      "form_degree": 0,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": -1
    },
    {
      "n": 3,
      "a": -2,
      "r": 0,
      "form_degree": 3,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 3,
      "a": -2,
      "r": 1,
      "form_degree": 2,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 3,
      "a": -2,
      "r": 2,
      "form_degree": 1,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    },
    {
      "n": 3,
      "a": -2,
      "r": 3,
      "form_degree": 0,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": -1
    },
    {
      "n": 3,
      "a": -1,
      "r": 0,
      "form_degree": 3,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 3,
      "a": -1,
      "r": 1,
      "form_degree": 2,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 3,
      "a": -1,
      "r": 2,
      "form_degree": 1,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 3,
      "a": -1,
      "r": 3,
      "form_degree": 0,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": 1
    },
    {
      "n": 3,
      "a": 0,
      "r": 0,
      "form_degree": 3,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 3,
      "a": 0,
      "r": 1,
      "form_degree": 2,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 3,
      "a": 0,
      "r": 2,
      "form_degree": 1,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 3,
      "a": 0,
      "r": 3,
      "form_degree": 0,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 3,
      "a": 1,
      "r": 0,
      "form_degree": 3,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 3,
      "a": 1,
      "r": 1,
      "form_degree": 2,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": -1
    },
    {
      "n": 3,
      "a": 1,
      "r": 2,
      "form_degree": 1,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 3,
      "a": 1,
      "r": 3,
      "form_degree": 0,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 3,
      "a": 2,
      "r": 0,
      "form_degree": 3,
      "tensor_degree": 2,
      "shifted_form_degree": 2,
      "sign": 1
    },
    {
      "n": 3,
      "a": 2,
      "r": 1,
      "form_degree": 2,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 3,
      "a": 2,
      "r": 2,
      "form_degree": 1,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": -1
    },
    {
      "n": 3,
      "a": 2,
      "r": 3,
      "form_degree": 0,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 4,
      "a": -2,
      "r": 0,
      "form_degree": 4,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 4,
      "a": -2,
      "r": 1,
      "form_degree": 3,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 4,
      "a": -2,
      "r": 2,
      "form_degree": 2,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    },
    {
      "n": 4,
      "a": -2,
      "r": 3,
      "form_degree": 1,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": 1
    },
    {
      "n": 4,
      "a": -2,
      "r": 4,
      "form_degree": 0,
      "tensor_degree": -6,
      "shifted_form_degree": -6,
      "sign": 1
    },
    {
      "n": 4,
      "a": -1,
      "r": 0,
      "form_degree": 4,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 4,
      "a": -1,
      "r": 1,
      "form_degree": 3,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 4,
      "a": -1,
      "r": 2,
      "form_degree": 2,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 4,
      "a": -1,
      "r": 3,
      "form_degree": 1,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    },
    {
      "n": 4,
      "a": -1,
      "r": 4,
      "form_degree": 0,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": 1
    },
    {
      "n": 4,
      "a": 0,
      "r": 0,
      "form_degree": 4,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 4,
      "a": 0,
      "r": 1,
      "form_degree": 3,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 4,
      "a": 0,
      "r": 2,
      "form_degree": 2,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 4,
      "a": 0,
      "r": 3,
      "form_degree": 1,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 4,
      "a": 0,
      "r": 4,
      "form_degree": 0,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": 1
    },
    {
      "n": 4,
      "a": 1,
      "r": 0,
      "form_degree": 4,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 4,
      "a": 1,
      "r": 1,
      "form_degree": 3,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 4,
      "a": 1,
      "r": 2,
      "form_degree": 2,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 4,
      "a": 1,
      "r": 3,
      "form_degree": 1,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 4,
      "a": 1,
      "r": 4,
      "form_degree": 0,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 4,
      "a": 2,
      "r": 0,
      "form_degree": 4,
      "tensor_degree": 2,
      "shifted_form_degree": 2,
      "sign": 1
    },
    {
      "n": 4,
      "a": 2,
      "r": 1,
      "form_degree": 3,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": -1
    },
    {
      "n": 4,
      "a": 2,
      "r": 2,
      "form_degree": 2,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": -1
    },
    {
      "n": 4,
      "a": 2,
      "r": 3,
      "form_degree": 1,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 4,
      "a": 2,
      "r": 4,
      "form_degree": 0,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 5,
      "a": -2,
      "r": 0,
      "form_degree": 5,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 5,
      "a": -2,
      "r": 1,
      "form_degree": 4,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 5,
      "a": -2,
      "r": 2,
      "form_degree": 3,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    },
    {
      "n": 5,
      "a": -2,
      "r": 3,
      "form_degree": 2,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": -1
    },
    {
      "n": 5,
      "a": -2,
      "r": 4,
      "form_degree": 1,
      "tensor_degree": -6,
      "shifted_form_degree": -6,
      "sign": 1
    },
    {
      "n": 5,
      "a": -2,
      "r": 5,
      "form_degree": 0,
      "tensor_degree": -7,
      "shifted_form_degree": -7,
      "sign": 1
    },
    {
      "n": 5,
      "a": -1,
      "r": 0,
      "form_degree": 5,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 5,
      "a": -1,
      "r": 1,
      "form_degree": 4,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 5,
      "a": -1,
      "r": 2,
      "form_degree": 3,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 5,
      "a": -1,
      "r": 3,
      "form_degree": 2,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": 1
    },
    {
      "n": 5,
      "a": -1,
      "r": 4,
      "form_degree": 1,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": 1
    },
    {
      "n": 5,
      "a": -1,
      "r": 5,
      "form_degree": 0,
      "tensor_degree": -6,
      "shifted_form_degree": -6,
      "sign": -1
    },
    {
      "n": 5,
      "a": 0,
      "r": 0,
      "form_degree": 5,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 5,
      "a": 0,
      "r": 1,
      "form_degree": 4,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 5,
      "a": 0,
      "r": 2,
      "form_degree": 3,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 5,
      "a": 0,
      "r": 3,
      "form_degree": 2,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 5,
      "a": 0,
      "r": 4,
      "form_degree": 1,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": 1
    },
    {
      "n": 5,
      "a": 0,
      "r": 5,
      "form_degree": 0,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": 1
    },
    {
      "n": 5,
      "a": 1,
      "r": 0,
      "form_degree": 5,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 5,
      "a": 1,
      "r": 1,
      "form_degree": 4,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": -1
    },
    {
      "n": 5,
      "a": 1,
      "r": 2,
      "form_degree": 3,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 5,
      "a": 1,
      "r": 3,
      "form_degree": 2,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 5,
      "a": 1,
      "r": 4,
      "form_degree": 1,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 5,
      "a": 1,
      "r": 5,
      "form_degree": 0,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    },
    {
      "n": 5,
      "a": 2,
      "r": 0,
      "form_degree": 5,
      "tensor_degree": 2,
      "shifted_form_degree": 2,
      "sign": 1
    },
    {
      "n": 5,
      "a": 2,
      "r": 1,
      "form_degree": 4,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 5,
      "a": 2,
      "r": 2,
      "form_degree": 3,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": -1
    },
    {
      "n": 5,
      "a": 2,
      "r": 3,
      "form_degree": 2,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 5,
      "a": 2,
      "r": 4,
      "form_degree": 1,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 5,
      "a": 2,
      "r": 5,
      "form_degree": 0,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 6,
      "a": -2,
      "r": 0,
      "form_degree": 6,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 6,
      "a": -2,
      "r": 1,
      "form_degree": 5,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 6,
      "a": -2,
      "r": 2,
      "form_degree": 4,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    },
    {
      "n": 6,
      "a": -2,
      "r": 3,
      "form_degree": 3,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": 1
    },
    {
      "n": 6,
      "a": -2,
      "r": 4,
      "form_degree": 2,
      "tensor_degree": -6,
      "shifted_form_degree": -6,
      "sign": 1
    },
    {
      "n": 6,
      "a": -2,
      "r": 5,
      "form_degree": 1,
      "tensor_degree": -7,
      "shifted_form_degree": -7,
      "sign": -1
    },
    {
      "n": 6,
      "a": -2,
      "r": 6,
      "form_degree": 0,
      "tensor_degree": -8,
      "shifted_form_degree": -8,
      "sign": -1
    },
    {
      "n": 6,
      "a": -1,
      "r": 0,
      "form_degree": 6,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 6,
      "a": -1,
      "r": 1,
      "form_degree": 5,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 6,
      "a": -1,
      "r": 2,
      "form_degree": 4,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 6,
      "a": -1,
      "r": 3,
      "form_degree": 3,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    },
    {
      "n": 6,
      "a": -1,
      "r": 4,
      "form_degree": 2,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": 1
    },
    {
      "n": 6,
      "a": -1,
      "r": 5,
      "form_degree": 1,
      "tensor_degree": -6,
      "shifted_form_degree": -6,
      "sign": 1
    },
    {
      "n": 6,
      "a": -1,
      "r": 6,
      "form_degree": 0,
      "tensor_degree": -7,
      "shifted_form_degree": -7,
      "sign": -1
    },
    {
      "n": 6,
      "a": 0,
      "r": 0,
      "form_degree": 6,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 6,
      "a": 0,
      "r": 1,
      "form_degree": 5,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 6,
      "a": 0,
      "r": 2,
      "form_degree": 4,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 6,
      "a": 0,
      "r": 3,
      "form_degree": 3,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 6,
      "a": 0,
      "r": 4,
      "form_degree": 2,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": 1
    },
    {
      "n": 6,
      "a": 0,
      "r": 5,
      "form_degree": 1,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": -1
    },
    {
      "n": 6,
      "a": 0,
      "r": 6,
      "form_degree": 0,
      "tensor_degree": -6,
      "shifted_form_degree": -6,
      "sign": -1
    },
    {
      "n": 6,
      "a": 1,
      "r": 0,
      "form_degree": 6,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": 1
    },
    {
      "n": 6,
      "a": 1,
      "r": 1,
      "form_degree": 5,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": 1
    },
    {
      "n": 6,
      "a": 1,
      "r": 2,
      "form_degree": 4,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": -1
    },
    {
      "n": 6,
      "a": 1,
      "r": 3,
      "form_degree": 3,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": -1
    },
    {
      "n": 6,
      "a": 1,
      "r": 4,
      "form_degree": 2,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": 1
    },
    {
      "n": 6,
      "a": 1,
      "r": 5,
      "form_degree": 1,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": 1
    },
    {
      "n": 6,
      "a": 1,
      "r": 6,
      "form_degree": 0,
      "tensor_degree": -5,
      "shifted_form_degree": -5,
      "sign": -1
    },
    {
      "n": 6,
      "a": 2,
      "r": 0,
      "form_degree": 6,
      "tensor_degree": 2,
      "shifted_form_degree": 2,
      "sign": 1
    },
    {
      "n": 6,
      "a": 2,
      "r": 1,
      "form_degree": 5,
      "tensor_degree": 1,
      "shifted_form_degree": 1,
      "sign": -1
    },
    {
      "n": 6,
      "a": 2,
      "r": 2,
      "form_degree": 4,
      "tensor_degree": 0,
      "shifted_form_degree": 0,
      "sign": -1
    },
    {
      "n": 6,
      "a": 2,
      "r": 3,
      "form_degree": 3,
      "tensor_degree": -1,
      "shifted_form_degree": -1,
      "sign": 1
    },
    {
      "n": 6,
      "a": 2,
      "r": 4,
      "form_degree": 2,
      "tensor_degree": -2,
      "shifted_form_degree": -2,
      "sign": 1
    },
    {
      "n": 6,
      "a": 2,
      "r": 5,
      "form_degree": 1,
      "tensor_degree": -3,
      "shifted_form_degree": -3,
      "sign": -1
    },
    {
      "n": 6,
      "a": 2,
      "r": 6,
      "form_degree": 0,
      "tensor_degree": -4,
      "shifted_form_degree": -4,
      "sign": -1
    }
  ],
  "identity_for_all_degrees": "c_r=(-1)^(n+r)c_(r-1); (-1)^((a+1)r)=(-1)^r(-1)^(ar)"
}