files / problems / kissing-5d / compute / q7 / orbits.json

1.2 KB · on GitHub

{
  "aut_order": 3840,
  "n_five_star": 252,
  "type_counts": {
    "0_5": 32,
    "1_3": 160,
    "2_1": 60
  },
  "orbits": {
    "k32_n2_1": {
      "rep": [
        0,
        1,
        2,
        3,
        4
      ],
      "type": [
        2,
        1
      ],
      "k": 32,
      "n_extras": 528,
      "orbit_size": 60,
      "type_size": 60,
      "transitive": true
    },
    "k31_n1_3": {
      "rep": [
        0,
        1,
        2,
        4,
        6
      ],
      "type": [
        1,
        3
      ],
      "k": 31,
      "n_extras": 596,
      "orbit_size": 160,
      "type_size": 160,
      "transitive": true
    },
    "k30_n0_5": {
      "rep": [
        0,
        2,
        4,
        6,
        8
      ],
      "type": [
        0,
        5
      ],
      "k": 30,
      "n_extras": 625,
      "orbit_size": 32,
      "type_size": 32,
      "transitive": true
    }
  },
  "transitive": true,
  "graph_spot_ok": true,
  "n_adj_checks": 2166,
  "d5_preserved_spot": true,
  "q6_cutoff_all_type_2_1": true,
  "found_41": false,
  "comment": "Signed permutations act transitively on each 5-star type.  A leftover-tight certificate on one representative empties that type.  Restricted; not an unrestricted bound."
}