Recurrence 4 lookup certificate: Scalar2Exceptional coefficient convolution

This is a checked coefficient-lookup shard for the fourth pseudo-division recurrence in the order-seven certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_220 : Polynomial.coeff recurrence4Scalar2Exceptional 220 = (((96990572399880666595584 * 10 ^ 70 + 3074436925106086372612361088403799905447405640776345096113403713785045) * 10 ^ 70 + 2994941376284190827068514790901659618297071931698154190391202560263752) * 10 ^ 70 + 556651964890901801341947429405978958483653998208600523663385575220557) * 10 ^ 70 + 7770966421007974026265132653273238063768405920967712458534166632651256

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_221 : Polynomial.coeff recurrence4Scalar2Exceptional 221 = -((((155505078523931214426595 * 10 ^ 70 + 6629293440157728591720942433355970403182661171974366027072467985813020) * 10 ^ 70 + 6896901537083320453238534506508237146535781420041909012826312829767703) * 10 ^ 70 + 9462088193720686484117877498534407073257677102587815985372047227952596) * 10 ^ 70 + 2184341858465171504561692143005200674912428077809566312106746535260500)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_222 : Polynomial.coeff recurrence4Scalar2Exceptional 222 = (((245937558601606372173042 * 10 ^ 70 + 3015266381173582492468158586054650713170180371644930719471376385962135) * 10 ^ 70 + 5070421405975941457859059038441459743792291218763176361617606979331187) * 10 ^ 70 + 9482489592386383214226752166415889301748028435698566406726650351118601) * 10 ^ 70 + 2399852785271507281968500748004210150899997220126898815087227540045422

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_223 : Polynomial.coeff recurrence4Scalar2Exceptional 223 = -((((383692577220865713733985 * 10 ^ 70 + 3354536019171168180416318056575538209111931965422962523045807690006251) * 10 ^ 70 + 3855823328248036815915967877595575144884668504599904686665081527285673) * 10 ^ 70 + 7016628506585596906760871437904452585010478004563657217786129781478993) * 10 ^ 70 + 9073008671988456917280422746243401860162123780969066401092222493844334)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_224 : Polynomial.coeff recurrence4Scalar2Exceptional 224 = (((590517470854293975528825 * 10 ^ 70 + 3361381859009075266618285547227424177240335988098918902119171596331793) * 10 ^ 70 + 3986258172326196850684818044991565767501595548731007695484286466255590) * 10 ^ 70 + 9010311005906438042916955059934172306039790246561012747680667450044327) * 10 ^ 70 + 4407814490616988580725712143169919698874338187945878245418123942444837

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_225 : Polynomial.coeff recurrence4Scalar2Exceptional 225 = -((((896571649534707915582320 * 10 ^ 70 + 5098073138260137319430534445005214752600846206387670175787140095220002) * 10 ^ 70 + 1054268156632968181246299099095439268466423147943346483352285803502) * 10 ^ 70 + 3454115791488070456658593507331451513103165280946823426656421787039406) * 10 ^ 70 + 2593034424912402717480901466663028612965577202025847796168479419459377)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_226 : Polynomial.coeff recurrence4Scalar2Exceptional 226 = (((1342925044552475265922709 * 10 ^ 70 + 5588891507028055889868439438085264271456081007372742709692243267219767) * 10 ^ 70 + 7062420298806750702572197714914519287987118255138816740425016621625859) * 10 ^ 70 + 7453220924540065175184053223320245691677766744066347529077812269819405) * 10 ^ 70 + 4849491805281318448864102784965425148325051019828218896073343769950379

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_227 : Polynomial.coeff recurrence4Scalar2Exceptional 227 = -((((1984468614692001276422854 * 10 ^ 70 + 4074198751885349315335840600374659268099359427786294093230171245689151) * 10 ^ 70 + 9464942479655323161230438903394547384051319931606004047290227151090278) * 10 ^ 70 + 9007589634834827646018549165277222704646727550206249834197539256298016) * 10 ^ 70 + 6413612629326814145755755076347128845005571099285461531342643575305583)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_228 : Polynomial.coeff recurrence4Scalar2Exceptional 228 = (((2893164392276006285930337 * 10 ^ 70 + 7140796834700328587531723453426022018630719338493311318839192690369459) * 10 ^ 70 + 1105374526847937614057493925776070218159462016657032132869305109134907) * 10 ^ 70 + 9593155333636258435145793545383109558913218701244223143710005778504959) * 10 ^ 70 + 3240414554284395145054446923524598285237443555390191912215634780459734

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_229 : Polynomial.coeff recurrence4Scalar2Exceptional 229 = -((((4161488413420686478160522 * 10 ^ 70 + 1981115764210037281810150762114465633936316767138214777188584046322764) * 10 ^ 70 + 2546863052082495442672283822108440297159653958691518440823142412111357) * 10 ^ 70 + 9280448032755977717677802466678763386110977251103281154329941221410572) * 10 ^ 70 + 9559303314902493598532822284550946890156817202960291658420367501406362)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_230 : Polynomial.coeff recurrence4Scalar2Exceptional 230 = (((5905828418404347428331250 * 10 ^ 70 + 1187445638988645268933892114404313592330953611937099999445526315566060) * 10 ^ 70 + 641502829603140315478216121788116601053158033682824778986508735670405) * 10 ^ 70 + 906265391824708669794130509715058434064817876977091253288293464422587) * 10 ^ 70 + 1531046933760324142009132613754901079765504122115647519162181659459036

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_231 : Polynomial.coeff recurrence4Scalar2Exceptional 231 = -((((8269494216686292148270952 * 10 ^ 70 + 494648920506685206888794371170782546129390819922292145112607314509118) * 10 ^ 70 + 5491305809622210371723297552835564828291100608077161418756645749235251) * 10 ^ 70 + 780191952653683919273837994058346534324045423194745549664021645337148) * 10 ^ 70 + 369609293469278660848974643039182421492128484721571129255309688515616)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_232 : Polynomial.coeff recurrence4Scalar2Exceptional 232 = (((11424891058704695071263194 * 10 ^ 70 + 8785122985415963576339169297287235046055508903141423981814308302939396) * 10 ^ 70 + 7073129694454843115506360834747208632168160330481429080196543745380933) * 10 ^ 70 + 7896140132143060105861416538532361570723239284825176302759834049624454) * 10 ^ 70 + 4787709868398228541359593479721221823086332516371341442157665012388527

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_233 : Polynomial.coeff recurrence4Scalar2Exceptional 233 = -((((15574308752676827668540361 * 10 ^ 70 + 3441537999597883625893152211516466072860556023320972249721978350668007) * 10 ^ 70 + 14551919721837718535137347069301362576512425182478520954804675326596) * 10 ^ 70 + 1895613833953198276802002380319251306555666918775082290348379812962491) * 10 ^ 70 + 6431144099491251532579308759936579270693028670560834445595996102454909)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_234 : Polynomial.coeff recurrence4Scalar2Exceptional 234 = (((20948709325902767128726560 * 10 ^ 70 + 7799614186527536150657962200478042234439195184140573373140572255635686) * 10 ^ 70 + 2931802260099558610888484254997171633441005835936215861146434585284678) * 10 ^ 70 + 4205489814931132132296857540710945103773862749840530839052197210558771) * 10 ^ 70 + 4383834720822492155626325650016597856199254210015336511193899905737089

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_235 : Polynomial.coeff recurrence4Scalar2Exceptional 235 = -((((27803874435379632183169322 * 10 ^ 70 + 9823567856750013603593715121033542569794678768908349416397145899463961) * 10 ^ 70 + 9511378838204211445936278615018175449468954979626084719556495334566361) * 10 ^ 70 + 1937054968973527779910285229550206825677479725123649771963533686292477) * 10 ^ 70 + 2806440548901610743100220090704449297796163138246233790966383798511799)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_236 : Polynomial.coeff recurrence4Scalar2Exceptional 236 = (((36413321833248289554624215 * 10 ^ 70 + 739743459554657343016182377607110687618134081059713762948537868279717) * 10 ^ 70 + 8472986645990198265273688435928220970670158862985794209396407482028829) * 10 ^ 70 + 9601044508999596879829945857704044798378608827282004085564755388364984) * 10 ^ 70 + 4241712505320053936525127683337154184664399634636894213112490777055469

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_237 : Polynomial.coeff recurrence4Scalar2Exceptional 237 = -((((47057536717013548577487184 * 10 ^ 70 + 7953922869949233319155703286930292104538301878472325535787969002688519) * 10 ^ 70 + 713872663225633683659016468172430724175969310932672016361742620539173) * 10 ^ 70 + 5792434469070024408962322846306715620391983044160272256506833750996120) * 10 ^ 70 + 4950755765632044447662884282740299653734463124786562991225513539906069)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_238 : Polynomial.coeff recurrence4Scalar2Exceptional 238 = (((60009300811249691118037962 * 10 ^ 70 + 6614063761357998152589196211261386268921953314608529983247150404922859) * 10 ^ 70 + 4741385534167040006078393070807511288582909135559045784623579196634619) * 10 ^ 70 + 3834403702087123980934793234730287194152649418007913543009593367062955) * 10 ^ 70 + 4802442651474437007894420870140989436951103983589315037601582856638836

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_239 : Polynomial.coeff recurrence4Scalar2Exceptional 239 = -((((75515240684880677044305051 * 10 ^ 70 + 9214959957690899642065681349563598426827699965248626247499312714444915) * 10 ^ 70 + 13731052817412621440206577270802796559276631327090156634374671987058) * 10 ^ 70 + 4153593889340434538722756566296208531541117420994482403462996908723674) * 10 ^ 70 + 141916600754176388184696531740559423504838715854095157267564583629447)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_240 : Polynomial.coeff recurrence4Scalar2Exceptional 240 = (((93774143592370659587776769 * 10 ^ 70 + 3406413474492514523493409040789599108428223637025549232121552732626422) * 10 ^ 70 + 6083328697825902445037660704176377976288481200854647791683230244108617) * 10 ^ 70 + 3478807730255516656179423472183367523292724215578724369317003531580388) * 10 ^ 70 + 7825095905964024997064101791693690273954751836549342488809159160647453

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_241 : Polynomial.coeff recurrence4Scalar2Exceptional 241 = -((((114913073522818875932132581 * 10 ^ 70 + 6457480240214031816420606958489575891828255944945152835358427192828315) * 10 ^ 70 + 4126339832486481439306403637678070751750926029438204963856102085290573) * 10 ^ 70 + 3840921779380361772811626596638080060635494065783929440756668490060647) * 10 ^ 70 + 7145177294408136570809136844527161017884140209515575401006880047904952)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_242 : Polynomial.coeff recurrence4Scalar2Exceptional 242 = (((138962814566668026821012467 * 10 ^ 70 + 9146482401004719838725999587672120959635600330624299020510079886218775) * 10 ^ 70 + 4001662108878239368008281708011013498946584513689187617693223844026487) * 10 ^ 70 + 5890426560553136852257496221092335865192386403898607143106732202651127) * 10 ^ 70 + 7699953099807080182896399321158075489835726887615561868946230600961186

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_243 : Polynomial.coeff recurrence4Scalar2Exceptional 243 = -((((165834611401488875129980883 * 10 ^ 70 + 3323759343329349700038965878618805668307346748358121459959765906705171) * 10 ^ 70 + 6563580389515980110989019458365133464501528525174969409403222436567418) * 10 ^ 70 + 4484989073288395731704284212007231964027609862163559180887371689404142) * 10 ^ 70 + 1346404522494799571150979855176383862808541672232372399669543805900461)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_244 : Polynomial.coeff recurrence4Scalar2Exceptional 244 = (((195300497806880491293336980 * 10 ^ 70 + 1864504207936004981555868375971657588526178064626631388539773315049455) * 10 ^ 70 + 9545199463582641310764012450833502669099668468380575803109109897209101) * 10 ^ 70 + 6211943747375123603577536738916138399975565889554939198936007974485264) * 10 ^ 70 + 6572706852524427056361646411894925683278662998523107976139745978257726

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_245 : Polynomial.coeff recurrence4Scalar2Exceptional 245 = -((((226979634715608654657781807 * 10 ^ 70 + 247996774196612979927167166375317965113048616475546249195681509586662) * 10 ^ 70 + 2936156271517685081975296135045637541571992813135376612595405884548883) * 10 ^ 70 + 6925296135028393915059594566293691124961203286332080724834800657570759) * 10 ^ 70 + 8987396419010754414812834328405603994162524448772987451215712200818634)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_246 : Polynomial.coeff recurrence4Scalar2Exceptional 246 = (((260332962341674938099902774 * 10 ^ 70 + 2199979930567249973384455834303098406829174512974818225457100530627168) * 10 ^ 70 + 7536919243261134406628569102875479640775572466644229935069435814638829) * 10 ^ 70 + 3518550823142464263785395988460673920202686486879443738986533741585139) * 10 ^ 70 + 5590235296362925366404204671219166353808075392399466215864902649108740

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_247 : Polynomial.coeff recurrence4Scalar2Exceptional 247 = -((((294668072558080403611529222 * 10 ^ 70 + 7987245919515362655688598557673909269380260071810480734113721164850910) * 10 ^ 70 + 9578464759320466944274021103187689133862441544545563145643263793197649) * 10 ^ 70 + 620068108124797354468051887834012805149720831064743039649163238551309) * 10 ^ 70 + 9583952232404351104237495032624476995481935372680114445491407149726556)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_248 : Polynomial.coeff recurrence4Scalar2Exceptional 248 = (((329155527042066704491397522 * 10 ^ 70 + 1101934701113252805181918651314842109063829185174939682100242955619727) * 10 ^ 70 + 5018139788581795533689030988639744850015677996716088874531956099159737) * 10 ^ 70 + 4440502192438949318783434876421803539322082705045555076703823639501993) * 10 ^ 70 + 1231428224159768353363775692036912615637158758497400261888516258199596

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Exceptional_coeff_249 : Polynomial.coeff recurrence4Scalar2Exceptional 249 = -((((362856921899959854129416038 * 10 ^ 70 + 6047258936857412879819169024389572277567268208882541538365575236785137) * 10 ^ 70 + 4304186065315239644425301225715987544686693442377418680989018922839561) * 10 ^ 70 + 1016768950197006575296760300381447248167871560749297890011291181673521) * 10 ^ 70 + 2582790849572275569019382754858705442431133882752063938594925427904989)