Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1ExceptionalPart0.Coefficients0To67

Recurrence 5 lookup certificate: Scalar1Exceptional coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_0 :
Polynomial.coeff recurrence5Scalar1Exceptional 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_1 :
Polynomial.coeff recurrence5Scalar1Exceptional 1 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_2 :
Polynomial.coeff recurrence5Scalar1Exceptional 2 = -(10894519662754506151967774734172362220584558254107437249534 * 10 ^ 70 + 4772046049730844186273172193872310484161507650597956845500697779079168)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_3 :
Polynomial.coeff recurrence5Scalar1Exceptional 3 = 10198913780440620770934351803995867465003443809336852969334366 * 10 ^ 70 + 1304737692458152534916226369704539198160190692517885252317672486458368
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_4 :
Polynomial.coeff recurrence5Scalar1Exceptional 4 = 162024111890492585271086119774228107383163939858126947727306241022 * 10 ^ 70 + 5229975448203379172819247344917005120986841885850097631473603044739200
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_5 :
Polynomial.coeff recurrence5Scalar1Exceptional 5 = -(652494466932545007473537052105138792326445741383741926814268606115167 * 10 ^ 70 + 7768973454101862987007283112291571735333116116886882173434399728489024)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_6 :
Polynomial.coeff recurrence5Scalar1Exceptional 6 = (117 * 10 ^ 70 + 5316073276814783507880275406569344352080577708837684071560773315674248) * 10 ^ 70 + 4753524630262961001657920963557443526517318194090112339834229235102968
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_7 :
Polynomial.coeff recurrence5Scalar1Exceptional 7 = -((118513 * 10 ^ 70 + 2379229961078945556403891069670570030155261132631369536913577875457062) * 10 ^ 70 + 3044295800847054550190016119087845478163093799135709575064606876330280)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_8 :
Polynomial.coeff recurrence5Scalar1Exceptional 8 = (66766824 * 10 ^ 70 + 2371699361904219633999243919949110464683247501015392081310450034653336) * 10 ^ 70 + 3286453050087492190918867495033582390456661249919672279514034815612200
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_9 :
Polynomial.coeff recurrence5Scalar1Exceptional 9 = -((16494570845 * 10 ^ 70 + 8180210241861236128752551788324026387033697726444860588463323267688480) * 10 ^ 70 + 4056591601179722657580307604373729873921111934210897094624006560038504)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_10 :
Polynomial.coeff recurrence5Scalar1Exceptional 10 = -((2514376176787 * 10 ^ 70 + 3735527785672164033609368874264920426684958751263428064566482014480501) * 10 ^ 70 + 9203061411240477284607127532336805585247156147494256197159308805541136)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_11 :
Polynomial.coeff recurrence5Scalar1Exceptional 11 = (4345089432211474 * 10 ^ 70 + 4993926018881855416151295593566232665738794374974474883844628195622162) * 10 ^ 70 + 1164625336434418460696518100517567845887924287592666735707110817749380
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_12 :
Polynomial.coeff recurrence5Scalar1Exceptional 12 = -((3755964721648322398 * 10 ^ 70 + 6468689462002463355027022049719211267113921469691224445518579689752923) * 10 ^ 70 + 3815751315868907974664641664920800149156382081120464320928838621648188)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_13 :
Polynomial.coeff recurrence5Scalar1Exceptional 13 = (2888568891570882497207 * 10 ^ 70 + 7476225444541703925446680340601152797084240473888684956256435822337343) * 10 ^ 70 + 7498346682781378578448471363960234496223667809086669741632116467167584
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_14 :
Polynomial.coeff recurrence5Scalar1Exceptional 14 = -((1550198847765902025003165 * 10 ^ 70 + 1317016759428783366025470782436378883088923250317544257546700432893403) * 10 ^ 70 + 9950801451776800696354966900868330881852860576967855095575726351727028)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_15 :
Polynomial.coeff recurrence5Scalar1Exceptional 15 = (518169089322160884278809626 * 10 ^ 70 + 4110423519832765199181202047184910538273099312486298969274330554308653) * 10 ^ 70 + 4088478401248504503180766356603486613373634974450588501574089489061312
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_16 :
Polynomial.coeff recurrence5Scalar1Exceptional 16 = -((81929109562076777929898939958 * 10 ^ 70 + 1550360315462593373932017863560963428196618340236531021943100849307339) * 10 ^ 70 + 4594627548379796641066363429503621320243993037107259692754866222875698)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_17 :
Polynomial.coeff recurrence5Scalar1Exceptional 17 = -((20173316549545489671544516903179 * 10 ^ 70 + 1603434121896604184413056186602720568395940635902304922643057775852150) * 10 ^ 70 + 8728924056159053987006637373442223517890433723230108407939801897223306)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_18 :
Polynomial.coeff recurrence5Scalar1Exceptional 18 = (25711387740008204552892154807690531 * 10 ^ 70 + 4131895006395837913009159519541450079332751722386222104412551876238851) * 10 ^ 70 + 2317919566349434350393549649035306654477935809261967184388993642139210
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_19 :
Polynomial.coeff recurrence5Scalar1Exceptional 19 = -((16497695465747676858972886739863771821 * 10 ^ 70 + 8147915630128171480602814877890167297901652235834895691039379625677261) * 10 ^ 70 + 404735029903425929934001349838592261507765856394974452022389424045002)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_20 :
Polynomial.coeff recurrence5Scalar1Exceptional 20 = (8038513165637626503757802613404564849637 * 10 ^ 70 + 9987584218741491667724031703301523809696361519686877421598471764890569) * 10 ^ 70 + 3266358431585858064254662216337929294186767326264837045217185510797838
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_21 :
Polynomial.coeff recurrence5Scalar1Exceptional 21 = -((2837689181344277645855480909073241206944286 * 10 ^ 70 + 2298483211973705229933293457079420208265459238177277312759513114901524) * 10 ^ 70 + 5901023497128659240041458700679263129154666557398662702291601568490183)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_22 :
Polynomial.coeff recurrence5Scalar1Exceptional 22 = (602017819780523096440710190261071322459374215 * 10 ^ 70 + 8210243471380467589142075085564049060311848859753819074909281408152169) * 10 ^ 70 + 2213613465881885891321389102364490415315539506174845913973635338870847
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_23 :
Polynomial.coeff recurrence5Scalar1Exceptional 23 = (11946826472035223595764565629598145997549170790 * 10 ^ 70 + 5552304383482691248228633274782171319909775834107720006398894614272325) * 10 ^ 70 + 2793478192473809729256455468145120646004871106862162677688566159432802
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_24 :
Polynomial.coeff recurrence5Scalar1Exceptional 24 = -((71885396042580577427065851653480143466543450279188 * 10 ^ 70 + 8998745843390845499924714672838891680478010654035270464113598502228461) * 10 ^ 70 + 7308804793340069688455619886057539536016616797278797784752953742645623)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_25 :
Polynomial.coeff recurrence5Scalar1Exceptional 25 = (35380984947570002317349085612038878799080673643414618 * 10 ^ 70 + 3650866480467185330289310877736072294423116675025648817330198589330214) * 10 ^ 70 + 8002489151179182774319455918692044413109157404601268609741497147939485
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_26 :
Polynomial.coeff recurrence5Scalar1Exceptional 26 = -((11273849908061492176078090336691747013817463589209481853 * 10 ^ 70 + 976171650217381617914815387371403316841981694657648405788066148057785) * 10 ^ 70 + 6767822816942147115934464208607369811724643033193924020596508924758208)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_27 :
Polynomial.coeff recurrence5Scalar1Exceptional 27 = (2729988578219384084836336413881375299636760970208688978198 * 10 ^ 70 + 9943497572361651965495026294614135893408290284798726816421337889688305) * 10 ^ 70 + 2570685899635655279149733186579328264691696021939621941397703386503706
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_28 :
Polynomial.coeff recurrence5Scalar1Exceptional 28 = -((526869518189337795012066808961376577682901548152447215488912 * 10 ^ 70 + 9499858516970184426856455474103782743240636530772523984796865223513716) * 10 ^ 70 + 6614720336272108088045049411385224621282804497028116838608610014218396)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_29 :
Polynomial.coeff recurrence5Scalar1Exceptional 29 = (81848942867239401391115119706334308289811840072079991790105384 * 10 ^ 70 + 6895961213717715054697409220311190636488566251977521791370227929745633) * 10 ^ 70 + 4428672708356406095980197252445188884036744149198400277350506051078348
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_30 :
Polynomial.coeff recurrence5Scalar1Exceptional 30 = -((10012916951760002664423394212911200336335992985864339693963901523 * 10 ^ 70 + 8108855580906379272149221595785566766725593547485756253457995475174634) * 10 ^ 70 + 17648441695488598234166129254490785656277100747796012012774107848357)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_31 :
Polynomial.coeff recurrence5Scalar1Exceptional 31 = (878677852897942490012548054127223419077514955378700987661640435791 * 10 ^ 70 + 1776190979992089577675564253468928694751765780893776313842217195844363) * 10 ^ 70 + 4001825409839212281359284154536385391493148972905487653474546280840073
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_32 :
Polynomial.coeff recurrence5Scalar1Exceptional 32 = -((31897893760569272838940805507973547531339364518636270541248032259408 * 10 ^ 70 + 6804896570425920021301275401812479487248797388978491150525616977946933) * 10 ^ 70 + 1261633732169688539310663303935332930785396166059634258453802132254186)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_33 :
Polynomial.coeff recurrence5Scalar1Exceptional 33 = -((6172544094048521010455654873646980547831785084890728291348785497659804 * 10 ^ 70 + 8291641837355809406866448355938196250839096986383638180325053238769857) * 10 ^ 70 + 1343278908978456867387033291088613655682250953938635008142964464802459)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_34 :
Polynomial.coeff recurrence5Scalar1Exceptional 34 = ((164 * 10 ^ 70 + 1931065860204952550646567083322998607313640435704603986370356338650970) * 10 ^ 70 + 4518513855181700788383232229219567988070286576229709578826548021329246) * 10 ^ 70 + 9475206564918707628511029060948546038112198759794748120774585781236127
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_35 :
Polynomial.coeff recurrence5Scalar1Exceptional 35 = -(((23543 * 10 ^ 70 + 364714808116329457023133812117925789230766248216688478867505023767587) * 10 ^ 70 + 866491885012070086754133105189782738543234688814037228512028056331808) * 10 ^ 70 + 221720784320770616162224923121520208271662217969868308434246887796018)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_36 :
Polynomial.coeff recurrence5Scalar1Exceptional 36 = ((2450806 * 10 ^ 70 + 2575739331026541201109302920137312629490245160417052000756829210331753) * 10 ^ 70 + 8988421905161955727119494461600179489254808776906730742760301626588259) * 10 ^ 70 + 5489120690211460857997682413243730043854614943418417001380666742204474
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_37 :
Polynomial.coeff recurrence5Scalar1Exceptional 37 = -(((189141483 * 10 ^ 70 + 6277928830913882309014331153392070150475045639439030587860644264486532) * 10 ^ 70 + 384943833170921884068150053937006857902495153135954140037135262696547) * 10 ^ 70 + 3533117261622520507439210280234939325166891888835864507999122584514413)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_38 :
Polynomial.coeff recurrence5Scalar1Exceptional 38 = ((9108683662 * 10 ^ 70 + 506434450672552443988422015949998182636937816011881774530008563568701) * 10 ^ 70 + 8901560923252047862848572913744105606640616847540504995292462522170794) * 10 ^ 70 + 7731013153249786368952226911480883292938148867464626385596850903803879
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_39 :
Polynomial.coeff recurrence5Scalar1Exceptional 39 = ((122264952651 * 10 ^ 70 + 3220143279547943004159695670353293415576163135881958661611142253998343) * 10 ^ 70 + 9253632177895006975857588705454849375632340898027392143489952047397249) * 10 ^ 70 + 189509487564486251290661628084457507160427905293004081177050719018046
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_40 :
Polynomial.coeff recurrence5Scalar1Exceptional 40 = -(((89370713729305 * 10 ^ 70 + 7684623404538774196548736542743912641156998569621064273709209360439626) * 10 ^ 70 + 4471814364629016557882753540551262959719178038406132798574979822013765) * 10 ^ 70 + 7908709628941252034409659222962435853168521480503625762477244510950923)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_41 :
Polynomial.coeff recurrence5Scalar1Exceptional 41 = ((12627457669523575 * 10 ^ 70 + 6890169424436404645621200915298639644529329418482915812137477476640553) * 10 ^ 70 + 1990880991728078828253649467535440443073949000402245622039239133043780) * 10 ^ 70 + 7667534042888474073812180553307999214965483665201982734810934581301573
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_42 :
Polynomial.coeff recurrence5Scalar1Exceptional 42 = -(((1266533530870250790 * 10 ^ 70 + 4758604067740150156121367827350459448811919711812175946765147091975822) * 10 ^ 70 + 5365717706555517427558745578980821834407021024506108812407475751040480) * 10 ^ 70 + 7599684694033095641526510221334746357007541296766689638595311824463748)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_43 :
Polynomial.coeff recurrence5Scalar1Exceptional 43 = ((104350864072617224713 * 10 ^ 70 + 3975531475041354206156098954350898048236109245666655583193895676690371) * 10 ^ 70 + 5891953140661146280786474175513389455231601111753116424182388403808373) * 10 ^ 70 + 4157063480050694933499431245127435298014936154487692224571292352539141
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_44 :
Polynomial.coeff recurrence5Scalar1Exceptional 44 = -(((7428719402797795941942 * 10 ^ 70 + 3499396605959968321068932261175892833103863415742877784077766632308888) * 10 ^ 70 + 9946100838354975907615487293349943053660007690216528576567654771576896) * 10 ^ 70 + 7990107213303654008731618743117255154120686307828720839589405902269478)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_45 :
Polynomial.coeff recurrence5Scalar1Exceptional 45 = ((468145607876251498600698 * 10 ^ 70 + 968997237166432555688397777815322019550213523424492415963927024455058) * 10 ^ 70 + 8521139878303165555171343654575745461886433493540260370122029907456126) * 10 ^ 70 + 9101340608787002267717990070418372357581636323697103080771565188996667
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_46 :
Polynomial.coeff recurrence5Scalar1Exceptional 46 = -(((26475282844423789330241543 * 10 ^ 70 + 7539878309606214044716867843103223668155098147184093235030141838784196) * 10 ^ 70 + 477776103079876238427527095327407525484713921732609809143953020469871) * 10 ^ 70 + 6513599030523582698747027688156639656376234037365679427996289012631902)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_47 :
Polynomial.coeff recurrence5Scalar1Exceptional 47 = ((1355143346697588439693431819 * 10 ^ 70 + 7737976990951950136548059755804809512970762114434098313433032914212766) * 10 ^ 70 + 1979750922310879847057673483097528035850393746816968793172052680894161) * 10 ^ 70 + 9126621908769128867803220026796277073540154661598982300921564830115198
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_48 :
Polynomial.coeff recurrence5Scalar1Exceptional 48 = -(((63126582246030965601527094839 * 10 ^ 70 + 7940926294800288397621424586963827946864038875316873959079462193179894) * 10 ^ 70 + 6907274834267276417165612932838883324050936174282433227472733251088385) * 10 ^ 70 + 5540052903278683622458368174576521689809715992368136699481438375327335)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_49 :
Polynomial.coeff recurrence5Scalar1Exceptional 49 = ((2685749929254192887988419576022 * 10 ^ 70 + 3269414163568420777297995128536469444400214901233446646851833348563331) * 10 ^ 70 + 2450274481645794852160377534748545858804325868539779199537484307816091) * 10 ^ 70 + 2550952646298562650569596794482753512558482975665464161596430361921666
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_50 :
Polynomial.coeff recurrence5Scalar1Exceptional 50 = -(((104578154822153463646294711954530 * 10 ^ 70 + 8159374973325097364491966278785261104094588727949745496134332303810880) * 10 ^ 70 + 892549157845072829493294736395063951531770096043560543907830467814527) * 10 ^ 70 + 6263809144686132485538619214716690791604092768901448536906859981516246)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_51 :
Polynomial.coeff recurrence5Scalar1Exceptional 51 = ((3729569970356592748431717891910120 * 10 ^ 70 + 6489320628831398626021970531406368743992652173487156477698021422387622) * 10 ^ 70 + 3716449700977117623140398048006290244763050588792571811451579351786362) * 10 ^ 70 + 7640687889227319768786832061893120160053499021601029996769688867324900
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_52 :
Polynomial.coeff recurrence5Scalar1Exceptional 52 = -(((121740119220318113708673889079466035 * 10 ^ 70 + 7385209205401598819662287204428237352322469845615878396510622307998831) * 10 ^ 70 + 9765123662287525212100361726053813336304442550203314184900634257115560) * 10 ^ 70 + 855313398201346060284378992928268360279331158632575396460636589593835)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_53 :
Polynomial.coeff recurrence5Scalar1Exceptional 53 = ((3628510776944220289975023015404402543 * 10 ^ 70 + 6950718097250451431872394191204661092170863794257064212830899382370450) * 10 ^ 70 + 898986833264966696116042101383945055004987301825662369125783103785860) * 10 ^ 70 + 3900630078768730476269439676959927075053706747659452219845464856384815
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_54 :
Polynomial.coeff recurrence5Scalar1Exceptional 54 = -(((98269144873504334708927547105715907297 * 10 ^ 70 + 6933163792319247328631039192066191776685522463984834813863091438009898) * 10 ^ 70 + 8597029515299098722469733781885206127871034442911998509408939116144576) * 10 ^ 70 + 5775046512418294948497384500644726745403495867754174234114058673326817)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_55 :
Polynomial.coeff recurrence5Scalar1Exceptional 55 = ((2396409252292415356563166934944077465850 * 10 ^ 70 + 7125029575305691303754916350039139998739258638967664351540751319376622) * 10 ^ 70 + 1197948847025029898385725197598225569773407172241738873596420720248097) * 10 ^ 70 + 8917595220959398244150971059709271373730992726403844951495776097109496
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_56 :
Polynomial.coeff recurrence5Scalar1Exceptional 56 = -(((51726782628379434669304924149264262918736 * 10 ^ 70 + 9429012575510929059241283403901640057817899863588466674014954550227805) * 10 ^ 70 + 1890422589988891104974976189745367295760967013645760408843479487825411) * 10 ^ 70 + 4260189714025244208468316012773432207001912418250442683467821318013607)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_57 :
Polynomial.coeff recurrence5Scalar1Exceptional 57 = ((953361913923807204559852118737389916345931 * 10 ^ 70 + 6460182290167280871273053280431666658048742789482498248523694799780086) * 10 ^ 70 + 2387326486024385458981450378545930070311341384553427890039596421732834) * 10 ^ 70 + 6090258004260627647741226223273963552915781624752906459296726516797366
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_58 :
Polynomial.coeff recurrence5Scalar1Exceptional 58 = -(((13642172034956923104429173023555135841349755 * 10 ^ 70 + 9164053778958512157006737512393420867988498623647530122277945436141041) * 10 ^ 70 + 4839635278742515169285696712206258432011393893207108328099177244012362) * 10 ^ 70 + 8029341199047198170789236041277556339684469262069677157771553544610300)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_59 :
Polynomial.coeff recurrence5Scalar1Exceptional 59 = ((95177647179320824176706298336510361327323247 * 10 ^ 70 + 5812284900759048595557049628323227219293139324882194670436413233830327) * 10 ^ 70 + 9387532508346202665152822303844804149361479506064193509443790036809946) * 10 ^ 70 + 6454512856727748154181620024641259844850564695641568101396383392698591
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_60 :
Polynomial.coeff recurrence5Scalar1Exceptional 60 = ((2436919287616497360108869498818626867334437328 * 10 ^ 70 + 4042796511715603647696244249229233976768342966250630486841438655264340) * 10 ^ 70 + 7872093549063459173256820376890255620327210697040029717128927966050694) * 10 ^ 70 + 2988487030703515494437132286569845428438196516353971524939985041096235
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_61 :
Polynomial.coeff recurrence5Scalar1Exceptional 61 = -(((132655784884349315378011770703094618654796414898 * 10 ^ 70 + 282928453793050405664966649359842089993775536595789283092600181486483) * 10 ^ 70 + 7007891665708904009587862669227632135069810768030131715259490173481978) * 10 ^ 70 + 6658287938466780848424244441841965048689021534284314520128137083844945)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_62 :
Polynomial.coeff recurrence5Scalar1Exceptional 62 = ((3879670551452050306128808276712678112002753686517 * 10 ^ 70 + 2307630021442423126973000434222793756702650120839772727349748234163760) * 10 ^ 70 + 5968767742432121844677353661412943646461822312594322097877894015729689) * 10 ^ 70 + 4566233538841903204826508204769029230220192339718723944885950279012230
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_63 :
Polynomial.coeff recurrence5Scalar1Exceptional 63 = -(((87459964361950641790797103701622289150235361956632 * 10 ^ 70 + 9733383062579695496376282053386917117598905347612425766755333012087195) * 10 ^ 70 + 4613045756346461509329899823992157716248847859997896058840288045650941) * 10 ^ 70 + 1055298717249188339610087103147753419842500957107247866353559742930394)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_64 :
Polynomial.coeff recurrence5Scalar1Exceptional 64 = ((1624320708114726815976543741335626420308250987469165 * 10 ^ 70 + 6257208192887081257560733766588371978152056063131317480146865596837658) * 10 ^ 70 + 5999656070158648703824176516978002195456195795203869746566410704533643) * 10 ^ 70 + 2949584948377290198515527976008039622696765418075926106938088908133036
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_65 :
Polynomial.coeff recurrence5Scalar1Exceptional 65 = -(((24773089587797529258768393110475027163305612393726156 * 10 ^ 70 + 4182938348589769126854115778366544894047444890506871248728753712511511) * 10 ^ 70 + 2404039206879914259350505781499202999005960114459648067146198173606231) * 10 ^ 70 + 1005800990478964345029516002604943510924835434169876870143091516995913)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_66 :
Polynomial.coeff recurrence5Scalar1Exceptional 66 = ((286700849181475830348246233615021422844449943531218971 * 10 ^ 70 + 2234282766294891012158763128367858779617977172434420819751938170713412) * 10 ^ 70 + 7690711205143153991242561165669758730719166021517136851203439046222252) * 10 ^ 70 + 9014313350426818725474332690388205725811138217016164059619108690839257
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_67 :
Polynomial.coeff recurrence5Scalar1Exceptional 67 = -(((1591876492347799294261870128760213108583749184277385354 * 10 ^ 70 + 1814745701912100808020531015618892551855381550228903553622630216922293) * 10 ^ 70 + 716842898820011236045118998056540791373922112258362338588310746434268) * 10 ^ 70 + 8084508471424176947526757516773203283193854352157275083005723760120681)