{
  "arithmetic": "exact fractions; no floating point",
  "systems": [
    {
      "type": "A1",
      "rank": 1,
      "roots": 2,
      "module_dimension": 3,
      "mixed_commutator_basis_cases": 0,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "A1+A1",
      "rank": 2,
      "roots": 4,
      "module_dimension": 6,
      "mixed_commutator_basis_cases": 12,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "A2",
      "rank": 2,
      "roots": 6,
      "module_dimension": 8,
      "mixed_commutator_basis_cases": 16,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "B2",
      "rank": 2,
      "roots": 8,
      "module_dimension": 10,
      "mixed_commutator_basis_cases": 20,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "G2",
      "rank": 2,
      "roots": 12,
      "module_dimension": 14,
      "mixed_commutator_basis_cases": 28,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "A1+A1+A1",
      "rank": 3,
      "roots": 6,
      "module_dimension": 9,
      "mixed_commutator_basis_cases": 54,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "A2+A1",
      "rank": 3,
      "roots": 8,
      "module_dimension": 11,
      "mixed_commutator_basis_cases": 66,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "B2+A1",
      "rank": 3,
      "roots": 10,
      "module_dimension": 13,
      "mixed_commutator_basis_cases": 78,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "G2+A1",
      "rank": 3,
      "roots": 14,
      "module_dimension": 17,
      "mixed_commutator_basis_cases": 102,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "A3",
      "rank": 3,
      "roots": 12,
      "module_dimension": 15,
      "mixed_commutator_basis_cases": 90,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "B3",
      "rank": 3,
      "roots": 18,
      "module_dimension": 21,
      "mixed_commutator_basis_cases": 126,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    },
    {
      "type": "C3",
      "rank": 3,
      "roots": 18,
      "module_dimension": 21,
      "mixed_commutator_basis_cases": 126,
      "max_generator_residual": "0",
      "max_Serre_residual": "0",
      "max_reflection_residual": "0",
      "all_coroot_coordinates_integral": true
    }
  ],
  "mixed_commutator_basis_cases": 718,
  "all_checks_pass": true,
  "script_sha256": "93dc173ffd6c577036da5b901c1ea890bedfeac96fd8d5abbfb0809a56504a5d"
}