files / problems / covering / compute / q13 / manifest.json

2.1 KB · on GitHub

{
  "certificate": "compute/q13/verify_q13.c and compute/q13/run_all.sh",
  "claim": "ell_2(44,3) <= 52351",
  "coarse_block_sizes": [
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    8,
    1,
    3,
    2,
    8,
    8,
    8,
    2,
    1,
    9,
    31
  ],
  "coarse_partition": "compute/q13/partition_r26_n817_p34.txt",
  "coarse_partition_blocks": 34,
  "coarse_partition_sha256": "0e1e0176fa1d1abed2eda315415cf915b4911af3c5f005230bc04c7027363d14",
  "construction": "QM_4^3, Theorem 6.1, equations (6.4), (6.8)",
  "density_denominator": 34359738368,
  "density_numerator": 46703963171,
  "distinct_nonzero_columns": 52351,
  "field_degree": 6,
  "field_modulus_hex": "0x43",
  "format": "covering-q13-qm43-manifest-v1",
  "improvement": 64,
  "indicator_values": "star,0,...,63",
  "length": 52351,
  "output": "compute/q13/H_R3_r44_n52351.txt",
  "output_sha256": "86f37723e1f714354b0cfad3e8ffa31733d8cbd31ac9f4a060dd59e98fc12668",
  "published_length_arxiv_2511_02542_table_7_2": 52415,
  "rank": 44,
  "redundancy": 44,
  "refined_block_sizes": [
    1,
    31,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    32,
    8,
    1,
    3,
    2,
    8,
    8,
    8,
    2,
    1,
    9,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1,
    1
  ],
  "refined_partition": "compute/q13/partition_r26_n817_p65.txt",
  "refined_partition_blocks": 65,
  "refined_partition_sha256": "ad1feffcb44417fd3744ad04ba2f9fabe406483c997510d9564bbaea35fc3067",
  "seed": "compute/H_R3_r26_n817.txt",
  "seed_length": 817,
  "seed_redundancy": 26,
  "seed_sha256": "f71724f8164d39389f0ac53d832c6049da93bd96f8f2d1048981a19ca666ae67",
  "star_seed_columns": 1,
  "warning": "The builder is not the certificate; run run_all.sh."
}