{
  "scope": "native all-plus central sector only; not a full-six-root zero-vacuum certificate",
  "identity": "1-W(-4,0;4,0)=G+(W(hprime)-1)*edge_right+(W(sprime)+A^2)*moment_right",
  "tetrahedron_left_multipliers": [
    [
      1,
      1,
      1,
      4,
      1
    ],
    [
      2,
      2,
      0,
      4,
      -1
    ],
    [
      1,
      1,
      0,
      4,
      -1
    ],
    [
      1,
      0,
      2,
      4,
      1
    ],
    [
      2,
      1,
      1,
      4,
      -1
    ],
    [
      2,
      0,
      1,
      4,
      1
    ],
    [
      1,
      0,
      1,
      0,
      -1
    ],
    [
      2,
      1,
      0,
      0,
      1
    ]
  ],
  "hprime": [
    -1,
    -1,
    1,
    1
  ],
  "sprime": [
    -1,
    0,
    0,
    1
  ],
  "G": [
    {
      "root": [
        -2,
        0,
        2,
        0
      ],
      "A_degree": "-2",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        -2,
        0,
        2,
        2
      ],
      "A_degree": "2",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        -2,
        0,
        4,
        -2
      ],
      "A_degree": "0",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        -2,
        0,
        4,
        0
      ],
      "A_degree": "0",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        0,
        -2,
        2,
        0
      ],
      "A_degree": "4",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        0,
        -2,
        4,
        -2
      ],
      "A_degree": "2",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        0,
        -2,
        4,
        0
      ],
      "A_degree": "4",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        0,
        -2,
        6,
        -2
      ],
      "A_degree": "6",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        0,
        0,
        2,
        0
      ],
      "A_degree": "0",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        0,
        0,
        2,
        0
      ],
      "A_degree": "4",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        0,
        0,
        4,
        -2
      ],
      "A_degree": "0",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        0,
        0,
        4,
        -2
      ],
      "A_degree": "4",
      "coefficient": [
        1,
        0
      ]
    }
  ],
  "edge_right": [
    {
      "root": [
        1,
        -1,
        1,
        -1
      ],
      "A_degree": "4",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        1,
        -1,
        3,
        -3
      ],
      "A_degree": "2",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        1,
        -1,
        3,
        -1
      ],
      "A_degree": "3",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        1,
        -1,
        5,
        -3
      ],
      "A_degree": "5",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        2,
        0,
        0,
        -2
      ],
      "A_degree": "4",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        2,
        0,
        2,
        -4
      ],
      "A_degree": "2",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        2,
        0,
        2,
        -2
      ],
      "A_degree": "2",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        2,
        0,
        4,
        -4
      ],
      "A_degree": "4",
      "coefficient": [
        1,
        0
      ]
    }
  ],
  "moment_right": [
    {
      "root": [
        -3,
        0,
        4,
        -1
      ],
      "A_degree": "-2",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        -2,
        0,
        4,
        -2
      ],
      "A_degree": "-2",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        -1,
        0,
        2,
        -1
      ],
      "A_degree": "-3",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        -1,
        0,
        2,
        1
      ],
      "A_degree": "1",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        -1,
        0,
        4,
        -1
      ],
      "A_degree": "-2",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        0,
        0,
        2,
        -2
      ],
      "A_degree": "-2",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        0,
        0,
        2,
        0
      ],
      "A_degree": "2",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        0,
        0,
        4,
        -2
      ],
      "A_degree": "-2",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        1,
        0,
        0,
        -1
      ],
      "A_degree": "0",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        1,
        0,
        2,
        -3
      ],
      "A_degree": "-1",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        1,
        0,
        2,
        -1
      ],
      "A_degree": "-1",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        1,
        0,
        4,
        -3
      ],
      "A_degree": "2",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        2,
        0,
        0,
        -2
      ],
      "A_degree": "2",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        2,
        0,
        2,
        -4
      ],
      "A_degree": "0",
      "coefficient": [
        -1,
        0
      ]
    },
    {
      "root": [
        2,
        0,
        2,
        -2
      ],
      "A_degree": "0",
      "coefficient": [
        1,
        0
      ]
    },
    {
      "root": [
        2,
        0,
        4,
        -4
      ],
      "A_degree": "2",
      "coefficient": [
        1,
        0
      ]
    }
  ]
}