independent-checks.json

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

100166 bytes, as of the version from 2026-11-02 11:02 (current). Recorded here, not run.

{
  "scope": "quartic",
  "records": [
    {
      "kind": "quartic",
      "source_row": "52",
      "value": "1239.286015777256461510332910345458008585469717572054316701599878327177129771518264424577531013089009605110481732782418459557511365201640955655122",
      "comparisons": [
        {
          "relative_error": "1.07330104217645e-125",
          "agreement_digits": "124.969278449",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "4.75446312566888e-145",
          "agreement_digits": "144.322898517",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.394889518267218"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "-0.56465473374503885267853113304235047963857814625962492635978544279926203537867335566016745911631832150512427779063168342935811047850991190612579177687763216271630936680273",
            "-1.625710907153483628775548868204340613335164480005277002196154288014574571729411068721369231437978420586397956908065867462912204982209665032375023",
            "0.9691987330012687390572414545769306005451837065372770096881101861766544641075850419108247592991675237615495189988801970339152692667802069115632943",
            "5.607659857343768974687471840725721612478352950046041778241292515704884290861586081432326985085662177216809243330193928106019290526181238564590381193499530820315717140919"
          ],
          [
            "-1.625710907153483628775548868204340613335164480005277002196154288014574571729411068721369231437978420586397956908065867462912204982209665032375023",
            "0.56465473374503885267853113304235047963857814625962492635978544279926203537867335566016745911631832150512427779063168342935811047850991190612579177687763216271630936680273",
            "5.607659857343768974687471840725721612478352950046041778241292515704884290861586081432326985085662177216809243330193928106019290526181238564590381193499530820315717140919",
            "-0.9691987330012687390572414545769306005451837065372770096881101861766544641075850419108247592991675237615495189988801970339152692667802069115632943"
          ],
          [
            "0.9691987330012687390572414545769306005451837065372770096881101861766544641075850419108247592991675237615495189988801970339152692667802069115632943",
            "5.607659857343768974687471840725721612478352950046041778241292515704884290861586081432326985085662177216809243330193928106019290526181238564590381193499530820315717140919",
            "0.56465473374503885267853113304235047963857814625962492635978544279926203537867335566016745911631832150512427779063168342935811047850991190612579177687763216271630936680273",
            "1.625710907153483628775548868204340613335164480005277002196154288014574571729411068721369231437978420586397956908065867462912204982209665032375023"
          ],
          [
            "5.607659857343768974687471840725721612478352950046041778241292515704884290861586081432326985085662177216809243330193928106019290526181238564590381193499530820315717140919",
            "-0.9691987330012687390572414545769306005451837065372770096881101861766544641075850419108247592991675237615495189988801970339152692667802069115632943",
            "1.625710907153483628775548868204340613335164480005277002196154288014574571729411068721369231437978420586397956908065867462912204982209665032375023",
            "-0.56465473374503885267853113304235047963857814625962492635978544279926203537867335566016745911631832150512427779063168342935811047850991190612579177687763216271630936680273"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.71049128608274e-171",
          "agreement_digits": "170.766879134",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 4,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "53",
      "value": "8849.466634150676536532326333968866425243054436955746294300631419086614585963613892000578453182079633316457913979567678270522493228220315943181807",
      "comparisons": [
        {
          "relative_error": "4.18973512911731e-126",
          "agreement_digits": "125.377813432",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "1.098825997584e-145",
          "agreement_digits": "144.959071074",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.316457913979568"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "0.8451393196889167525881923079918605594864212697832339548457150700596361152374201240494896185797350892352566197212304613020056505312193839234899695340207618046626458438182",
            "-0.6945825760909440388184795823451764657732161973348647052320759190636915493268695298107736097407016444205880403249506015181487166812916468943270847",
            "0.9701754486658952145481182971059715091800916010303237515006691651302613501460945224662289399051589726079410622323064549073224390732767014895828739",
            "9.6738935083898854039248911389903233038858412263595567926241657728702778051216082801195780271264637172804310280361707177163962312302623454636414272555568386304385239145108"
          ],
          [
            "-0.6945825760909440388184795823451764657732161973348647052320759190636915493268695298107736097407016444205880403249506015181487166812916468943270847",
            "-0.8451393196889167525881923079918605594864212697832339548457150700596361152374201240494896185797350892352566197212304613020056505312193839234899695340207618046626458438182",
            "9.6738935083898854039248911389903233038858412263595567926241657728702778051216082801195780271264637172804310280361707177163962312302623454636414272555568386304385239145108",
            "-0.9701754486658952145481182971059715091800916010303237515006691651302613501460945224662289399051589726079410622323064549073224390732767014895828739"
          ],
          [
            "0.9701754486658952145481182971059715091800916010303237515006691651302613501460945224662289399051589726079410622323064549073224390732767014895828739",
            "9.6738935083898854039248911389903233038858412263595567926241657728702778051216082801195780271264637172804310280361707177163962312302623454636414272555568386304385239145108",
            "-0.8451393196889167525881923079918605594864212697832339548457150700596361152374201240494896185797350892352566197212304613020056505312193839234899695340207618046626458438182",
            "0.6945825760909440388184795823451764657732161973348647052320759190636915493268695298107736097407016444205880403249506015181487166812916468943270847"
          ],
          [
            "9.6738935083898854039248911389903233038858412263595567926241657728702778051216082801195780271264637172804310280361707177163962312302623454636414272555568386304385239145108",
            "-0.9701754486658952145481182971059715091800916010303237515006691651302613501460945224662289399051589726079410622323064549073224390732767014895828739",
            "0.6945825760909440388184795823451764657732161973348647052320759190636915493268695298107736097407016444205880403249506015181487166812916468943270847",
            "0.8451393196889167525881923079918605594864212697832339548457150700596361152374201240494896185797350892352566197212304613020056505312193839234899695340207618046626458438182"
          ]
        ],
        "expansion_check": {
          "relative_error": "3.83261594143229e-171",
          "agreement_digits": "170.416504698",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.91630797071615e-171",
          "agreement_digits": "170.717534694",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 4,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "54",
      "value": "134701.8642129649650863185446240623187281384231882552344197683961239279293939928934702872523063694295824238517861375165450389302207811998137889212",
      "comparisons": [
        {
          "relative_error": "1.92842815561033e-125",
          "agreement_digits": "124.714796536",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "5.68859201378104e-146",
          "agreement_digits": "145.244995213",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.175761482138625"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "2.252533672309475455000799722382907110069250996559567251713435271426682239862496247188945088794063210978210725285239727697410543745464471982402794",
            "-1.348695623404157139536267284798251548044933086077328211651796836844670496337008596977900547029713895291643511112522337351592710485969046406863162",
            "0.969217048767192998587830446565926092562701123248618179432065395409690573735657795780978243634358012901396393182257889668546545547755246058332846",
            "19.347199208079835344927833262243837584685342259917337547047388180827130977445136940410196571049115432062028957560893266381462485744046070434686872"
          ],
          [
            "-1.348695623404157139536267284798251548044933086077328211651796836844670496337008596977900547029713895291643511112522337351592710485969046406863162",
            "2.252533672309475455000799722382907110069250996559567251713435271426682239862496247188945088794063210978210725285239727697410543745464471982402794",
            "-19.347199208079835344927833262243837584685342259917337547047388180827130977445136940410196571049115432062028957560893266381462485744046070434686872",
            "-0.969217048767192998587830446565926092562701123248618179432065395409690573735657795780978243634358012901396393182257889668546545547755246058332846"
          ],
          [
            "0.969217048767192998587830446565926092562701123248618179432065395409690573735657795780978243634358012901396393182257889668546545547755246058332846",
            "-19.347199208079835344927833262243837584685342259917337547047388180827130977445136940410196571049115432062028957560893266381462485744046070434686872",
            "2.252533672309475455000799722382907110069250996559567251713435271426682239862496247188945088794063210978210725285239727697410543745464471982402794",
            "1.348695623404157139536267284798251548044933086077328211651796836844670496337008596977900547029713895291643511112522337351592710485969046406863162"
          ],
          [
            "19.347199208079835344927833262243837584685342259917337547047388180827130977445136940410196571049115432062028957560893266381462485744046070434686872",
            "-0.969217048767192998587830446565926092562701123248618179432065395409690573735657795780978243634358012901396393182257889668546545547755246058332846",
            "1.348695623404157139536267284798251548044933086077328211651796836844670496337008596977900547029713895291643511112522337351592710485969046406863162",
            "2.252533672309475455000799722382907110069250996559567251713435271426682239862496247188945088794063210978210725285239727697410543745464471982402794"
          ]
        ],
        "expansion_check": {
          "relative_error": "4.02864291072873e-171",
          "agreement_digits": "170.394841226",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "2.01432145536436e-171",
          "agreement_digits": "170.695871221",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 6,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "55",
      "value": "77248.82831678231943414408474486688253516094572865805240773305908239404108909130514913199943314921493205188669467677075064575154176423561956916924",
      "comparisons": [
        {
          "relative_error": "4.11593839162032e-126",
          "agreement_digits": "125.385531134",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "2.451199040179e-145",
          "agreement_digits": "144.610621422",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.205188669467677"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "2.0436107954894037106661701531741846472409799155024497935936690464419277542708778900725204979104315793393432806225419667593853488263674727177943998708776256672328104420473",
            "0.3624762913706421220981208095913566862297780276335447056527314560456643150910893825585959113732816758981560343939232883999955866843221191709963121",
            "1.015318970924568598377298652544660955997851836455531355955075275633008433758426381100152233986154978069431021148954046166667114358075058546074718",
            "16.755160981546325171530906453615358776906367978062323175775715555309563387231880372645913610478224481457927280426275236859601941732659086291788230929654729623912384472335"
          ],
          [
            "0.3624762913706421220981208095913566862297780276335447056527314560456643150910893825585959113732816758981560343939232883999955866843221191709963121",
            "-2.0436107954894037106661701531741846472409799155024497935936690464419277542708778900725204979104315793393432806225419667593853488263674727177943998708776256672328104420473",
            "16.755160981546325171530906453615358776906367978062323175775715555309563387231880372645913610478224481457927280426275236859601941732659086291788230929654729623912384472335",
            "-1.015318970924568598377298652544660955997851836455531355955075275633008433758426381100152233986154978069431021148954046166667114358075058546074718"
          ],
          [
            "1.015318970924568598377298652544660955997851836455531355955075275633008433758426381100152233986154978069431021148954046166667114358075058546074718",
            "16.755160981546325171530906453615358776906367978062323175775715555309563387231880372645913610478224481457927280426275236859601941732659086291788230929654729623912384472335",
            "-2.0436107954894037106661701531741846472409799155024497935936690464419277542708778900725204979104315793393432806225419667593853488263674727177943998708776256672328104420473",
            "-0.3624762913706421220981208095913566862297780276335447056527314560456643150910893825585959113732816758981560343939232883999955866843221191709963121"
          ],
          [
            "16.755160981546325171530906453615358776906367978062323175775715555309563387231880372645913610478224481457927280426275236859601941732659086291788230929654729623912384472335",
            "-1.015318970924568598377298652544660955997851836455531355955075275633008433758426381100152233986154978069431021148954046166667114358075058546074718",
            "-0.3624762913706421220981208095913566862297780276335447056527314560456643150910893825585959113732816758981560343939232883999955866843221191709963121",
            "2.0436107954894037106661701531741846472409799155024497935936690464419277542708778900725204979104315793393432806225419667593853488263674727177943998708776256672328104420473"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.75622634720795e-171",
          "agreement_digits": "170.755419512",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.75622634720795e-171",
          "agreement_digits": "170.755419512",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 4,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "56",
      "value": "28007.16671996294368772676027572503496320341630405352902967719323920751260891522203937602111963050834304856790043002150221913544827894850196632111",
      "comparisons": [
        {
          "relative_error": "3.6089108419651e-125",
          "agreement_digits": "124.442623847",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "4.13531901938231e-145",
          "agreement_digits": "144.383490981",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.304856790043002"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "0.9695203563827805208113186919032829080057766798430092763384899886253790164569330472302880286571434605588027034890891621884916113666018346881252203",
            "1.4472969354037765048364589024776980397855516826266783433858559983156526325726662402301584867342993436204655920124897862025144790238011311701040179294405048975052253577264",
            "4.2967187423483532895708281017906924768528473299674584537081055001562077925338956529318459581614697556741490482006911905661310904906927577929638005183798675097369025550574",
            "12.09209464337546322096099361857317529418050122964092567212806445350501976545196647387305920626877182027633237088062397412817854040719569488337029288467803981938134047357"
          ],
          [
            "1.4472969354037765048364589024776980397855516826266783433858559983156526325726662402301584867342993436204655920124897862025144790238011311701040179294405048975052253577264",
            "-0.9695203563827805208113186919032829080057766798430092763384899886253790164569330472302880286571434605588027034890891621884916113666018346881252203",
            "12.09209464337546322096099361857317529418050122964092567212806445350501976545196647387305920626877182027633237088062397412817854040719569488337029288467803981938134047357",
            "-4.2967187423483532895708281017906924768528473299674584537081055001562077925338956529318459581614697556741490482006911905661310904906927577929638005183798675097369025550574"
          ],
          [
            "4.2967187423483532895708281017906924768528473299674584537081055001562077925338956529318459581614697556741490482006911905661310904906927577929638005183798675097369025550574",
            "12.09209464337546322096099361857317529418050122964092567212806445350501976545196647387305920626877182027633237088062397412817854040719569488337029288467803981938134047357",
            "-0.9695203563827805208113186919032829080057766798430092763384899886253790164569330472302880286571434605588027034890891621884916113666018346881252203",
            "-1.4472969354037765048364589024776980397855516826266783433858559983156526325726662402301584867342993436204655920124897862025144790238011311701040179294405048975052253577264"
          ],
          [
            "12.09209464337546322096099361857317529418050122964092567212806445350501976545196647387305920626877182027633237088062397412817854040719569488337029288467803981938134047357",
            "-4.2967187423483532895708281017906924768528473299674584537081055001562077925338956529318459581614697556741490482006911905661310904906927577929638005183798675097369025550574",
            "-1.4472969354037765048364589024776980397855516826266783433858559983156526325726662402301584867342993436204655920124897862025144790238011311701040179294405048975052253577264",
            "0.9695203563827805208113186919032829080057766798430092763384899886253790164569330472302880286571434605588027034890891621884916113666018346881252203"
          ]
        ],
        "expansion_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 4,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "57",
      "value": "529.1099380834092318404369804098330739562864169919158998000940145246520666701214476501189448143185241940867973295888816812293886797606446399523008",
      "comparisons": [
        {
          "relative_error": "7.70799897629714e-126",
          "agreement_digits": "125.113058352",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "1.48609165378709e-145",
          "agreement_digits": "144.827954405",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.0591320267041112"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "1.0072453571911591618160418557343105397436009731859425301164155500285854727154918357741181214181001026745150567728776107248695890082906410026646589352158604125527737509794",
            "-1.903019804545363000745349307309226728910364246904382215726579349483917463342817353181793190634294842971554433796601102835808541664165302966295526",
            "1.3706945141804263139434947385770703115312667322816504687505326488426250090920622116646202858808098668877442967123139559194780069294677297695581647064063318520422851081615",
            "5.0230682895663646222249967799766699936792552029759982250431552341067773559798814707260762508193153574927449866038163857142159986056195783047686011395202100849717807683104"
          ],
          [
            "-1.903019804545363000745349307309226728910364246904382215726579349483917463342817353181793190634294842971554433796601102835808541664165302966295526",
            "-1.0072453571911591618160418557343105397436009731859425301164155500285854727154918357741181214181001026745150567728776107248695890082906410026646589352158604125527737509794",
            "-5.0230682895663646222249967799766699936792552029759982250431552341067773559798814707260762508193153574927449866038163857142159986056195783047686011395202100849717807683104",
            "1.3706945141804263139434947385770703115312667322816504687505326488426250090920622116646202858808098668877442967123139559194780069294677297695581647064063318520422851081615"
          ],
          [
            "1.3706945141804263139434947385770703115312667322816504687505326488426250090920622116646202858808098668877442967123139559194780069294677297695581647064063318520422851081615",
            "-5.0230682895663646222249967799766699936792552029759982250431552341067773559798814707260762508193153574927449866038163857142159986056195783047686011395202100849717807683104",
            "1.0072453571911591618160418557343105397436009731859425301164155500285854727154918357741181214181001026745150567728776107248695890082906410026646589352158604125527737509794",
            "1.903019804545363000745349307309226728910364246904382215726579349483917463342817353181793190634294842971554433796601102835808541664165302966295526"
          ],
          [
            "5.0230682895663646222249967799766699936792552029759982250431552341067773559798814707260762508193153574927449866038163857142159986056195783047686011395202100849717807683104",
            "1.3706945141804263139434947385770703115312667322816504687505326488426250090920622116646202858808098668877442967123139559194780069294677297695581647064063318520422851081615",
            "1.903019804545363000745349307309226728910364246904382215726579349483917463342817353181793190634294842971554433796601102835808541664165302966295526",
            "-1.0072453571911591618160418557343105397436009731859425301164155500285854727154918357741181214181001026745150567728776107248695890082906410026646589352158604125527737509794"
          ]
        ],
        "expansion_check": {
          "relative_error": "2.00316397252874e-171",
          "agreement_digits": "170.698283499",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "2.00316397252874e-171",
          "agreement_digits": "170.698283499",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 2,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "58",
      "value": "61200.38283831433448287721073407069222094379556539827241021087434668475571151071411153042461685617596511603955778911398112886595729231456335448279",
      "comparisons": [
        {
          "relative_error": "2.29957491784504e-125",
          "agreement_digits": "124.638352437",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "1.8819184457201e-145",
          "agreement_digits": "144.725399201",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.488396044221089"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "5.2300126283245468074273285989540028474017421538961730486694182276493728367075358829368018352761902812198544758199667536508210157092254713617540638956417344040004074423337",
            "-0.5070736509698308743201140800421117011857372313596145794895069450471123345921855947074727317915365107668886607709798285337843045011880796834984376",
            "1.5574621111538832273326744555733332284429695871712629550235130573439839637336400164500772492683269708463867637367128471363745453718144209782058966305671133501645748188621",
            "14.809617300477064094395635890134534711356861560289928444944655809704102480088310262362513158508353020697480862016677768078936341200054729760080340233632845242794957588394"
          ],
          [
            "-0.5070736509698308743201140800421117011857372313596145794895069450471123345921855947074727317915365107668886607709798285337843045011880796834984376",
            "-5.2300126283245468074273285989540028474017421538961730486694182276493728367075358829368018352761902812198544758199667536508210157092254713617540638956417344040004074423337",
            "-14.809617300477064094395635890134534711356861560289928444944655809704102480088310262362513158508353020697480862016677768078936341200054729760080340233632845242794957588394",
            "1.5574621111538832273326744555733332284429695871712629550235130573439839637336400164500772492683269708463867637367128471363745453718144209782058966305671133501645748188621"
          ],
          [
            "1.5574621111538832273326744555733332284429695871712629550235130573439839637336400164500772492683269708463867637367128471363745453718144209782058966305671133501645748188621",
            "-14.809617300477064094395635890134534711356861560289928444944655809704102480088310262362513158508353020697480862016677768078936341200054729760080340233632845242794957588394",
            "5.2300126283245468074273285989540028474017421538961730486694182276493728367075358829368018352761902812198544758199667536508210157092254713617540638956417344040004074423337",
            "0.5070736509698308743201140800421117011857372313596145794895069450471123345921855947074727317915365107668886607709798285337843045011880796834984376"
          ],
          [
            "14.809617300477064094395635890134534711356861560289928444944655809704102480088310262362513158508353020697480862016677768078936341200054729760080340233632845242794957588394",
            "1.5574621111538832273326744555733332284429695871712629550235130573439839637336400164500772492683269708463867637367128471363745453718144209782058966305671133501645748188621",
            "0.5070736509698308743201140800421117011857372313596145794895069450471123345921855947074727317915365107668886607709798285337843045011880796834984376",
            "-5.2300126283245468074273285989540028474017421538961730486694182276493728367075358829368018352761902812198544758199667536508210157092254713617540638956417344040004074423337"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.10837891275365e-171",
          "agreement_digits": "170.955311745",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.10837891275365e-171",
          "agreement_digits": "170.955311745",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 2,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "59",
      "value": "337154.2409054343500552887850263443846265378751771029214171815764103107717929289958629989777716195981744900027676410867586544323518992538172989469",
      "comparisons": [
        {
          "relative_error": "1.54340195611896e-125",
          "agreement_digits": "124.811520954",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "1.67756328942573e-145",
          "agreement_digits": "144.775321086",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.255099972323589"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "0.969201688690575853532477542798588412983855357691789975590460052613824646799990569217845956339746876925862900473958536503197092693784298749922802",
            "2.38346519481859941167424940326480322113303407293978349161718801881483013781545032098814673552323764971106410071785451188176729856606396474697996",
            "3.1361926870586718094487766510909807539380561596224166435423389045564169067281288657550909462448327775817238816930557179017966096765679090490488374659186793238028174400416",
            "24.183992731011828088777803068535109242245283851567391564198828681977689731611110642251482993753292187200135762606917441930091618073646107192292714055150205655523473542967"
          ],
          [
            "2.38346519481859941167424940326480322113303407293978349161718801881483013781545032098814673552323764971106410071785451188176729856606396474697996",
            "0.969201688690575853532477542798588412983855357691789975590460052613824646799990569217845956339746876925862900473958536503197092693784298749922802",
            "24.183992731011828088777803068535109242245283851567391564198828681977689731611110642251482993753292187200135762606917441930091618073646107192292714055150205655523473542967",
            "3.1361926870586718094487766510909807539380561596224166435423389045564169067281288657550909462448327775817238816930557179017966096765679090490488374659186793238028174400416"
          ],
          [
            "3.1361926870586718094487766510909807539380561596224166435423389045564169067281288657550909462448327775817238816930557179017966096765679090490488374659186793238028174400416",
            "24.183992731011828088777803068535109242245283851567391564198828681977689731611110642251482993753292187200135762606917441930091618073646107192292714055150205655523473542967",
            "-0.969201688690575853532477542798588412983855357691789975590460052613824646799990569217845956339746876925862900473958536503197092693784298749922802",
            "-2.38346519481859941167424940326480322113303407293978349161718801881483013781545032098814673552323764971106410071785451188176729856606396474697996"
          ],
          [
            "24.183992731011828088777803068535109242245283851567391564198828681977689731611110642251482993753292187200135762606917441930091618073646107192292714055150205655523473542967",
            "3.1361926870586718094487766510909807539380561596224166435423389045564169067281288657550909462448327775817238816930557179017966096765679090490488374659186793238028174400416",
            "-2.38346519481859941167424940326480322113303407293978349161718801881483013781545032098814673552323764971106410071785451188176729856606396474697996",
            "-0.969201688690575853532477542798588412983855357691789975590460052613824646799990569217845956339746876925862900473958536503197092693784298749922802"
          ]
        ],
        "expansion_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 1,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "60",
      "value": "27026.37700300738176357349616404517809102519303463606927911303740746186531496876686400844714159423392291864524629970095172988391534709591615882628",
      "comparisons": [
        {
          "relative_error": "1.17856540829612e-125",
          "agreement_digits": "124.92864631",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "2.77499315279303e-145",
          "agreement_digits": "144.556738084",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.29186452462997"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "4.165992982103161106251350646499070083985901084869585700114481580815554501836873083194549655207538138479370885182019537071957508411635785746060567790330252521081735281218",
            "-1.703960498856145584623706103638857466776788267714992553617113516886088898567618060450499532943193731097848508203124034875061568569947411781554814",
            "1.3731771103853818385465946562840566860576165306958243964437445584195021491812991943607872447027239773311511600969006884477152104302156835993592482013105745674695898124092",
            "11.971226989341479089775175872142325888601885327270711589151426107764365769926372472674618674020607617532968576595605615200555489894687531932877125519205443108091532537806"
          ],
          [
            "-1.703960498856145584623706103638857466776788267714992553617113516886088898567618060450499532943193731097848508203124034875061568569947411781554814",
            "4.165992982103161106251350646499070083985901084869585700114481580815554501836873083194549655207538138479370885182019537071957508411635785746060567790330252521081735281218",
            "11.971226989341479089775175872142325888601885327270711589151426107764365769926372472674618674020607617532968576595605615200555489894687531932877125519205443108091532537806",
            "1.3731771103853818385465946562840566860576165306958243964437445584195021491812991943607872447027239773311511600969006884477152104302156835993592482013105745674695898124092"
          ],
          [
            "1.3731771103853818385465946562840566860576165306958243964437445584195021491812991943607872447027239773311511600969006884477152104302156835993592482013105745674695898124092",
            "11.971226989341479089775175872142325888601885327270711589151426107764365769926372472674618674020607617532968576595605615200555489894687531932877125519205443108091532537806",
            "-4.165992982103161106251350646499070083985901084869585700114481580815554501836873083194549655207538138479370885182019537071957508411635785746060567790330252521081735281218",
            "1.703960498856145584623706103638857466776788267714992553617113516886088898567618060450499532943193731097848508203124034875061568569947411781554814"
          ],
          [
            "11.971226989341479089775175872142325888601885327270711589151426107764365769926372472674618674020607617532968576595605615200555489894687531932877125519205443108091532537806",
            "1.3731771103853818385465946562840566860576165306958243964437445584195021491812991943607872447027239773311511600969006884477152104302156835993592482013105745674695898124092",
            "1.703960498856145584623706103638857466776788267714992553617113516886088898567618060450499532943193731097848508203124034875061568569947411781554814",
            "-4.165992982103161106251350646499070083985901084869585700114481580815554501836873083194549655207538138479370885182019537071957508411635785746060567790330252521081735281218"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.25494463765694e-171",
          "agreement_digits": "170.901375433",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.25494463765694e-171",
          "agreement_digits": "170.901375433",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 1,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "61",
      "value": "154737.0272540944066501680425011729739037648941562753861595438601458528299135513389388667216061105604216854761316989857394768195511715913243791719",
      "comparisons": [
        {
          "relative_error": "1.80444986276021e-125",
          "agreement_digits": "124.74365518",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "5.10565459275029e-146",
          "agreement_digits": "145.291948569",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.21685476131699"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "6.6262294749198094046492658823486558646460729258560185744371182231730385260677393955781195319411539098678321512959062759727987793612375834121563397966344669955655156343956",
            "-1.85373726658973605064353718814419933895905459771861402809961840704208311980896692479687310183008809496194836776665128279865707477889014701750181",
            "1.3709249829358825659477941532779453707274958125774644003555747519029807833426681714923909170351941408367370718574929741254686966414169833761836734399832967167475721223248",
            "18.810814627145740191804330415442806917461295930662114650553164968104984418086471889681343691010354690603780235496863822510915546744149519914869091562753397158562847682066"
          ],
          [
            "-1.85373726658973605064353718814419933895905459771861402809961840704208311980896692479687310183008809496194836776665128279865707477889014701750181",
            "-6.6262294749198094046492658823486558646460729258560185744371182231730385260677393955781195319411539098678321512959062759727987793612375834121563397966344669955655156343956",
            "-18.810814627145740191804330415442806917461295930662114650553164968104984418086471889681343691010354690603780235496863822510915546744149519914869091562753397158562847682066",
            "1.3709249829358825659477941532779453707274958125774644003555747519029807833426681714923909170351941408367370718574929741254686966414169833761836734399832967167475721223248"
          ],
          [
            "1.3709249829358825659477941532779453707274958125774644003555747519029807833426681714923909170351941408367370718574929741254686966414169833761836734399832967167475721223248",
            "-18.810814627145740191804330415442806917461295930662114650553164968104984418086471889681343691010354690603780235496863822510915546744149519914869091562753397158562847682066",
            "6.6262294749198094046492658823486558646460729258560185744371182231730385260677393955781195319411539098678321512959062759727987793612375834121563397966344669955655156343956",
            "1.85373726658973605064353718814419933895905459771861402809961840704208311980896692479687310183008809496194836776665128279865707477889014701750181"
          ],
          [
            "18.810814627145740191804330415442806917461295930662114650553164968104984418086471889681343691010354690603780235496863822510915546744149519914869091562753397158562847682066",
            "1.3709249829358825659477941532779453707274958125774644003555747519029807833426681714923909170351941408367370718574929741254686966414169833761836734399832967167475721223248",
            "1.85373726658973605064353718814419933895905459771861402809961840704208311980896692479687310183008809496194836776665128279865707477889014701750181",
            "-6.6262294749198094046492658823486558646460729258560185744371182231730385260677393955781195319411539098678321512959062759727987793612375834121563397966344669955655156343956"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.75350955086009e-171",
          "agreement_digits": "170.756091864",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.75350955086009e-171",
          "agreement_digits": "170.756091864",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 2,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "62",
      "value": "1231184.020139706764901086152974608240035405127501761681378923208864895009977288937949474469450262642904523748108859853498085469415527324356782663",
      "comparisons": [
        {
          "relative_error": "2.41098567487388e-125",
          "agreement_digits": "124.61780537",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "2.01143220169823e-145",
          "agreement_digits": "144.696494601",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.0954762518911401"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "0.9691982897480796273048817680589864987120316771211150601848524771546434857629930853725752506006998939646443350960968329146589648423127863687571725",
            "1.3741140953768227822650434622136601424848034275470187717981202786200720240766123373756862087430916309305870831092093037517694887258123137576965263896281409262717183298536",
            "11.116472775760935759150916834705190112562699113937722743210335740187346966661263688645657009011700117499049527297522145343217654694331971303196188606887634882879235010979",
            "31.439189121762260112295136471665661799049197782932580451333399304052470340324155608448996071729087127775636827405352502960220903030806073494364075603340613357399399365297"
          ],
          [
            "1.3741140953768227822650434622136601424848034275470187717981202786200720240766123373756862087430916309305870831092093037517694887258123137576965263896281409262717183298536",
            "-0.9691982897480796273048817680589864987120316771211150601848524771546434857629930853725752506006998939646443350960968329146589648423127863687571725",
            "31.439189121762260112295136471665661799049197782932580451333399304052470340324155608448996071729087127775636827405352502960220903030806073494364075603340613357399399365297",
            "-11.116472775760935759150916834705190112562699113937722743210335740187346966661263688645657009011700117499049527297522145343217654694331971303196188606887634882879235010979"
          ],
          [
            "11.116472775760935759150916834705190112562699113937722743210335740187346966661263688645657009011700117499049527297522145343217654694331971303196188606887634882879235010979",
            "31.439189121762260112295136471665661799049197782932580451333399304052470340324155608448996071729087127775636827405352502960220903030806073494364075603340613357399399365297",
            "0.9691982897480796273048817680589864987120316771211150601848524771546434857629930853725752506006998939646443350960968329146589648423127863687571725",
            "1.3741140953768227822650434622136601424848034275470187717981202786200720240766123373756862087430916309305870831092093037517694887258123137576965263896281409262717183298536"
          ],
          [
            "31.439189121762260112295136471665661799049197782932580451333399304052470340324155608448996071729087127775636827405352502960220903030806073494364075603340613357399399365297",
            "-11.116472775760935759150916834705190112562699113937722743210335740187346966661263688645657009011700117499049527297522145343217654694331971303196188606887634882879235010979",
            "1.3741140953768227822650434622136601424848034275470187717981202786200720240766123373756862087430916309305870831092093037517694887258123137576965263896281409262717183298536",
            "-0.9691982897480796273048817680589864987120316771211150601848524771546434857629930853725752506006998939646443350960968329146589648423127863687571725"
          ]
        ],
        "expansion_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 3,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "63",
      "value": "2404722.467075383055619967516386067136452200015849867328743276871177125043876336938322156968379820890907267193018338242024491023902695234232447352",
      "comparisons": [
        {
          "relative_error": "2.25603668228935e-125",
          "agreement_digits": "124.646653843",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "2.67741343606535e-145",
          "agreement_digits": "144.572284562",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.0927328069816618"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "39.298975441768993174530390937562471047100262580633082163772535640033148816840256601015395089426015481029876567098674040970075277924957787529115530121707360277867756152035",
            "2.8873397997658189073627028561819492537952995638967379487757947662127971017919103151233556407758954106515236692793753524357884957720364453414075628603296715657789988125005",
            "-2.1451135885789172646375527712640494225837301179446830402203130859042920685781362415999093434301922170498405851937130937774372805928358723057764604786243637417589231204206",
            "-1.938361121230433534717206069675417178490492478608452053209438861331592437293857788091480065646935217637528814866312807593172105073146841548964632"
          ],
          [
            "2.8873397997658189073627028561819492537952995638967379487757947662127971017919103151233556407758954106515236692793753524357884957720364453414075628603296715657789988125005",
            "-39.298975441768993174530390937562471047100262580633082163772535640033148816840256601015395089426015481029876567098674040970075277924957787529115530121707360277867756152035",
            "-1.938361121230433534717206069675417178490492478608452053209438861331592437293857788091480065646935217637528814866312807593172105073146841548964632",
            "2.1451135885789172646375527712640494225837301179446830402203130859042920685781362415999093434301922170498405851937130937774372805928358723057764604786243637417589231204206"
          ],
          [
            "-2.1451135885789172646375527712640494225837301179446830402203130859042920685781362415999093434301922170498405851937130937774372805928358723057764604786243637417589231204206",
            "-1.938361121230433534717206069675417178490492478608452053209438861331592437293857788091480065646935217637528814866312807593172105073146841548964632",
            "39.298975441768993174530390937562471047100262580633082163772535640033148816840256601015395089426015481029876567098674040970075277924957787529115530121707360277867756152035",
            "2.8873397997658189073627028561819492537952995638967379487757947662127971017919103151233556407758954106515236692793753524357884957720364453414075628603296715657789988125005"
          ],
          [
            "-1.938361121230433534717206069675417178490492478608452053209438861331592437293857788091480065646935217637528814866312807593172105073146841548964632",
            "2.1451135885789172646375527712640494225837301179446830402203130859042920685781362415999093434301922170498405851937130937774372805928358723057764604786243637417589231204206",
            "2.8873397997658189073627028561819492537952995638967379487757947662127971017919103151233556407758954106515236692793753524357884957720364453414075628603296715657789988125005",
            "-39.298975441768993174530390937562471047100262580633082163772535640033148816840256601015395089426015481029876567098674040970075277924957787529115530121707360277867756152035"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.80533335635523e-171",
          "agreement_digits": "170.743442594",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.80533335635523e-171",
          "agreement_digits": "170.743442594",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 3,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "64",
      "value": "3625054.42824018393213351481057194068932396889454184943329501949682055775512398998252391640647534105499597194836139280409026356125414534846237287",
      "comparisons": [
        {
          "relative_error": "1.15843021753939e-125",
          "agreement_digits": "124.936130122",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "5.90963623892667e-146",
          "agreement_digits": "145.228439251",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.0040280516386072"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "0.9691978774426628394362380068183076220487755961916174766530040792489170092139320080387988955492122671613981826432447943515405245903474518372603088",
            "1.3716891720983841341571001258552692280919556163911355493514228893872116959886521829449282585074750884577888984136357705302292014033426604019484721300384741112511757844888",
            "14.535880354084506506491515899731578525608965095320495083551096468256659421594231853792272787608742872645984880037732834031194660169418461647087827767657228069770785730323",
            "41.112785600698584064830729627961374527962478915067462040501331874456391634674291207672641879407393362247305500369694282623473193631557949525418282859926926613252098020195"
          ],
          [
            "1.3716891720983841341571001258552692280919556163911355493514228893872116959886521829449282585074750884577888984136357705302292014033426604019484721300384741112511757844888",
            "-0.9691978774426628394362380068183076220487755961916174766530040792489170092139320080387988955492122671613981826432447943515405245903474518372603088",
            "41.112785600698584064830729627961374527962478915067462040501331874456391634674291207672641879407393362247305500369694282623473193631557949525418282859926926613252098020195",
            "-14.535880354084506506491515899731578525608965095320495083551096468256659421594231853792272787608742872645984880037732834031194660169418461647087827767657228069770785730323"
          ],
          [
            "14.535880354084506506491515899731578525608965095320495083551096468256659421594231853792272787608742872645984880037732834031194660169418461647087827767657228069770785730323",
            "41.112785600698584064830729627961374527962478915067462040501331874456391634674291207672641879407393362247305500369694282623473193631557949525418282859926926613252098020195",
            "-0.9691978774426628394362380068183076220487755961916174766530040792489170092139320080387988955492122671613981826432447943515405245903474518372603088",
            "-1.3716891720983841341571001258552692280919556163911355493514228893872116959886521829449282585074750884577888984136357705302292014033426604019484721300384741112511757844888"
          ],
          [
            "41.112785600698584064830729627961374527962478915067462040501331874456391634674291207672641879407393362247305500369694282623473193631557949525418282859926926613252098020195",
            "-14.535880354084506506491515899731578525608965095320495083551096468256659421594231853792272787608742872645984880037732834031194660169418461647087827767657228069770785730323",
            "-1.3716891720983841341571001258552692280919556163911355493514228893872116959886521829449282585074750884577888984136357705302292014033426604019484721300384741112511757844888",
            "0.9691978774426628394362380068183076220487755961916174766530040792489170092139320080387988955492122671613981826432447943515405245903474518372603088"
          ]
        ],
        "expansion_check": {
          "relative_error": "2.39517820685279e-171",
          "agreement_digits": "170.620662169",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "2.39517820685279e-171",
          "agreement_digits": "170.620662169",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 4,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "65",
      "value": "102407.6172638596961800410751935745422577815936307435078122700113605794128679417073359667599725967378877693512945673349538577407290965921547056369",
      "comparisons": [
        {
          "relative_error": "1.72807503409775e-125",
          "agreement_digits": "124.762437404",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "3.41415219306499e-145",
          "agreement_digits": "144.466717123",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.122306487054327"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "0.969243909764621762643897457651406323598882975730361384181457048126045003153600319277207612886786919335654269846073070082149262997573869714252446",
            "1.4015404852477211686782178589483402773208275908409624910204423624573693463485116804024897900370816458630771474063061316661637485775115511468253169048996272469666313381636",
            "5.9941768069148137160619067878427139913820640623208083326504951090580480544216006257446744373967251606167409603435166387572634641235181609128759168801905327270747237916351",
            "16.928808368452538686003462633513054658756784476698481711859986753621160729277180907651963771915216285258167243455697038492127024862986321058416763969584893401590708461602"
          ],
          [
            "1.4015404852477211686782178589483402773208275908409624910204423624573693463485116804024897900370816458630771474063061316661637485775115511468253169048996272469666313381636",
            "-0.969243909764621762643897457651406323598882975730361384181457048126045003153600319277207612886786919335654269846073070082149262997573869714252446",
            "16.928808368452538686003462633513054658756784476698481711859986753621160729277180907651963771915216285258167243455697038492127024862986321058416763969584893401590708461602",
            "-5.9941768069148137160619067878427139913820640623208083326504951090580480544216006257446744373967251606167409603435166387572634641235181609128759168801905327270747237916351"
          ],
          [
            "5.9941768069148137160619067878427139913820640623208083326504951090580480544216006257446744373967251606167409603435166387572634641235181609128759168801905327270747237916351",
            "16.928808368452538686003462633513054658756784476698481711859986753621160729277180907651963771915216285258167243455697038492127024862986321058416763969584893401590708461602",
            "0.969243909764621762643897457651406323598882975730361384181457048126045003153600319277207612886786919335654269846073070082149262997573869714252446",
            "1.4015404852477211686782178589483402773208275908409624910204423624573693463485116804024897900370816458630771474063061316661637485775115511468253169048996272469666313381636"
          ],
          [
            "16.928808368452538686003462633513054658756784476698481711859986753621160729277180907651963771915216285258167243455697038492127024862986321058416763969584893401590708461602",
            "-5.9941768069148137160619067878427139913820640623208083326504951090580480544216006257446744373967251606167409603435166387572634641235181609128759168801905327270747237916351",
            "1.4015404852477211686782178589483402773208275908409624910204423624573693463485116804024897900370816458630771474063061316661637485775115511468253169048996272469666313381636",
            "-0.969243909764621762643897457651406323598882975730361384181457048126045003153600319277207612886786919335654269846073070082149262997573869714252446"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.32476891080595e-171",
          "agreement_digits": "170.877859872",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.32476891080595e-171",
          "agreement_digits": "170.877859872",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 3,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "66",
      "value": "1421481.283625590309692634374172251019402255991470903779421220881537112382904192420597925349524212588600641070501562905523107113180092781826855995",
      "comparisons": [
        {
          "relative_error": "3.10602993223555e-125",
          "agreement_digits": "124.507794363",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "5.5905213439786e-146",
          "agreement_digits": "145.25254769",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.399358929498437"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "11.482575021031138669502856249787721925888112549256191832880868436885676703815125743777092202102758433407873025700558224806178840769862212319503262426448811588506230294663",
            "-1.922121001435714581400827849008090885484173454492122869108220467128721877643159937978327863374356308675301784790700140349106909844851039979451517",
            "1.3706607408854821144115635415940170236848406709598135199689499065211694672842918601155712138782957735641983911956097687348708354092315788758975562197133379266265824503868",
            "32.491264874845396108598145673851467511498557933631128582660700468145466764875166222338974907015311660496498695525817900122943870015470764691054547334081953067533120019933"
          ],
          [
            "-1.922121001435714581400827849008090885484173454492122869108220467128721877643159937978327863374356308675301784790700140349106909844851039979451517",
            "11.482575021031138669502856249787721925888112549256191832880868436885676703815125743777092202102758433407873025700558224806178840769862212319503262426448811588506230294663",
            "32.491264874845396108598145673851467511498557933631128582660700468145466764875166222338974907015311660496498695525817900122943870015470764691054547334081953067533120019933",
            "1.3706607408854821144115635415940170236848406709598135199689499065211694672842918601155712138782957735641983911956097687348708354092315788758975562197133379266265824503868"
          ],
          [
            "1.3706607408854821144115635415940170236848406709598135199689499065211694672842918601155712138782957735641983911956097687348708354092315788758975562197133379266265824503868",
            "32.491264874845396108598145673851467511498557933631128582660700468145466764875166222338974907015311660496498695525817900122943870015470764691054547334081953067533120019933",
            "-11.482575021031138669502856249787721925888112549256191832880868436885676703815125743777092202102758433407873025700558224806178840769862212319503262426448811588506230294663",
            "1.922121001435714581400827849008090885484173454492122869108220467128721877643159937978327863374356308675301784790700140349106909844851039979451517"
          ],
          [
            "32.491264874845396108598145673851467511498557933631128582660700468145466764875166222338974907015311660496498695525817900122943870015470764691054547334081953067533120019933",
            "1.3706607408854821144115635415940170236848406709598135199689499065211694672842918601155712138782957735641983911956097687348708354092315788758975562197133379266265824503868",
            "1.922121001435714581400827849008090885484173454492122869108220467128721877643159937978327863374356308675301784790700140349106909844851039979451517",
            "-11.482575021031138669502856249787721925888112549256191832880868436885676703815125743777092202102758433407873025700558224806178840769862212319503262426448811588506230294663"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.52704285754476e-171",
          "agreement_digits": "170.816148774",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.52704285754476e-171",
          "agreement_digits": "170.816148774",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 1,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "67",
      "value": "22921.63793849829383419022546404339159202210511757662011481457682223529915163225206613403556136007194287840191618825390383882737323069605766109663",
      "comparisons": [
        {
          "relative_error": "5.9456313605812e-126",
          "agreement_digits": "125.225802021",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "4.80898853976612e-145",
          "agreement_digits": "144.317946258",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.287840191618825"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "12.1810056803028599411521466465391057381959075945265356320397293750046185925623269354692546887955553489913175922233485183923366739673500084316621325797300329109824924814",
            "-2.0244952388054751335235480276529482281070742908184576285684284863096238367683052982432672610221354922673293454793616875657725562903315564556709926452370393877936824723431",
            "-3.1020026112450641870924654752409480687699631781392519241022007257705330520804688204279149190417606747921502372017045485957391495911952597322931997027813845348991245667276",
            "-1.938394859486497012284402643950717196959804059408261965656378132135491679630482871461105212716325886460939708573399019633040083215943912311217102"
          ],
          [
            "-2.0244952388054751335235480276529482281070742908184576285684284863096238367683052982432672610221354922673293454793616875657725562903315564556709926452370393877936824723431",
            "-12.1810056803028599411521466465391057381959075945265356320397293750046185925623269354692546887955553489913175922233485183923366739673500084316621325797300329109824924814",
            "-1.938394859486497012284402643950717196959804059408261965656378132135491679630482871461105212716325886460939708573399019633040083215943912311217102",
            "3.1020026112450641870924654752409480687699631781392519241022007257705330520804688204279149190417606747921502372017045485957391495911952597322931997027813845348991245667276"
          ],
          [
            "-3.1020026112450641870924654752409480687699631781392519241022007257705330520804688204279149190417606747921502372017045485957391495911952597322931997027813845348991245667276",
            "-1.938394859486497012284402643950717196959804059408261965656378132135491679630482871461105212716325886460939708573399019633040083215943912311217102",
            "12.1810056803028599411521466465391057381959075945265356320397293750046185925623269354692546887955553489913175922233485183923366739673500084316621325797300329109824924814",
            "-2.0244952388054751335235480276529482281070742908184576285684284863096238367683052982432672610221354922673293454793616875657725562903315564556709926452370393877936824723431"
          ],
          [
            "-1.938394859486497012284402643950717196959804059408261965656378132135491679630482871461105212716325886460939708573399019633040083215943912311217102",
            "3.1020026112450641870924654752409480687699631781392519241022007257705330520804688204279149190417606747921502372017045485957391495911952597322931997027813845348991245667276",
            "-2.0244952388054751335235480276529482281070742908184576285684284863096238367683052982432672610221354922673293454793616875657725562903315564556709926452370393877936824723431",
            "-12.1810056803028599411521466465391057381959075945265356320397293750046185925623269354692546887955553489913175922233485183923366739673500084316621325797300329109824924814"
          ]
        ],
        "expansion_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.47967640821401e-171",
          "agreement_digits": "170.82983325",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 3,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "68",
      "value": "1836277.883739696650494572506619476148649770865530304789197923320981294520925205971075848848860067985646147531285747896074199392899925761952627854",
      "comparisons": [
        {
          "relative_error": "3.12743283289687e-125",
          "agreement_digits": "124.504812009",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "2.91513484044587e-145",
          "agreement_digits": "144.535341352",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.353852468714252"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "36.651914141429630043978598407733003478306524335636832008976571926107184405916738095957232695783661634892349443397886758428195443624354235607384559707495721941480299080298",
            "3.0782927017474492871670463551826512169479135186945096818470288828618801633029286583189538535664134352016772471890058563651514102006650719346341726670179932484820317236857",
            "1.4575957389546341471778533528502513716627053015926171954501087536741281937047554335183545680116074614390482206316068275417264431174936381703918455173116258113039989750082",
            "-1.865804620968674501398696149432155792803456157944309350673748957992825132438912705353916661770396130713908925272880432538266383870247387081040043"
          ],
          [
            "3.0782927017474492871670463551826512169479135186945096818470288828618801633029286583189538535664134352016772471890058563651514102006650719346341726670179932484820317236857",
            "-36.651914141429630043978598407733003478306524335636832008976571926107184405916738095957232695783661634892349443397886758428195443624354235607384559707495721941480299080298",
            "-1.865804620968674501398696149432155792803456157944309350673748957992825132438912705353916661770396130713908925272880432538266383870247387081040043",
            "-1.4575957389546341471778533528502513716627053015926171954501087536741281937047554335183545680116074614390482206316068275417264431174936381703918455173116258113039989750082"
          ],
          [
            "1.4575957389546341471778533528502513716627053015926171954501087536741281937047554335183545680116074614390482206316068275417264431174936381703918455173116258113039989750082",
            "-1.865804620968674501398696149432155792803456157944309350673748957992825132438912705353916661770396130713908925272880432538266383870247387081040043",
            "36.651914141429630043978598407733003478306524335636832008976571926107184405916738095957232695783661634892349443397886758428195443624354235607384559707495721941480299080298",
            "3.0782927017474492871670463551826512169479135186945096818470288828618801633029286583189538535664134352016772471890058563651514102006650719346341726670179932484820317236857"
          ],
          [
            "-1.865804620968674501398696149432155792803456157944309350673748957992825132438912705353916661770396130713908925272880432538266383870247387081040043",
            "-1.4575957389546341471778533528502513716627053015926171954501087536741281937047554335183545680116074614390482206316068275417264431174936381703918455173116258113039989750082",
            "3.0782927017474492871670463551826512169479135186945096818470288828618801633029286583189538535664134352016772471890058563651514102006650719346341726670179932484820317236857",
            "-36.651914141429630043978598407733003478306524335636832008976571926107184405916738095957232695783661634892349443397886758428195443624354235607384559707495721941480299080298"
          ]
        ],
        "expansion_check": {
          "relative_error": "2.36419864391475e-171",
          "agreement_digits": "170.626316036",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "2.36419864391475e-171",
          "agreement_digits": "170.626316036",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 3,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "69",
      "value": "60142784.02536301452058225133984876004659445276096447106375427972469441818594894645828413867293815365568193076055994922460934380115452931717306778",
      "comparisons": [
        {
          "relative_error": "2.52648344683798e-125",
          "agreement_digits": "124.597483543",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "5.77613682694635e-146",
          "agreement_digits": "145.238362528",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.431806923944005"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "87.666969259507437469367433936654832792103976451711306344770786295246074825538066320491739008486108162543287725144780287133726386368994378278534145017507767180442474929116",
            "7.6325161920702776722214815859080313620334713090077447325362192534030884484902862560840259626612824183749020403577033171642886988796575674769325395552137548516365514370825",
            "-3.5922022276687900814913245628470261375053922832705220080593710068241149825380764548676262876181603827549500656225614543443030646166044238751422135296358166706883855262338",
            "-1.938395646254826736696139449676580735413793070908346637134057865617898716496924077810583979960982661110597465416846886529361725496570258158087487"
          ],
          [
            "7.6325161920702776722214815859080313620334713090077447325362192534030884484902862560840259626612824183749020403577033171642886988796575674769325395552137548516365514370825",
            "-87.666969259507437469367433936654832792103976451711306344770786295246074825538066320491739008486108162543287725144780287133726386368994378278534145017507767180442474929116",
            "-1.938395646254826736696139449676580735413793070908346637134057865617898716496924077810583979960982661110597465416846886529361725496570258158087487",
            "3.5922022276687900814913245628470261375053922832705220080593710068241149825380764548676262876181603827549500656225614543443030646166044238751422135296358166706883855262338"
          ],
          [
            "-3.5922022276687900814913245628470261375053922832705220080593710068241149825380764548676262876181603827549500656225614543443030646166044238751422135296358166706883855262338",
            "-1.938395646254826736696139449676580735413793070908346637134057865617898716496924077810583979960982661110597465416846886529361725496570258158087487",
            "-87.666969259507437469367433936654832792103976451711306344770786295246074825538066320491739008486108162543287725144780287133726386368994378278534145017507767180442474929116",
            "-7.6325161920702776722214815859080313620334713090077447325362192534030884484902862560840259626612824183749020403577033171642886988796575674769325395552137548516365514370825"
          ],
          [
            "-1.938395646254826736696139449676580735413793070908346637134057865617898716496924077810583979960982661110597465416846886529361725496570258158087487",
            "3.5922022276687900814913245628470261375053922832705220080593710068241149825380764548676262876181603827549500656225614543443030646166044238751422135296358166706883855262338",
            "-7.6325161920702776722214815859080313620334713090077447325362192534030884484902862560840259626612824183749020403577033171642886988796575674769325395552137548516365514370825",
            "87.666969259507437469367433936654832792103976451711306344770786295246074825538066320491739008486108162543287725144780287133726386368994378278534145017507767180442474929116"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.15493840278687e-171",
          "agreement_digits": "170.937441178",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.15493840278687e-171",
          "agreement_digits": "170.937441178",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 4,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "70",
      "value": "10025640.6215987785665378595948257063593973928270752245819266723988055363840887074596878146890245891617347204232316046760668716192731959409554109",
      "comparisons": [
        {
          "relative_error": "1.78361739066182e-125",
          "agreement_digits": "124.748698302",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "1.10816203972293e-145",
          "agreement_digits": "144.955396731",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.17347204232316"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "18.741906405422156549644646236472015930077951967781232735992831710142427325400853161140758235613146654665710346403155317179512040013186339745584678565208737829379986762273",
            "-1.93613079056092208264553905468984088870417519346722815254085213459927133463673183887901335212406399057889378035854494988197559148794731724339324",
            "1.370652858105217544166544456761992893640770908514472704046158994809327413273737937389334205842245948029327457220922661378564818412669211105706403217047830139427276101637",
            "53.012059686648442157596499801385953476486024545868882625064643534825055797010803947078130053617678082239772088637221062220102240374046645231841464626931566698230433259268"
          ],
          [
            "-1.93613079056092208264553905468984088870417519346722815254085213459927133463673183887901335212406399057889378035854494988197559148794731724339324",
            "18.741906405422156549644646236472015930077951967781232735992831710142427325400853161140758235613146654665710346403155317179512040013186339745584678565208737829379986762273",
            "53.012059686648442157596499801385953476486024545868882625064643534825055797010803947078130053617678082239772088637221062220102240374046645231841464626931566698230433259268",
            "1.370652858105217544166544456761992893640770908514472704046158994809327413273737937389334205842245948029327457220922661378564818412669211105706403217047830139427276101637"
          ],
          [
            "1.370652858105217544166544456761992893640770908514472704046158994809327413273737937389334205842245948029327457220922661378564818412669211105706403217047830139427276101637",
            "53.012059686648442157596499801385953476486024545868882625064643534825055797010803947078130053617678082239772088637221062220102240374046645231841464626931566698230433259268",
            "-18.741906405422156549644646236472015930077951967781232735992831710142427325400853161140758235613146654665710346403155317179512040013186339745584678565208737829379986762273",
            "1.93613079056092208264553905468984088870417519346722815254085213459927133463673183887901335212406399057889378035854494988197559148794731724339324"
          ],
          [
            "53.012059686648442157596499801385953476486024545868882625064643534825055797010803947078130053617678082239772088637221062220102240374046645231841464626931566698230433259268",
            "1.370652858105217544166544456761992893640770908514472704046158994809327413273737937389334205842245948029327457220922661378564818412669211105706403217047830139427276101637",
            "1.93613079056092208264553905468984088870417519346722815254085213459927133463673183887901335212406399057889378035854494988197559148794731724339324",
            "-18.741906405422156549644646236472015930077951967781232735992831710142427325400853161140758235613146654665710346403155317179512040013186339745584678565208737829379986762273"
          ]
        ],
        "expansion_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 1,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "71",
      "value": "158620343.076233003026435008655956553373919831658159284877304101098436269948246098992763519951071109324422599686112578812020306806610979836947462",
      "comparisons": [
        {
          "relative_error": "3.79362160454417e-126",
          "agreement_digits": "125.42094599",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "1.877423838697e-145",
          "agreement_digits": "144.726437672",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.244225996861126"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "111.85096079365545408297655330660792530131763747529312327403783314687492827422141102484056775261909275771072967984216454337260667235486561420173220976981735621284966570091",
            "9.8714981047461165222365864342919831118835332929397578204027098336516881633957989851222028111139397715704469941714760369254669761265079330104389002925343051172994928872696",
            "-3.8651417587243241891845105271210611930409587481709720980132938526725192718562799005531850122825015612740994337233683783758455226218911068693657312545457075604374699921658",
            "-1.938395680856941827816725370036779748413234082861527852532436538791039374846572345320778968610523299930614886893440087671481555648759641131059569"
          ],
          [
            "9.8714981047461165222365864342919831118835332929397578204027098336516881633957989851222028111139397715704469941714760369254669761265079330104389002925343051172994928872696",
            "-111.85096079365545408297655330660792530131763747529312327403783314687492827422141102484056775261909275771072967984216454337260667235486561420173220976981735621284966570091",
            "-1.938395680856941827816725370036779748413234082861527852532436538791039374846572345320778968610523299930614886893440087671481555648759641131059569",
            "3.8651417587243241891845105271210611930409587481709720980132938526725192718562799005531850122825015612740994337233683783758455226218911068693657312545457075604374699921658"
          ],
          [
            "-3.8651417587243241891845105271210611930409587481709720980132938526725192718562799005531850122825015612740994337233683783758455226218911068693657312545457075604374699921658",
            "-1.938395680856941827816725370036779748413234082861527852532436538791039374846572345320778968610523299930614886893440087671481555648759641131059569",
            "111.85096079365545408297655330660792530131763747529312327403783314687492827422141102484056775261909275771072967984216454337260667235486561420173220976981735621284966570091",
            "9.8714981047461165222365864342919831118835332929397578204027098336516881633957989851222028111139397715704469941714760369254669761265079330104389002925343051172994928872696"
          ],
          [
            "-1.938395680856941827816725370036779748413234082861527852532436538791039374846572345320778968610523299930614886893440087671481555648759641131059569",
            "3.8651417587243241891845105271210611930409587481709720980132938526725192718562799005531850122825015612740994337233683783758455226218911068693657312545457075604374699921658",
            "9.8714981047461165222365864342919831118835332929397578204027098336516881633957989851222028111139397715704469941714760369254669761265079330104389002925343051172994928872696",
            "-111.85096079365545408297655330660792530131763747529312327403783314687492827422141102484056775261909275771072967984216454337260667235486561420173220976981735621284966570091"
          ]
        ],
        "expansion_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 3,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "72",
      "value": "670274151.1245003192869603414011225872602981327427100679734922770126296086144445401725312397447525861129036416819491596193721630406383881753008954",
      "comparisons": [
        {
          "relative_error": "7.17949590295655e-127",
          "agreement_digits": "126.143906048",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "1.22777835351129e-146",
          "agreement_digits": "145.910880028",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.129036416819492"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "160.21894384068190607418099472503951992939541698395608884402234025477555880363574540844216805913091367401894943296276744351719812489546831974934396364360662068155508300765",
            "14.270660641908387003582702408040273445746792515798326925170949987314209363351324939527329762846103594716611109180724098560364050847126096338635207431440105629641604286719",
            "-4.1263959092416122701617019113022720870479217267910147735053149669784428963989459938018310308866607931049375633448747019286218551859709317022377157253249330715145184354304",
            "-1.938395683293945393971844263604139468163200394326135764981217764802666243483074934505955187676147603075787930876582349552421738004616967424391766"
          ],
          [
            "14.270660641908387003582702408040273445746792515798326925170949987314209363351324939527329762846103594716611109180724098560364050847126096338635207431440105629641604286719",
            "-160.21894384068190607418099472503951992939541698395608884402234025477555880363574540844216805913091367401894943296276744351719812489546831974934396364360662068155508300765",
            "-1.938395683293945393971844263604139468163200394326135764981217764802666243483074934505955187676147603075787930876582349552421738004616967424391766",
            "4.1263959092416122701617019113022720870479217267910147735053149669784428963989459938018310308866607931049375633448747019286218551859709317022377157253249330715145184354304"
          ],
          [
            "-4.1263959092416122701617019113022720870479217267910147735053149669784428963989459938018310308866607931049375633448747019286218551859709317022377157253249330715145184354304",
            "-1.938395683293945393971844263604139468163200394326135764981217764802666243483074934505955187676147603075787930876582349552421738004616967424391766",
            "-160.21894384068190607418099472503951992939541698395608884402234025477555880363574540844216805913091367401894943296276744351719812489546831974934396364360662068155508300765",
            "-14.270660641908387003582702408040273445746792515798326925170949987314209363351324939527329762846103594716611109180724098560364050847126096338635207431440105629641604286719"
          ],
          [
            "-1.938395683293945393971844263604139468163200394326135764981217764802666243483074934505955187676147603075787930876582349552421738004616967424391766",
            "4.1263959092416122701617019113022720870479217267910147735053149669784428963989459938018310308866607931049375633448747019286218551859709317022377157253249330715145184354304",
            "-14.270660641908387003582702408040273445746792515798326925170949987314209363351324939527329762846103594716611109180724098560364050847126096338635207431440105629641604286719",
            "160.21894384068190607418099472503951992939541698395608884402234025477555880363574540844216805913091367401894943296276744351719812489546831974934396364360662068155508300765"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.65809672486699e-171",
          "agreement_digits": "170.780390139",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.65809672486699e-171",
          "agreement_digits": "170.780390139",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 4,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "73",
      "value": "131039054.3095260405487443949342159141633029150228693035786853205156246627694146631076028318744837273572749467974038976264519939465626230389653247",
      "comparisons": [
        {
          "relative_error": "9.58994195934927e-126",
          "agreement_digits": "125.018184021",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "1.11164565944433e-145",
          "agreement_digits": "144.954033623",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.427250532025961"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "35.671366988184316233718836302578438124859404525141378961155581763046698561738045253892242697231859942125185441467360549783398426837055190476562677872085966157657701978085",
            "-1.938329742130531212843923519486686811499450545115548113790857627819771560698887940881906847890248745744838919038631237863884096652094531830492681",
            "1.3706527323761890341996013703973839310981663541454231227239520622298583100823679013009325280744393108950123866010040330707987210966931601610594076389093684553402919792869",
            "100.89391997275912140878030668262282337457133460115701513503089662821553323568011958843794757943885948543447341867063192918409843724929363021177056549046392369448078238823"
          ],
          [
            "-1.938329742130531212843923519486686811499450545115548113790857627819771560698887940881906847890248745744838919038631237863884096652094531830492681",
            "-35.671366988184316233718836302578438124859404525141378961155581763046698561738045253892242697231859942125185441467360549783398426837055190476562677872085966157657701978085",
            "-100.89391997275912140878030668262282337457133460115701513503089662821553323568011958843794757943885948543447341867063192918409843724929363021177056549046392369448078238823",
            "1.3706527323761890341996013703973839310981663541454231227239520622298583100823679013009325280744393108950123866010040330707987210966931601610594076389093684553402919792869"
          ],
          [
            "1.3706527323761890341996013703973839310981663541454231227239520622298583100823679013009325280744393108950123866010040330707987210966931601610594076389093684553402919792869",
            "-100.89391997275912140878030668262282337457133460115701513503089662821553323568011958843794757943885948543447341867063192918409843724929363021177056549046392369448078238823",
            "35.671366988184316233718836302578438124859404525141378961155581763046698561738045253892242697231859942125185441467360549783398426837055190476562677872085966157657701978085",
            "1.938329742130531212843923519486686811499450545115548113790857627819771560698887940881906847890248745744838919038631237863884096652094531830492681"
          ],
          [
            "100.89391997275912140878030668262282337457133460115701513503089662821553323568011958843794757943885948543447341867063192918409843724929363021177056549046392369448078238823",
            "1.3706527323761890341996013703973839310981663541454231227239520622298583100823679013009325280744393108950123866010040330707987210966931601610594076389093684553402919792869",
            "1.938329742130531212843923519486686811499450545115548113790857627819771560698887940881906847890248745744838919038631237863884096652094531830492681",
            "-35.671366988184316233718836302578438124859404525141378961155581763046698561738045253892242697231859942125185441467360549783398426837055190476562677872085966157657701978085"
          ]
        ],
        "expansion_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.06016044281478e-171",
          "agreement_digits": "170.974628404",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 2,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "74",
      "value": "89597695.21574711373314389355191936941093563833159184152781159728233292217908776557264758144810324500973186586779924386152214543429372061056463684",
      "comparisons": [
        {
          "relative_error": "1.85557022478572e-125",
          "agreement_digits": "124.731522605",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "6.53579142702584e-146",
          "agreement_digits": "145.184701816",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.0268134132200756"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "97.340565876719794170230416256947774099619810686658289997695958976722782340797602547558207917391580489636820163291704453985388846672595147764513346879938705712975158616579",
            "4.6884835021519857231201799166726181081270645026854497637040602600420021862953237895473901577658516515683080053698580056611484341853314426428620541738111434731254377419431",
            "-3.1236662226579278211918375137250196912250845474541963007526352733618917443624285784267719785085983972918419254484557189197696385034018861746951584611310560675821806392521",
            "-1.938395671265168274722011529198950762627384013325373160016410558722279288587485757245129193189537342554852674296229299787119107086218512384156897"
          ],
          [
            "4.6884835021519857231201799166726181081270645026854497637040602600420021862953237895473901577658516515683080053698580056611484341853314426428620541738111434731254377419431",
            "97.340565876719794170230416256947774099619810686658289997695958976722782340797602547558207917391580489636820163291704453985388846672595147764513346879938705712975158616579",
            "-1.938395671265168274722011529198950762627384013325373160016410558722279288587485757245129193189537342554852674296229299787119107086218512384156897",
            "-3.1236662226579278211918375137250196912250845474541963007526352733618917443624285784267719785085983972918419254484557189197696385034018861746951584611310560675821806392521"
          ],
          [
            "-3.1236662226579278211918375137250196912250845474541963007526352733618917443624285784267719785085983972918419254484557189197696385034018861746951584611310560675821806392521",
            "-1.938395671265168274722011529198950762627384013325373160016410558722279288587485757245129193189537342554852674296229299787119107086218512384156897",
            "-97.340565876719794170230416256947774099619810686658289997695958976722782340797602547558207917391580489636820163291704453985388846672595147764513346879938705712975158616579",
            "-4.6884835021519857231201799166726181081270645026854497637040602600420021862953237895473901577658516515683080053698580056611484341853314426428620541738111434731254377419431"
          ],
          [
            "-1.938395671265168274722011529198950762627384013325373160016410558722279288587485757245129193189537342554852674296229299787119107086218512384156897",
            "-3.1236662226579278211918375137250196912250845474541963007526352733618917443624285784267719785085983972918419254484557189197696385034018861746951584611310560675821806392521",
            "-4.6884835021519857231201799166726181081270645026854497637040602600420021862953237895473901577658516515683080053698580056611484341853314426428620541738111434731254377419431",
            "-97.340565876719794170230416256947774099619810686658289997695958976722782340797602547558207917391580489636820163291704453985388846672595147764513346879938705712975158616579"
          ]
        ],
        "expansion_check": {
          "relative_error": "1.55051334198161e-171",
          "agreement_digits": "170.809524492",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 1,
        "absolute_value_taken": false
      }
    },
    {
      "kind": "quartic",
      "source_row": "75",
      "value": "255099672.9560620339045592887388675540046216849968110275021606665970274539206884085734751845483737806476584555375491340900736825472647841681443194",
      "comparisons": [
        {
          "relative_error": "9.9733241109352e-126",
          "agreement_digits": "125.001160067",
          "required_digits_strictly_greater_than": 110
        },
        {
          "relative_error": "2.01390787552853e-145",
          "agreement_digits": "144.6959604",
          "required_digits_strictly_greater_than": 110
        },
        {
          "distance_in_stored_ulps": "0.476584555375491"
        }
      ],
      "evidence": {
        "matrix": [
          [
            "126.36135570813967041096914012111791415889462862932385010917016963167375303727503021486589989962221244725727034816337778889483697666301830918492598271088084201933157261967",
            "2.0912341422309619015075687681269146070512097038926951778515775817932226748767847187417636802297019125516944234797523593357349373828575833918685769965726190448149504646751",
            "-1.8035382773640588328207589222469094756320013730498836222696567362675862505846085950945837978024532535955545584489583890667610984194319565079055025988267136099478125037097",
            "-1.938395682763875262461780519130645486496886322035447297478101678463811493206009148960563456469731886646401909609424844827927123095801719281144483"
          ],
          [
            "2.0912341422309619015075687681269146070512097038926951778515775817932226748767847187417636802297019125516944234797523593357349373828575833918685769965726190448149504646751",
            "-126.36135570813967041096914012111791415889462862932385010917016963167375303727503021486589989962221244725727034816337778889483697666301830918492598271088084201933157261967",
            "-1.938395682763875262461780519130645486496886322035447297478101678463811493206009148960563456469731886646401909609424844827927123095801719281144483",
            "1.8035382773640588328207589222469094756320013730498836222696567362675862505846085950945837978024532535955545584489583890667610984194319565079055025988267136099478125037097"
          ],
          [
            "-1.8035382773640588328207589222469094756320013730498836222696567362675862505846085950945837978024532535955545584489583890667610984194319565079055025988267136099478125037097",
            "-1.938395682763875262461780519130645486496886322035447297478101678463811493206009148960563456469731886646401909609424844827927123095801719281144483",
            "126.36135570813967041096914012111791415889462862932385010917016963167375303727503021486589989962221244725727034816337778889483697666301830918492598271088084201933157261967",
            "2.0912341422309619015075687681269146070512097038926951778515775817932226748767847187417636802297019125516944234797523593357349373828575833918685769965726190448149504646751"
          ],
          [
            "-1.938395682763875262461780519130645486496886322035447297478101678463811493206009148960563456469731886646401909609424844827927123095801719281144483",
            "1.8035382773640588328207589222469094756320013730498836222696567362675862505846085950945837978024532535955545584489583890667610984194319565079055025988267136099478125037097",
            "2.0912341422309619015075687681269146070512097038926951778515775817932226748767847187417636802297019125516944234797523593357349373828575833918685769965726190448149504646751",
            "-126.36135570813967041096914012111791415889462862932385010917016963167375303727503021486589989962221244725727034816337778889483697666301830918492598271088084201933157261967"
          ]
        ],
        "expansion_check": {
          "relative_error": "0.0",
          "agreement_digits": "equal at working precision",
          "required_digits_strictly_greater_than": 110
        },
        "algebraic_polynomial_check": {
          "relative_error": "1.08916189686174e-171",
          "agreement_digits": "170.96290756",
          "required_digits_strictly_greater_than": 110
        },
        "variant": 3,
        "absolute_value_taken": false
      }
    }
  ],
  "quadratic_checks": []
}