Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupA6SquarePart0

Recurrence 2 lookup certificate: A6Square 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.recurrence2A6Square_coeff_0 :
Polynomial.coeff recurrence2A6Square 0 = 367236
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_1 :
Polynomial.coeff recurrence2A6Square 1 = 320433408
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_2 :
Polynomial.coeff recurrence2A6Square 2 = -726225892224
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_3 :
Polynomial.coeff recurrence2A6Square 3 = -294474723824064
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_4 :
Polynomial.coeff recurrence2A6Square 4 = 464120236252019788
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_5 :
Polynomial.coeff recurrence2A6Square 5 = -53400331900197746408
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_6 :
Polynomial.coeff recurrence2A6Square 6 = -8633722375944673064456
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_7 :
Polynomial.coeff recurrence2A6Square 7 = 992819644042940170542112
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_8 :
Polynomial.coeff recurrence2A6Square 8 = 65245796628267972775130425
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_9 :
Polynomial.coeff recurrence2A6Square 9 = -5387724804960970325367574620
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_10 :
Polynomial.coeff recurrence2A6Square 10 = -239752130710663437082465609304
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_11 :
Polynomial.coeff recurrence2A6Square 11 = 10591831325297987850209667674488
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_12 :
Polynomial.coeff recurrence2A6Square 12 = 543306677502943330905967625539148
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_13 :
Polynomial.coeff recurrence2A6Square 13 = -7644570321992671118344849536041432
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_14 :
Polynomial.coeff recurrence2A6Square 14 = -663107204115896673573158804269558860
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_15 :
Polynomial.coeff recurrence2A6Square 15 = -1918050890550064194508188905236858892
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_16 :
Polynomial.coeff recurrence2A6Square 16 = 429686380107142306691559871531608112384
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_17 :
Polynomial.coeff recurrence2A6Square 17 = 6188816923714238478801695732458426662892
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_18 :
Polynomial.coeff recurrence2A6Square 18 = -133266518951075155572580548772871240713606
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_19 :
Polynomial.coeff recurrence2A6Square 19 = -3965943302423021476252402578495916814569166
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_20 :
Polynomial.coeff recurrence2A6Square 20 = 6395857762157684706034945697294275289788108
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_21 :
Polynomial.coeff recurrence2A6Square 21 = 1247529386423853141672331956164529632763194296
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_22 :
Polynomial.coeff recurrence2A6Square 22 = 9583542587277504622829545991211860758980980520
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_23 :
Polynomial.coeff recurrence2A6Square 23 = -210182824908398529810730179450903606070664170454
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_24 :
Polynomial.coeff recurrence2A6Square 24 = -3560730146204407631272615156506513014423474036778
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_25 :
Polynomial.coeff recurrence2A6Square 25 = 12110762630579958486589442009998540473379140723452
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_26 :
Polynomial.coeff recurrence2A6Square 26 = 665963770877128425690484404446501965208823486462914
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_27 :
Polynomial.coeff recurrence2A6Square 27 = 2335071183799749936873553855538821363805294657753480
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_28 :
Polynomial.coeff recurrence2A6Square 28 = -74434669568937775819295549628806039497643425155891239
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_29 :
Polynomial.coeff recurrence2A6Square 29 = -685894859189690671732836519511981916339804837266289294
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_30 :
Polynomial.coeff recurrence2A6Square 30 = 4832068368877478519556438186657188606136427646221955395
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_31 :
Polynomial.coeff recurrence2A6Square 31 = 91157283346920700466994306302908034554960253564792117378
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_32 :
Polynomial.coeff recurrence2A6Square 32 = -59986423008138042839986185243383917612631713529272124240
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_33 :
Polynomial.coeff recurrence2A6Square 33 = -8058603794116714402807493550302845781599104026510270482608
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_34 :
Polynomial.coeff recurrence2A6Square 34 = -24132942466766875393006086049806486210094013904591473529364
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_35 :
Polynomial.coeff recurrence2A6Square 35 = 512433073128603376975188739962730943378508431123751351659162
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_36 :
Polynomial.coeff recurrence2A6Square 36 = 3207601224460504512110606281228111393878447422236284018839928
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_37 :
Polynomial.coeff recurrence2A6Square 37 = -23845482468872692342649436555924340106851613398764156787233482
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_38 :
Polynomial.coeff recurrence2A6Square 38 = -251554713250016723695828992103525483178121299806981464588545983
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_39 :
Polynomial.coeff recurrence2A6Square 39 = 755326105462957901263970330927041508095352893464017362905137348
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_40 :
Polynomial.coeff recurrence2A6Square 40 = 14772465744719064768616520639993425108155439707894295355290952981
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_41 :
Polynomial.coeff recurrence2A6Square 41 = -9650674502751096275934028521337850555956799211891892957643978006
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_42 :
Polynomial.coeff recurrence2A6Square 42 = -702920160719549557318053975916168726036005025170308582635051176562
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_43 :
Polynomial.coeff recurrence2A6Square 43 = -624312716048331776172126630734718420650028763405546048981383295758
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_44 :
Polynomial.coeff recurrence2A6Square 44 = 28317808036172787754036709594998205929017083468535226987943247448095
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_45 :
Polynomial.coeff recurrence2A6Square 45 = 56988448577948202268534037088360535478670923782424817290031827262728
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_46 :
Polynomial.coeff recurrence2A6Square 46 = -996200703078279744637343700106980121642174442009429884698170263197016
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_47 :
Polynomial.coeff recurrence2A6Square 47 = -2844873010192876370260117363577819043383997560683282266826795715169952
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_48 :
Polynomial.coeff recurrence2A6Square 48 = 3 * 10 ^ 70 + 1393631612569444261285649534497245314777835820039241902308109368137430
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_49 :
Polynomial.coeff recurrence2A6Square 49 = 10 * 10 ^ 70 + 8131333312190369115525025765663261758223108655664169955439484160075962
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_50 :
Polynomial.coeff recurrence2A6Square 50 = -(90 * 10 ^ 70 + 5673183208008440650901492073698661564667662737758115052007069388059988)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_51 :
Polynomial.coeff recurrence2A6Square 51 = -(339 * 10 ^ 70 + 8242081649818886643999341460034740108213987899023087230014928713811442)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_52 :
Polynomial.coeff recurrence2A6Square 52 = 2432 * 10 ^ 70 + 9695481951815048158067610177492531427454291468916472734988771454914727
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_53 :
Polynomial.coeff recurrence2A6Square 53 = 9108 * 10 ^ 70 + 999791592583221711932083760390481404960932930181168969770036231977528
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_54 :
Polynomial.coeff recurrence2A6Square 54 = -(61480 * 10 ^ 70 + 6350128155987396717661923966318586513140695538134427896720876462301047)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_55 :
Polynomial.coeff recurrence2A6Square 55 = -(210001 * 10 ^ 70 + 9886463601891802915636924377558414142981615203493897101810384466413252)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_56 :
Polynomial.coeff recurrence2A6Square 56 = 1463778 * 10 ^ 70 + 9736165510138191868035024108385806179874701928052736640765685115321132
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_57 :
Polynomial.coeff recurrence2A6Square 57 = 4125513 * 10 ^ 70 + 1005903212626762456199748291482068214290496275150627431630108233861814
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_58 :
Polynomial.coeff recurrence2A6Square 58 = -(32622358 * 10 ^ 70 + 9083855691381203994963701948791522963921743235703580597496271533085089)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_59 :
Polynomial.coeff recurrence2A6Square 59 = -(66467462 * 10 ^ 70 + 9629373532422347489920582804439419113107151904785339196782832459472414)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_60 :
Polynomial.coeff recurrence2A6Square 60 = 672035071 * 10 ^ 70 + 3769886277214938006179601400609240975483691105091418163619484030885488
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_61 :
Polynomial.coeff recurrence2A6Square 61 = 777096629 * 10 ^ 70 + 8970990655910698493454772070643302166437803163264657715899512476574302
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_62 :
Polynomial.coeff recurrence2A6Square 62 = -(12585064196 * 10 ^ 70 + 5168527972620557613137213694060240866933348359612026799652443534507566)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_63 :
Polynomial.coeff recurrence2A6Square 63 = -(2816191745 * 10 ^ 70 + 8127805666829186937070763664878074884443598120098037350710607194568586)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_64 :
Polynomial.coeff recurrence2A6Square 64 = 209839011573 * 10 ^ 70 + 1753257719687047425334093381198082966460607476127550694358350672564041
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_65 :
Polynomial.coeff recurrence2A6Square 65 = -(160076190735 * 10 ^ 70 + 4883621558337888095225627749189661135881065959898475440266862734433588)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_66 :
Polynomial.coeff recurrence2A6Square 66 = -(3027732392670 * 10 ^ 70 + 9594875357790099416287478891815031627969418553550858470037248671814012)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_67 :
Polynomial.coeff recurrence2A6Square 67 = 5690657002878 * 10 ^ 70 + 2038321263121776157539678392532161328491930305043676051021240031646394
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_68 :
Polynomial.coeff recurrence2A6Square 68 = 36018065322891 * 10 ^ 70 + 9707880304689094105111296129103601373005830892390415619991402163669634
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_69 :
Polynomial.coeff recurrence2A6Square 69 = -(121305107266090 * 10 ^ 70 + 9545089687457970083028257398155142643362566342415790796479109582096300)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_70 :
Polynomial.coeff recurrence2A6Square 70 = -(314575187529291 * 10 ^ 70 + 5743292387837293642356445126543083610269151387599797251142923537598633)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_71 :
Polynomial.coeff recurrence2A6Square 71 = 1945093505194447 * 10 ^ 70 + 8975151806111022093978919533006603951662773130527920585154925501781294
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_72 :
Polynomial.coeff recurrence2A6Square 72 = 1104700562978846 * 10 ^ 70 + 2397728644367191747568192934347382210007860739304841488694620935808037
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_73 :
Polynomial.coeff recurrence2A6Square 73 = -(24265363836252101 * 10 ^ 70 + 932547188946368602143320171281857414246201753722238685588717948415532)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_74 :
Polynomial.coeff recurrence2A6Square 74 = 23714648159869481 * 10 ^ 70 + 9365713375999191917530676883742276250001965856077966793738610212044312
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_75 :
Polynomial.coeff recurrence2A6Square 75 = 226110394519448357 * 10 ^ 70 + 8544910290434290793701738371777087868125182533809387720444766193262998
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_76 :
Polynomial.coeff recurrence2A6Square 76 = -(604479607139251898 * 10 ^ 70 + 555562136842240298457826747811099650149536690617830587775290928638261)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_77 :
Polynomial.coeff recurrence2A6Square 77 = -(1289673020206788752 * 10 ^ 70 + 6695214062631599686764791030614096610554999046211817478241445148468992)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_78 :
Polynomial.coeff recurrence2A6Square 78 = 7996695445499739315 * 10 ^ 70 + 7331237789955793055442103050091549695781906748621924913988107646080678
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_79 :
Polynomial.coeff recurrence2A6Square 79 = -(1604463549547243783 * 10 ^ 70 + 7366026981038755437334848561060339009721488797040411150979109193340956)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_80 :
Polynomial.coeff recurrence2A6Square 80 = -(69049275299115167547 * 10 ^ 70 + 7953275619889982299085411345258331858126224826353317365745055369554778)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_81 :
Polynomial.coeff recurrence2A6Square 81 = 136734049863501668766 * 10 ^ 70 + 3501675183130457359830179654057168437539765514097273301461278922830552
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_82 :
Polynomial.coeff recurrence2A6Square 82 = 327751050717585784010 * 10 ^ 70 + 4088053527838654329092800093173465916912233318596612556240675293271565
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_83 :
Polynomial.coeff recurrence2A6Square 83 = -(1703791362083630682531 * 10 ^ 70 + 3003203853868738002632373270111296079941321212531011190367470552064088)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_84 :
Polynomial.coeff recurrence2A6Square 84 = 666487772129239827222 * 10 ^ 70 + 7301469290347937913476932570685089875356719682044865231008023206591493
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_85 :
Polynomial.coeff recurrence2A6Square 85 = 11418493131211855239955 * 10 ^ 70 + 2391949341902945632764502638026976918108017564613376602449451636324280
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_86 :
Polynomial.coeff recurrence2A6Square 86 = -(26913241158857686912371 * 10 ^ 70 + 3162213574802647737571598053013434649539539408954215959479983514163284)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_87 :
Polynomial.coeff recurrence2A6Square 87 = -(25897867580774925216042 * 10 ^ 70 + 6598495118241645916530942823114959069239666821058922574638662287376512)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_88 :
Polynomial.coeff recurrence2A6Square 88 = 230274886565412946667335 * 10 ^ 70 + 9889022671388911536692408535376662585509589036831269682753699585068353
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_89 :
Polynomial.coeff recurrence2A6Square 89 = -(298798017769598932023463 * 10 ^ 70 + 4746850143629854707966058095726155650743949646800219781216333068582106)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_90 :
Polynomial.coeff recurrence2A6Square 90 = -(804643725455500590834144 * 10 ^ 70 + 7791963670108931627122621561275755946299799419495205012393964435906996)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_91 :
Polynomial.coeff recurrence2A6Square 91 = 3420011932192273250226476 * 10 ^ 70 + 3017336253599750209868583224949224819177957993777692577433266237954128
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_92 :
Polynomial.coeff recurrence2A6Square 92 = -(2551368155750412746357830 * 10 ^ 70 + 704405569383294964894910983500493055741012906076284286015153589470490)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_93 :
Polynomial.coeff recurrence2A6Square 93 = -(13250920180049005781054293 * 10 ^ 70 + 6477079748517589335974656411479207951263124297499429094542853276213906)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_94 :
Polynomial.coeff recurrence2A6Square 94 = 41312573896267259929035941 * 10 ^ 70 + 3714372369609718857116862920188000541701778146419310406400175916875364
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_95 :
Polynomial.coeff recurrence2A6Square 95 = -(21622133814079042767500475 * 10 ^ 70 + 7248301036970873862295250296658675163051859320718618600511858518353278)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_96 :
Polynomial.coeff recurrence2A6Square 96 = -(151626127792015900082818480 * 10 ^ 70 + 9138904365686605181639081833896409519704319070905036672816514031458437)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_97 :
Polynomial.coeff recurrence2A6Square 97 = 425210177873904491075668044 * 10 ^ 70 + 4553471287891925185052267382102308894082740570672331873205936018828872
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_98 :
Polynomial.coeff recurrence2A6Square 98 = -(253614798739166917663588319 * 10 ^ 70 + 6559868429602758411249360742869236516885363025379031972855322209283580)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_99 :
Polynomial.coeff recurrence2A6Square 99 = -(1230236655730225641554612088 * 10 ^ 70 + 1615890793097754096297260471556207942617768026295290848035631065383180)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_100 :
Polynomial.coeff recurrence2A6Square 100 = 3681131926240919712818319196 * 10 ^ 70 + 5056427190706403798609542086131180238001569663118151047177362974974720
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_101 :
Polynomial.coeff recurrence2A6Square 101 = -(3314643252565882828462229425 * 10 ^ 70 + 675099836073592405589176291265229836995454160320444134939127427248682)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_102 :
Polynomial.coeff recurrence2A6Square 102 = -(6115137209324684237326899320 * 10 ^ 70 + 7432665957827626141283142804950242038594137841140247473841115538425286)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_103 :
Polynomial.coeff recurrence2A6Square 103 = 24613095300705460465799416609 * 10 ^ 70 + 7531696566465805960628298420354151750549557055890935183815220569001842
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_104 :
Polynomial.coeff recurrence2A6Square 104 = -(33220640249495279934154582544 * 10 ^ 70 + 1834790776387693924378227383877131955171350701292446756067286426027806)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_105 :
Polynomial.coeff recurrence2A6Square 105 = -(4344063502825837543661983194 * 10 ^ 70 + 2000616167451543425709470865624414757324319771961191147449140418367864)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_106 :
Polynomial.coeff recurrence2A6Square 106 = 105519577620803740150510126688 * 10 ^ 70 + 5427776588787648901934017340227248873035846026355674783258882751355370
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_107 :
Polynomial.coeff recurrence2A6Square 107 = -(210859980857905865514098839502 * 10 ^ 70 + 9091440665716247416795986018211151144496089291837757697590355110084924)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_108 :
Polynomial.coeff recurrence2A6Square 108 = 170129192611990706727503295372 * 10 ^ 70 + 1226126320908191909867907717863103611196617966445354681730264150182443
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_109 :
Polynomial.coeff recurrence2A6Square 109 = 153955143647337553962273310752 * 10 ^ 70 + 4045655601192325646257784254115893975230873583326760169161814686234330
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_110 :
Polynomial.coeff recurrence2A6Square 110 = -(689330870059857573965041626065 * 10 ^ 70 + 7115713606105270487408521592560241179555101591220025057032649026359269)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_111 :
Polynomial.coeff recurrence2A6Square 111 = 1044296045066576024948639240739 * 10 ^ 70 + 9181977858812555071991693734950593088891912562575016671384445282241476
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_112 :
Polynomial.coeff recurrence2A6Square 112 = -(693781247777736399266910692262 * 10 ^ 70 + 2067047060586493932919236204353934642849348585122852325629107322241790)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_113 :
Polynomial.coeff recurrence2A6Square 113 = -(551510537906377065487063612955 * 10 ^ 70 + 6857782938103055223787699200428300177157211747238506342283878065120204)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_114 :
Polynomial.coeff recurrence2A6Square 114 = 2155066023591005776692670293825 * 10 ^ 70 + 5244913556540826435178711231157568963785933213433260157380523990989381
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_115 :
Polynomial.coeff recurrence2A6Square 115 = -(3005690708370423736498070447305 * 10 ^ 70 + 2591434849412351004359746179526605928198377735474657758113183855434674)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_116 :
Polynomial.coeff recurrence2A6Square 116 = 2183889253535235341564722652205 * 10 ^ 70 + 4344443853287901822320276396437363678085413402338523056986728996293831
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_117 :
Polynomial.coeff recurrence2A6Square 117 = 199775645227486015813275196085 * 10 ^ 70 + 3614958008400323003806404601063026913498409837918523081610966039125748
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_118 :
Polynomial.coeff recurrence2A6Square 118 = -(2864515169981647206484011943035 * 10 ^ 70 + 2346599076890300380605767702183852126396789748891554969630028511221807)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_119 :
Polynomial.coeff recurrence2A6Square 119 = 4177264740139359104192970056293 * 10 ^ 70 + 5244081651117737378748265820974154261968813912977668069423360386948304
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_120 :
Polynomial.coeff recurrence2A6Square 120 = -(3334585383714148077094873266426 * 10 ^ 70 + 6423542206278787059483850506238203256740781574314416512356192923255728)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_121 :
Polynomial.coeff recurrence2A6Square 121 = 937986005793131564799993479166 * 10 ^ 70 + 5269328269495548341459227680027864936640932933838113973467485827777696
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_122 :
Polynomial.coeff recurrence2A6Square 122 = 1502071842839643655747258398417 * 10 ^ 70 + 8916946805381922174071385505241265111430870605191470965739875058295966
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_123 :
Polynomial.coeff recurrence2A6Square 123 = -(2678509380044286629102161678798 * 10 ^ 70 + 1133222537699528935223045978461079445464969871285577235274165624340068)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_124 :
Polynomial.coeff recurrence2A6Square 124 = 2296071304123135711804378006248 * 10 ^ 70 + 7221181595722309923348305544764668067030588888959633824710709744424747
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_125 :
Polynomial.coeff recurrence2A6Square 125 = -(1025784110219643742336797144505 * 10 ^ 70 + 1886287261622417133720714775735396010823951665551510315818511923282236)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_126 :
Polynomial.coeff recurrence2A6Square 126 = -(177362120744645718613951552428 * 10 ^ 70 + 7988857063391048845814889869616946176347516559664850936030686903245991)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_127 :
Polynomial.coeff recurrence2A6Square 127 = 743143677945647005074163954492 * 10 ^ 70 + 4124535233803378191168278723774079573713681993958551421401835877152602
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_128 :
Polynomial.coeff recurrence2A6Square 128 = -(681339607686321075556062926504 * 10 ^ 70 + 9563641766863307518028336817116163826788329663371256397667175996825766)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_129 :
Polynomial.coeff recurrence2A6Square 129 = 335527263515948981900198182831 * 10 ^ 70 + 7019960333754998878849759787503912007178520792006210609109866674482166
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_130 :
Polynomial.coeff recurrence2A6Square 130 = -(31999869725921005866303890692 * 10 ^ 70 + 1864554745086183730831011229149159216186527310838267028875177696294705)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_131 :
Polynomial.coeff recurrence2A6Square 131 = -(99518347461694255634587295945 * 10 ^ 70 + 7399584596076492727136114346578452142181980758671541564557546537076614)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_132 :
Polynomial.coeff recurrence2A6Square 132 = 96023251852745477585953389866 * 10 ^ 70 + 2806649718827263547784857456256951657344586351734202653957062967543208
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_133 :
Polynomial.coeff recurrence2A6Square 133 = -(45803108740913760451510283690 * 10 ^ 70 + 8841582571142431975705917747593305993733178125028491267840601993525142)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_134 :
Polynomial.coeff recurrence2A6Square 134 = 6969232844304159881242516689 * 10 ^ 70 + 8715205400604770605018437670608903523554499738481834159396473997990875
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_135 :
Polynomial.coeff recurrence2A6Square 135 = 7235270187952450752783289311 * 10 ^ 70 + 8824352716447530164696275449880954855222365826886874798564808229140142
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_136 :
Polynomial.coeff recurrence2A6Square 136 = -(6684000336881809316080867280 * 10 ^ 70 + 4501976298896608869711449503518093227901769038364615240752733956073954)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_137 :
Polynomial.coeff recurrence2A6Square 137 = 2711291863175288662682829790 * 10 ^ 70 + 2816789136955519958371179799429943510228894693114092624513100811800232
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_138 :
Polynomial.coeff recurrence2A6Square 138 = -(284648142236456660426480877 * 10 ^ 70 + 1647601777715769998684672709201904162311467131196273669909111288520332)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_139 :
Polynomial.coeff recurrence2A6Square 139 = -(346628658535589655056205463 * 10 ^ 70 + 9610755201393356926548120708086871053550590832854108271793665690771396)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_140 :
Polynomial.coeff recurrence2A6Square 140 = 237609954660621772993415977 * 10 ^ 70 + 9919101379875474345246721965576256692103212856432700568429915252116312
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_141 :
Polynomial.coeff recurrence2A6Square 141 = -(66902742358621423968943250 * 10 ^ 70 + 5756424358761094667888784446728340829046519150158954321341504891470984)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_142 :
Polynomial.coeff recurrence2A6Square 142 = -(2027648424981982232336599 * 10 ^ 70 + 1005669340093144806471378685383156650660960782502752657787806851053605)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_143 :
Polynomial.coeff recurrence2A6Square 143 = 9636184391533143970001981 * 10 ^ 70 + 7094136060562091255475854118418556182351699179600956797045569365664104
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_144 :
Polynomial.coeff recurrence2A6Square 144 = -(3773716820957857971356840 * 10 ^ 70 + 2676127217316492341678615417323233969087977784249992941100370336207844)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_145 :
Polynomial.coeff recurrence2A6Square 145 = 420139520843096825749227 * 10 ^ 70 + 662752438279389015814122651737843726454832758673852104238902110056282
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_146 :
Polynomial.coeff recurrence2A6Square 146 = 219693742200345124347292 * 10 ^ 70 + 5771190264538200913624663618337185057730471452864506250767823108209414
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_147 :
Polynomial.coeff recurrence2A6Square 147 = -(110171991573844955463331 * 10 ^ 70 + 3944874677616526626827034263237791251579303254229454382217862094838894)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_148 :
Polynomial.coeff recurrence2A6Square 148 = 15811683251184671783461 * 10 ^ 70 + 6801167048311907326437775926529873885584518976494102051906245635339705
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_149 :
Polynomial.coeff recurrence2A6Square 149 = 3634831929080460919410 * 10 ^ 70 + 1395316653132712331976806443820663264715941732619172757632450291762362
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_150 :
Polynomial.coeff recurrence2A6Square 150 = -(1959791453390718160483 * 10 ^ 70 + 2654305982163953950232147558707134119458724607780466000747459610981103)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_151 :
Polynomial.coeff recurrence2A6Square 151 = 231445806406053258042 * 10 ^ 70 + 2579256749176922351174426597623726023701190097945660165923773054545686
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_152 :
Polynomial.coeff recurrence2A6Square 152 = 57354265163847392250 * 10 ^ 70 + 3599972979534781033142824761736150248707344748021013782231929065827437
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_153 :
Polynomial.coeff recurrence2A6Square 153 = -(21473549176991168700 * 10 ^ 70 + 2133933859591558863715038527281706016341056847599774742444828662766422)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_154 :
Polynomial.coeff recurrence2A6Square 154 = 939627061153742726 * 10 ^ 70 + 324758135559438356484769656591606773391328928382789892886311456197983
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_155 :
Polynomial.coeff recurrence2A6Square 155 = 695323824104038912 * 10 ^ 70 + 1078894772772925598273501181249477944197973566164498505104346383019294
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_156 :
Polynomial.coeff recurrence2A6Square 156 = -(112099683268169003 * 10 ^ 70 + 1828584562984532043462077544264231277696682360863365042577227341498685)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_157 :
Polynomial.coeff recurrence2A6Square 157 = -(10549606710433931 * 10 ^ 70 + 2676189075594223218283564613911850325789109667514525597690429105653750)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_158 :
Polynomial.coeff recurrence2A6Square 158 = 3796469627184103 * 10 ^ 70 + 3997909656478104641580954045850972687495800885451171655246678605687349
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_159 :
Polynomial.coeff recurrence2A6Square 159 = 44145171527900 * 10 ^ 70 + 8822111061783059872982803458509065510517618692666189426903959826558450
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_160 :
Polynomial.coeff recurrence2A6Square 160 = -(80847282173093 * 10 ^ 70 + 7835662517247190691298075990425314168543179226431917247865100327269936)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_161 :
Polynomial.coeff recurrence2A6Square 161 = 532382381945 * 10 ^ 70 + 3774996989105203912141643391209689084517091545604964508977632801948522
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_162 :
Polynomial.coeff recurrence2A6Square 162 = 1290900122053 * 10 ^ 70 + 540359493246816083877226819002887710623337442694270506831250313203426
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_163 :
Polynomial.coeff recurrence2A6Square 163 = 17443326362 * 10 ^ 70 + 8802981968490178891400995976071950417828278188299215947697901726074922
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_164 :
Polynomial.coeff recurrence2A6Square 164 = -(14799589540 * 10 ^ 70 + 4970426887973858111791484352684643498912323812336197629650818335009747)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_165 :
Polynomial.coeff recurrence2A6Square 165 = -(965836432 * 10 ^ 70 + 9066103247590071412024259283621727261983349424109450042040097288216728)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_166 :
Polynomial.coeff recurrence2A6Square 166 = 62423256 * 10 ^ 70 + 6785407395204608485061124802241877792579740818144894861367225382725668
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_167 :
Polynomial.coeff recurrence2A6Square 167 = 12485087 * 10 ^ 70 + 6455873400828609039242896258460198944106831775552323858623187599084854
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_168 :
Polynomial.coeff recurrence2A6Square 168 = 870192 * 10 ^ 70 + 3726163753722556092074410021439121397065593083239918486409516888683935
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_169 :
Polynomial.coeff recurrence2A6Square 169 = 36139 * 10 ^ 70 + 3867458181563524324402025985284329336011479382392748608773189059087622
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_170 :
Polynomial.coeff recurrence2A6Square 170 = 1001 * 10 ^ 70 + 3293499214398569764698475323857132964495674879453167906193089171680871
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_171 :
Polynomial.coeff recurrence2A6Square 171 = 19 * 10 ^ 70 + 2816962669947636576838893661226154833902623872216267059600835107103048
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_172 :
Polynomial.coeff recurrence2A6Square 172 = 2615224162398390719098475829411226888708020055345113699077848266151472
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_173 :
Polynomial.coeff recurrence2A6Square 173 = 24889277920344769480021071792469514258998696266452963094537772255180
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_174 :
Polynomial.coeff recurrence2A6Square 174 = 162488655451199352491806887916045153362086082249771862156168746739
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_175 :
Polynomial.coeff recurrence2A6Square 175 = 686040880325383882060660590215093782731011694876141864730323040
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_176 :
Polynomial.coeff recurrence2A6Square 176 = 1559123060787073316466672134097351087350401498378246870576712
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_177 :
Polynomial.coeff recurrence2A6Square 177 = 8401481899677902404145661808720760013201354775025217946
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_178 :
Polynomial.coeff recurrence2A6Square 178 = -10304805384586832621040277078079810784518099330663493481
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_179 :
Polynomial.coeff recurrence2A6Square 179 = -24828514004564765400398003669840017235722127410540778
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_180 :
Polynomial.coeff recurrence2A6Square 180 = -12023827974796028314946333292508109809665216876518
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_181 :
Polynomial.coeff recurrence2A6Square 181 = 40318631455961320092606746485786684469023963208
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_182 :
Polynomial.coeff recurrence2A6Square 182 = 72185023597790658136703245581859655425361297
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_183 :
Polynomial.coeff recurrence2A6Square 183 = 46031155716271797980321886589999311997188
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_184 :
Polynomial.coeff recurrence2A6Square 184 = 12453926677689844657153159903133181453
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_185 :
Polynomial.coeff recurrence2A6Square 185 = 1242692394605797304168861943182276
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_186 :
Polynomial.coeff recurrence2A6Square 186 = 43662008488860887463177182721
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_187 :
Polynomial.coeff recurrence2A6Square 187 = 251109363763700586884208
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_188 :
Polynomial.coeff recurrence2A6Square 188 = 396784197563474483
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_189 :
Polynomial.coeff recurrence2A6Square 189 = 1259182850
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6Square_coeff_190 :
Polynomial.coeff recurrence2A6Square 190 = 1