Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar0MainPart0.Coefficients0To92

Recurrence 2 lookup certificate: Scalar0Main coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_0 :
Polynomial.coeff recurrence2Scalar0Main 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_1 :
Polynomial.coeff recurrence2Scalar0Main 1 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_2 :
Polynomial.coeff recurrence2Scalar0Main 2 = 4096
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_3 :
Polynomial.coeff recurrence2Scalar0Main 3 = -87725440
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_4 :
Polynomial.coeff recurrence2Scalar0Main 4 = -433720474880
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_5 :
Polynomial.coeff recurrence2Scalar0Main 5 = 7243539521052896
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_6 :
Polynomial.coeff recurrence2Scalar0Main 6 = -1971741510601650064
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_7 :
Polynomial.coeff recurrence2Scalar0Main 7 = 29193090012666654082816
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_8 :
Polynomial.coeff recurrence2Scalar0Main 8 = -16457843650650193095130232
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_9 :
Polynomial.coeff recurrence2Scalar0Main 9 = 31225767700762403843023623940
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_10 :
Polynomial.coeff recurrence2Scalar0Main 10 = -18442092805416400275407322793624
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_11 :
Polynomial.coeff recurrence2Scalar0Main 11 = 1376706533944192723676205634135440
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_12 :
Polynomial.coeff recurrence2Scalar0Main 12 = 4119101713266809929735186739285089748
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_13 :
Polynomial.coeff recurrence2Scalar0Main 13 = -3735402032845240495915183348625887384896
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_14 :
Polynomial.coeff recurrence2Scalar0Main 14 = 1789821375670146355371294209090138596784703
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_15 :
Polynomial.coeff recurrence2Scalar0Main 15 = -614765001057487906378061509298252100965497642
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_16 :
Polynomial.coeff recurrence2Scalar0Main 16 = 159861798250069168574168255523401249629470297935
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_17 :
Polynomial.coeff recurrence2Scalar0Main 17 = -32304425983176309083864599658852210317775181129485
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_18 :
Polynomial.coeff recurrence2Scalar0Main 18 = 5155289099950101725011934484572266610602713399929050
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_19 :
Polynomial.coeff recurrence2Scalar0Main 19 = -654444546910731747371213500696116961865840240131280514
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_20 :
Polynomial.coeff recurrence2Scalar0Main 20 = 66080526062515373265348781589884398605719292432186898150
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_21 :
Polynomial.coeff recurrence2Scalar0Main 21 = -5236698725152951727428185451238209703931839832524874330086
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_22 :
Polynomial.coeff recurrence2Scalar0Main 22 = 312483481629479904988292476045658783999104932875187131972079
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_23 :
Polynomial.coeff recurrence2Scalar0Main 23 = -12218275696824963400751705035379036617586318806533388251339934
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_24 :
Polynomial.coeff recurrence2Scalar0Main 24 = 77045157844925234043915365899646810276078180998767998352622606
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_25 :
Polynomial.coeff recurrence2Scalar0Main 25 = 33030475201393472531689705426068976261463617551493407659938755261
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_26 :
Polynomial.coeff recurrence2Scalar0Main 26 = -3176040037736203491561975774918907474384818561253652774451888925231
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_27 :
Polynomial.coeff recurrence2Scalar0Main 27 = 179245592100012955952368816689423397918330629018065687658321522614656
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_28 :
Polynomial.coeff recurrence2Scalar0Main 28 = -6362662277803065553732943303126274750223035306157496808941695186917829
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_29 :
Polynomial.coeff recurrence2Scalar0Main 29 = 4 * 10 ^ 70 + 5391371467228354060026104800385556839059295055306654137695435049436249
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_30 :
Polynomial.coeff recurrence2Scalar0Main 30 = 1320 * 10 ^ 70 + 4725723032990065488969557911843992470025049869575948052755412165909
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_31 :
Polynomial.coeff recurrence2Scalar0Main 31 = -(121082 * 10 ^ 70 + 1550118752307932638926404722543793373667956034464137509394512016519188)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_32 :
Polynomial.coeff recurrence2Scalar0Main 32 = 6762741 * 10 ^ 70 + 5292170790541907948999990776840961749822069176182081053408632792422269
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_33 :
Polynomial.coeff recurrence2Scalar0Main 33 = -(282680842 * 10 ^ 70 + 369498154566997968410825381100657934746275987613198034269140581150392)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_34 :
Polynomial.coeff recurrence2Scalar0Main 34 = 9400072960 * 10 ^ 70 + 472288746810912520820011748762525264797007618386518881840869525406136
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_35 :
Polynomial.coeff recurrence2Scalar0Main 35 = -(257008246992 * 10 ^ 70 + 4324881707018975367227994709267248532321322277064506590628092319906296)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_36 :
Polynomial.coeff recurrence2Scalar0Main 36 = 5798059880072 * 10 ^ 70 + 5734220226848670754428824467745837863976076852254834211949396722099495
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_37 :
Polynomial.coeff recurrence2Scalar0Main 37 = -(91012337269045 * 10 ^ 70 + 8127315778316373084280393746111824879027637832308222727678350212471193)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_38 :
Polynomial.coeff recurrence2Scalar0Main 38 = -(641705446231019 * 10 ^ 70 + 878171861722597141356273572089333707817726122372154347842095490894013)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_39 :
Polynomial.coeff recurrence2Scalar0Main 39 = 140793600322883889 * 10 ^ 70 + 9827532099223371046197278830436320685063257318701890703681410220579760
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_40 :
Polynomial.coeff recurrence2Scalar0Main 40 = -(7340746709560595482 * 10 ^ 70 + 2881298770865987094750638538820209306762052633079781264002659638815870)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_41 :
Polynomial.coeff recurrence2Scalar0Main 41 = 251293988840095392891 * 10 ^ 70 + 3365440126149397311971512810360500276469732105294377069378434547846967
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_42 :
Polynomial.coeff recurrence2Scalar0Main 42 = -(6112522355950487965656 * 10 ^ 70 + 775452558858993872874737668693926381833672446213403099060026372425637)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_43 :
Polynomial.coeff recurrence2Scalar0Main 43 = 100261830234027270394846 * 10 ^ 70 + 1070029219241750312001020731882683343602236624660432077798752813115982
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_44 :
Polynomial.coeff recurrence2Scalar0Main 44 = -(816004418191759315311620 * 10 ^ 70 + 1833139953393870775798513529955290803552944513323852335241742664464711)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_45 :
Polynomial.coeff recurrence2Scalar0Main 45 = -(5008799909731836079332402 * 10 ^ 70 + 8920510511274035163015093626539883652647449036480693211772947044467321)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_46 :
Polynomial.coeff recurrence2Scalar0Main 46 = 85231983352140393018728011 * 10 ^ 70 + 8070004382543041942432564897583917564570212058405213516973837064182490
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_47 :
Polynomial.coeff recurrence2Scalar0Main 47 = 8535652765302143035129096718 * 10 ^ 70 + 3172595566780262037652646775108732098927115195763816226932136086443208
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_48 :
Polynomial.coeff recurrence2Scalar0Main 48 = -(414324033169472909097357328902 * 10 ^ 70 + 4828694632111086936665157287031003071479460068637877650369854553590540)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_49 :
Polynomial.coeff recurrence2Scalar0Main 49 = 9469778232620909921512758539004 * 10 ^ 70 + 4168493754305553060102283871154373380063267945870239770760875050376119
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_50 :
Polynomial.coeff recurrence2Scalar0Main 50 = -(95465829115796624073514754459359 * 10 ^ 70 + 9587059333529466168189621505067003974215566199565265743219805900117225)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_51 :
Polynomial.coeff recurrence2Scalar0Main 51 = -(1707685380692634800529188106362935 * 10 ^ 70 + 8918896737276502571691522265992391144630580714086104364662235263494476)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_52 :
Polynomial.coeff recurrence2Scalar0Main 52 = 111815054909263087473023265410356343 * 10 ^ 70 + 132136379105386098740022989373311325511909262630898012370805100411291
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_53 :
Polynomial.coeff recurrence2Scalar0Main 53 = -(3394519085707718987535071511252833391 * 10 ^ 70 + 5286962155739842185239899870422655920197454656581035536335387971760198)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_54 :
Polynomial.coeff recurrence2Scalar0Main 54 = 79530247615330561007242125464589998367 * 10 ^ 70 + 1155373833835223361876246710662557211883239881602959031998417595598763
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_55 :
Polynomial.coeff recurrence2Scalar0Main 55 = -(1624971067580292378056580966863978665458 * 10 ^ 70 + 5111018865667425309264800406680535909560337733931012506025993910624107)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_56 :
Polynomial.coeff recurrence2Scalar0Main 56 = 30517269498164280047261475499484266098344 * 10 ^ 70 + 5493681340134215723563181495716829527902782446808601671637856193347007
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_57 :
Polynomial.coeff recurrence2Scalar0Main 57 = -(538186250977791043837866485238007530456067 * 10 ^ 70 + 1191850759798121812747892760122310128919877847786390773135906745012481)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_58 :
Polynomial.coeff recurrence2Scalar0Main 58 = 8954193450324343616298044309522338138912819 * 10 ^ 70 + 337706364201248997815069330541006564354908840829652207714595834994677
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_59 :
Polynomial.coeff recurrence2Scalar0Main 59 = -(140415292361822004291950437505864583842977816 * 10 ^ 70 + 9769162442394929595936332607255311874813242033136241646466536641369398)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_60 :
Polynomial.coeff recurrence2Scalar0Main 60 = 2077018576325224740128644008560868396686034312 * 10 ^ 70 + 2489654999096700086003037119443741603128881790837545785397637781841074
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_61 :
Polynomial.coeff recurrence2Scalar0Main 61 = -(29118695452118381113684145515031375397497847598 * 10 ^ 70 + 3530072081357209477584465038371172446636353624712243999316251143906209)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_62 :
Polynomial.coeff recurrence2Scalar0Main 62 = 389479171653587708764626378593375002626095452502 * 10 ^ 70 + 6917112322926245635089317077451955012236885655521195028429589691329476
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_63 :
Polynomial.coeff recurrence2Scalar0Main 63 = -(4988886572480955384889899416135725188582498820971 * 10 ^ 70 + 2639655967277925451925249060098789162735436976778222942992287268257227)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_64 :
Polynomial.coeff recurrence2Scalar0Main 64 = 60940995317360294762378926767110243120658619796931 * 10 ^ 70 + 4447980299540318203774942794364151187605948846677930277866321646823080
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_65 :
Polynomial.coeff recurrence2Scalar0Main 65 = -(698791230634247622775738704066890761129558730706822 * 10 ^ 70 + 8912800954888313652170264409769615274563017300467219999155115759317156)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_66 :
Polynomial.coeff recurrence2Scalar0Main 66 = 7286442810751151205925517131020352529187176350997809 * 10 ^ 70 + 8229911864377968391046158368460627425243211419444028472962082389517118
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_67 :
Polynomial.coeff recurrence2Scalar0Main 67 = -(64716051257087872690172028823160790035895626615936581 * 10 ^ 70 + 5415108081992576018721625968665704561652857800785176246219124276420172)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_68 :
Polynomial.coeff recurrence2Scalar0Main 68 = 400034138922891329723077573204896146712428807005861675 * 10 ^ 70 + 9236189983210732933909803969309036666365515116730790751918230296166265
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_69 :
Polynomial.coeff recurrence2Scalar0Main 69 = 533668406307086972714396503045906398274776280002173965 * 10 ^ 70 + 4691562723904661149644166173550362347142166107426287214509660178659913
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_70 :
Polynomial.coeff recurrence2Scalar0Main 70 = -(72431651162382941692276852085604849274978885290943805672 * 10 ^ 70 + 5057258478089673352906631285928964902299761464598985117463176415392449)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_71 :
Polynomial.coeff recurrence2Scalar0Main 71 = 1584750760325386722061090029544770503313353226421055291791 * 10 ^ 70 + 3914703599700569410635408691719737439090055046987853783422889225139547
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_72 :
Polynomial.coeff recurrence2Scalar0Main 72 = -(25658284262401574550263398976134490397398439874645475848800 * 10 ^ 70 + 9923741285075451075214830590918085086950532968236397498760768341503747)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_73 :
Polynomial.coeff recurrence2Scalar0Main 73 = 356579400677009136137489297235603816699961135901713837136358 * 10 ^ 70 + 5395269611588216391878933969508429762217831966848887807612063368157182
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_74 :
Polynomial.coeff recurrence2Scalar0Main 74 = -(4466484430312412847308485071804150835006412378622334521927197 * 10 ^ 70 + 488498680028411832204729680047640871801415547538223366387603462980704)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_75 :
Polynomial.coeff recurrence2Scalar0Main 75 = 51558932280076114606327273711637425458344958869353311624582545 * 10 ^ 70 + 6197052524030485217018856136470682292047261963647119708187602039079103
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_76 :
Polynomial.coeff recurrence2Scalar0Main 76 = -(555149171172494514426109508433390095263525542807508143878604782 * 10 ^ 70 + 7653999816065913024911921286451836153736726290356783853477644400413622)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_77 :
Polynomial.coeff recurrence2Scalar0Main 77 = 5617290905367412848157620825169337566250696442245782539934869297 * 10 ^ 70 + 7169407710538701862446715683287113903627579491101452220408094510412059
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_78 :
Polynomial.coeff recurrence2Scalar0Main 78 = -(53690148694173117146109301926711485154589262351133707596610750374 * 10 ^ 70 + 1771155726434123999600562754158017382580436303383137588686168626121545)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_79 :
Polynomial.coeff recurrence2Scalar0Main 79 = 486618483079913485332742592478860044107819229549275263311637123613 * 10 ^ 70 + 5887047118367287848917713183419627226918512728551740848970098839016824
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_80 :
Polynomial.coeff recurrence2Scalar0Main 80 = -(4194880840270955954350470519914322722444618509696483692544106515806 * 10 ^ 70 + 5112162066178318837142556262760758214104334611432090331063175144013791)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_81 :
Polynomial.coeff recurrence2Scalar0Main 81 = 34476474032219672509654939381141319313193001157693734286545233143172 * 10 ^ 70 + 1198388929771244980657996995468832790741767670862675935484767389308147
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_82 :
Polynomial.coeff recurrence2Scalar0Main 82 = -(270649417969493310686948694262932178324070174191500122399050475408819 * 10 ^ 70 + 1859581697906960577431376114194505776488975167186234917080153433537415)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_83 :
Polynomial.coeff recurrence2Scalar0Main 83 = 2032345518361059607352014765273200771250514888996281060576841329623388 * 10 ^ 70 + 3843739911182538730233280504805190928858269749482195765598191891493655
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_84 :
Polynomial.coeff recurrence2Scalar0Main 84 = -((1 * 10 ^ 70 + 4614450922442681928855382671868231381567915445648229842472416609078738) * 10 ^ 70 + 1931105551138346053071354507885252713501207826761076108308616371467922)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_85 :
Polynomial.coeff recurrence2Scalar0Main 85 = (10 * 10 ^ 70 + 730497284093502630929764680750696184163359369862986325104318151525018) * 10 ^ 70 + 3128446715876332756860762023916378829524024482850170892815478002050247
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_86 :
Polynomial.coeff recurrence2Scalar0Main 86 = -((66 * 10 ^ 70 + 6009534188193825231005725360597642321478622689229170059296967509420540) * 10 ^ 70 + 8349578725282221230268113343576917239849925700578729756159835969009121)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_87 :
Polynomial.coeff recurrence2Scalar0Main 87 = (422 * 10 ^ 70 + 7222202076995929272883605972382537983625663545110136644772175263524494) * 10 ^ 70 + 9211473055912054437745423420239502749558241638506644382545007855264400
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_88 :
Polynomial.coeff recurrence2Scalar0Main 88 = -((2577 * 10 ^ 70 + 2733436205815028723902475987736376122720859205214426286215291605474858) * 10 ^ 70 + 7188089795993625504785982803829486385817842404607825604313966703242937)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_89 :
Polynomial.coeff recurrence2Scalar0Main 89 = (15101 * 10 ^ 70 + 1366525342452632125410049129022133230457110184464177771848340508252582) * 10 ^ 70 + 7851627474009180697916220487540709744487859548794860415607260112348535
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_90 :
Polynomial.coeff recurrence2Scalar0Main 90 = -((85059 * 10 ^ 70 + 4003876775252213959741131186381359607271575219976417977439995611399351) * 10 ^ 70 + 4481655398960075975726337642295715532494169817712360703881669270087182)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_91 :
Polynomial.coeff recurrence2Scalar0Main 91 = (460578 * 10 ^ 70 + 7371238770984214152686249298536572241944960731047725515469509012183011) * 10 ^ 70 + 7209883805808261670576070532895757611121860430382358248839696693035674
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_92 :
Polynomial.coeff recurrence2Scalar0Main 92 = -((2396878 * 10 ^ 70 + 9099372808760070251507316475815227991373073526334603958142899833189244) * 10 ^ 70 + 1225694205506862657878876559825199635573095377823833672083973578932108)