{
  "status": "PASS",
  "checks": 15380,
  "factor_models": 64,
  "strassmann_finite_divisions": 630,
  "cubic_factor_rows": [
    {
      "n": 1,
      "g": [
        0,
        0,
        1
      ],
      "h": [
        2,
        1
      ]
    },
    {
      "n": 2,
      "g": [
        6,
        0,
        1
      ],
      "h": [
        8,
        1
      ]
    },
    {
      "n": 3,
      "g": [
        24,
        0,
        1
      ],
      "h": [
        26,
        1
      ]
    },
    {
      "n": 4,
      "g": [
        51,
        54,
        1
      ],
      "h": [
        26,
        1
      ]
    },
    {
      "n": 5,
      "g": [
        132,
        135,
        1
      ],
      "h": [
        107,
        1
      ]
    },
    {
      "n": 6,
      "g": [
        375,
        378,
        1
      ],
      "h": [
        350,
        1
      ]
    },
    {
      "n": 7,
      "g": [
        375,
        1836,
        1
      ],
      "h": [
        350,
        1
      ]
    },
    {
      "n": 8,
      "g": [
        375,
        1836,
        1
      ],
      "h": [
        4724,
        1
      ]
    }
  ],
  "cubic_product_quotient": [
    -270,
    -1322,
    -1
  ],
  "newton_binary": [
    {
      "n": 0,
      "a": "1",
      "residual_v": 4,
      "error_v": 3
    },
    {
      "n": 1,
      "a": "9",
      "residual_v": 6,
      "error_v": 5
    },
    {
      "n": 2,
      "a": "49/9",
      "residual_v": 10,
      "error_v": 9
    },
    {
      "n": 3,
      "a": "1889/441",
      "residual_v": 18,
      "error_v": 17
    },
    {
      "n": 4,
      "a": "3437249/833049",
      "residual_v": 34,
      "error_v": 33
    },
    {
      "n": 5,
      "a": "11806090753409/2863396842201",
      "residual_v": 66,
      "error_v": 65
    }
  ],
  "binary_root_tables": [
    {
      "n": 3,
      "all_roots": [
        1,
        3,
        5,
        7
      ],
      "infinite_branch_residues": [
        1,
        7
      ]
    },
    {
      "n": 4,
      "all_roots": [
        1,
        7,
        9,
        15
      ],
      "infinite_branch_residues": [
        7,
        9
      ]
    },
    {
      "n": 5,
      "all_roots": [
        7,
        9,
        23,
        25
      ],
      "infinite_branch_residues": [
        9,
        23
      ]
    },
    {
      "n": 6,
      "all_roots": [
        9,
        23,
        41,
        55
      ],
      "infinite_branch_residues": [
        23,
        41
      ]
    },
    {
      "n": 7,
      "all_roots": [
        23,
        41,
        87,
        105
      ],
      "infinite_branch_residues": [
        23,
        105
      ]
    },
    {
      "n": 8,
      "all_roots": [
        23,
        105,
        151,
        233
      ],
      "infinite_branch_residues": [
        23,
        233
      ]
    },
    {
      "n": 9,
      "all_roots": [
        23,
        233,
        279,
        489
      ],
      "infinite_branch_residues": [
        233,
        279
      ]
    },
    {
      "n": 10,
      "all_roots": [
        233,
        279,
        745,
        791
      ],
      "infinite_branch_residues": [
        279,
        745
      ]
    },
    {
      "n": 11,
      "all_roots": [
        279,
        745,
        1303,
        1769
      ],
      "infinite_branch_residues": [
        279,
        1769
      ]
    },
    {
      "n": 12,
      "all_roots": [
        279,
        1769,
        2327,
        3817
      ],
      "infinite_branch_residues": [
        1769,
        2327
      ]
    }
  ],
  "rho_mod_3_18": 244635283,
  "beta_mod_3_18": 72448399,
  "common_mod_3_16": 29401678,
  "difference_div_3_16": -4,
  "scope": "Exact finite certificates and tail-controlled truncations; general proofs are in the text."
}