{
  "maxima": [
    {
      "r": 1,
      "k": 2,
      "targets": 61504,
      "numerator": 9254376653942083678793252177813914647498701406208,
      "denominator": 340282366920938463463374607431768211456,
      "ceiling": 27196168693
    },
    {
      "r": 2,
      "k": 2,
      "targets": 4096,
      "numerator": 4572673850266654775368111808802280000243330187264,
      "denominator": 340282366920938463463374607431768211456,
      "ceiling": 13437880698
    },
    {
      "r": 3,
      "k": 2,
      "targets": 4,
      "numerator": 91343874111252915328542570866686866576853958656,
      "denominator": 340282366920938463463374607431768211456,
      "ceiling": 268435521
    },
    {
      "r": "all_r_ge_4",
      "k": 2,
      "targets": 362952,
      "numerator": 3152662688168640344103384884752,
      "denominator": 18446744073709551616,
      "ceiling": 170906186782
    }
  ],
  "primary_small_r": [
    {
      "r": 0,
      "numerator": 257677956279630303999,
      "denominator": 18446744073709551616,
      "ceiling": 14
    },
    {
      "r": 1,
      "numerator": 41288870062750003187,
      "denominator": 288230376151711744,
      "ceiling": 144
    },
    {
      "r": 2,
      "numerator": 16140861129417981775,
      "denominator": 288230376151711744,
      "ceiling": 56
    },
    {
      "r": 3,
      "numerator": 18446744073709556621,
      "denominator": 2305843009213693952,
      "ceiling": 9
    }
  ],
  "tag_pair_upper_bound": 2296835809958952960,
  "divisor_product": [
    127401984,
    25025
  ],
  "certificate_sha256": "10360dffb4aaabec95e192dbf903bbbfec43eac12e600a9c582309a553053b39"
}