published-controls.json

back to table · edit · history · where entries came from · files · download

4619 bytes, as of the version from 2026-11-01 21:32 (current). Recorded here, not run.

{
  "source": "Conway and Norton (1979), Table 4, printed p. 334. Transcribed from scan; H_0 Rademacher constants excluded.",
  "pdf_sha256": "95749268d148ea7e5b4b21ad6c053100d34e31e512664095260b01d8bf285f9e",
  "coefficients": {
    "1A": [
      196884,
      21493760,
      864299970,
      20245856256,
      333202640600,
      4252023300096,
      44656994071935,
      401490886656000,
      3176440229784420,
      22567393309593600
    ],
    "2A": [
      4372,
      96256,
      1240002,
      10698752,
      74428120,
      431529984,
      2206741887,
      10117578752,
      42616961892,
      166564106240
    ],
    "2B": [
      276,
      -2048,
      11202,
      -49152,
      184024,
      -614400,
      1881471,
      -5373952,
      14478180,
      -37122048
    ],
    "3A": [
      783,
      8672,
      65367,
      371520,
      1741655,
      7161696,
      26567946,
      90521472,
      288078201,
      864924480
    ],
    "3B": [
      54,
      -76,
      -243,
      1188,
      -1384,
      -2916,
      11934,
      -11580,
      -21870,
      79704
    ],
    "3C": [
      0,
      248,
      0,
      0,
      4124,
      0,
      0,
      34752,
      0,
      0
    ],
    "4A": [
      276,
      2048,
      11202,
      49152,
      184024,
      614400,
      1881471,
      5373952,
      14478180,
      37122048
    ],
    "4B": [
      52,
      0,
      834,
      0,
      4760,
      0,
      24703,
      0,
      94980,
      0
    ],
    "4C": [
      20,
      0,
      -62,
      0,
      216,
      0,
      -641,
      0,
      1636,
      0
    ],
    "4D": [
      -12,
      0,
      66,
      0,
      -232,
      0,
      639,
      0,
      -1596,
      0
    ],
    "5A": [
      134,
      760,
      3345,
      12256,
      39350,
      114096,
      307060,
      776000,
      1867170,
      4298600
    ],
    "5B": [
      9,
      10,
      -30,
      6,
      -25,
      96,
      60,
      -250,
      45,
      -150
    ],
    "6A": [
      79,
      352,
      1431,
      4160,
      13015,
      31968,
      81162,
      183680,
      412857,
      864320
    ],
    "6B": [
      78,
      364,
      1365,
      4380,
      12520,
      32772,
      80094,
      185276,
      409578,
      871272
    ],
    "6C": [
      15,
      -32,
      87,
      -192,
      343,
      -672,
      1290,
      -2176,
      3705,
      -6336
    ],
    "6D": [
      -2,
      28,
      -27,
      -52,
      136,
      -108,
      -162,
      620,
      -486,
      -760
    ],
    "6E": [
      6,
      4,
      -3,
      -12,
      -8,
      12,
      30,
      20,
      -30,
      -72
    ],
    "6F": [
      0,
      -8,
      0,
      0,
      28,
      0,
      0,
      -64,
      0,
      0
    ],
    "7A": [
      51,
      204,
      681,
      1956,
      5135,
      12360,
      28119,
      60572,
      125682,
      251040
    ],
    "7B": [
      2,
      8,
      -5,
      -4,
      -10,
      12,
      -7,
      8,
      46,
      -36
    ],
    "8A": [
      36,
      128,
      386,
      1024,
      2488,
      5632,
      12031,
      24576,
      48308,
      91904
    ],
    "8B": [
      12,
      0,
      66,
      0,
      232,
      0,
      639,
      0,
      1596,
      0
    ],
    "8C": [
      0,
      0,
      26,
      0,
      0,
      0,
      79,
      0,
      0,
      0
    ],
    "8D": [
      -4,
      0,
      2,
      0,
      8,
      0,
      -1,
      0,
      -20,
      0
    ],
    "8E": [
      4,
      0,
      2,
      0,
      -8,
      0,
      -1,
      0,
      20,
      0
    ],
    "8F": [
      0,
      0,
      -6,
      0,
      0,
      0,
      15,
      0,
      0,
      0
    ],
    "9A": [
      27,
      86,
      243,
      594,
      1370,
      2916,
      5967,
      11586,
      21870,
      39852
    ],
    "9B": [
      0,
      5,
      0,
      0,
      -7,
      0,
      0,
      3,
      0,
      0
    ],
    "10A": [
      22,
      56,
      177,
      352,
      870,
      1584,
      3412,
      5952,
      11442,
      19240
    ],
    "10B": [
      6,
      -8,
      17,
      -32,
      54,
      -80,
      116,
      -192,
      290,
      -408
    ],
    "10C": [
      -3,
      6,
      2,
      2,
      -5,
      -16,
      12,
      2,
      17,
      -10
    ],
    "10D": [
      21,
      62,
      162,
      378,
      819,
      1680,
      3276,
      6138,
      11145,
      19662
    ],
    "10E": [
      1,
      2,
      2,
      -2,
      -1,
      0,
      -4,
      -2,
      5,
      2
    ]
  }
}