Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1LeftPart0.Coefficients0To92

Recurrence 2 lookup certificate: Scalar1Left 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.recurrence2Scalar1Left_coeff_0 :
Polynomial.coeff recurrence2Scalar1Left 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_1 :
Polynomial.coeff recurrence2Scalar1Left 1 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_2 :
Polynomial.coeff recurrence2Scalar1Left 2 = -94208
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_3 :
Polynomial.coeff recurrence2Scalar1Left 3 = 4096750080
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_4 :
Polynomial.coeff recurrence2Scalar1Left 4 = -5393334955120
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_5 :
Polynomial.coeff recurrence2Scalar1Left 5 = 173531985965518512
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_6 :
Polynomial.coeff recurrence2Scalar1Left 6 = -136360642282870278092
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_7 :
Polynomial.coeff recurrence2Scalar1Left 7 = 1904031778001526102748440
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_8 :
Polynomial.coeff recurrence2Scalar1Left 8 = -1383049786802347356510579644
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_9 :
Polynomial.coeff recurrence2Scalar1Left 9 = 1470789719996114801411236647324
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_10 :
Polynomial.coeff recurrence2Scalar1Left 10 = -689699859155983067892242682695260
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_11 :
Polynomial.coeff recurrence2Scalar1Left 11 = 208658355121630663906580537095447308
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_12 :
Polynomial.coeff recurrence2Scalar1Left 12 = -56291607870540525868897757861287004
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_13 :
Polynomial.coeff recurrence2Scalar1Left 13 = -58228537376681753517883581305001838207204
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_14 :
Polynomial.coeff recurrence2Scalar1Left 14 = 35061221451342425565954668408475847212239832
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_15 :
Polynomial.coeff recurrence2Scalar1Left 15 = -12868287567129021991475520447914229959884522508
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_16 :
Polynomial.coeff recurrence2Scalar1Left 16 = 3339134267370229453178074479501143033228170577709
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_17 :
Polynomial.coeff recurrence2Scalar1Left 17 = -658714938042700450289105703387016007795608918667244
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_18 :
Polynomial.coeff recurrence2Scalar1Left 18 = 101645830232752168242709230665590608785426684278954340
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_19 :
Polynomial.coeff recurrence2Scalar1Left 19 = -12427842098321660876196453976501732634652013336704852109
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_20 :
Polynomial.coeff recurrence2Scalar1Left 20 = 1212276347300518360520754291243029946568283961269732397175
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_21 :
Polynomial.coeff recurrence2Scalar1Left 21 = -94219515988316805474668380629690093150135601972078476578725
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_22 :
Polynomial.coeff recurrence2Scalar1Left 22 = 5775868999486658824000044201926046097714905770768343014501793
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_23 :
Polynomial.coeff recurrence2Scalar1Left 23 = -270140444800400403402314880861278676579650478206409247355934788
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_24 :
Polynomial.coeff recurrence2Scalar1Left 24 = 8605232718251205793223547889561071571537570216497693846288364693
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_25 :
Polynomial.coeff recurrence2Scalar1Left 25 = -72521352916380524209493282320984568124141196233808376151839247390
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_26 :
Polynomial.coeff recurrence2Scalar1Left 26 = -13725734804609823559656027832140440319180108977433543458738275418126
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_27 :
Polynomial.coeff recurrence2Scalar1Left 27 = 1303894759720307182554336190192778912491304688794286214147741058516627
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_28 :
Polynomial.coeff recurrence2Scalar1Left 28 = -(7 * 10 ^ 70 + 7970959909840764284150609637142899342126598984930090892089229781945347)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_29 :
Polynomial.coeff recurrence2Scalar1Left 29 = 354 * 10 ^ 70 + 3661693598624435397361808534596752508358659763996195806020468699727518
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_30 :
Polynomial.coeff recurrence2Scalar1Left 30 = -(11903 * 10 ^ 70 + 2519204256943819082819817066256729042979079915088303481194476109558797)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_31 :
Polynomial.coeff recurrence2Scalar1Left 31 = 227846 * 10 ^ 70 + 4772037573104130000340225643612738283321747629754109635486411276128111
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_32 :
Polynomial.coeff recurrence2Scalar1Left 32 = 3749207 * 10 ^ 70 + 9740487384958152403889693425421357596619411751209973507885594408360862
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_33 :
Polynomial.coeff recurrence2Scalar1Left 33 = -(600066146 * 10 ^ 70 + 7179307080419815573074442933183689250147027184248420473657411711795531)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_34 :
Polynomial.coeff recurrence2Scalar1Left 34 = 34556289721 * 10 ^ 70 + 1364859897746528936591406884548930232416986034177275883703824178833406
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_35 :
Polynomial.coeff recurrence2Scalar1Left 35 = -(1442931323083 * 10 ^ 70 + 8600280573279684770035645684851442700587314797391882287099866210644091)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_36 :
Polynomial.coeff recurrence2Scalar1Left 36 = 46544619700694 * 10 ^ 70 + 1913848021844258049198595292659179110888224829684827252016522190813895
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_37 :
Polynomial.coeff recurrence2Scalar1Left 37 = -(1035417587688994 * 10 ^ 70 + 8092220588424983004211062650751046789126622426345769379264621125002617)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_38 :
Polynomial.coeff recurrence2Scalar1Left 38 = 5455789749126282 * 10 ^ 70 + 246680985559872361664401407533302440590058699592206281660967847806782
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_39 :
Polynomial.coeff recurrence2Scalar1Left 39 = 815235476573106639 * 10 ^ 70 + 4688098680889304342023965069147869045159071232667912455328829959856689
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_40 :
Polynomial.coeff recurrence2Scalar1Left 40 = -(48048562114593410350 * 10 ^ 70 + 914897542672172256957032776543760174456717961886822976309708385075180)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_41 :
Polynomial.coeff recurrence2Scalar1Left 41 = 1712461596971745848834 * 10 ^ 70 + 9800726795158654633934146558500679679311065048628858339741284821365887
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_42 :
Polynomial.coeff recurrence2Scalar1Left 42 = -(46843804188639124958653 * 10 ^ 70 + 8014820603841402332039840887423138572903136368435225411207524396535268)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_43 :
Polynomial.coeff recurrence2Scalar1Left 43 = 1092583671346442200404150 * 10 ^ 70 + 5975597217053867455897420029569800873444689659272166726208766695855169
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_44 :
Polynomial.coeff recurrence2Scalar1Left 44 = -(24114728910586065896758092 * 10 ^ 70 + 4376160099438083879916515833823774174214074239960063334818315495310085)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_45 :
Polynomial.coeff recurrence2Scalar1Left 45 = 552886776772399299379106959 * 10 ^ 70 + 5726596428878207081163510139104623719043088162762281392028804466208414
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_46 :
Polynomial.coeff recurrence2Scalar1Left 46 = -(13375119631456557843182464641 * 10 ^ 70 + 969737725060126211371842136172110664767989347417290974055339279654718)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_47 :
Polynomial.coeff recurrence2Scalar1Left 47 = 323342504093824054854183731695 * 10 ^ 70 + 2328246931722313098952479179799820401006245217825329096965476107823072
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_48 :
Polynomial.coeff recurrence2Scalar1Left 48 = -(7468863102351268122549953256014 * 10 ^ 70 + 9360183260367666626611720618984604998216991117681547196097571723078898)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_49 :
Polynomial.coeff recurrence2Scalar1Left 49 = 164056707171332074185701580700561 * 10 ^ 70 + 6539007556050558639211949334561139312311122885381127600127618773677519
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_50 :
Polynomial.coeff recurrence2Scalar1Left 50 = -(3477062227797326381639621923886862 * 10 ^ 70 + 3147055334326840360112626391837655856813829964042164568638962619262523)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_51 :
Polynomial.coeff recurrence2Scalar1Left 51 = 71371619420473437644792830571042875 * 10 ^ 70 + 8183164610463116827406463365151373445422167492778076584707576695248375
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_52 :
Polynomial.coeff recurrence2Scalar1Left 52 = -(1389957239536156451110574054922067007 * 10 ^ 70 + 7693137779547271503221077194931680493930101905478033815722914519543962)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_53 :
Polynomial.coeff recurrence2Scalar1Left 53 = 24744226801289957409366044449732906559 * 10 ^ 70 + 8599589189343978648121025332857493702754812313329496379704192064919288
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_54 :
Polynomial.coeff recurrence2Scalar1Left 54 = -(384487871539301152661415612667023206940 * 10 ^ 70 + 27571282421029920142115239359116059499238357307037024956638110727558)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_55 :
Polynomial.coeff recurrence2Scalar1Left 55 = 4847722514634523516186280796579274883790 * 10 ^ 70 + 85740521340016849968386727700636682533687755594339146053796026194053
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_56 :
Polynomial.coeff recurrence2Scalar1Left 56 = -(39452506196168486809237258139058780067858 * 10 ^ 70 + 7007852442079863762124819599182544202925677920110440210744950155070058)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_57 :
Polynomial.coeff recurrence2Scalar1Left 57 = -(156557299405857973356368774336989369392867 * 10 ^ 70 + 4843123192165794948764877303047925649044418215434000853532199748160520)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_58 :
Polynomial.coeff recurrence2Scalar1Left 58 = 15672285156576102634275257645625080442747265 * 10 ^ 70 + 9559858568034908701924619594243411652969207737041117975709640450293775
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_59 :
Polynomial.coeff recurrence2Scalar1Left 59 = -(434481827803651594501210098013686490608908445 * 10 ^ 70 + 7512527373580003320020688925978674278978197421073803137192229019140325)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_60 :
Polynomial.coeff recurrence2Scalar1Left 60 = 9006459720869547046890415723303769300120930106 * 10 ^ 70 + 9202793939281307348898151277951372532265499595259970949988651884720200
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_61 :
Polynomial.coeff recurrence2Scalar1Left 61 = -(158154105088053974959239950737904438816609631529 * 10 ^ 70 + 2631951046910480841368280075401497116306427428257059851474250932948361)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_62 :
Polynomial.coeff recurrence2Scalar1Left 62 = 2428549378065449486422381088340706148956412412906 * 10 ^ 70 + 8984524657444154337819683226581708248066948030452358923585621517920124
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_63 :
Polynomial.coeff recurrence2Scalar1Left 63 = -(32523443678273081665286531712857604626132600819483 * 10 ^ 70 + 1391196320735942372025751139203296105497993748028435847434591589926122)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_64 :
Polynomial.coeff recurrence2Scalar1Left 64 = 366956516445535267035334586644610491354435825700463 * 10 ^ 70 + 5472405639342209738140275132176428907382934547688428140175371595879535
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_65 :
Polynomial.coeff recurrence2Scalar1Left 65 = -(3104306482515412122237584719990094707352334802729215 * 10 ^ 70 + 8418190814040951152009538665059372979927678651983720504497782422436932)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_66 :
Polynomial.coeff recurrence2Scalar1Left 66 = 8758820947461674502904358732897915513633412751813737 * 10 ^ 70 + 785018403507068942120852491384861853662203544939486631551913083032601
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_67 :
Polynomial.coeff recurrence2Scalar1Left 67 = 363179205643923636843223184394134909481318713851522616 * 10 ^ 70 + 6179611718393647141935694175482486144390498325925997516540750276791177
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_68 :
Polynomial.coeff recurrence2Scalar1Left 68 = -(10765265351736574123645407190943578825947653664656822205 * 10 ^ 70 + 197462401987858266275505803597686590909492928631478148826585083291247)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_69 :
Polynomial.coeff recurrence2Scalar1Left 69 = 204289001001160148227464006732329281664261935961458984499 * 10 ^ 70 + 5411996870617441961376282818895566251365981409049445008922267092036589
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_70 :
Polynomial.coeff recurrence2Scalar1Left 70 = -(3200460259050569293616241416613986699068385422863178450112 * 10 ^ 70 + 4726600147316749482776562662263468579106475565860319388656169717957723)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_71 :
Polynomial.coeff recurrence2Scalar1Left 71 = 44396235394243151322928420227655687586706697398262345931960 * 10 ^ 70 + 3297969609983776218617400865285521248440468232486264145534523474179010
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_72 :
Polynomial.coeff recurrence2Scalar1Left 72 = -(561978701711828052348399493285668209687342537282213376715070 * 10 ^ 70 + 5516158729810393979275140328178211296051532289345655374340232743641172)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_73 :
Polynomial.coeff recurrence2Scalar1Left 73 = 6595360856136556079964529772738226187049976344728980542623416 * 10 ^ 70 + 9295111841797205937533917565841551191170461338911201910512502131476415
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_74 :
Polynomial.coeff recurrence2Scalar1Left 74 = -(72448892272895409320333244213553404268231107072071673613708444 * 10 ^ 70 + 7273170190744263898574705323907732488206022215834808595141056904389303)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_75 :
Polynomial.coeff recurrence2Scalar1Left 75 = 749562832826538029545630162034227980731830964909456257128932161 * 10 ^ 70 + 515612929149579491662990509739306780238779901605401756235415209477556
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_76 :
Polynomial.coeff recurrence2Scalar1Left 76 = -(7336539067194314986993267578156812977287591794661553324638493370 * 10 ^ 70 + 9173252638373348908011894536532781186896545665521164954441629866772996)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_77 :
Polynomial.coeff recurrence2Scalar1Left 77 = 68162117654215747391077311062016444760913416948729433362304010825 * 10 ^ 70 + 9723456913015167486510477524385752320813972226520386750531100872284532
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_78 :
Polynomial.coeff recurrence2Scalar1Left 78 = -(602737702745883542524762159391890225874176273585974899293299718120 * 10 ^ 70 + 3329396111440112983462292351929647870123381732892789616278310222429553)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_79 :
Polynomial.coeff recurrence2Scalar1Left 79 = 5083893716282691810543178138734122527595410181036120842645858806187 * 10 ^ 70 + 7867537144935679541736690496800646704939935892422576128099935851769323
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_80 :
Polynomial.coeff recurrence2Scalar1Left 80 = -(40975267704900199069155691477055813153278496990029996108936812047758 * 10 ^ 70 + 898536780434663741850665885088634339231090835877293527213580509988786)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_81 :
Polynomial.coeff recurrence2Scalar1Left 81 = 316030587875124925156044036594055464964986466995037673146689514654300 * 10 ^ 70 + 2015652542347841704648181107030202802445755770786615208429554436461758
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_82 :
Polynomial.coeff recurrence2Scalar1Left 82 = -(2335166148444030833608677596030443987388603463342204857380932032494008 * 10 ^ 70 + 3727469680692228007546544776156163982928938437559433840519101411950205)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_83 :
Polynomial.coeff recurrence2Scalar1Left 83 = (1 * 10 ^ 70 + 6545868864364404621156094003813536824487355885070478480289348767613950) * 10 ^ 70 + 5035261835250021069676489749556482661736851642159917771147083261898727
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_84 :
Polynomial.coeff recurrence2Scalar1Left 84 = -((11 * 10 ^ 70 + 2506443263692054476252927631826096806394471246155834269547949892691340) * 10 ^ 70 + 1779343092021802103002872926377319843845596724099732566207347886482295)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_85 :
Polynomial.coeff recurrence2Scalar1Left 85 = (73 * 10 ^ 70 + 4629678851909703058534275144399457224707200242196430816791823723666131) * 10 ^ 70 + 8905815999922321178760648606537422761438072152764833969322185460358622
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_86 :
Polynomial.coeff recurrence2Scalar1Left 86 = -((460 * 10 ^ 70 + 9093381692246581911175996662419634911422291555145803598763844668780168) * 10 ^ 70 + 1906342157766289350945032427697808455666447858706304498781950370246593)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_87 :
Polynomial.coeff recurrence2Scalar1Left 87 = (2779 * 10 ^ 70 + 9209640296234027165879562286345833378178364764205196246235030546578730) * 10 ^ 70 + 8480666697346953946004138219213183893265745631225051591092636312531587
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_88 :
Polynomial.coeff recurrence2Scalar1Left 88 = -((16124 * 10 ^ 70 + 1556085642731034807825807119098685396815706423547987576833491656867715) * 10 ^ 70 + 6769777029854583806216228766619408210930445608302031244991205299006500)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_89 :
Polynomial.coeff recurrence2Scalar1Left 89 = (89955 * 10 ^ 70 + 4873117432840111564482861119125679465557489941262359007572787450263514) * 10 ^ 70 + 6566759941172769887606127590866250879701240984759548396030724025507794
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_90 :
Polynomial.coeff recurrence2Scalar1Left 90 = -((482688 * 10 ^ 70 + 4698776804628131702080311698671585998312038171748369164175484666732076) * 10 ^ 70 + 6834830834837216584639780629291531486286737263857104390101197036647525)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_91 :
Polynomial.coeff recurrence2Scalar1Left 91 = (2490460 * 10 ^ 70 + 8543208749114954892730626696533683071286882606103981406013139529668272) * 10 ^ 70 + 374046980490953414038047674125830220566384745326570751749754292140035
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_92 :
Polynomial.coeff recurrence2Scalar1Left 92 = -((12350079 * 10 ^ 70 + 2708861040027517962522438106993914007393688878443342885944629383260358) * 10 ^ 70 + 1881156671991001459971336969608058286974364630491901474332054621754201)