Recurrence 2 lookup certificate: Scalar0Exceptional coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_154 : Polynomial.coeff recurrence2Scalar0Exceptional 154 = (263567240398064708554890975522478550598769 * 10 ^ 70 + 3006309159397929498204975957111326434333264493801334735646170614000911) * 10 ^ 70 + 9696226851781401915004750990844958248110075766691603060025140281378165

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_155 : Polynomial.coeff recurrence2Scalar0Exceptional 155 = (1688122837758947548030258865020997979049750 * 10 ^ 70 + 7028512423052191331272847589941692458742229018585985173411135749679822) * 10 ^ 70 + 9770146517153486254794381322047844237114790266393139403970865124924671

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_156 : Polynomial.coeff recurrence2Scalar0Exceptional 156 = -((10569308331471772631944334608603137801240975 * 10 ^ 70 + 4655655712180185960660089918211625979782775752201416886950716721112743) * 10 ^ 70 + 7680942551789565344133588106611844310735521403540113447950857314214745)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_157 : Polynomial.coeff recurrence2Scalar0Exceptional 157 = (31130762976263721476925566830776756310313013 * 10 ^ 70 + 3254741843569516971447215582159071312404614717936552379173165504631176) * 10 ^ 70 + 9328025920664026894010174692455234616343580531670526936132621655264699

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_158 : Polynomial.coeff recurrence2Scalar0Exceptional 158 = -((35629719512056277102192394999347451834095489 * 10 ^ 70 + 9300373050026441735759523827584523454281939464845362488381136265317811) * 10 ^ 70 + 5031093577901449791492116514877322076697406161278940543311369966659243)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_159 : Polynomial.coeff recurrence2Scalar0Exceptional 159 = -((146351450095604448399675476938601404803147892 * 10 ^ 70 + 1819631397633507132219663001579199477554706752181298917674523033671175) * 10 ^ 70 + 1049637863654845779909868593204137688276188712190992699369483539937289)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_160 : Polynomial.coeff recurrence2Scalar0Exceptional 160 = (1016382204647212290582133355280576691927188976 * 10 ^ 70 + 998956621846880379329038414733311272014388497383034614216428206666566) * 10 ^ 70 + 451771783574104893301865546630744336639839046327638647140350934755026

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_161 : Polynomial.coeff recurrence2Scalar0Exceptional 161 = -((3242178726160392755962240763807339235974733927 * 10 ^ 70 + 9117711010704037263912018773358239425541409489328983569293002100797834) * 10 ^ 70 + 685776384436755378763566737926986954363644509556924980803131618259041)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_162 : Polynomial.coeff recurrence2Scalar0Exceptional 162 = (5270577575450016057497198350547265821132519641 * 10 ^ 70 + 1589320955565877474107245874989279931169489482551496736006483458728915) * 10 ^ 70 + 1085818475346884595304626248702000256452790500740742459766465566509085

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_163 : Polynomial.coeff recurrence2Scalar0Exceptional 163 = (5693930089835794806687993580880996969493154732 * 10 ^ 70 + 2314416838397370522115526275952955514990048140491895061029766261590110) * 10 ^ 70 + 492697231217655335375760542202863312794665965910887700349020602796197

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_164 : Polynomial.coeff recurrence2Scalar0Exceptional 164 = -((72935950591219790176731359990317773954189896102 * 10 ^ 70 + 7283900202195515801044229634802141424751274550220750288514965901783985) * 10 ^ 70 + 4050972117394372674755854832128228397151452942397979475790321040109333)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_165 : Polynomial.coeff recurrence2Scalar0Exceptional 165 = (279726136319262357386168725555524576951616505431 * 10 ^ 70 + 4595771855577960881987194849589253990753196123734600055021172331929027) * 10 ^ 70 + 1360628263259958786847928094218263702346631604774170138370045321546311

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_166 : Polynomial.coeff recurrence2Scalar0Exceptional 166 = -((636071037010116363110942487775618903078956887078 * 10 ^ 70 + 5100473810935767269169453141489130859588423611658477253964226881047561) * 10 ^ 70 + 5252345405537927720012853640039608168326276327788866253613019085833214)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_167 : Polynomial.coeff recurrence2Scalar0Exceptional 167 = (515988136577248891100985848218971863669413121554 * 10 ^ 70 + 9217266090160439330819991357685745561614496128946163895607352898934078) * 10 ^ 70 + 669256589316476794329187076226224081358820779567890421070089303632743

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_168 : Polynomial.coeff recurrence2Scalar0Exceptional 168 = (2895364549829434988121072640304427921408127382020 * 10 ^ 70 + 4851321940534308015115976632568752274691991605833402274840907401883190) * 10 ^ 70 + 7280207029543208565453304920981226563356331207029177862039329157515024

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_169 : Polynomial.coeff recurrence2Scalar0Exceptional 169 = -((17057905553064127389095033179369482586184569183056 * 10 ^ 70 + 6607400197545184201395537284227363041808427178365159088232075870674794) * 10 ^ 70 + 4058534430194518557217734479021970996210339358860125108700740796322192)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_170 : Polynomial.coeff recurrence2Scalar0Exceptional 170 = (53284324812538535046007919117052136247915106170568 * 10 ^ 70 + 1171290363934980884020338454749920616051050332248632751548013936391110) * 10 ^ 70 + 3149232683033922928545847427806585084629314828510790669972578962526874

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_171 : Polynomial.coeff recurrence2Scalar0Exceptional 171 = -((106069926122036759188010912914380853692997896813858 * 10 ^ 70 + 5455312292516404618575818321610897221000751977037510938627465060507724) * 10 ^ 70 + 8715500155831449824160261849215931162290129373527603571394161119237727)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_172 : Polynomial.coeff recurrence2Scalar0Exceptional 172 = (71469600225565034859081931154387570133965276043157 * 10 ^ 70 + 9555014297190813807264179312697828329244667335737200990877807613053511) * 10 ^ 70 + 2840872643171715424244024294895151534851916891829185474292964097670982

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_173 : Polynomial.coeff recurrence2Scalar0Exceptional 173 = (456895367408106373021220173544727255080266195904639 * 10 ^ 70 + 7515306218395604796090347377394334958266561595349636745201249056914618) * 10 ^ 70 + 903347062889878198961584987127726215778544779651262719429123351241161

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_174 : Polynomial.coeff recurrence2Scalar0Exceptional 174 = -((2508231310300954946158571352270046298696936114950357 * 10 ^ 70 + 9685865304574608240968052837933846340801729244902603897641138803980517) * 10 ^ 70 + 7065394255965267452652359158438779608895816005301461662704184889752001)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_175 : Polynomial.coeff recurrence2Scalar0Exceptional 175 = (7777226248177319576094109700170250223003544617793319 * 10 ^ 70 + 3078347541782281526368996063272218542423206345965924757835686701306266) * 10 ^ 70 + 9601244037455211566410661729309956890944798121649501969070750985429444

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_176 : Polynomial.coeff recurrence2Scalar0Exceptional 176 = -((16847963889825867101987952879606852574164086839401710 * 10 ^ 70 + 9163095631752163079697839867654750903955248252337144666957234761466712) * 10 ^ 70 + 8903932402309024317754635291929208403700929952582266838000980625111843)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_177 : Polynomial.coeff recurrence2Scalar0Exceptional 177 = (21713995774241009355411167740708398808213878457818332 * 10 ^ 70 + 7569359434553917725542066056657379456457706963438258785085655488260104) * 10 ^ 70 + 6608824586330354253709241806560704579104371087036129982785769879258423

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_178 : Polynomial.coeff recurrence2Scalar0Exceptional 178 = (14271401771274096081063353025161854260912660537858267 * 10 ^ 70 + 2706813029563008171288585584056552631849329947020406369431268930149225) * 10 ^ 70 + 9624559540810408803767119889630654111803734756362998744169918456431489

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_179 : Polynomial.coeff recurrence2Scalar0Exceptional 179 = -((195323289610307982040490394465587950612146561030908890 * 10 ^ 70 + 9321602094899942068341272812415371134672328786020932814593931161688482) * 10 ^ 70 + 900628556407226232323777363541512122293439368997516357215683132272113)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_180 : Polynomial.coeff recurrence2Scalar0Exceptional 180 = (740679618116486158988283279283702266496973372191628013 * 10 ^ 70 + 8637546458703867864870371229536850971672722494769001759271761788783548) * 10 ^ 70 + 4660793727269965194213172568947200095334767147316012752344763711638372

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_181 : Polynomial.coeff recurrence2Scalar0Exceptional 181 = -((1970986104542542092224099262221941431321695664000826449 * 10 ^ 70 + 3127257209685581410378546714081100358347121056721969905732448086583004) * 10 ^ 70 + 6239175933999617033997651110527600540414027052367720024957662681820359)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_182 : Polynomial.coeff recurrence2Scalar0Exceptional 182 = (4021935490378197170462955570589094740408580449924642684 * 10 ^ 70 + 2080292553320968821785811137034475934156734818152625020569761696798007) * 10 ^ 70 + 2359084951351885486868824789981389884741809312126193627526250944564810

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_183 : Polynomial.coeff recurrence2Scalar0Exceptional 183 = -((5815203308484961416177137039954275335357248813471974253 * 10 ^ 70 + 9005517461346484523344271464242350489839643843920983360641412705692790) * 10 ^ 70 + 1160390751043997064056123751526644243704669297250595860101445852116678)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_184 : Polynomial.coeff recurrence2Scalar0Exceptional 184 = (2479938348821282514674899494188889464199274218812464115 * 10 ^ 70 + 1327631999229163528717901242078514346961681684697435471012309885409130) * 10 ^ 70 + 4777279621388048646858946981094863233201784160010428158175073309208990

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_185 : Polynomial.coeff recurrence2Scalar0Exceptional 185 = (19760872290895235302213577503980045458704585213442408594 * 10 ^ 70 + 996277142514114106718787665754377683511831709321205388503860114392736) * 10 ^ 70 + 3109887817221293687390877826460247005157840937378749420591592926184261

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_186 : Polynomial.coeff recurrence2Scalar0Exceptional 186 = -((91634076304203320240273132560478979259584562479178606879 * 10 ^ 70 + 2502064627496925056442092186634350730451010095458508809384723792676347) * 10 ^ 70 + 3171678977051606565121554075134966961167646034044574215817131297857783)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_187 : Polynomial.coeff recurrence2Scalar0Exceptional 187 = (269710012279109832547949661146324361252740333305653859693 * 10 ^ 70 + 707004354750202192973630702759015883995016172241800207996722592880786) * 10 ^ 70 + 454338909431702322851757938750599333164643222961638936311046771957943

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_188 : Polynomial.coeff recurrence2Scalar0Exceptional 188 = -((638245381164713530321931148871061878271360940980866868170 * 10 ^ 70 + 7173555060628550812269163565433475502922728301845454862864201404728617) * 10 ^ 70 + 3368425632448566750016987547232851534586474042615669387880756131591007)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_189 : Polynomial.coeff recurrence2Scalar0Exceptional 189 = (1285894321971524737063563731182433858907241939917983033488 * 10 ^ 70 + 5661071805254472820363961684606569047363202324387131753357534433328893) * 10 ^ 70 + 7996158555001485171321075949805017918483185580486290023541563340961187

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_190 : Polynomial.coeff recurrence2Scalar0Exceptional 190 = -((2225859036122617748230016713843893720635128737000705348584 * 10 ^ 70 + 3753785587627633801839263363586040643815828751837003381590061251782287) * 10 ^ 70 + 7332549568875418979009534760745746548409317011554247104868307457040590)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_191 : Polynomial.coeff recurrence2Scalar0Exceptional 191 = (3217580760681476818853180021137212857385665969893193447082 * 10 ^ 70 + 6131341507783776618387393257750594410423645738122234061736171023560126) * 10 ^ 70 + 4215635196369968244282293101906139145591812800386413389136592460675331

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_192 : Polynomial.coeff recurrence2Scalar0Exceptional 192 = -((3453912710777920408438903895570244692829407253058285616378 * 10 ^ 70 + 1784464202093398442230933911927481331833617845251849739062704247052678) * 10 ^ 70 + 7050467038748629407033523420785092292271968849701554034135791305841347)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_193 : Polynomial.coeff recurrence2Scalar0Exceptional 193 = (1120807392975848370975966935504091014575764477060801003446 * 10 ^ 70 + 8586510471928857963146352703442983587332414898743844634169569973339371) * 10 ^ 70 + 6046680050703947773287142784149999398253108949810027012618979919182015

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_194 : Polynomial.coeff recurrence2Scalar0Exceptional 194 = (7060331196679813748120535366970448648876237225893965938141 * 10 ^ 70 + 8315344041647487897062387207070084608571535138673038062987165422598044) * 10 ^ 70 + 5976458994011984572293034776017001511306595768124170757886771067198825

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_195 : Polynomial.coeff recurrence2Scalar0Exceptional 195 = -((26024036655647590939342182931518113107297050886910021384995 * 10 ^ 70 + 5723918818583492641210649249244115961070484075643451332176049295535869) * 10 ^ 70 + 7919344147078468312129854684628328756047239703716742119207484799469619)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_196 : Polynomial.coeff recurrence2Scalar0Exceptional 196 = (61783158344621867191880024016471285234835173100966660595609 * 10 ^ 70 + 2640555936183666840522449757011509547632236380767350580390071860895919) * 10 ^ 70 + 5379190635508928770871833226454569815287768389842086542238810069921063

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_197 : Polynomial.coeff recurrence2Scalar0Exceptional 197 = -((119397300488893739993475138295338613016562068550572105429825 * 10 ^ 70 + 1882052714973104979140025609283544837944796521184400818949305708300006) * 10 ^ 70 + 9371118280270860940544731424228892212676720863881294490026273144526912)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_198 : Polynomial.coeff recurrence2Scalar0Exceptional 198 = (198806196333239313266268685439859002723282712698146792254529 * 10 ^ 70 + 9277696767519700667962567358101555566594299949535744467825901514789698) * 10 ^ 70 + 2678229825975299205698832806611199271492746521335436943450324740187891

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_199 : Polynomial.coeff recurrence2Scalar0Exceptional 199 = -((288224579320548274230929134126898848428787021095127465831119 * 10 ^ 70 + 8086908344149032979067903224315004893192635703632413288013001501410611) * 10 ^ 70 + 2387312290401914316260059582012581103616164665591176624854842610907564)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_200 : Polynomial.coeff recurrence2Scalar0Exceptional 200 = (355695446394165879829150453911958680683121008123229787095776 * 10 ^ 70 + 9188506455299947261347466118131527618554744986093455739773221640990961) * 10 ^ 70 + 1442348284380663981051325965689097712987346746761066908472546571688215

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_201 : Polynomial.coeff recurrence2Scalar0Exceptional 201 = -((340808664023730928016336878461527252515700308060253512527799 * 10 ^ 70 + 3766565935478641762163551442268549764278185684862945260018413489248281) * 10 ^ 70 + 3504677645105146596106213561554410787843417578163013510343071495178407)