files / problems / caccetta-haggkvist-k3 / compute / certs / hkn_replay.json

2.4 KB · on GitHub

{
  "published_c": 0.3465,
  "recomputed_F_at_published": [
    -38.90639399999974,
    57646.877406,
    60687.669305999996,
    14188.328005999996,
    82704.31760599998,
    20936.110505999994,
    62170.44710599999,
    7373.0518059999995,
    103129.08900599998,
    -7016.173894000014,
    115332.66120599999,
    20048.903905999992,
    90293.20730599998,
    -48442.077894,
    28293.718606,
    1197.6730059999936,
    -53037.69049399999,
    56967.47720599999,
    32927.710505999996,
    22158.34370599999,
    31015.189505999995,
    74349.949006,
    -23144.29949399999,
    -3300.2878940000055,
    -71324.683294,
    2102.212905999997,
    -95620.562294,
    30214.096806,
    -52001.52639400001,
    7398.974005999993,
    38899.898805999976,
    -29075.494194
  ],
  "printed_422": [
    -38.906394,
    -25.96859,
    -4156.34069,
    -16.447994,
    -1172.27439,
    -577.3814,
    -4.57689,
    -10.55419,
    -4042.1489,
    -10.328894,
    -13.03079,
    -1327.03609,
    -2658.54869,
    -9.71489,
    -14574.68439,
    -7.032994,
    -6.85949,
    -11279.04479,
    -7.458494,
    -15538.64129,
    -19.61149,
    -15.87099,
    -12.39949,
    -9949.057894,
    -9.5492,
    -12.557094,
    -17.24429,
    -9.535194,
    -1.24639,
    -3070.47399,
    -17.36519,
    -13.03819
  ],
  "delta_recomputed_minus_printed": [
    2.5579538487363607e-13,
    57672.845996,
    64844.00999599999,
    14204.775999999996,
    83876.59199599999,
    21513.491905999992,
    62175.02399599999,
    7383.605995999999,
    107171.23790599998,
    -7005.845000000014,
    115345.691996,
    21375.939995999994,
    92951.75599599998,
    -48432.363004,
    42868.402996,
    1204.7059999999935,
    -53030.831003999985,
    68246.521996,
    32935.168999999994,
    37696.984995999985,
    31034.800995999994,
    74365.81999599999,
    -23131.900003999992,
    6648.769999999994,
    -71315.13409400001,
    2114.769999999997,
    -95603.318004,
    30223.632,
    -52000.28000400001,
    10469.447995999994,
    38917.26399599997,
    -29062.456004
  ],
  "worst_at_published": {
    "index": 10,
    "value": 114083.24201343999
  },
  "all_negative_at_published": false,
  "certificate_threshold": 0.4,
  "worst_at_threshold": {
    "index": 8,
    "value": 124403.33640000001
  },
  "note": "F is rebuilt from Tables 1\u20132 and (4.14)(4.15)(fork). A negative F certifies emptiness of R(c) for this combination. The two-decimal a_i are used exactly as printed."
}