files / problems / kissing-5d / compute / q4 / special_octads.json

2.3 KB · on GitHub

{
  "n": 10,
  "octads": [
    {
      "U": 13107,
      "U_bits": [
        0,
        1,
        4,
        5,
        8,
        9,
        12,
        13
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 53673989,
      "U_bits": [
        0,
        2,
        16,
        17,
        20,
        21,
        24,
        25
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 13690536016,
      "U_bits": [
        4,
        6,
        16,
        18,
        28,
        29,
        32,
        33
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 207505851648,
      "U_bits": [
        8,
        10,
        20,
        22,
        28,
        30,
        36,
        37
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 730312253440,
      "U_bits": [
        13,
        15,
        25,
        27,
        33,
        35,
        37,
        39
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 365156126720,
      "U_bits": [
        12,
        14,
        24,
        26,
        32,
        34,
        36,
        38
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 827328563712,
      "U_bits": [
        9,
        11,
        21,
        23,
        29,
        31,
        38,
        39
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 54761488544,
      "U_bits": [
        5,
        7,
        17,
        19,
        30,
        31,
        34,
        35
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 214695946,
      "U_bits": [
        1,
        3,
        18,
        19,
        22,
        23,
        26,
        27
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    },
    {
      "U": 52428,
      "U_bits": [
        2,
        3,
        6,
        7,
        10,
        11,
        14,
        15
      ],
      "n_seeds": 16,
      "n_four": 16,
      "n_six": 0,
      "pool": 80
    }
  ],
  "pairwise_union_sizes": [
    15,
    16
  ]
}