numerical-evidence.json

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

93889 bytes, as of the version from 2026-11-10 20:59 (current). Recorded here, not run.

{
  "table": "T708",
  "stage": "build",
  "checked_entries": 30,
  "total_entries": 30,
  "failures": [],
  "known_answer_control": true,
  "negative_control_rejected": true,
  "rejected_controls": [
    "wrong value",
    "wide ball",
    "NaN"
  ],
  "gram_entries_checked": 465,
  "direct_whole_residual_checks": {
    "1": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.08e-152]",
    "2": "[0.4801396145800410179370759089063675739433748992298085594094899928799547835227289632956025047526859843434988892345719856997358598231814020822254969362737 +/- 4.04e-152]",
    "3": "[0.1373075776575155993042772713373314035243770115705757481797260240505785862665167282646451650866317934747340171333196181535219872473001666657886456254629 +/- 3.61e-152]",
    "4": "[0.1373075776575155993042772713373314035243770115705757481797260240505785862665167282646451650866317934747340171333196181535219872473001666657886456254629 +/- 2.30e-152]",
    "6": "[0.12802862281857271846350768944786712381233148916963835229202164546015340171413416095382824912120899089337524928741136338665980137262887914511106199535869 +/- 7.96e-153]"
  },
  "endpoint_cancellation_checked": 30,
  "nonsquarefree_repetitions": [
    4,
    8,
    9,
    12,
    16,
    18,
    20,
    24,
    25,
    27,
    28
  ],
  "correction_identity_checked": 30,
  "stored_intervals_checked": 0,
  "generator_bits": 461,
  "minimum_generator_accuracy_bits": 443,
  "maximum_generator_radius": "8.1993066e-136",
  "maximum_integral_radius": "5.8700000e-151",
  "independent_bits": 720,
  "tail_start": 16,
  "last_power": 125,
  "versions": {
    "sage": "10.9",
    "numberdb": "0.1.10",
    "python": "3.12.3"
  },
  "hashes": {
    "generate.py": "011c30ce60b15496bcc1c3559b15e6d652bbeb883f6a0302a427b9b0258b05ae",
    "integral_kernel.py": "4cbfd7743dd255571f49f2facdf2906053cf9ec80fdac08db653d53314e6df2b",
    "checks.py": "3eace012e0743c3d17119dfc6a89d9d03df755abb908892875773721c0542581",
    "skill-manifest.json": "c5ee30e128246f511fb7c0e8e37f8b7d2419d5fad25227688a6111fdf9686049"
  },
  "rows": [
    {
      "N": 1,
      "generator": "1",
      "generator_endpoints": [
        "1",
        "1"
      ],
      "integral": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "integral_endpoints": [
        "1",
        "1"
      ],
      "minimum": "[0.85821205139551088466996024295601644833995884597758452129394163669576307310742035735260774923912286675140042646812239819378151186580920714515203789550027 +/- 5.70e-153]",
      "minimum_endpoints": [
        "2366799621750524323964633418223259353518006403634439998516396238855642263407608710466589067993093639627484129164544555364565018816065728043766188168958124660487450169509686721721354436741967359135759623663941825996929/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "2366799621750524323964633418223259353518006403634439998516396238855642263407608710466589067993093639627484129164544555364565018816065728043766188168958131276900886773884595607484156675743354582483513517142387770402945/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 2,
      "generator": "[0.48013961458004101793707590890636757394337489922980855940948999287995478352272896329560250475268598434349888923457198569973585982318140208 +/- 5.33e-138]",
      "generator_endpoints": [
        "191856018657858853743544057092548468388807498421105255094663921469092088933251507369463335264213940128442632488571750323653180180877880788055211525/399583814440447005616844445413525287135820562261116307309972090832047582568929999375399181192126972308457847183540047730617340886948900519205142528",
        "191856018657858853743544057092548468388807498421105255094663921469092088933251507369463335264213940128442632488571750323653180180877880790102589947/399583814440447005616844445413525287135820562261116307309972090832047582568929999375399181192126972308457847183540047730617340886948900519205142528"
      ],
      "integral": "[0.4801396145800410179370759089063675739433748992298085594094899928799547835227289632956025047526859843434988892345719856997358598231814020822254969362737 +/- 2.04e-152]",
      "integral_endpoints": [
        "662070787940829794380281849340060800757273081671986964492785475608478064147611167350366677830557648508794446055521337313243563565747070307936987549379413775200762205392220088683551891089598411868217982420065788477625/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
        "662070787940829794380281849340060800757273081671986964492785475608478064147611167350366677830557648508794446055521337313243563565747070307936987549379450541943656209805493864767431860833763408917597929587326361387193/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
      ],
      "minimum": "[0.289964573742202731811200583416046611205413871125613854746091087471974302592583081227688433430810472270227375485094676411358640819559758267115415733487 +/- 3.92e-151]",
      "minimum_endpoints": [
        "1599343757380583579922224955892905167293667632801650582678477282760332559086270072065268700966405208106511833070588557474385946285734223034712501103448803070901533203673999098304559439207385831276918340703243684017051/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "1599343757380583579922224955892905167293667632801650582678477282760332559086270072065268700966405208106511833070588557474385946285734223034712501103450828790627713954339831234005663546567969109729094599282843526099867/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 3,
      "generator": "[0.1373075776575155993042772713373314035243770115705757481797260240505785862665167282646451650866317934747340171333196181535219872473001667 +/- 4.49e-137]",
      "generator_endpoints": [
        "857279462999499693160217760000899000949702929776181298140040464403015408248391285341832872872872258346450539925406201316082514679574852813265827/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
        "857279462999499693160217760000899000949702929776181298140040464403015408248391285341832872872872258346450539925406201316082514679574852972504157/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
      ],
      "integral": "[0.1373075776575155993042772713373314035243770115705757481797260240505785862665167282646451650866317934747340171333196181535219872473001666657886456254629 +/- 4.46e-152]",
      "integral_endpoints": [
        "23666901607741493225022288985317288849574866700034093815535207866877503916430843775394645362994268204233798306708087798045905512717081923287559898853241343519277325424925192922099557607243814289168773395067007047735/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768",
        "23666901607741493225022288985317288849574866700034093815535207866877503916430843775394645362994268204233798306708087798045905512717081923287559898853253292710770594705844956726088074911831408966133740850229809158199/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768"
      ],
      "minimum": "[0.09383722849698329190428280653064391729132770289268991145970787017702685168500709188815963479312577483616570472920797789648502058892054728215110646243 +/- 5.57e-150]",
      "minimum_endpoints": [
        "129393380430651047029911200909523018710090023104659168734205139345978778921506769841183461426565988046614939852915233530024360427819526128924608952857048568230513170329822322152814637265500863227671565392432260691937/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
        "129393380430651047029911200909523018710090023104659168734205139345978778921506769841183461426565988046614939852915233530024360427819526128924608952859741599944515327370069465614712637080199917105935536237973251274721/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 4,
      "generator": "[0.1373075776575155993042772713373314035243770115705757481797260240505785862665167282646451650866317934747340171333196181535219872473001667 +/- 4.49e-137]",
      "generator_endpoints": [
        "857279462999499693160217760000899000949702929776181298140040464403015408248391285341832872872872258346450539925406201316082514679574852813265827/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
        "857279462999499693160217760000899000949702929776181298140040464403015408248391285341832872872872258346450539925406201316082514679574852972504157/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
      ],
      "integral": "[0.1373075776575155993042772713373314035243770115705757481797260240505785862665167282646451650866317934747340171333196181535219872473001666657886456254629 +/- 4.46e-152]",
      "integral_endpoints": [
        "23666901607741493225022288985317288849574866700034093815535207866877503916430843775394645362994268204233798306708087798045905512717081923287559898853241343519277325424925192922099557607243814289168773395067007047735/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768",
        "23666901607741493225022288985317288849574866700034093815535207866877503916430843775394645362994268204233798306708087798045905512717081923287559898853253292710770594705844956726088074911831408966133740850229809158199/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768"
      ],
      "minimum": "[0.06512886865990024957106136367286123661983130106485852754299938606864298358168647498509067698519936980927769025986003712736614189475141485408693444480 +/- 8.32e-150]",
      "minimum_endpoints": [
        "89807047954312726571192685241973452146753356540199162099614349369795650060063755382680456573908930696285762921581496121732643321733887173929666120066409773316307816157160533866789479430374231891361984227439363151769/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
        "89807047954312726571192685241973452146753356540199162099614349369795650060063755382680456573908930696285762921581496121732643321733887173929666120079687667725402780579063452926324287666029228490737976470996471961497/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 5,
      "generator": "[0.0462268860439513304221505678629243912439471321093476123596507877396486452052415227207037951363722279058486835847996718696876412629615536 +/- 4.88e-137]",
      "generator_endpoints": [
        "577234857973310555547081678878442220848181595256931869429629583988649395176412106989177678693250504024136816740130898315633017101543341109776343/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
        "577234857973310555547081678878442220848181595256931869429629583988649395176412106989177678693250504024136816740130898315633017101543341833875497/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
      ],
      "integral": "[0.0462268860439513304221505678629243912439471321093476123596507877396486452052415227207037951363722279058486835847996718696876412629615536162365923959862 +/- 7.57e-152]",
      "integral_endpoints": [
        "127485714312238914170529433097528053633110396849173574158418415375838500970401708989588376322236297634152685838831284251822569432481624446937262567272842471407568649129606906294260679560512528366966462692080008152591/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "127485714312238914170529433097528053633110396849173574158418415375838500970401708989588376322236297634152685838831284251822569432481624446937262567273130918764584822247794464193589060235981143178605233442745481020943/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.0361015998186054042030530301082201516592167794150596052544338090520287626911063086683056766941587680954064665717129559203986947049226971916405028108 +/- 6.30e-149]",
      "minimum_endpoints": [
        "199123870741093191841884266449479355143573776043084543498417389679069978625768649040756978743352973530241196826923919283954608396168741197109434587407793718426812873669094581237301033014918404970649068974619664003013/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "199123870741093191841884266449479355143573776043084543498417389679069978625768649040756978743352973530241196826923919283954608396168741197109434587593771981909042528605746636676179625853373952381275848882394794504133/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 6,
      "generator": "[0.1280286228185727184635076894478671238123314891696383522920216454601534017141341609538282491212089908933752492874113633866598013726288791 +/- 8.28e-137]",
      "generator_endpoints": [
        "399673167682832347138167026792549690119862658720613069443962153114069538715509093053567774002336478116572702547467960978050047349634006569609951/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176",
        "399673167682832347138167026792549690119862658720613069443962153114069538715509093053567774002336478116572702547467960978050047349634006799455521/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
      ],
      "integral": "[0.1280286228185727184635076894478671238123314891696383522920216454601534017141341609538282491212089908933752492874113633866598013726288791451110619953587 +/- 6.98e-152]",
      "integral_endpoints": [
        "706161363191091346424533514800064466058056849298048029047188434906475428359054682472224472671447287321472999050041949662489217756858543973835661927032740944357226914040341376487080457853467498212860930661927689306005/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "706161363191091346424533514800064466058056849298048029047188434906475428359054682472224472671447287321472999050041949662489217756858543973835661927033379934017293905846519856723666837676359196596453938662340405149589/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "minimum": "[0.035986317353574416848745654967398491500575609402363953312908121015230381611957155211967254792482276344039949616668700215808393649889346688524270344 +/- 9.66e-149]",
      "minimum_endpoints": [
        "198488012751949050728775110485788195339345247493216036859923266218597663853747667318736622940843059261978182931276055613702098618716126550689184875258208007042045778897714932589916511619097624324170858170158731871115/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "198488012751949050728775110485788195339345247493216036859923266218597663853747667318736622940843059261978182931276055613702098618716126550689184875812886666964342973007291798828651854058786539240764093685277121692555/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 7,
      "generator": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369 +/- 6.72e-137]",
      "generator_endpoints": [
        "232043241257006056563853065644198866940605596140849793519401169334365696025112342417508164114957423241188289289175886806159877939844353842143011/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
        "232043241257006056563853065644198866940605596140849793519401169334365696025112342417508164114957423241188289289175886806159877939844354643402973/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
      ],
      "integral": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369010502104434209 +/- 9.09e-152]",
      "integral_endpoints": [
        "102496229929150910812557934034435140380799037418642834719011957621492512397600470066965910572522783944477228677629178371135779904683292450977704390055057856967501807019265769312053303684403853852043815731104511226227/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "102496229929150910812557934034435140380799037418642834719011957621492512397600470066965910572522783944477228677629178371135779904683292450977704390055458828906823825429547002982959200146432240160870329303092066840947/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.024302100543476719884104287428509294292751587781644857487887417631605868771085154719755312583089483693026259471011896544188311683944170584208445632 +/- 3.78e-148]",
      "minimum_endpoints": [
        "134041935860759405504440059035796035221221417694471347628266522893152708849072967049451046950359674159763485303635205768433854078405205778636771251065381316500762024319855207636993650047234317350219517428466293294235/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "134041935860759405504440059035796035221221417694471347628266522893152708849072967049451046950359674159763485303635205768433854078405205778636771253021455135458790472084932821359322667415678220102591889984864781485211/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 8,
      "generator": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369 +/- 6.72e-137]",
      "generator_endpoints": [
        "232043241257006056563853065644198866940605596140849793519401169334365696025112342417508164114957423241188289289175886806159877939844353842143011/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
        "232043241257006056563853065644198866940605596140849793519401169334365696025112342417508164114957423241188289289175886806159877939844354643402973/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
      ],
      "integral": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369010502104434209 +/- 9.09e-152]",
      "integral_endpoints": [
        "102496229929150910812557934034435140380799037418642834719011957621492512397600470066965910572522783944477228677629178371135779904683292450977704390055057856967501807019265769312053303684403853852043815731104511226227/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "102496229929150910812557934034435140380799037418642834719011957621492512397600470066965910572522783944477228677629178371135779904683292450977704390055458828906823825429547002982959200146432240160870329303092066840947/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.024161421585896685022808943010851337446765483831295506702752379607835237091422536243302013849822149903133346952162278887155855275904660123057595491 +/- 4.96e-148]",
      "minimum_endpoints": [
        "133265999650012257751245940388346643059523246875733721298795015759354496045252096706223497559859276760041295738566459796608525608582121408386442942837656275975208596248940282188452603615033938622415728003395517294895/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "133265999650012257751245940388346643059523246875733721298795015759354496045252096706223497559859276760041295738566459796608525608582121408386442948081383964719625507362371808267688684305110878368207194169516498233647/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 9,
      "generator": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369 +/- 6.72e-137]",
      "generator_endpoints": [
        "232043241257006056563853065644198866940605596140849793519401169334365696025112342417508164114957423241188289289175886806159877939844353842143011/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
        "232043241257006056563853065644198866940605596140849793519401169334365696025112342417508164114957423241188289289175886806159877939844354643402973/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
      ],
      "integral": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369010502104434209 +/- 9.09e-152]",
      "integral_endpoints": [
        "102496229929150910812557934034435140380799037418642834719011957621492512397600470066965910572522783944477228677629178371135779904683292450977704390055057856967501807019265769312053303684403853852043815731104511226227/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "102496229929150910812557934034435140380799037418642834719011957621492512397600470066965910572522783944477228677629178371135779904683292450977704390055458828906823825429547002982959200146432240160870329303092066840947/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.02401495078279004617671234264738635893651075986792286988642435951749686158080679973312202389059883290291363224197845901050355231552851632010257416 +/- 1.62e-147]",
      "minimum_endpoints": [
        "66229058816689379803949022184715157227154911991415751381782182992875953748795641961002773663442620544535343659471227429913690831842053723590626446888817268224660057221757981341320291911440773598387680699858880131833/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "66229058816689379803949022184715157227154911991415751381782182992875953748795641961002773663442620544535343659471227429913690831842053723590626453670839943011630119153713778491051081403812568946510431115494278918905/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 10,
      "generator": "[0.109230082248476313634062362534060553009386040084207430392380334747504747658183588296989412577684464170356351254690245856317694665305015 +/- 5.70e-136]",
      "generator_endpoints": [
        "1363955403640310116880683337369036848272200873893355112276327848405969343541574947478787452525136571205508329816508580985951231072870192081820777/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704",
        "1363955403640310116880683337369036848272200873893355112276327848405969343541574947478787452525136571205508329816508580985951231072870194108146583/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
      ],
      "integral": "[0.1092300822484763136340623625340605530093860400842074303923803347475047476581835882969894125776844641703563512546902458563176946653050145124070590995186 +/- 8.28e-152]",
      "integral_endpoints": [
        "602475150352624588626052729673119506756394066773917922906630601420375346456827843144198464816072695483791336359479752658197096480119541458621482308449790445465478750862479799734170341866531722990177248529805953790017/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "602475150352624588626052729673119506756394066773917922906630601420375346456827843144198464816072695483791336359479752658197096480119541458621482308450637489890894709827266129995715780061963999830700196246527862960193/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "minimum": "[0.02377186555603957374966975040957789209541784886012934583757512802222957241310443600256439411017750338528171941907668096173104696379503857896453802 +/- 8.44e-147]",
      "minimum_endpoints": [
        "32779336013081464155931081757743856265637099389027481209338433998379429826076891052245120136729998884368699725793044775966127294023259271078506540246029624476544644395048367193429614336649568202245319578458276931871/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
        "32779336013081464155931081757743856265637099389027481209338433998379429826076891052245120136729998884368699725793044775966127294023259271078506549926462731287922203625574190938432434438305675720203273004936518609183/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 11,
      "generator": "[0.034158571735646662985474935320220290235110184166421169670177656827872128866336594750738736416086633522651947669451051979098057107374313 +/- 4.04e-136]",
      "generator_endpoints": [
        "213268943593239593581600796019481474800033863649862424224562089997712877330611637345304413031864233399482645957914657338632736541464353136427165/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
        "213268943593239593581600796019481474800033863649862424224562089997712877330611637345304413031864233399482645957914657338632736541464354646933347/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
      ],
      "integral": "[0.0341585717356466629854749353202202902351101841664211696701776568278721288663365947507387364160866335226519476694510519790980571073743132828409295722472 +/- 9.08e-152]",
      "integral_endpoints": [
        "94203401749025547461991625659337472947967126881647718743854293949624761376261269138349475961365541328578356802858853515458272583627239880054993783351399096738953344937754702486231054571697615720666193162268507119143/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "94203401749025547461991625659337472947967126881647718743854293949624761376261269138349475961365541328578356802858853515458272583627239880054993783351879746472436510460115345638040705503700008597596846516983227227687/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.0204444445648450909480274931389333801998715428750338024439556230947153863754628810893227997114992328394189681340437603959999747277560074743503297 +/- 5.12e-146]",
      "minimum_endpoints": [
        "56382223465975474903553218985994352963229641776896945637567530727362953921304161462622704528633467546340067101954167235114187775404782966076068867408002604707171259898530735500165932046747050208904639010940191507867/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "56382223465975474903553218985994352963229641776896945637567530727362953921304161462622704528633467546340067101954167235114187775404782966076068943386622641537211237805206940084661680150501492564915932073717967095195/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 12,
      "generator": "[0.034158571735646662985474935320220290235110184166421169670177656827872128866336594750738736416086633522651947669451051979098057107374313 +/- 4.04e-136]",
      "generator_endpoints": [
        "213268943593239593581600796019481474800033863649862424224562089997712877330611637345304413031864233399482645957914657338632736541464353136427165/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
        "213268943593239593581600796019481474800033863649862424224562089997712877330611637345304413031864233399482645957914657338632736541464354646933347/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
      ],
      "integral": "[0.0341585717356466629854749353202202902351101841664211696701776568278721288663365947507387364160866335226519476694510519790980571073743132828409295722472 +/- 9.08e-152]",
      "integral_endpoints": [
        "94203401749025547461991625659337472947967126881647718743854293949624761376261269138349475961365541328578356802858853515458272583627239880054993783351399096738953344937754702486231054571697615720666193162268507119143/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "94203401749025547461991625659337472947967126881647718743854293949624761376261269138349475961365541328578356802858853515458272583627239880054993783351879746472436510460115345638040705503700008597596846516983227227687/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.0204430632075424993617776382575042708566535457260221478112795742543934902504911415125166771205649027003567813668416556636827536849616483091109814 +/- 7.50e-146]",
      "minimum_endpoints": [
        "56378413922709379033871397846751273241097967654527394202276814697572515145700049030640566450675776287775052246160198142686438517748400316858452860855813108358519785062223565395149191240195541176130879703962080445063/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "56378413922709379033871397846751273241097967654527394202276814697572515145700049030640566450675776287775052246160198142686438517748400316858453048875673127430791261696772788071668489957687613266751687334053107139207/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 13,
      "generator": "[0.109250515361919732443730977796190628586375001616330088173243533238380147225177123653852962185135617498050349150121605955496455450964655 +/- 4.35e-136]",
      "generator_endpoints": [
        "21315789872021747756337976202421390852651745962682545183076515739621754251034321214498475481891674814984799220996185443927158469629849480096087/195109284394749514461349826862072894109287383916560696928697309976585733676235351257519131441468248197489183195087913930965498479955517831643136",
        "21315789872021747756337976202421390852651745962682545183076515739621754251034321214498475481891674814984799220996185443927158469629849545709225/195109284394749514461349826862072894109287383916560696928697309976585733676235351257519131441468248197489183195087913930965498479955517831643136"
      ],
      "integral": "[0.109250515361919732443730977796190628586375001616330088173243533238380147225177123653852962185135617498050349150121605955496455450964655265787647040255 +/- 5.25e-151]",
      "integral_endpoints": [
        "301293926150515500612051452835087964877275175166280519770501142238102543972948116722663133379654058325218736091473198244054177105476773677599753305227710098680166147223764395336154262979286556556731683501452733163787/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "301293926150515500612051452835087964877275175166280519770501142238102543972948116722663133379654058325218736091473198244054177105476773677599753305228242188234495397425415697704176582687313532599769015588014984505611/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.019824406456283081132294600640869091275957185362792390031351119918736824450785965789480337609550349804795033249629006044162488053719401692163729 +/- 2.59e-145]",
      "minimum_endpoints": [
        "109344532335251424679329987155557364272065613580055393931595726563725571203746780802275566973696170106984531162039011610295195359942203233227665538997164200209363042776982061741000049396489718583239085333373725212263/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "109344532335251424679329987155557364272065613580055393931595726563725571203746780802275566973696170106984531162039011610295195359942203233227666769723139507849690501519196101596394000285486339680270841746955874106983/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 14,
      "generator": "[0.032935408022138473497161680994444293025260594168683086095044530827898208254394761112248115484010753724151140444385609348920787758877021 +/- 3.11e-136]",
      "generator_endpoints": [
        "102816062247176480611356800854627189602576277304326631352922568036417375656616167014222291798976742912752131800226781586703064921016892556370467/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176",
        "102816062247176480611356800854627189602576277304326631352922568036417375656616167014222291798976742912752131800226781586703064921016893814021597/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
      ],
      "integral": "[0.032935408022138473497161680994444293025260594168683086095044530827898208254394761112248115484010753724151140444385609348920787758877021112787131667135 +/- 5.09e-151]",
      "integral_endpoints": [
        "5676883056046731835646616806146549798250008663439801487998117692503134413321300133217544998474896528224043065073686933252308218583827589373353698831782849678862379497972824150815460217083947090048420339618903824745/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768",
        "5676883056046731835646616806146549798250008663439801487998117692503134413321300133217544998474896528224043065073686933252308218583827589373353698831817202026523599876444122299794614761380541385531001747020221847913/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768"
      ],
      "minimum": "[0.018486425618272211556702749549476512514677665191393129741885831403513665343051108961569148504047339383036602447087552483771931970882692126995787 +/- 6.60e-145]",
      "minimum_endpoints": [
        "101964695298089678434699415458653274928688922848998905805121355307415803153426675001912038450759231950042639354365473844656465840417181496963998170373572064574299833473746475314209845609717634871251859370582618239697/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "101964695298089678434699415458653274928688922848998905805121355307415803153426675001912038450759231950042639354365473844656465840417181496964003034285233178672961036275856516942728617457892797041173582212162665673425/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 15,
      "generator": "[0.092394788262189465277795102504698325455571508796443173532077123931686638251220950217987738986182458458581884947776484428176057287141386 +/- 6.11e-136]",
      "generator_endpoints": [
        "72108324078560754591807916441787133294758710366038886573586398226084768597075644893801086881651320346303506601976807381930203371592620064329289/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544",
        "72108324078560754591807916441787133294758710366038886573586398226084768597075644893801086881651320346303506601976807381930203371592620423819703/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544"
      ],
      "integral": "[0.092394788262189465277795102504698325455571508796443173532077123931686638251220950217987738986182458458581884947776484428176057287141385624163426881376 +/- 4.86e-151]",
      "integral_endpoints": [
        "254808761488587128182851994167183796332032547188325335505228744943601126185486810862204225062518535069148919826711633417722275797537217780410163903102343312139269862294586054584873943415179293341738399988051913333239/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "254808761488587128182851994167183796332032547188325335505228744943601126185486810862204225062518535069148919826711633417722275797537217780410163903102913865907165071232267285620293273654525302432514251811174932404727/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.01833503460075522518174374009253289544138590559940849793946972092683370770254022318894407055509198274039433150682555177289585381278476377207757 +/- 1.78e-144]",
      "minimum_endpoints": [
        "101129675089708799933788237400922632568665137754363961421508771518956617346104427663482111565773228032414883535078360309669129001697953898050952251854423095801334605147962812009224000921651358183764462573848303922151/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "101129675089708799933788237400922632568665137754363961421508771518956617346104427663482111565773228032414883535078360309669129001697953898050965905219297765145339104277678159384888240175051207686414856789442975919079/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 16,
      "generator": "[0.092394788262189465277795102504698325455571508796443173532077123931686638251220950217987738986182458458581884947776484428176057287141386 +/- 6.11e-136]",
      "generator_endpoints": [
        "72108324078560754591807916441787133294758710366038886573586398226084768597075644893801086881651320346303506601976807381930203371592620064329289/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544",
        "72108324078560754591807916441787133294758710366038886573586398226084768597075644893801086881651320346303506601976807381930203371592620423819703/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544"
      ],
      "integral": "[0.092394788262189465277795102504698325455571508796443173532077123931686638251220950217987738986182458458581884947776484428176057287141385624163426881376 +/- 4.86e-151]",
      "integral_endpoints": [
        "254808761488587128182851994167183796332032547188325335505228744943601126185486810862204225062518535069148919826711633417722275797537217780410163903102343312139269862294586054584873943415179293341738399988051913333239/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "254808761488587128182851994167183796332032547188325335505228744943601126185486810862204225062518535069148919826711633417722275797537217780410163903102913865907165071232267285620293273654525302432514251811174932404727/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.01789402347696943509905506314795876127745464180160987804844025903873581522050027285013834892881957455078093593227666299139124859057626438145290 +/- 6.77e-144]",
      "minimum_endpoints": [
        "12337151385843319525467405722510532190381000300158025705454204047076011804001971296852699420713054238977305447969133308615294360112343596525010068847647370051602835107941798275606747862501298900751985873555268090225/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072",
        "12337151385843319525467405722510532190381000300158025705454204047076011804001971296852699420713054238977305447969133308615294360112343596525016276666075480619238386243599680089611351829294568777319047277887209126257/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 17,
      "generator": "[0.037334580030969102172546799322454597804353115578014408795477962905258428943019884511694634723343283453391982384001534741664662553368594 +/- 5.71e-136]",
      "generator_endpoints": [
        "58274585544167093526815284297446353849942561551024247647060087944990071351081890137739142000142131314747881422038614648604113320050648936799131/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088",
        "58274585544167093526815284297446353849942561551024247647060087944990071351081890137739142000142131314747881422038614648604113320050649853404261/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088"
      ],
      "integral": "[0.037334580030969102172546799322454597804353115578014408795477962905258428943019884511694634723343283453391982384001534741664662553368594282730832011424 +/- 4.38e-151]",
      "integral_endpoints": [
        "6435142526243030982738000837172551588217501966390438899344891499369479584964326177920650926976266544986261494126255639864391547752306032985575090722630636955177671846986970724010413001131460480060132456609420899567/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768",
        "6435142526243030982738000837172551588217501966390438899344891499369479584964326177920650926976266544986261494126255639864391547752306032985575090722668876436339619127533860090214230690527943382275426707085560083695/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768"
      ],
      "minimum": "[0.0170692384433357574300558670903072902873793626222222620830498221766252756672413160614243841803803891025283767934712602999139851370555877519126 +/- 4.31e-143]",
      "minimum_endpoints": [
        "94147983649412313258099083073178360849318735600296088949943842414418305612256620784244593544522951706318874285629057558374037404282173769037643209231996261790799817820625518158330072075800172037141413364146480093651/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "94147983649412313258099083073178360849318735600296088949943842414418305612256620784244593544522951706318874285629057558374037404282173769037814504076238337217317271092230729238553485013646362718748302376799023143379/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 18,
      "generator": "[0.037334580030969102172546799322454597804353115578014408795477962905258428943019884511694634723343283453391982384001534741664662553368594 +/- 5.71e-136]",
      "generator_endpoints": [
        "58274585544167093526815284297446353849942561551024247647060087944990071351081890137739142000142131314747881422038614648604113320050648936799131/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088",
        "58274585544167093526815284297446353849942561551024247647060087944990071351081890137739142000142131314747881422038614648604113320050649853404261/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088"
      ],
      "integral": "[0.037334580030969102172546799322454597804353115578014408795477962905258428943019884511694634723343283453391982384001534741664662553368594282730832011424 +/- 4.38e-151]",
      "integral_endpoints": [
        "6435142526243030982738000837172551588217501966390438899344891499369479584964326177920650926976266544986261494126255639864391547752306032985575090722630636955177671846986970724010413001131460480060132456609420899567/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768",
        "6435142526243030982738000837172551588217501966390438899344891499369479584964326177920650926976266544986261494126255639864391547752306032985575090722668876436339619127533860090214230690527943382275426707085560083695/172364133221937103085272756482216056112753534658909761028039668631756215232006744379020625060744018369805777923479247838020220755974022884986972234404720831691332769255536872593544438018353486799545737272878084128768"
      ],
      "minimum": "[0.0170592353956575198822360662568823230962896445451347671816398627063052106679371000882380744318347458287771207758604055975120575858177487747745 +/- 6.37e-143]",
      "minimum_endpoints": [
        "47046405158423962623901734883090479615399669838656601606237951272038041685804586252723303257838225688248039919417451309168047667078949677464359371081300480014546576250285898504634822077551543635993101467804563426433/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "47046405158423962623901734883090479615399669838656601606237951272038041685804586252723303257838225688248039919417451309168047667078949677464602831455434751341644923827385822885474175629522026078757527016858448317569/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 19,
      "generator": "[0.089591638177396405227601332576702863292512000702336136927057433361649753110043749776683988380448197089872568269771898201760112856464145 +/- 6.43e-136]",
      "generator_endpoints": [
        "139841283300361066227642532374882941236138619233276617709808805999454844435441027604196173980923141694389597875096987130183357149178002198525057/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088",
        "139841283300361066227642532374882941236138619233276617709808805999454844435441027604196173980923141694389597875096987130183357149178003344034687/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088"
      ],
      "integral": "[0.089591638177396405227601332576702863292512000702336136927057433361649753110043749776683988380448197089872568269771898201760112856464145285374987278915 +/- 4.91e-151]",
      "integral_endpoints": [
        "247078160934085443554039289011198003550073357120032229376394822348061546860788568533116126697969382830837393881325392624868084093709368156320798074169419781510387162168485969887004035623480833835351057064444668371011/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "247078160934085443554039289011198003550073357120032229376394822348061546860788568533116126697969382830837393881325392624868084093709368156320798074170069945586145804500656715761535820910327772524788473591622797320259/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.016817318000698443736850851103445599287046286893187147127145095935839075282457877994145792227514164575108991349359964742930528005821227915882 +/- 2.25e-142]",
      "minimum_endpoints": [
        "92758478089858159612492823772166824121704085177587525520715164501657103877719186042549670506127765584787671687907901214704767987486412823273054206611414010832918511439627354965464512952755384912863490721019481577737/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "92758478089858159612492823772166824121704085177587525520715164501657103877719186042549670506127765584787671687907901214704767987486412823274779866972408975796875156090088587363266789052505974744040858057210276632841/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 20,
      "generator": "[0.089591638177396405227601332576702863292512000702336136927057433361649753110043749776683988380448197089872568269771898201760112856464145 +/- 6.43e-136]",
      "generator_endpoints": [
        "139841283300361066227642532374882941236138619233276617709808805999454844435441027604196173980923141694389597875096987130183357149178002198525057/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088",
        "139841283300361066227642532374882941236138619233276617709808805999454844435441027604196173980923141694389597875096987130183357149178003344034687/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088"
      ],
      "integral": "[0.089591638177396405227601332576702863292512000702336136927057433361649753110043749776683988380448197089872568269771898201760112856464145285374987278915 +/- 4.91e-151]",
      "integral_endpoints": [
        "247078160934085443554039289011198003550073357120032229376394822348061546860788568533116126697969382830837393881325392624868084093709368156320798074169419781510387162168485969887004035623480833835351057064444668371011/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "247078160934085443554039289011198003550073357120032229376394822348061546860788568533116126697969382830837393881325392624868084093709368156320798074170069945586145804500656715761535820910327772524788473591622797320259/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.016503583071030188389732568235493614158721567020856235252494867331152954457073420828992993518491261112652054983586084531517869461551428800137 +/- 7.03e-142]",
      "minimum_endpoints": [
        "91028025315019304189904303450741069883933523640504027623101614556193237563811839202803062137743600351874795607777455617246252386874082142152849153828444366558334880479216560289881567631014677050264318101761632555773/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "91028025315019304189904303450741069883933523640504027623101614556193237563811839202803062137743600351874795607777455617246252386874082142159654474502066639354412755839323943981735317804240505585295470163346105881341/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 21,
      "generator": "[0.039726814257849124711121396803850852872230767917158537439615032208177382346088903014586981923079723356440202586146472958717448757228701 +/- 9.19e-136]",
      "generator_endpoints": [
        "62008562409056597934366192897281701525966556383055292219992946966324280366231305936182844979575733996188604587446958686054901436771662118126109/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088",
        "62008562409056597934366192897281701525966556383055292219992946966324280366231305936182844979575733996188604587446958686054901436771663424912867/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088"
      ],
      "integral": "[0.039726814257849124711121396803850852872230767917158537439615032208177382346088903014586981923079723356440202586146472958717448757228700513316702681938 +/- 2.72e-151]",
      "integral_endpoints": [
        "54779823241784455174680477802724121553933357312807100709493955533365987640960860466850513698219277851238852333976895040396463638139865298776296849888948870854403508698015894501251090768405526566261198652566570210929/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
        "54779823241784455174680477802724121553933357312807100709493955533365987640960860466850513698219277851238852333976895040396463638139865298776296849889282063266304386089612281912571238517576544174061209213754267866737/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
      ],
      "minimum": "[0.01609075635431805715379443648408456507487617994469552993017915914551795141842515964826587284190522329487894383695610766793871403631488100418 +/- 6.27e-141]",
      "minimum_endpoints": [
        "88751016700717074537168639946265643255308672617193073644977198418487515543497218753242093095184097307453365123380666515232212450373219798196397094456281913024027324626725263161645249918689447804961062291304522638773/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "88751016700717074537168639946265643255308672617193073644977198418487515543497218753242093095184097307453365123380666515232212450373219798221012799944389830030096284953641228688460860215188688592745260367666329085365/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 22,
      "generator": "[0.083498704597117446836345906728543968265486309762851455549212235019310600829596374761092075802621770793179172353169341656623507693250605 +/- 8.30e-136]",
      "generator_endpoints": [
        "65165490007328666456045223547171537414822992772123264883314230621234095192832747874581861123068264161633751147704017732746782481410921587250971/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544",
        "65165490007328666456045223547171537414822992772123264883314230621234095192832747874581861123068264161633751147704017732746782481410922313181413/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544"
      ],
      "integral": "[0.083498704597117446836345906728543968265486309762851455549212235019310600829596374761092075802621770793179172353169341656623507693250604649801235039769 +/- 1.80e-151]",
      "integral_endpoints": [
        "230274909488587578124440769706719415303453312506379707041686750741917404202759180096201721945619600189135857008407735226737586312476879229294523894618585408008729855152761403560001339395948197261334540012079457451721/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "230274909488587578124440769706719415303453312506379707041686750741917404202759180096201721945619600189135857008407735226737586312476879229294523894619263689020766303899434073678833867891768328312119751358228731215561/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.0160573824891530801749745061491147961579865736889308675360486363941092482720986693290227595616945031790566257413290903180992560455563586329 +/- 3.07e-140]",
      "minimum_endpoints": [
        "88566938065791408685241275321448526676983576883081777828071026334197151074656135040132362552705125796969660821690957721980512045831159680303758954211570434983415082831072757868175264884521848987838135751051940963029/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "88566938065791408685241275321448526676983576883081777828071026334197151074656135040132362552705125796969660821690957721980512045831159680380595132741895897665059958446683672148713185280153100906402043291579196351189/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 23,
      "generator": "[0.04067165667911617938666281352149133901397091329104595825570281061600910073397401532320865296509543281124788211313536049131054578333804 +/- 4.07e-135]",
      "generator_endpoints": [
        "1983854457452823059841792056282394365526288585730867729144953822910503700459159481934363056377835010010491948235883270975417957994733198327855/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784",
        "1983854457452823059841792056282394365526288585730867729144953822910503700459159481934363056377835010010491948235883270975417957994733252984785/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784"
      ],
      "integral": "[0.040671656679116179386662813521491339013970913291045958255702810616009100733974015323208652965095432811247882113135360491310545783338036512618463873831 +/- 4.49e-151]",
      "integral_endpoints": [
        "56082678801568553018371498761626906614461198154412573852008720064631582701935124204439510658262691149302367645063105908543706289302424219082201180672732005080889349289018599740148116781709793188758165296390863089395/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
        "56082678801568553018371498761626906614461198154412573852008720064631582701935124204439510658262691149302367645063105908543706289302424219082201180673087481874816097366778110838870646351977322379325261307193030110963/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
      ],
      "minimum": "[0.0155472996288219392578125389511119611583395467070666047726361616532372070857769994067495352965831263798171124102154969334824794826935239910 +/- 5.87e-140]",
      "minimum_endpoints": [
        "85753498382836416383071979192403484379628197323211804652380575637696027882147261332842047093090962023842097777871844639561964909994150405526958684893724343131258084036565586820664508809521708402588234209124165114093/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "85753498382836416383071979192403484379628197323211804652380575637696027882147261332842047093090962023842097777871844639561964909994150405899564428724884237882316904959022636385559448458334799587580293760023996422381/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 24,
      "generator": "[0.04067165667911617938666281352149133901397091329104595825570281061600910073397401532320865296509543281124788211313536049131054578333804 +/- 4.07e-135]",
      "generator_endpoints": [
        "1983854457452823059841792056282394365526288585730867729144953822910503700459159481934363056377835010010491948235883270975417957994733198327855/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784",
        "1983854457452823059841792056282394365526288585730867729144953822910503700459159481934363056377835010010491948235883270975417957994733252984785/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784"
      ],
      "integral": "[0.040671656679116179386662813521491339013970913291045958255702810616009100733974015323208652965095432811247882113135360491310545783338036512618463873831 +/- 4.49e-151]",
      "integral_endpoints": [
        "56082678801568553018371498761626906614461198154412573852008720064631582701935124204439510658262691149302367645063105908543706289302424219082201180672732005080889349289018599740148116781709793188758165296390863089395/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
        "56082678801568553018371498761626906614461198154412573852008720064631582701935124204439510658262691149302367645063105908543706289302424219082201180673087481874816097366778110838870646351977322379325261307193030110963/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
      ],
      "minimum": "[0.015546914888414620237564752819031070434707738680760839657999722730429908937659834420496813131691046741906254960650582246273057174124046670 +/- 4.50e-139]",
      "minimum_endpoints": [
        "85751376288538080448644480534765071733428499107573661439994484354342358345754487346677446909321863149693438685545469089117769631243016658186310598703988916015682655375832840994065386007482108904648352250708844473917/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "85751376288538080448644480534765071733428499107573661439994484354342358345754487346677446909321863149693438685545469089117769631243016659169320272869513020842650511982991462527585947952809943399647883540805133921853/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 25,
      "generator": "[0.04067165667911617938666281352149133901397091329104595825570281061600910073397401532320865296509543281124788211313536049131054578333804 +/- 4.07e-135]",
      "generator_endpoints": [
        "1983854457452823059841792056282394365526288585730867729144953822910503700459159481934363056377835010010491948235883270975417957994733198327855/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784",
        "1983854457452823059841792056282394365526288585730867729144953822910503700459159481934363056377835010010491948235883270975417957994733252984785/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784"
      ],
      "integral": "[0.040671656679116179386662813521491339013970913291045958255702810616009100733974015323208652965095432811247882113135360491310545783338036512618463873831 +/- 4.49e-151]",
      "integral_endpoints": [
        "56082678801568553018371498761626906614461198154412573852008720064631582701935124204439510658262691149302367645063105908543706289302424219082201180672732005080889349289018599740148116781709793188758165296390863089395/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144",
        "56082678801568553018371498761626906614461198154412573852008720064631582701935124204439510658262691149302367645063105908543706289302424219082201180673087481874816097366778110838870646351977322379325261307193030110963/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144"
      ],
      "minimum": "[0.015520009300714858529390889953932268536855084063876631091534812969904262985280260682605753930357605641575438673307312795020724089717428246 +/- 3.36e-139]",
      "minimum_endpoints": [
        "42801487211425900395092180316438180973135638455999767702116722189724794175315017409250185034641749103207203420294572632935899989720654853498944793123752542279107547844949695482735964684395844301282071215330298134359/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "42801487211425900395092180316438180973135638455999767702116722189724794175315017409250185034641749103207203420294572632935899989720654855008697922526431714390689013809187516810342685485093814358050327460919355080535/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 26,
      "generator": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658 +/- 8.13e-136]",
      "generator_endpoints": [
        "30028399639148257426503020812256526357254162411459581718446142387578266651680366873609913760189239486595942954097057708726167854990423969151131/390218568789499028922699653724145788218574767833121393857394619953171467352470702515038262882936496394978366390175827861930996959911035663286272",
        "30028399639148257426503020812256526357254162411459581718446142387578266651680366873609913760189239486595942954097057708726167854990424447600485/390218568789499028922699653724145788218574767833121393857394619953171467352470702515038262882936496394978366390175827861930996959911035663286272"
      ],
      "integral": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658221592930781974 +/- 5.60e-151]",
      "integral_endpoints": [
        "424444718099371150530486456468311154075205483261135957085725344076471126711125539830922243857216423654525044684896656193740132306378259794118067050743117068184304245979017860112657186136500311247177756914654598019061/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "424444718099371150530486456468311154075205483261135957085725344076471126711125539830922243857216423654525044684896656193740132306378259794118067050744559676973188444375434432287085045459282994289326288092849321687029/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "minimum": "[0.01542340901249896645848246258431018197511603937785841986240131117629805528091168440548923394848793268298166018407414933374905013243087396 +/- 4.44e-138]",
      "minimum_endpoints": [
        "85070160824537511454262981318008711179785859113105715819093186906049432067214709225890678418460363632352728853574445907146283312692958712411613873976107843245874203465621081488508918218038084808336900662474942958017/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "85070160824537511454262981318008711179785859113105715819093186906049432067214709225890678418460363632352728853574445907146283312692958723837199848739416120525401370019055234606546323756283665052043835941849401379265/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 27,
      "generator": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658 +/- 8.13e-136]",
      "generator_endpoints": [
        "30028399639148257426503020812256526357254162411459581718446142387578266651680366873609913760189239486595942954097057708726167854990423969151131/390218568789499028922699653724145788218574767833121393857394619953171467352470702515038262882936496394978366390175827861930996959911035663286272",
        "30028399639148257426503020812256526357254162411459581718446142387578266651680366873609913760189239486595942954097057708726167854990424447600485/390218568789499028922699653724145788218574767833121393857394619953171467352470702515038262882936496394978366390175827861930996959911035663286272"
      ],
      "integral": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658221592930781974 +/- 5.60e-151]",
      "integral_endpoints": [
        "424444718099371150530486456468311154075205483261135957085725344076471126711125539830922243857216423654525044684896656193740132306378259794118067050743117068184304245979017860112657186136500311247177756914654598019061/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "424444718099371150530486456468311154075205483261135957085725344076471126711125539830922243857216423654525044684896656193740132306378259794118067050744559676973188444375434432287085045459282994289326288092849321687029/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "minimum": "[0.01531396462752732040957648997393755498063833844681284028978367460259708895852092777144940981042325131034201050412257595522862655141461004 +/- 8.24e-138]",
      "minimum_endpoints": [
        "10558312956860605849574432452222106419431514650740314787749669570919594633589418054035489253861859258675681254494869710354752112815286310407114484477248713491708150573907866519590297911273867078113825367399897584507/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072",
        "10558312956860605849574432452222106419431514650740314787749669570919594633589418054035489253861859258675681254494869710354752112815286316613272749725933822361239888949851028318729273482319174496364904449111305573243/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 28,
      "generator": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658 +/- 8.13e-136]",
      "generator_endpoints": [
        "30028399639148257426503020812256526357254162411459581718446142387578266651680366873609913760189239486595942954097057708726167854990423969151131/390218568789499028922699653724145788218574767833121393857394619953171467352470702515038262882936496394978366390175827861930996959911035663286272",
        "30028399639148257426503020812256526357254162411459581718446142387578266651680366873609913760189239486595942954097057708726167854990424447600485/390218568789499028922699653724145788218574767833121393857394619953171467352470702515038262882936496394978366390175827861930996959911035663286272"
      ],
      "integral": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658221592930781974 +/- 5.60e-151]",
      "integral_endpoints": [
        "424444718099371150530486456468311154075205483261135957085725344076471126711125539830922243857216423654525044684896656193740132306378259794118067050743117068184304245979017860112657186136500311247177756914654598019061/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "424444718099371150530486456468311154075205483261135957085725344076471126711125539830922243857216423654525044684896656193740132306378259794118067050744559676973188444375434432287085045459282994289326288092849321687029/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "minimum": "[0.0152145909752631600961622481055858553069044268647630660754258821874561962518612596925377155686199480000537866407521463966606237180412511 +/- 2.60e-137]",
      "minimum_endpoints": [
        "41959196572440660519879088762044587387009067978173340951352361755043849993029632639650620867464423741858003907959181463537840445263495169801318584005963763412528723543138066591245314063394349022352019764407362859257/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "41959196572440660519879088762044587387009067978173340951352361755043849993029632639650620867464423741858003907959181463537840445263495263020781713365583605099464277411338790050215457955830872034914571310999475794169/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 29,
      "generator": "[0.03705153674321387794306986653581934745319156151927608081125598102747010248280538125068680469139512635527435041401031967653215432154256 +/- 3.20e-135]",
      "generator_endpoints": [
        "28916395278776910895065182397267509996953956216220283428222056603781947658246980320329888164298167901168383694032590808932167226326979105949099/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544",
        "28916395278776910895065182397267509996953956216220283428222056603781947658246980320329888164298167901168383694032590808932167226326980243847765/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544"
      ],
      "integral": "[0.037051536743213877943069866535819347453191561519276080811255981027470102482805381250686804691395126355274350414010319676532154321542557569065720993870 +/- 2.89e-151]",
      "integral_endpoints": [
        "102181696244557030957943848863179167437345034045981028003637848129962191212308400734650344390698407151833318234648093060159840777982984277076395168251081692389416266603864547709005542875922068293316049699843390909927/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288",
        "102181696244557030957943848863179167437345034045981028003637848129962191212308400734650344390698407151833318234648093060159840777982984277076395168251829560362647688770082881085246917406423649520437606829517193948647/2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288"
      ],
      "minimum": "[0.014702947028168504263772780739137823957482134991931568468425383055045152340695332573058895497434313142113508205787724157225526003988282 +/- 2.82e-136]",
      "minimum_endpoints": [
        "10137042881273281142319746858997616486257146703820928182418075449698600932899674092456851397507091656321140058496123196358754722836153947333167667846826442063690214135960017682236024573691896520341526975673374971325/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072",
        "10137042881273281142319746858997616486257146703820928182418075449698600932899674092456851397507091656321140058496123196358754722836154073426303926375051286590602145490221001070395721003933326953100307178216736265661/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072"
      ],
      "exterior_tail_exact": "0"
    },
    {
      "N": 30,
      "generator": "[0.06703417596559116325039735345863626959410643566727790594376474069976101512889853465611734573984466984298117711551461501370707976901106 +/- 2.27e-135]",
      "generator_endpoints": [
        "52315960410552835652983752960662691972867142021047315371279771380580226127940042746104831489539367918240061881531956466384779119646631842534831/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544",
        "52315960410552835652983752960662691972867142021047315371279771380580226127940042746104831489539367918240061881531956466384779119646633122343505/780437137578998057845399307448291576437149535666242787714789239906342934704941405030076525765872992789956732780351655723861993919822071326572544"
      ],
      "integral": "[0.067034175965591163250397353458636269594106435667277905943764740699761015128898534656117345739844669842981177115514615013707079769011058588748623165671 +/- 5.87e-151]",
      "integral_endpoints": [
        "46217150546223718030511684606742079259688739426416555132266188021902555736150693094207291380522266048042262174794386857398339281122167433768875814195964364297233096050634611085942285247683020499676883275122293946339/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072",
        "46217150546223718030511684606742079259688739426416555132266188021902555736150693094207291380522266048042262174794386857398339281122167433768875814196162672785026449480848353728374322379572090961715738029349794035683/689456532887748412341091025928864224451014138635639044112158674527024860928026977516082500242976073479223111693916991352080883023896091539947888937618883326765331077022147490374177752073413947198182949091512336515072"
      ],
      "minimum": "[0.014530110474137250869617184339833174838689081619885569868338598593787595616536727147636475536755860650629610595397150541842516030185863 +/- 7.63e-136]",
      "minimum_endpoints": [
        "80143036719797017449089999204620602519818596561899693431614427093242157603401791281960252133638706377483547227823365650804581893217090202941979747350144396081838526996855883094101039946420324937096686523144541660069/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576",
        "80143036719797017449089999204620602519818596561899693431614427093242157603401791281960252133638706377483547227823365650804581893217094250853759406989411171954126407660571507049363078170638706236596198193918004519845/5515652263101987298728728207430913795608113109085112352897269396216198887424215820128660001943808587833784893551335930816647064191168732319583111500951066614122648616177179922993422016587311577585463592732098692120576"
      ],
      "exterior_tail_exact": "0"
    }
  ],
  "kernel_checkpoints": "kernel-checkpoints.jsonl"
}