{
  "status": "PASS",
  "assertions": 160773,
  "groups": {
    "transformed_reduction": 17728,
    "representation_complete_square": 26592,
    "composition_certificate": 6590,
    "independent_lattice_product": 6590,
    "composition_representative_choice": 6590,
    "bilinear_composition_identity": 19770,
    "group_identity_inverse": 736,
    "group_associativity": 75958,
    "large_integer_reduction": 30,
    "ideal_oriented_inverse": 168,
    "invalid_input_rejected": 8,
    "damaged_reduction_rejected": 4,
    "damaged_composition_rejected": 5,
    "thirteen_principal_obstruction": 1,
    "thirteen_nonprincipal_witness": 1,
    "thirteen_prime_ideal": 2
  },
  "capstone": {
    "reduction": {
      "input": [
        24,
        83,
        72
      ],
      "reduced": [
        2,
        1,
        3
      ],
      "matrix": [
        -2,
        5,
        1,
        -3
      ],
      "steps": [
        {
          "op": "T",
          "k": -2,
          "before": [
            24,
            83,
            72
          ],
          "after": [
            24,
            -13,
            2
          ],
          "matrix": [
            1,
            -2,
            0,
            1
          ]
        },
        {
          "op": "S",
          "before": [
            24,
            -13,
            2
          ],
          "after": [
            2,
            13,
            24
          ],
          "matrix": [
            0,
            -1,
            1,
            0
          ]
        },
        {
          "op": "T",
          "k": -3,
          "before": [
            2,
            13,
            24
          ],
          "after": [
            2,
            1,
            3
          ],
          "matrix": [
            1,
            -3,
            0,
            1
          ]
        }
      ]
    },
    "nonstandard_ideal_basis": {
      "form": [
        24,
        83,
        72
      ],
      "index": 2,
      "basis": [
        [
          6,
          1
        ],
        [
          10,
          2
        ]
      ],
      "recovery_scalar": [
        "1/4",
        "1/24"
      ]
    },
    "-20": {
      "forms": [
        [
          1,
          0,
          5
        ],
        [
          2,
          2,
          3
        ]
      ],
      "table": [
        [
          0,
          1
        ],
        [
          1,
          0
        ]
      ],
      "indexing": "zero-based indices in forms list"
    },
    "-23": {
      "forms": [
        [
          1,
          1,
          6
        ],
        [
          2,
          -1,
          3
        ],
        [
          2,
          1,
          3
        ]
      ],
      "table": [
        [
          0,
          1,
          2
        ],
        [
          1,
          2,
          0
        ],
        [
          2,
          0,
          1
        ]
      ],
      "indexing": "zero-based indices in forms list"
    },
    "-84": {
      "forms": [
        [
          1,
          0,
          21
        ],
        [
          2,
          2,
          11
        ],
        [
          3,
          0,
          7
        ],
        [
          5,
          4,
          5
        ]
      ],
      "table": [
        [
          0,
          1,
          2,
          3
        ],
        [
          1,
          0,
          3,
          2
        ],
        [
          2,
          3,
          0,
          1
        ],
        [
          3,
          2,
          1,
          0
        ]
      ],
      "indexing": "zero-based indices in forms list"
    },
    "A_squared": {
      "inputs": [
        [
          2,
          1,
          3
        ],
        [
          2,
          1,
          3
        ]
      ],
      "second_input_matrix": [
        0,
        -1,
        1,
        0
      ],
      "second_representative": [
        3,
        -1,
        2
      ],
      "common_B": 5,
      "common_forms": [
        [
          2,
          5,
          6
        ],
        [
          3,
          5,
          4
        ]
      ],
      "raw_product": [
        6,
        5,
        2
      ],
      "reduction": {
        "input": [
          6,
          5,
          2
        ],
        "reduced": [
          2,
          -1,
          3
        ],
        "matrix": [
          0,
          -1,
          1,
          1
        ],
        "steps": [
          {
            "op": "S",
            "before": [
              6,
              5,
              2
            ],
            "after": [
              2,
              -5,
              6
            ],
            "matrix": [
              0,
              -1,
              1,
              0
            ]
          },
          {
            "op": "T",
            "k": 1,
            "before": [
              2,
              -5,
              6
            ],
            "after": [
              2,
              -1,
              3
            ],
            "matrix": [
              1,
              1,
              0,
              1
            ]
          }
        ]
      },
      "reduced": [
        2,
        -1,
        3
      ]
    },
    "A_times_inverse": {
      "inputs": [
        [
          2,
          1,
          3
        ],
        [
          2,
          -1,
          3
        ]
      ],
      "second_input_matrix": [
        0,
        -1,
        1,
        0
      ],
      "second_representative": [
        3,
        1,
        2
      ],
      "common_B": 1,
      "common_forms": [
        [
          2,
          1,
          3
        ],
        [
          3,
          1,
          2
        ]
      ],
      "raw_product": [
        6,
        1,
        1
      ],
      "reduction": {
        "input": [
          6,
          1,
          1
        ],
        "reduced": [
          1,
          1,
          6
        ],
        "matrix": [
          0,
          -1,
          1,
          1
        ],
        "steps": [
          {
            "op": "S",
            "before": [
              6,
              1,
              1
            ],
            "after": [
              1,
              -1,
              6
            ],
            "matrix": [
              0,
              -1,
              1,
              0
            ]
          },
          {
            "op": "T",
            "k": 1,
            "before": [
              1,
              -1,
              6
            ],
            "after": [
              1,
              1,
              6
            ],
            "matrix": [
              1,
              1,
              0,
              1
            ]
          }
        ]
      },
      "reduced": [
        1,
        1,
        6
      ]
    },
    "representations_13": {
      "(1, 1, 6)": [],
      "(2, -1, 3)": [
        [
          -2,
          1
        ],
        [
          2,
          -1
        ]
      ],
      "(2, 1, 3)": [
        [
          -2,
          -1
        ],
        [
          2,
          1
        ]
      ]
    },
    "A_squared_direct_ideal": {
      "product_generators": [
        [
          4,
          0
        ],
        [
          0,
          2
        ],
        [
          0,
          2
        ],
        [
          -6,
          1
        ]
      ],
      "hnf": [
        [
          4,
          0
        ],
        [
          2,
          1
        ]
      ],
      "index": 4,
      "norm_form": [
        4,
        5,
        3
      ],
      "reduced": [
        2,
        -1,
        3
      ]
    },
    "prime_ideals_13": [
      {
        "theta_mod_13": 5,
        "positive_basis": [
          [
            13,
            0
          ],
          [
            -5,
            1
          ]
        ],
        "norm_form": [
          13,
          -9,
          2
        ],
        "reduction": {
          "input": [
            13,
            -9,
            2
          ],
          "reduced": [
            2,
            1,
            3
          ],
          "matrix": [
            0,
            -1,
            1,
            -2
          ],
          "steps": [
            {
              "op": "S",
              "before": [
                13,
                -9,
                2
              ],
              "after": [
                2,
                9,
                13
              ],
              "matrix": [
                0,
                -1,
                1,
                0
              ]
            },
            {
              "op": "T",
              "k": -2,
              "before": [
                2,
                9,
                13
              ],
              "after": [
                2,
                1,
                3
              ],
              "matrix": [
                1,
                -2,
                0,
                1
              ]
            }
          ]
        }
      },
      {
        "theta_mod_13": 9,
        "positive_basis": [
          [
            13,
            0
          ],
          [
            4,
            1
          ]
        ],
        "norm_form": [
          13,
          9,
          2
        ],
        "reduction": {
          "input": [
            13,
            9,
            2
          ],
          "reduced": [
            2,
            -1,
            3
          ],
          "matrix": [
            0,
            -1,
            1,
            2
          ],
          "steps": [
            {
              "op": "S",
              "before": [
                13,
                9,
                2
              ],
              "after": [
                2,
                -9,
                13
              ],
              "matrix": [
                0,
                -1,
                1,
                0
              ]
            },
            {
              "op": "T",
              "k": 2,
              "before": [
                2,
                -9,
                13
              ],
              "after": [
                2,
                -1,
                3
              ],
              "matrix": [
                1,
                2,
                0,
                1
              ]
            }
          ]
        }
      }
    ]
  },
  "limits": [
    "Exact finite tests complement, not replace, the proofs.",
    "Coprime representative search is terminating; no polynomial bit-time claim is made.",
    "Composition excludes nonfundamental discriminants and nonprimitive forms."
  ]
}