Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar4ExceptionalPart0.Coefficients0To90

Recurrence 2 lookup certificate: Scalar4Exceptional 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.recurrence2Scalar4Exceptional_coeff_0 :
Polynomial.coeff recurrence2Scalar4Exceptional 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_1 :
Polynomial.coeff recurrence2Scalar4Exceptional 1 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_2 :
Polynomial.coeff recurrence2Scalar4Exceptional 2 = 141288909696
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_3 :
Polynomial.coeff recurrence2Scalar4Exceptional 3 = -81049818469392
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_4 :
Polynomial.coeff recurrence2Scalar4Exceptional 4 = -773631043896598008
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_5 :
Polynomial.coeff recurrence2Scalar4Exceptional 5 = 378228717197192158944
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_6 :
Polynomial.coeff recurrence2Scalar4Exceptional 6 = 1232003214540211014700876
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_7 :
Polynomial.coeff recurrence2Scalar4Exceptional 7 = -796271009398892766713998172
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_8 :
Polynomial.coeff recurrence2Scalar4Exceptional 8 = -566696531802612637903715563556
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_9 :
Polynomial.coeff recurrence2Scalar4Exceptional 9 = 567281227525908554331912942718560
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_10 :
Polynomial.coeff recurrence2Scalar4Exceptional 10 = -107458733456395631034050144521864400
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_11 :
Polynomial.coeff recurrence2Scalar4Exceptional 11 = -12326605307477730646064660582365884292
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_12 :
Polynomial.coeff recurrence2Scalar4Exceptional 12 = 4399929534431734234650437734413683231570
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_13 :
Polynomial.coeff recurrence2Scalar4Exceptional 13 = 235475422767304210217210270782317041619564
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_14 :
Polynomial.coeff recurrence2Scalar4Exceptional 14 = -209596080694095853677439300871305472620402469
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_15 :
Polynomial.coeff recurrence2Scalar4Exceptional 15 = 51132627479588002906889045925287046870929988561
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_16 :
Polynomial.coeff recurrence2Scalar4Exceptional 16 = -11463899512329735845726415509342488120881886951883
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_17 :
Polynomial.coeff recurrence2Scalar4Exceptional 17 = 2106930704016317971795973309098167821115656970459452
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_18 :
Polynomial.coeff recurrence2Scalar4Exceptional 18 = -275153650641009432191454908222193567950631257502365761
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_19 :
Polynomial.coeff recurrence2Scalar4Exceptional 19 = 23525918194122835940227081215389858417404503696461932819
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_20 :
Polynomial.coeff recurrence2Scalar4Exceptional 20 = -793670692853789370149759627826649909057476958791132873715
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_21 :
Polynomial.coeff recurrence2Scalar4Exceptional 21 = -121665544760024885680124908340928463559904147770122868326489
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_22 :
Polynomial.coeff recurrence2Scalar4Exceptional 22 = 25488075416781377461771304380493740066354577130450994337936225
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_23 :
Polynomial.coeff recurrence2Scalar4Exceptional 23 = -2546707136225235447478657101888113305597886631832383067132301029
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_24 :
Polynomial.coeff recurrence2Scalar4Exceptional 24 = 152377249886734617918044847803267621911915754007361596747614397147
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_25 :
Polynomial.coeff recurrence2Scalar4Exceptional 25 = -3326840552132757617110013218728029383100416624971396491358563397602
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_26 :
Polynomial.coeff recurrence2Scalar4Exceptional 26 = -392405288722785381566740439492845171509012285191899786478901836772592
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_27 :
Polynomial.coeff recurrence2Scalar4Exceptional 27 = 5 * 10 ^ 70 + 5813778929082262428016125844869949662657550031032226784731129573512998
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_28 :
Polynomial.coeff recurrence2Scalar4Exceptional 28 = -(412 * 10 ^ 70 + 3116732661628390868742267832962924693714923644878233586722119662235883)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_29 :
Polynomial.coeff recurrence2Scalar4Exceptional 29 = 21461 * 10 ^ 70 + 1484134921162116522955955514015943721248412950336455497252806050772954
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_30 :
Polynomial.coeff recurrence2Scalar4Exceptional 30 = -(835951 * 10 ^ 70 + 8908794476875436471793126792729339525105809848770383172192456630017023)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_31 :
Polynomial.coeff recurrence2Scalar4Exceptional 31 = 24379578 * 10 ^ 70 + 9215670479877646924930167434023329541971605016978336177033736897491916
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_32 :
Polynomial.coeff recurrence2Scalar4Exceptional 32 = -(517044143 * 10 ^ 70 + 2452025179695074108152040724330674157728389413085193020080644934730015)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_33 :
Polynomial.coeff recurrence2Scalar4Exceptional 33 = 8285943227 * 10 ^ 70 + 2238181595217006502104902102265682947675205600194816092337019374806775
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_34 :
Polynomial.coeff recurrence2Scalar4Exceptional 34 = -(199083772134 * 10 ^ 70 + 8601765013544816472328436993428022417222382089462188428478622830617034)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_35 :
Polynomial.coeff recurrence2Scalar4Exceptional 35 = 11232151955083 * 10 ^ 70 + 8655969058010552146474812574661415670840923178341794837829007696266532
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_36 :
Polynomial.coeff recurrence2Scalar4Exceptional 36 = -(575845306804122 * 10 ^ 70 + 35159076241173993285752273618212650475157933654837352580019289043233)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_37 :
Polynomial.coeff recurrence2Scalar4Exceptional 37 = 21453280274797970 * 10 ^ 70 + 4280813876993673033908655724397001257848593049730054135963404493658725
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_38 :
Polynomial.coeff recurrence2Scalar4Exceptional 38 = -(606567374167662784 * 10 ^ 70 + 5303917444498251524756761003617075071141748700632996624264874684288443)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_39 :
Polynomial.coeff recurrence2Scalar4Exceptional 39 = 13938577441140873728 * 10 ^ 70 + 8832657370110486055783557337575265249130777128522794951348452337024419
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_40 :
Polynomial.coeff recurrence2Scalar4Exceptional 40 = -(292637261236107164284 * 10 ^ 70 + 7012477273479569708071824651729649487770049507085989219516006681880670)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_41 :
Polynomial.coeff recurrence2Scalar4Exceptional 41 = 6736720861010958033821 * 10 ^ 70 + 6771374384874226846589154603948900695197095053525533619583976806793618
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_42 :
Polynomial.coeff recurrence2Scalar4Exceptional 42 = -(186029647688127638143899 * 10 ^ 70 + 6689667261720351924743129234214657659613828441832705703563582108616999)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_43 :
Polynomial.coeff recurrence2Scalar4Exceptional 43 = 5536718493989558352971902 * 10 ^ 70 + 6305516248040987424676406096076585404618971460932643871892465498282931
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_44 :
Polynomial.coeff recurrence2Scalar4Exceptional 44 = -(158809296914596905032784995 * 10 ^ 70 + 3345506762280346002301286294248632256850964214821459682769270250969484)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_45 :
Polynomial.coeff recurrence2Scalar4Exceptional 45 = 4259272612128639454250710559 * 10 ^ 70 + 9552901435518310991075295548158865228137893935758450724698198090128089
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_46 :
Polynomial.coeff recurrence2Scalar4Exceptional 46 = -(107619901876699242003918698599 * 10 ^ 70 + 2585927986865425367688665540911039279906516280619756578765285759870103)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_47 :
Polynomial.coeff recurrence2Scalar4Exceptional 47 = 2584054196752717821454395953043 * 10 ^ 70 + 9828599916506528201991753150452772828129182141189315219525326236964672
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_48 :
Polynomial.coeff recurrence2Scalar4Exceptional 48 = -(58967820684486345565090591989112 * 10 ^ 70 + 8105085100817767716529605769566240804653687528275615370020789575128523)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_49 :
Polynomial.coeff recurrence2Scalar4Exceptional 49 = 1274307722077151383492049087021206 * 10 ^ 70 + 6868849638092345500494062408870920755448315821796469856714679078863495
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_50 :
Polynomial.coeff recurrence2Scalar4Exceptional 50 = -(26047637636770954276083851600645975 * 10 ^ 70 + 2009745173654304504421823836088991401594875057916954155108182493737516)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_51 :
Polynomial.coeff recurrence2Scalar4Exceptional 51 = 504984162697139940194068503440484869 * 10 ^ 70 + 9177729699702850811864858777590291194997463364971618737092683384014510
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_52 :
Polynomial.coeff recurrence2Scalar4Exceptional 52 = -(9326939488275805242356970470003780157 * 10 ^ 70 + 5948603493775765712253738899435558737661498986893296228008393545084984)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_53 :
Polynomial.coeff recurrence2Scalar4Exceptional 53 = 164695066422805807664364005327857417410 * 10 ^ 70 + 8731928833566647722566758051456938364035629843814161522673015820432475
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_54 :
Polynomial.coeff recurrence2Scalar4Exceptional 54 = -(2784487024228062135373444560626506891585 * 10 ^ 70 + 2873290667642028386743295844238880179711445833610320051651838996569133)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_55 :
Polynomial.coeff recurrence2Scalar4Exceptional 55 = 45079637632855353674110222125486379838398 * 10 ^ 70 + 1180871771350820019639228814660707216040374598471119781797155515010506
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_56 :
Polynomial.coeff recurrence2Scalar4Exceptional 56 = -(698846134724703814495411991599019991913828 * 10 ^ 70 + 1138051475082755213871288950103362369457531547751025121694770925094430)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_57 :
Polynomial.coeff recurrence2Scalar4Exceptional 57 = 10379913128318773419064932581080808256344335 * 10 ^ 70 + 3111889053698338294949449083044956231638046916808179585937252709820053
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_58 :
Polynomial.coeff recurrence2Scalar4Exceptional 58 = -(147864211631699087066947779459579863084372000 * 10 ^ 70 + 9395769926676933268087009308322154516204433702777798554958297215251324)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_59 :
Polynomial.coeff recurrence2Scalar4Exceptional 59 = 2022263756076864304716430189358327972729982865 * 10 ^ 70 + 6347862995784480829676707679065868236617853172307959697749319862075480
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_60 :
Polynomial.coeff recurrence2Scalar4Exceptional 60 = -(26573538806030623754400532809770398394659037116 * 10 ^ 70 + 3444730293444325615200753784751099003183711128782922508113529217605188)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_61 :
Polynomial.coeff recurrence2Scalar4Exceptional 61 = 335695917985245292154102332171799798778603354319 * 10 ^ 70 + 4671237700767167221926260265851431809012287132062085156062608785032554
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_62 :
Polynomial.coeff recurrence2Scalar4Exceptional 62 = -(4079353242635839230422981709327698322110664990767 * 10 ^ 70 + 7736257630340465765617723341561558582545989696556357399932690831465278)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_63 :
Polynomial.coeff recurrence2Scalar4Exceptional 63 = 47721162027777543699676351402097051913852351765954 * 10 ^ 70 + 1948106064327292427751464493211509024752086928182197159506318023322493
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_64 :
Polynomial.coeff recurrence2Scalar4Exceptional 64 = -(537841715620223814638790718551918785557368430784402 * 10 ^ 70 + 3855744319539567376803271623009771918383445237908971691463803909782709)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_65 :
Polynomial.coeff recurrence2Scalar4Exceptional 65 = 5844215836550317226502368683326703595288466954667517 * 10 ^ 70 + 9546199134596602997533407734836465808600908788777194426712448419340233
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_66 :
Polynomial.coeff recurrence2Scalar4Exceptional 66 = -(61257854870401696544353468236033976443027949549664940 * 10 ^ 70 + 3566130737759823039710401972706455102726688484655187225831830896922248)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_67 :
Polynomial.coeff recurrence2Scalar4Exceptional 67 = 619677065959742327253491343683135049550839611607399447 * 10 ^ 70 + 3381278232347528465654810492986813057898104007544632323742515355918713
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_68 :
Polynomial.coeff recurrence2Scalar4Exceptional 68 = -(6052923273960213147951563344861986439172778197160774088 * 10 ^ 70 + 2813105386861452372024454606455104009219227560143765915110085310820888)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_69 :
Polynomial.coeff recurrence2Scalar4Exceptional 69 = 57125362695745639375834617000049717521621944581151470272 * 10 ^ 70 + 8770322577566426196122991262890695856888188530556071702592494924199409
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_70 :
Polynomial.coeff recurrence2Scalar4Exceptional 70 = -(521232178595255215027097999767127060609651674094337017145 * 10 ^ 70 + 4153598466934402310014894776040367296688805203611828768268295936023556)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_71 :
Polynomial.coeff recurrence2Scalar4Exceptional 71 = 4600537109825564537014574343477574082282338924969423174188 * 10 ^ 70 + 2886976988892060706846499732197918303144994415833451943616120267619029
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_72 :
Polynomial.coeff recurrence2Scalar4Exceptional 72 = -(39296261781795072659283482928000105950994147663567267306774 * 10 ^ 70 + 443625543364291247606427644490676033613744654745950858809006941752201)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_73 :
Polynomial.coeff recurrence2Scalar4Exceptional 73 = 324965447834711593185764916558885429010867885039762090980778 * 10 ^ 70 + 9365105140720422426116759928008281897734110852129164112066525593472671
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_74 :
Polynomial.coeff recurrence2Scalar4Exceptional 74 = -(2602976082568757085697644106062949600837286824673842783530978 * 10 ^ 70 + 8925284348621355708567327752438186419734461371226894436311294154375513)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_75 :
Polynomial.coeff recurrence2Scalar4Exceptional 75 = 20206019082197367148678875426321418081945481425577155833479151 * 10 ^ 70 + 8305641696748687749401918368816600596290479784031974088124810505797549
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_76 :
Polynomial.coeff recurrence2Scalar4Exceptional 76 = -(152085559558953145916001362928347177047299415239521389617310609 * 10 ^ 70 + 1529907011678505133536948016253719669322837119672491543321456072809573)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_77 :
Polynomial.coeff recurrence2Scalar4Exceptional 77 = 1110361201901451857750361534867117211173023821543051085444602763 * 10 ^ 70 + 971100511158575033834665666026539174761383229792142770124794487404734
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_78 :
Polynomial.coeff recurrence2Scalar4Exceptional 78 = -(7865853864254014088324014733350095756512888645684561746035058847 * 10 ^ 70 + 4221827438731185730964696256464618670487936483111216678770795008776893)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_79 :
Polynomial.coeff recurrence2Scalar4Exceptional 79 = 54085789797841902688631072564231207074209497242687347658677190206 * 10 ^ 70 + 1115950206660391178599181684914005184100817370781166181146546310298421
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_80 :
Polynomial.coeff recurrence2Scalar4Exceptional 80 = -(361141375342824430180015007652729972641864898681193450533738376313 * 10 ^ 70 + 4937546799351294510372957849778943546907533650783547835436239101758874)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_81 :
Polynomial.coeff recurrence2Scalar4Exceptional 81 = 2342902452027906326700373137309188386747104675025035782816249722375 * 10 ^ 70 + 5916733331542800023035602821955455319364626097736434461532955672270370
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_82 :
Polynomial.coeff recurrence2Scalar4Exceptional 82 = -(14773844661503155154021774316744747064048393387811994572566558191776 * 10 ^ 70 + 9437344538391000153176961379530583607074356106920103125963826023389442)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_83 :
Polynomial.coeff recurrence2Scalar4Exceptional 83 = 90570635047150560929938912541907570467992658589033882948284071542855 * 10 ^ 70 + 2943476823606472987307969232649046012157751488835636007340244678897011
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_84 :
Polynomial.coeff recurrence2Scalar4Exceptional 84 = -(539874919894676351571921162061115639778154680903598162362916067951476 * 10 ^ 70 + 7607414514789988057969587148720957464189335853451519068488648342348761)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_85 :
Polynomial.coeff recurrence2Scalar4Exceptional 85 = 3129997887309920923655237601627952745273682510600614232404212301005389 * 10 ^ 70 + 383831370502394729248159625487051216848763965730772162974565426833135
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_86 :
Polynomial.coeff recurrence2Scalar4Exceptional 86 = -((1 * 10 ^ 70 + 7660286780566946918257887400250428212078670323845673077154903841938513) * 10 ^ 70 + 8910920650558273750374092612091646376374042266862148915020129009264745)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_87 :
Polynomial.coeff recurrence2Scalar4Exceptional 87 = (9 * 10 ^ 70 + 7036118148964442741212234045810189743408541412783623659826509520106419) * 10 ^ 70 + 9821018036336877553206200145386137055154854433665993409246253706545398
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_88 :
Polynomial.coeff recurrence2Scalar4Exceptional 88 = -((51 * 10 ^ 70 + 9358971154014587137475640807829820873146227152477545052646863174062170) * 10 ^ 70 + 995683050868441093806709302402035719332941260300700846466744991635267)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_89 :
Polynomial.coeff recurrence2Scalar4Exceptional 89 = (270 * 10 ^ 70 + 7071150309852903988817756243336218324934028632420768545381584656087439) * 10 ^ 70 + 6684512331129239299613877740174165738571268573277430732634607740978594
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Exceptional_coeff_90 :
Polynomial.coeff recurrence2Scalar4Exceptional 90 = -((1373 * 10 ^ 70 + 8079700022464337217364220138692293227216530168362776996109248923722355) * 10 ^ 70 + 9058217320698630856486123401588652672010855817913319408265691969241535)