numerical-evidence.json

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

35903 bytes, as of the version from 2026-11-09 18:48 (current). Recorded here, not run.

{
  "sage": "10.9",
  "pari": "[2, 17, 1]",
  "controls": {
    "Delta_eta_coefficients": 100,
    "Delta_published_odd_polynomial": true,
    "nonzero_exponential_integrals": [
      1,
      2,
      3
    ],
    "description": "The implemented upper-Mellin weights at t=2,T=3 for s=1,2,3 agree with exp(-6) times 1/2,7/4,25/4, respectively, to relative error below 1e-140 and are strictly positive."
  },
  "spaces": [
    {
      "N": 1,
      "k": 4,
      "cusp_dimension": 0,
      "new_dimension": 0,
      "rational_forms": 0
    },
    {
      "N": 1,
      "k": 6,
      "cusp_dimension": 0,
      "new_dimension": 0,
      "rational_forms": 0
    },
    {
      "N": 1,
      "k": 8,
      "cusp_dimension": 0,
      "new_dimension": 0,
      "rational_forms": 0
    },
    {
      "N": 1,
      "k": 10,
      "cusp_dimension": 0,
      "new_dimension": 0,
      "rational_forms": 0
    },
    {
      "N": 1,
      "k": 12,
      "cusp_dimension": 1,
      "new_dimension": 1,
      "rational_forms": 1
    },
    {
      "N": 1,
      "k": 14,
      "cusp_dimension": 0,
      "new_dimension": 0,
      "rational_forms": 0
    },
    {
      "N": 1,
      "k": 16,
      "cusp_dimension": 1,
      "new_dimension": 1,
      "rational_forms": 1
    },
    {
      "N": 1,
      "k": 18,
      "cusp_dimension": 1,
      "new_dimension": 1,
      "rational_forms": 1
    },
    {
      "N": 1,
      "k": 20,
      "cusp_dimension": 1,
      "new_dimension": 1,
      "rational_forms": 1
    },
    {
      "N": 1,
      "k": 22,
      "cusp_dimension": 1,
      "new_dimension": 1,
      "rational_forms": 1
    },
    {
      "N": 1,
      "k": 24,
      "cusp_dimension": 2,
      "new_dimension": 2,
      "rational_forms": 0
    },
    {
      "N": 1,
      "k": 26,
      "cusp_dimension": 1,
      "new_dimension": 1,
      "rational_forms": 1
    },
    {
      "N": 2,
      "k": 12,
      "cusp_dimension": 2,
      "new_dimension": 0,
      "rational_forms": 0
    },
    {
      "N": 3,
      "k": 12,
      "cusp_dimension": 3,
      "new_dimension": 1,
      "rational_forms": 1
    },
    {
      "N": 4,
      "k": 12,
      "cusp_dimension": 4,
      "new_dimension": 1,
      "rational_forms": 1
    },
    {
      "N": 5,
      "k": 12,
      "cusp_dimension": 5,
      "new_dimension": 3,
      "rational_forms": 1
    },
    {
      "N": 6,
      "k": 12,
      "cusp_dimension": 9,
      "new_dimension": 3,
      "rational_forms": 3
    },
    {
      "N": 7,
      "k": 12,
      "cusp_dimension": 7,
      "new_dimension": 5,
      "rational_forms": 0
    },
    {
      "N": 8,
      "k": 12,
      "cusp_dimension": 9,
      "new_dimension": 3,
      "rational_forms": 1
    },
    {
      "N": 9,
      "k": 12,
      "cusp_dimension": 9,
      "new_dimension": 4,
      "rational_forms": 2
    },
    {
      "N": 10,
      "k": 12,
      "cusp_dimension": 15,
      "new_dimension": 5,
      "rational_forms": 3
    }
  ],
  "entries": [
    {
      "N": 1,
      "k": 12,
      "i": 1,
      "polynomial": "4*X^9 - 25*X^7 + 42*X^5 - 25*X^3 + 4*X",
      "polynomial_coefficients": [
        "0",
        "4",
        "0",
        "-25",
        "0",
        "42",
        "0",
        "-25",
        "0",
        "4"
      ],
      "fricke": 1,
      "epsilon": 1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "2.649734913688990454009429710233879204884200765448698751310814121924252043907486006779157211497174203657860261975484697477658616582809721741571054859886688138985725797283e-169"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "6.82831487841815802913601560863916061771527545282019674158159027087977147070628506921646871069375104067521203911361947764899846932546261840254470657006111269362e-159"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "6.270816847825249785669402429030764100925851980564222211664022278949589017817119803259316706654656993415525229213674325371553446846292871386558286846139558927289705900298518027297625366475488664108645e-199"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 1,
      "k": 16,
      "i": 1,
      "polynomial": "36*X^13 - 245*X^11 + 539*X^9 - 660*X^7 + 539*X^5 - 245*X^3 + 36*X",
      "polynomial_coefficients": [
        "0",
        "36",
        "0",
        "-245",
        "0",
        "539",
        "0",
        "-660",
        "0",
        "539",
        "0",
        "-245",
        "0",
        "36"
      ],
      "fricke": 1,
      "epsilon": 1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "5.299469827377980908018859420467758409768401530897397502621628243848504087814972013558314422994348407315720523950969394955317233165619443483142109719773376277971451594566e-169"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "6.595736340067464507624485379449704965329728833986208087903309526970668273939791421818517800678631027309249087673189526191610621160643033676437232220623074687534417446492985396101624615636233318693216053970607869788516375988154439e-229"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "9.10441983789087737218135414485221415695370060376026232210878702783969529427504675895529161425833472090028271881815930353199795910061682453672627542674815025816e-159"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "4.180544565216833190446268286020509400617234653709481474442681519299726011878079868839544471103104662277016819475782883581035631230861914257705524564093039284859803933532345351531750244316992442739097e-199"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 1,
      "k": 18,
      "i": 1,
      "polynomial": "24*X^15 - 154*X^13 + 273*X^11 - 143*X^9 - 143*X^7 + 273*X^5 - 154*X^3 + 24*X",
      "polynomial_coefficients": [
        "0",
        "24",
        "0",
        "-154",
        "0",
        "273",
        "0",
        "-143",
        "0",
        "-143",
        "0",
        "273",
        "0",
        "-154",
        "0",
        "24"
      ],
      "fricke": 1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "1.324867456844495227004714855116939602442100382724349375655407060962126021953743003389578605748587101828930130987742348738829308291404860870785527429943344069492862898642e-169"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "6.82831487841815802913601560863916061771527545282019674158159027087977147070628506921646871069375104067521203911361947764899846932546261840254470657006111269362e-159"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "9.406225271737874678504103643546146151388777970846333317496033418424383526725679704888975059981985490123287843820511488057330170269439307079837430269209338390934558850447777040946438049713232996162967e-199"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 1,
      "k": 20,
      "i": 1,
      "polynomial": "108*X^17 - 715*X^15 + 1452*X^13 - 1560*X^11 + 1430*X^9 - 1560*X^7 + 1452*X^5 - 715*X^3 + 108*X",
      "polynomial_coefficients": [
        "0",
        "108",
        "0",
        "-715",
        "0",
        "1452",
        "0",
        "-1560",
        "0",
        "1430",
        "0",
        "-1560",
        "0",
        "1452",
        "0",
        "-715",
        "0",
        "108"
      ],
      "fricke": 1,
      "epsilon": 1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "2.649734913688990454009429710233879204884200765448698751310814121924252043907486006779157211497174203657860261975484697477658616582809721741571054859886688138985725797283e-169"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "3.297868170033732253812242689724852482664864416993104043951654763485334136969895710909258900339315513654624543836594763095805310580321516838218616110311537343767208723246492698050812307818116659346608026985303934894258187994077220e-229"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "2.27610495947271934304533853621305353923842515094006558052719675695992382356876168973882290356458368022507067970453982588299948977515420613418156885668703756454e-158"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "1.672217826086733276178507314408203760246893861483792589777072607719890404751231947535817788441241864910806727790313153432414252492344765703082209825637215713943921573412938140612700097726796977095639e-198"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 1,
      "k": 22,
      "i": 1,
      "polynomial": "360*X^19 - 2366*X^17 + 4641*X^15 - 4182*X^13 + 1547*X^11 + 1547*X^9 - 4182*X^7 + 4641*X^5 - 2366*X^3 + 360*X",
      "polynomial_coefficients": [
        "0",
        "360",
        "0",
        "-2366",
        "0",
        "4641",
        "0",
        "-4182",
        "0",
        "1547",
        "0",
        "1547",
        "0",
        "-4182",
        "0",
        "4641",
        "0",
        "-2366",
        "0",
        "360"
      ],
      "fricke": 1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "5.299469827377980908018859420467758409768401530897397502621628243848504087814972013558314422994348407315720523950969394955317233165619443483142109719773376277971451594566e-169"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "3.297868170033732253812242689724852482664864416993104043951654763485334136969895710909258900339315513654624543836594763095805310580321516838218616110311537343767208723246492698050812307818116659346608026985303934894258187994077220e-229"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "9.10441983789087737218135414485221415695370060376026232210878702783969529427504675895529161425833472090028271881815930353199795910061682453672627542674815025816e-159"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "2.090272282608416595223134143010254700308617326854740737221340759649863005939039934419772235551552331138508409737891441790517815615430957128852762282046519642429901966766172675765875122158496221369548e-199"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 1,
      "k": 26,
      "i": 1,
      "polynomial": "1080*X^23 - 7106*X^21 + 14025*X^19 - 13167*X^17 + 7106*X^15 - 1938*X^13 - 1938*X^11 + 7106*X^9 - 13167*X^7 + 14025*X^5 - 7106*X^3 + 1080*X",
      "polynomial_coefficients": [
        "0",
        "1080",
        "0",
        "-7106",
        "0",
        "14025",
        "0",
        "-13167",
        "0",
        "7106",
        "0",
        "-1938",
        "0",
        "-1938",
        "0",
        "7106",
        "0",
        "-13167",
        "0",
        "14025",
        "0",
        "-7106",
        "0",
        "1080"
      ],
      "fricke": 1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "2.649734913688990454009429710233879204884200765448698751310814121924252043907486006779157211497174203657860261975484697477658616582809721741571054859886688138985725797283e-169"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "3.297868170033732253812242689724852482664864416993104043951654763485334136969895710909258900339315513654624543836594763095805310580321516838218616110311537343767208723246492698050812307818116659346608026985303934894258187994077220e-229"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "1.36566297568363160582720312172783212354305509056403934831631805417595429414125701384329374213875020813504240782272389552979969386509252368050894131401222253872e-158"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "1.149649755434629127372723778655640085169739529770107405471737417807424653266471963930874729553353782126179625355840292984784798588487026420869019255125585803336446081721394971671231317187172921753252e-198"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 3,
      "k": 12,
      "i": 1,
      "polynomial": "81*X^9 - 72*X^7 + 28*X^5 - 8*X^3 + X",
      "polynomial_coefficients": [
        "0",
        "1",
        "0",
        "-8",
        "0",
        "28",
        "0",
        "-72",
        "0",
        "81"
      ],
      "fricke": 1,
      "epsilon": 1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "1.656084321055619033755893568896174503052625478405436719569258826202657527442178754236973257185733877286162663734677935923536635364256076088481909287429180086866078623302e-170"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "2.061167606271082658632651681078032801665540260620690027469784227178333835606184819318286812712072196034140339897871726934878319112700948023886635068944710839854505452029057936281757692386322912091630016865814959308911367496298262e-230"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "2.84513119934089917880667317026631692404803143867508197565899594619990477946095211217352862945572960028133834963067478235374936221894275766772696107085879695567e-160"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "9.144941236411822604101211875669864313850200804989490725343365823468150650983299713086503530538041448730974292603275057833515443317510437438730834983953523435630821104602005456475703659443420968491774e-200"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 4,
      "k": 12,
      "i": 1,
      "polynomial": "256*X^9 - 96*X^7 + 6*X^3 - X",
      "polynomial_coefficients": [
        "0",
        "-1",
        "0",
        "6",
        "0",
        "0",
        "0",
        "-96",
        "0",
        "256"
      ],
      "fricke": -1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "1.030583803135541329316325840539016400832770130310345013734892113589166917803092409659143406356036098017070169948935863467439159556350474011943317534472355419927252726014528968140878846193161456045815008432907479654455683748149131e-230"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "2.13384839950567438410500487769973769303602357900631148174424695964992858459571408413014647209179720021100376222300608676531202166420706825079522080314409771676e-160"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "1.306420176630260372014458839381409187692885829284212960763337974781164378711899959012357647219720206961567756086182151119073634759644348205532976426279074776518688729228857922353671951349060138355968e-200"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 5,
      "k": 12,
      "i": 2,
      "polynomial": "3125*X^9 - 800*X^7 + 32*X^3 - 5*X",
      "polynomial_coefficients": [
        "0",
        "-5",
        "0",
        "32",
        "0",
        "0",
        "0",
        "-800",
        "0",
        "3125"
      ],
      "fricke": -1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "2.587631751649404740243583701400272661019727310008494874326966915941652386628404303495270714352709183259629162085434274880525992756650118888252983261608093885728247848909e-172"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "3.220574384798566654113518251684426252602406657219828167921537854966146618134663780184823144862612806303344281090424573335747373613595231287322867295226110687272664768795403025440246394353629550143171901352835873920174011712966035e-232"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "6.40154519851702315231501463309921307910807073701893444523274087894978575378714225239043941627539160063301128666901826029593606499262120475238566240943229315027e-160"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "5.103203814961954578181479841333629639425335270641456877981788963988923354343359214892022059452032058443624047211649027808881385779860735177863189165152635845776127848550226259194031059957266165452999e-203"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 6,
      "k": 12,
      "i": 1,
      "polynomial": "6480*X^9 - 1080*X^7 + 81*X^5 - 30*X^3 + 5*X",
      "polynomial_coefficients": [
        "0",
        "5",
        "0",
        "-30",
        "0",
        "81",
        "0",
        "-1080",
        "0",
        "6480"
      ],
      "fricke": 1,
      "epsilon": 1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "1.617269844780877962652239813375170413137329568755309296454354322463532741642752689684544196470443239537268226303396421800328745472906324305158114538505058678580154905568e-173"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "5.152919015677706646581629202695082004163850651551725068674460567945834589015462048295717031780180490085350849744679317337195797781752370059716587672361777099636263630072644840704394230965807280229075042164537398272278418740745656e-231"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "1.06692419975283719205250243884986884651801178950315574087212347982496429229785704206507323604589860010550188111150304338265601083210353412539761040157204885838e-160"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 6,
      "k": 12,
      "i": 2,
      "polynomial": "1296*X^9 - 216*X^7 + 6*X^3 - X",
      "polynomial_coefficients": [
        "0",
        "-1",
        "0",
        "6",
        "0",
        "0",
        "0",
        "-216",
        "0",
        "1296"
      ],
      "fricke": -1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "1.617269844780877962652239813375170413137329568755309296454354322463532741642752689684544196470443239537268226303396421800328745472906324305158114538505058678580154905568e-173"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "1.06692419975283719205250243884986884651801178950315574087212347982496429229785704206507323604589860010550188111150304338265601083210353412539761040157204885838e-160"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 6,
      "k": 12,
      "i": 3,
      "polynomial": "6480*X^9 - 1368*X^7 + 168*X^5 - 38*X^3 + 5*X",
      "polynomial_coefficients": [
        "0",
        "5",
        "0",
        "-38",
        "0",
        "168",
        "0",
        "-1368",
        "0",
        "6480"
      ],
      "fricke": 1,
      "epsilon": 1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "1.293815875824702370121791850700136330509863655004247437163483457970826193314202151747635357176354591629814581042717137440262996378325059444126491630804046942864123924455e-172"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "5.152919015677706646581629202695082004163850651551725068674460567945834589015462048295717031780180490085350849744679317337195797781752370059716587672361777099636263630072644840704394230965807280229075042164537398272278418740745656e-231"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "2.48948979942328678145583902398302730854202750884069672870162145292491668202833309815183755077376340024617105592684043455953069194157491295926109093700144733621e-160"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "3.266050441575650930036147098453522969232214573210532401908344936952910946779749897530894118049300517403919390215455377797684086899110870513832441065697686941296721823072144805884179878372650345889919e-201"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 8,
      "k": 12,
      "i": 2,
      "polynomial": "20480*X^9 - 2048*X^7 + 32*X^3 - 5*X",
      "polynomial_coefficients": [
        "0",
        "-5",
        "0",
        "32",
        "0",
        "0",
        "0",
        "-2048",
        "0",
        "20480"
      ],
      "fricke": -1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "1.656084321055619033755893568896174503052625478405436719569258826202657527442178754236973257185733877286162663734677935923536635364256076088481909287429180086866078623302e-170"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "2.576459507838853323290814601347541002081925325775862534337230283972917294507731024147858515890090245042675424872339658668597898890876185029858293836180888549818131815036322420352197115482903640114537521082268699136139209370372828e-231"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "3.55641399917612397350834146283289615506003929834385246957374493274988097432619014021691078681966200035167293703834347794218670277367844708465870133857349619459e-161"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "1.633025220787825465018073549226761484616107286605266200954172468476455473389874948765447059024650258701959695107727688898842043449555435256916220532848843470648360911536072402942089939186325172944960e-201"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 9,
      "k": 12,
      "i": 1,
      "polynomial": "19683*X^9 - 1296*X^7 + 16*X^3 - 3*X",
      "polynomial_coefficients": [
        "0",
        "-3",
        "0",
        "16",
        "0",
        "0",
        "0",
        "-1296",
        "0",
        "19683"
      ],
      "fricke": -1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "2.070105401319523792194866961120218128815781848006795899461573532753321909302723442796216571482167346607703329668347419904420794205320095110602386609286475108582598279127e-171"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "1.06692419975283719205250243884986884651801178950315574087212347982496429229785704206507323604589860010550188111150304338265601083210353412539761040157204885838e-160"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "1.633025220787825465018073549226761484616107286605266200954172468476455473389874948765447059024650258701959695107727688898842043449555435256916220532848843470648360911536072402942089939186325172944960e-201"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 9,
      "k": 12,
      "i": 3,
      "polynomial": "26244*X^9 - 2187*X^7 + 27*X^3 - 4*X",
      "polynomial_coefficients": [
        "0",
        "-4",
        "0",
        "27",
        "0",
        "0",
        "0",
        "-2187",
        "0",
        "26244"
      ],
      "fricke": -1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "2.576459507838853323290814601347541002081925325775862534337230283972917294507731024147858515890090245042675424872339658668597898890876185029858293836180888549818131815036322420352197115482903640114537521082268699136139209370372828e-231"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "5.33462099876418596026251219424934423259005894751577870436061739912482146148928521032536618022949300052750940555751521691328005416051767062698805200786024429189e-161"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "8.165126103939127325090367746133807423080536433026331004770862342382277366949374743827235295123251293509798475538638444494210217247777176284581102664244217353241804557680362014710449695931625864724798e-201"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 10,
      "k": 12,
      "i": 1,
      "polynomial": "10000*X^9 - 600*X^7 + 6*X^3 - X",
      "polynomial_coefficients": [
        "0",
        "-1",
        "0",
        "6",
        "0",
        "0",
        "0",
        "-600",
        "0",
        "10000"
      ],
      "fricke": -1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "2.516073738123880198526186134128458009845630200952990756188701449192302045417706078269393081923916254924487719601894197918552635635621274443220990074395398974431769350621408613625192495588773086049353047931903026500135946650754715e-234"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "1.77820699958806198675417073141644807753001964917192623478687246637494048716309507010845539340983100017583646851917173897109335138683922354232935066928674809730e-161"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "4.899075662363476395054220647680284453848321859815798602862517405429366420169624846296341177073950776105879085323183066696526130348666305770748661598546530411945082734608217208826269817558975518834879e-201"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 10,
      "k": 12,
      "i": 2,
      "polynomial": "370000*X^9 - 24700*X^7 + 1050*X^5 - 247*X^3 + 37*X",
      "polynomial_coefficients": [
        "0",
        "37",
        "0",
        "-247",
        "0",
        "1050",
        "0",
        "-24700",
        "0",
        "370000"
      ],
      "fricke": 1,
      "epsilon": 1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "1.656084321055619033755893568896174503052625478405436719569258826202657527442178754236973257185733877286162663734677935923536635364256076088481909287429180086866078623302e-170"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "8.051435961996416635283795629211065631506016643049570419803844637415366545336659450462057862156532015758360702726061433339368434033988078218307168238065276718181661921988507563600615985884073875357929753382089684800435029282415087e-233"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "5.33462099876418596026251219424934423259005894751577870436061739912482146148928521032536618022949300052750940555751521691328005416051767062698805200786024429189e-161"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "1.306420176630260372014458839381409187692885829284212960763337974781164378711899959012357647219720206961567756086182151119073634759644348205532976426279074776518688729228857922353671951349060138355968e-200"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    },
    {
      "N": 10,
      "k": 12,
      "i": 3,
      "polynomial": "110000*X^9 - 7500*X^7 + 75*X^3 - 11*X",
      "polynomial_coefficients": [
        "0",
        "-11",
        "0",
        "75",
        "0",
        "0",
        "0",
        "-7500",
        "0",
        "110000"
      ],
      "fricke": -1,
      "epsilon": -1,
      "pari": [
        {
          "working_digits": 160,
          "maximum_absolute_coefficient_ratio_error": "2.070105401319523792194866961120218128815781848006795899461573532753321909302723442796216571482167346607703329668347419904420794205320095110602386609286475108582598279127e-171"
        },
        {
          "working_digits": 220,
          "maximum_absolute_coefficient_ratio_error": "2.012858990499104158820948907302766407876504160762392604950961159353841636334164862615514465539133003939590175681515358334842108508497019554576792059516319179545415480497126890900153996471018468839482438345522421200108757320603772e-233"
        }
      ],
      "mellin": [
        {
          "working_digits": 150,
          "terms": 450,
          "maximum_absolute_coefficient_ratio_error": "0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
        },
        {
          "working_digits": 190,
          "terms": 600,
          "maximum_absolute_coefficient_ratio_error": "1.275800953740488644545369960333407409856333817660364219495447240997230838585839803723005514863008014610906011802912256952220346444965183794465797291288158961444031962137556564798507764989316541363250e-203"
        }
      ],
      "exact_identities": true,
      "q_coefficients_crosschecked": 100
    }
  ],
  "companion_indices_checked": 33,
  "measure": {
    "entries": 18,
    "longest": 138,
    "longest_at": [
      1,
      26,
      1
    ],
    "block_kb": 1.6728515625
  },
  "manifest": "agents/runs/20261109T182554Z-build-skills/manifest.json",
  "manifest_sha256": "c879ba3e40020535135932a0ac7d93e894d04b267cf416aa702c3c96617ec363",
  "skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
  "source_files_sha256": {
    "generate.py": "de34dd03ca07e1eebe7af6ec731422362a8291b84204844f8a0ed76bd75e435a",
    "checks.py": "235540e4b4a140cf40abc0e6d611905ab422f9333c235d33f86d201a41218987",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "T694-roster.json": "3474ca2f265b5b47561423747fcdc880f3b6375d72696b1746b481c9093df6fa"
  }
}