Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2LeftPart1.Coefficients224To258

Recurrence 4 lookup certificate: Scalar2Left coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_224 :
Polynomial.coeff recurrence4Scalar2Left 224 = (((43713348310941711029886566 * 10 ^ 70 + 9211634317458810002590308080374325330426837409373061844159531510212746) * 10 ^ 70 + 1776973073504648114471628270029356267609944563241521852048165225882492) * 10 ^ 70 + 9019256021498525349185950610139089520080731151512944884152781858082433) * 10 ^ 70 + 3982785633793867575155578110563627185775392780908051974729104375722318
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_225 :
Polynomial.coeff recurrence4Scalar2Left 225 = -((((61969834068041524867765790 * 10 ^ 70 + 5024361493784141104989258399420625204191238002530612427799503849853251) * 10 ^ 70 + 6918570619061017380915546544585090748384075628454084933255308544886207) * 10 ^ 70 + 3972261941829526366955122315809094378298389682040128300785797274438771) * 10 ^ 70 + 301757347966346141043425203830848166697899407881695704188074044998141)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_226 :
Polynomial.coeff recurrence4Scalar2Left 226 = (((86558904241616799455909503 * 10 ^ 70 + 5265752200488778072558149277663563512145170899097576960943123469923290) * 10 ^ 70 + 3322558613520124043661798053769656792625610929295564829488206477126742) * 10 ^ 70 + 8727672437430430190180561237636720346204446506319614548022260793009446) * 10 ^ 70 + 7736619496092048689215270869832367351535004920402418885903237506363166
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_227 :
Polynomial.coeff recurrence4Scalar2Left 227 = -((((119115972437275299518055871 * 10 ^ 70 + 3780456989521618376252929962161998846489332545298422684423562518510464) * 10 ^ 70 + 3489945256526155515551363173578007089593416059315128342221273726390183) * 10 ^ 70 + 1519510156648965918744388228934765301339497587953812662719444471873799) * 10 ^ 70 + 4233869448950139888270415627812587806868645957285148417434938343194433)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_228 :
Polynomial.coeff recurrence4Scalar2Left 228 = (((161477589371047885984768901 * 10 ^ 70 + 461113284954424356950094648944251286381125334484632547208230977129856) * 10 ^ 70 + 8054576499582488184517068983137696735928764238638969400637685010393443) * 10 ^ 70 + 7030147854106563649641766036794864296096896331534971050293443914828736) * 10 ^ 70 + 1963179183791408355147839892810707150160097330684028328765616611267942
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_229 :
Polynomial.coeff recurrence4Scalar2Left 229 = -((((215620769237615185238627315 * 10 ^ 70 + 8405059768378401876940177226202243668606153988652667315255792731887257) * 10 ^ 70 + 9355699993432371154728897135818870465930118486030737386332105717758109) * 10 ^ 70 + 1436407964563777946800436935792951109762369145628227082322176795122620) * 10 ^ 70 + 9977180004948302054229023515897223456877581778715356560151638746832754)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_230 :
Polynomial.coeff recurrence4Scalar2Left 230 = (((283564108626537153466371184 * 10 ^ 70 + 4275430818346467850508390684150776439845603409441787353743462565790942) * 10 ^ 70 + 9152826448936603075285762154767065224494312395718470379732091906315571) * 10 ^ 70 + 885744778377697037116219112129145888123422975401600085112235828820059) * 10 ^ 70 + 5662785956252985403609162521455703566343160238301778304922272206041230
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_231 :
Polynomial.coeff recurrence4Scalar2Left 231 = -((((367226372116469399506711265 * 10 ^ 70 + 3814823130088074475381606833220685986262376765991350237231282087674479) * 10 ^ 70 + 3314307955853246629388387941312809606714861151392734570236869294687486) * 10 ^ 70 + 1887843677752603128637667101541345003167425982330381657500053439518643) * 10 ^ 70 + 9714775165091235590871594958939058039798326497109109843957921314995792)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_232 :
Polynomial.coeff recurrence4Scalar2Left 232 = (((468241937611233227690014790 * 10 ^ 70 + 8804926584946048192857152014604349910847077678415581909874949983036779) * 10 ^ 70 + 9155849917334599078465087655666077076159432650084677972634357036075541) * 10 ^ 70 + 5219470095097029766241102481935972312992600782622782517248947149082035) * 10 ^ 70 + 6931135929925332771616230292750705154899232886473078922533716585329494
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_233 :
Polynomial.coeff recurrence4Scalar2Left 233 = -((((587737742746738005730854490 * 10 ^ 70 + 2178324772139692591633423286421179729210262963019341919223079526063273) * 10 ^ 70 + 8041915929604862578742650209337624010815417083803840893001611095458729) * 10 ^ 70 + 7135060205010499377168917947156401272668318678683585708753123377594239) * 10 ^ 70 + 356092939172080274228026804711211791859781817376409392847639656412673)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_234 :
Polynomial.coeff recurrence4Scalar2Left 234 = (((726082901517734937715152873 * 10 ^ 70 + 2226793861485421921298935486330824769678338196999026094707890862193880) * 10 ^ 70 + 3910560155306681139072219975292759203180271451231803258342325716232723) * 10 ^ 70 + 2111454638478571615213014801294837117851150874846204890719960982965441) * 10 ^ 70 + 2315943953233667205259142653772682378604419033314825824780753606749028
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_235 :
Polynomial.coeff recurrence4Scalar2Left 235 = -((((882629403114047542458613015 * 10 ^ 70 + 3017913315619241152128950967377474180650065595492208094614686244249373) * 10 ^ 70 + 9906573958538961934839390865887393801066617364777833365235039219802784) * 10 ^ 70 + 1781293800655403365071157775511977851957308531013866802653745554605439) * 10 ^ 70 + 9326642336255715583732063860142527971121152809830854751454316451235206)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_236 :
Polynomial.coeff recurrence4Scalar2Left 236 = (((1055469374894554551284550021 * 10 ^ 70 + 3221116249278156045704277019044989542244852115702696108630049444273711) * 10 ^ 70 + 7117605423222794221331598692670556582575184560902636003608369766078006) * 10 ^ 70 + 78828879953461119561727331993083865068440719668334806048164754971598) * 10 ^ 70 + 7679756179822854458454814265952573900434468820125900981369156403625400
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_237 :
Polynomial.coeff recurrence4Scalar2Left 237 = -((((1241240130869522185500325847 * 10 ^ 70 + 6041581604063594203472383867363915095173644098934951114684863182929156) * 10 ^ 70 + 8036835112726600458489895623404118438191507802458626922484432346367079) * 10 ^ 70 + 5647577194265050810835510577462949614466396221721117265579023354239675) * 10 ^ 70 + 3444119915377714066285636640536176818158525842340067496085710308840596)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_238 :
Polynomial.coeff recurrence4Scalar2Left 238 = (((1435011334904437747521410807 * 10 ^ 70 + 8054646861308648893421481179795184041474608667835613377628261391090089) * 10 ^ 70 + 4667273452190449305271858617315505067938424311446943202874391376248615) * 10 ^ 70 + 5586413803461757807885548219183305722969398623892068976243510789398435) * 10 ^ 70 + 7541716011053717071289942274246531444144936026253233049839560194759561
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_239 :
Polynomial.coeff recurrence4Scalar2Left 239 = -((((1630287834941949198743874053 * 10 ^ 70 + 4149771512374299466472238665895153988299824892302002690531687213522612) * 10 ^ 70 + 5418337928710626754732124621347662707380882840785177518278269626132803) * 10 ^ 70 + 6074206894861974943374398027711591875474816475249460987903612900041471) * 10 ^ 70 + 6513200961160292786903398278134093322586480597236199100371582551372645)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_240 :
Polynomial.coeff recurrence4Scalar2Left 240 = (((1819156118351602709347500307 * 10 ^ 70 + 6893491553861499748934497853283950030534167959829427931370286515852895) * 10 ^ 70 + 5620101524416482955835637274798347067620162711414565552848743806417103) * 10 ^ 70 + 9485242904846958257013819665458285048399102836289594867822120210455588) * 10 ^ 70 + 5002786871828945131087980600314505791261123243667438727300333419342870
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_241 :
Polynomial.coeff recurrence4Scalar2Left 241 = -((((1992591499762041094625961940 * 10 ^ 70 + 6224954090339847342570528348395146136126549650027618621636869903957884) * 10 ^ 70 + 3005051777394123728609294044060467898014022785595551092612728262809178) * 10 ^ 70 + 1117705980696183989337327440099193356913351927904772834979268037590526) * 10 ^ 70 + 6436090451981775273414795428800936003810493845767383105038660563821174)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_242 :
Polynomial.coeff recurrence4Scalar2Left 242 = (((2140927452847794199639252999 * 10 ^ 70 + 828779819804414799437143592592955444215607732284847299766531246545852) * 10 ^ 70 + 5256720909783715539484442025466623847695927683448824200681635284087943) * 10 ^ 70 + 883826459581385779354347278447961085367657267728250945529758298038561) * 10 ^ 70 + 9515346060230606054853046459254170967363569756652675400014762794037752
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_243 :
Polynomial.coeff recurrence4Scalar2Left 243 = -((((2254469201170907087450092379 * 10 ^ 70 + 4008953440297594275569344687103570598161780381137566981467441803394243) * 10 ^ 70 + 5336781105281871635686616760495560233944428818974096073128596158049168) * 10 ^ 70 + 5269368854633236510613974140937086980848705816067567506577379271739667) * 10 ^ 70 + 7882149973478025871089224524381115222055927991776089035079423554232684)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_244 :
Polynomial.coeff recurrence4Scalar2Left 244 = (((2324212926385387174027347619 * 10 ^ 70 + 3717202021479993128733750469431715182657173736594397417027913512382787) * 10 ^ 70 + 5375350448541012565215038032012173536004203239458633336789123074750304) * 10 ^ 70 + 5771550791158888934320496338849442926153855518513727151833188561192907) * 10 ^ 70 + 3181195953306511624679599940695520086307024199045472499742749798526020
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_245 :
Polynomial.coeff recurrence4Scalar2Left 245 = -((((2342612547469146563513918720 * 10 ^ 70 + 2382499778009754268311379428777277061520399256933253527044419787364432) * 10 ^ 70 + 2176825721693697043835704426296862697705462127096281375985541958247629) * 10 ^ 70 + 6891800792535296051603475821538764457247618446561487249489438372272906) * 10 ^ 70 + 1474322947320407895760454192010278296531337891387156017589088012326112)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_246 :
Polynomial.coeff recurrence4Scalar2Left 246 = (((2304321095952665967745507389 * 10 ^ 70 + 1051164549047456846010647679140176770504521651064031481285995033092476) * 10 ^ 70 + 9513639828494962920309382358397360230343712237775462541783484655471151) * 10 ^ 70 + 6484442882811809442607160175920341331201142767789194687548861655446467) * 10 ^ 70 + 1732763231873813834326696614833127919638658266782795219650646229739212
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_247 :
Polynomial.coeff recurrence4Scalar2Left 247 = -((((2206826199628609873298861761 * 10 ^ 70 + 1243564476875550583057513607221678248672243465776799968114651903653933) * 10 ^ 70 + 8451171235249952454311704228151131950342520120027752172326682507094622) * 10 ^ 70 + 5369526241572160933156835081893016376780811703583291595361147072826834) * 10 ^ 70 + 4782343796027057116832025006645615158702822123693990839041564649686522)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_248 :
Polynomial.coeff recurrence4Scalar2Left 248 = (((2050901300474051242228291057 * 10 ^ 70 + 8916227293672362504272169921225532611687117480428765368623257545083867) * 10 ^ 70 + 1902429904568547902753275442318343394351507381466930123140427142151763) * 10 ^ 70 + 1556332629130009402667237963438197236937132859257207953434852574053510) * 10 ^ 70 + 881879753862814133886159641161345952426277535789734524007496557314875
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_249 :
Polynomial.coeff recurrence4Scalar2Left 249 = -((((1840806952846364533459021638 * 10 ^ 70 + 3598063070441460594577118381720415603440885625209889740236911032183517) * 10 ^ 70 + 1047134344407489007840181044364182779591092052961606416304474415975333) * 10 ^ 70 + 1246564873637978889277258589462102416048959888208891570960778910344505) * 10 ^ 70 + 3786258028609977852974657547544671738176174911155735124984129575154671)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_250 :
Polynomial.coeff recurrence4Scalar2Left 250 = (((1584199289116863570298556929 * 10 ^ 70 + 5086595768798353813223467530659195964466539127587570917170278889465928) * 10 ^ 70 + 2560929755353029789114471690380868717235190151986172919224892680496549) * 10 ^ 70 + 1861780021290055769875564417366199107097472508626296853549375242011213) * 10 ^ 70 + 5397913036560204096651738469845151025449156576278775042535060729946896
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_251 :
Polynomial.coeff recurrence4Scalar2Left 251 = -((((1291733256602709092571248640 * 10 ^ 70 + 1321132161980901178954492667146077598522425154074413679435077425951213) * 10 ^ 70 + 9284559266745295072363641375672981907473966662433131433277328427361272) * 10 ^ 70 + 9365669438955622249901344657803576749187545817041773787263108739111758) * 10 ^ 70 + 6794284724998276337928071594410095961398002219007642562922150392452811)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_252 :
Polynomial.coeff recurrence4Scalar2Left 252 = (((976382824342982504098135041 * 10 ^ 70 + 2943052770362454794457411338561854866863685834979872558033489343599084) * 10 ^ 70 + 3943082497076949935198615170617038842643563059220445974293198170582580) * 10 ^ 70 + 9226648648125806062552684083258031628229682462613829314428825600992350) * 10 ^ 70 + 7344387780905573337038201184930722356985813393569938275858474480353999
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_253 :
Polynomial.coeff recurrence4Scalar2Left 253 = -((((652534377074405961980658208 * 10 ^ 70 + 2435118354393435837865204657324080296813939029892327991025349798267661) * 10 ^ 70 + 608415013432509602688280391082810636068746132332024197863808271919894) * 10 ^ 70 + 1653280034328023281551270510505946709392384771277859442074811506269927) * 10 ^ 70 + 1575504271086586443226610605801687494794437719908550399374328927428224)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_254 :
Polynomial.coeff recurrence4Scalar2Left 254 = (((334938062463434872848814408 * 10 ^ 70 + 9533982400940869365815919570504665205552081098004516030785433827751192) * 10 ^ 70 + 9901205191627269155717825618737473003914519728425230348921503594875129) * 10 ^ 70 + 2266755132604873837899057658121772118701922536797872798785853014955747) * 10 ^ 70 + 2121413681562463111997917370391696422238633191020476988389225223837760
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_255 :
Polynomial.coeff recurrence4Scalar2Left 255 = -((((37620614741561204451759294 * 10 ^ 70 + 5642487074638888501403961071643403016194675852365705093050721332548453) * 10 ^ 70 + 6232303819370834653556730783110318273996778047562551016377416257414293) * 10 ^ 70 + 1280447625215077742931211139835908156393110613955863366021078948109063) * 10 ^ 70 + 6036213086314133180217993924244566527993407390373987018681704384159935)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_256 :
Polynomial.coeff recurrence4Scalar2Left 256 = -((((227130847368538821269660653 * 10 ^ 70 + 5022855634905132940824666469760050811252449090963874888637859098704546) * 10 ^ 70 + 7749595614818519795500029069916721333903059391442290836330522963571386) * 10 ^ 70 + 4311213069071949039554484434246430882318859973870497221024421661097292) * 10 ^ 70 + 6622329098932948957700952836137366979835814091006408633726142644893309)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_257 :
Polynomial.coeff recurrence4Scalar2Left 257 = (((449612465598788596452860862 * 10 ^ 70 + 4246569645849295661668189328657499445830087890754727861435564527180580) * 10 ^ 70 + 2944683623539420781433924050398877340934615941326939638591023614972926) * 10 ^ 70 + 5363180218472880430084123990267586579666875493025148144050045148407307) * 10 ^ 70 + 2463982957419200265180358262895771628945543220791533255046505603200974
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_258 :
Polynomial.coeff recurrence4Scalar2Left 258 = -((((623293944478287106108627292 * 10 ^ 70 + 2017371459759148928384062475962306042634874628256348295076103630528366) * 10 ^ 70 + 6740665037215540877136247246249213514534515581666505981670495793715498) * 10 ^ 70 + 3524806208155759254882717705140049978228188506900477758010282740080716) * 10 ^ 70 + 4406317138868362404105126802336764747709237741955490663638214124760569)