{
  "q": 18446744073709551616,
  "p": 2305843009213693951,
  "PH_numerator": 151,
  "ENH_with_PH_numerator": 205,
  "tail_weighted_numerator": 435,
  "generic_envelope": [
    490219284845476965364406613417259958272,
    8507059173023461316800733107792013239
  ],
  "tail_envelope": [
    479585460879197645824437390676821278720,
    8507059173023461316800733107792013239
  ],
  "published_coefficient": 64,
  "proved_coefficient": 58,
  "epsilon_L2": [
    207987039431075193985,
    8507059173023461316800733107792013239
  ],
  "score_ratio": [
    17014118346046922633601466215584026478,
    207987039431075193985
  ],
  "score_display": "56.183016376744619008249563169703151310272803851610",
  "score_interval": [
    "56.18",
    "56.19"
  ],
  "lengths_checked": 4111,
  "Published64_proved_on_paper": true,
  "SharpPrimaryProjection_proved": false,
  "counterexample": false
}