robust_kernel_vectors.json

{
  "description": "Selected integer vectors returned by weighted LLL; no minimality assertion. Each is checked against every affine rough-part constraint for the fixed-prime class with all prime-power values prescribed.",
  "vectors": [
    {
      "J": 8,
      "B": 8,
      "R": 24,
      "y": 2,
      "cost": 501,
      "z": [
        -1,
        1,
        0,
        2,
        7,
        -2,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1,
        1,
        0,
        0,
        -1,
        0
      ]
    },
    {
      "J": 16,
      "B": 16,
      "R": 48,
      "y": 2,
      "cost": 229753,
      "z": [
        192,
        206,
        -103,
        -50,
        57,
        14,
        -15,
        132,
        118,
        -92,
        286,
        -51,
        -46,
        0,
        -258,
        -197,
        163,
        -138,
        69,
        -90,
        -295,
        -166,
        168,
        -54,
        27,
        -44,
        128,
        715,
        -384,
        -96,
        48,
        44,
        -22
      ]
    },
    {
      "J": 32,
      "B": 32,
      "R": 96,
      "y": 2,
      "cost": 77140135673,
      "z": [
        8192,
        0,
        -134219776,
        -25037794,
        46073841,
        0,
        -8388736,
        -17325340,
        -35134372,
        -232675,
        11589894,
        -12868550,
        6434275,
        0,
        -28302500,
        -12559396,
        14279061,
        -18932767,
        9235449,
        0,
        0,
        -26030418,
        13015209,
        -6166602,
        3083301,
        0,
        0,
        0,
        0,
        -840896,
        420448,
        23395552,
        -11697776,
        -8192,
        4096,
        11093728,
        -5546864,
        134217728,
        -4238304,
        -20522936,
        -5456172,
        2943266,
        -1471633,
        20853290,
        -10426645,
        8388608,
        -4194304,
        -14069546,
        -28839085,
        20034081,
        -1048576,
        11589886,
        -5794943,
        5297368,
        -2648684,
        131072,
        20910056,
        -10487798,
        1,
        5683136,
        -2841568,
        32768,
        -16384,
        -12499606,
        6249803
      ]
    },
    {
      "J": 32,
      "B": 32,
      "R": 96,
      "y": 5,
      "cost": 22313,
      "z": [
        -1,
        -1,
        0,
        -4,
        -4,
        0,
        3,
        0,
        0,
        4,
        7,
        23,
        45,
        -4,
        -2,
        -2,
        -2,
        -2,
        -2,
        -4,
        -3,
        -1,
        -2,
        -2,
        0,
        -1,
        1,
        -2,
        -5,
        -1,
        -2,
        -2,
        -2,
        -4,
        -5,
        -2,
        -1,
        -2,
        -4,
        -3,
        -5,
        0,
        0,
        -1,
        1,
        -2,
        -5,
        -1,
        -2,
        -2,
        -2,
        2,
        4,
        12,
        25,
        -2,
        -3,
        0,
        -1,
        -3,
        -2,
        -2,
        -2,
        0,
        1
      ]
    },
    {
      "J": 32,
      "B": 32,
      "R": 128,
      "y": 7,
      "cost": 650,
      "z": [
        0,
        -1,
        -2,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        -1,
        0,
        0,
        0,
        -1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ]
    }
  ]
}