{
  "description": "Doche limit-point construction with jointly optimized denominator multiplicities",
  "target": "0.25360615",
  "grid": 131072,
  "numeric_unverified": 0.25360614820697963,
  "denominator": [
    {
      "name": "Q1",
      "coeffs": [
        1,
        -7,
        30,
        -97,
        269,
        -679,
        1612,
        -3618,
        7646,
        -15180,
        28457,
        -50741,
        86189,
        -138288,
        206152,
        -279897,
        339335,
        -360911,
        331775,
        -260367,
        172556,
        -95554,
        43677,
        -16221,
        4786,
        -1084,
        178,
        -19,
        1
      ],
      "multiplicity": 1726120
    },
    {
      "name": "Q2",
      "coeffs": [
        1,
        -7,
        30,
        -96,
        255,
        -586,
        1212,
        -2360,
        4573,
        -9148,
        18749,
        -37783,
        71770,
        -124910,
        195848,
        -273368,
        335981,
        -359545,
        331349,
        -260271,
        172542,
        -95553,
        43677,
        -16221,
        4786,
        -1084,
        178,
        -19,
        1
      ],
      "multiplicity": 605173
    },
    {
      "name": "R0",
      "coeffs": [
        1,
        -7,
        31,
        -107,
        321,
        -867,
        2148,
        -4922,
        10497,
        -20908,
        38973,
        -68026,
        111075,
        -169111,
        238522,
        -308360,
        360033,
        -373190,
        337618,
        -262546,
        173171,
        -95678,
        43693,
        -16222,
        4786,
        -1084,
        178,
        -19,
        1
      ],
      "multiplicity": 730845
    },
    {
      "name": "R2",
      "coeffs": [
        1,
        -7,
        29,
        -86,
        202,
        -387,
        618,
        -861,
        1256,
        -2589,
        7105,
        -19328,
        45963,
        -93546,
        163248,
        -244838,
        315271,
        -347265,
        325506,
        -258092,
        171927,
        -95429,
        43661,
        -16220,
        4786,
        -1084,
        178,
        -19,
        1
      ],
      "multiplicity": 773505
    },
    {
      "name": "P7",
      "coeffs": [
        1,
        -3,
        8,
        -18,
        36,
        -62,
        97,
        -123,
        114,
        -73,
        31,
        -8,
        1
      ],
      "multiplicity": 503781
    },
    {
      "name": "P9",
      "coeffs": [
        1,
        -4,
        10,
        -17,
        26,
        -47,
        119,
        -298,
        592,
        -878,
        963,
        -780,
        464,
        -199,
        59,
        -11,
        1
      ],
      "multiplicity": 670143
    }
  ],
  "numerator": [
    {
      "name": "P1",
      "coeffs": [
        1,
        0
      ],
      "q_rational": "598783061341/31250"
    },
    {
      "name": "P2",
      "coeffs": [
        -1,
        1
      ],
      "q_rational": "8513269514009/500000"
    },
    {
      "name": "P3",
      "coeffs": [
        1,
        1,
        -2,
        1
      ],
      "q_rational": "800278723623/1000000"
    },
    {
      "name": "P4",
      "coeffs": [
        1,
        -2,
        4,
        -3,
        1
      ],
      "q_rational": "465281401277/125000"
    },
    {
      "name": "P6",
      "coeffs": [
        1,
        -3,
        8,
        -16,
        26,
        -27,
        17,
        -6,
        1
      ],
      "q_rational": "257780859473/100000"
    },
    {
      "name": "P8",
      "coeffs": [
        1,
        -3,
        7,
        -14,
        30,
        -58,
        96,
        -123,
        114,
        -73,
        31,
        -8,
        1
      ],
      "q_rational": "51510637553/40000"
    }
  ]
}