Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2LeftPart1.Coefficients259To293

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_259 :
Polynomial.coeff recurrence4Scalar2Left 259 = (((745105425720720285176754944 * 10 ^ 70 + 1042285951494587144220998301905695694348348425733516929256252085465076) * 10 ^ 70 + 204437735025303823263593747407708049412561147926472774670264724335808) * 10 ^ 70 + 8753982213102303125995110382570271004404848361636127428289721370052489) * 10 ^ 70 + 4098999361567330261467376069250538306054212220140310640475739190928295
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_260 :
Polynomial.coeff recurrence4Scalar2Left 260 = -((((815406996075062416622444584 * 10 ^ 70 + 659740112520904219161355399804719635635500373264683200387790010712641) * 10 ^ 70 + 6283433070557479105397511075296883200453194358431239728987530757354061) * 10 ^ 70 + 1889923722950531713752764780962456461459306290135986787727724742031896) * 10 ^ 70 + 7264499618372504156647543169231936386089272549081441776564118222710905)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_261 :
Polynomial.coeff recurrence4Scalar2Left 261 = (((837663305172459654529748294 * 10 ^ 70 + 445156403594879554185600683522422643573876540369998312272623367379552) * 10 ^ 70 + 5209650587592549267655411725807440140576360206298436218562704622906821) * 10 ^ 70 + 2243262808659096910270224840316675313705470095834400497272648955063430) * 10 ^ 70 + 5658729491507708377855433119406804389524227902780518430869693293998895
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_262 :
Polynomial.coeff recurrence4Scalar2Left 262 = -((((817877420232919413728264532 * 10 ^ 70 + 9969429710333159656724885125991986724457827123834689682586943923930525) * 10 ^ 70 + 3419859542443618447234342126566984987642718432592220972931009745343776) * 10 ^ 70 + 4103697291943484980690060715491099989166126509416093283865528705056136) * 10 ^ 70 + 6445828274918419670972378914029325802828966255792217919432767353807792)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_263 :
Polynomial.coeff recurrence4Scalar2Left 263 = (((763860856185412983286371006 * 10 ^ 70 + 7471657330883190399789812200796883659675875948766838212906420291110090) * 10 ^ 70 + 5687179094618332929087903434894672172999637290812222139609426870884804) * 10 ^ 70 + 7041985837764637284455535620389966796762676288588284479658165411272160) * 10 ^ 70 + 9300242519567959606948293963320261452772649249200137040961968183199752
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_264 :
Polynomial.coeff recurrence4Scalar2Left 264 = -((((684428188266827745715029805 * 10 ^ 70 + 7180712813478105877838293408993085004959717890631446019707281464928) * 10 ^ 70 + 8415626357576365930674179374846274646793056306942881086212184114685524) * 10 ^ 70 + 9564421884296758660178176402196494790161165541084677271074185389662149) * 10 ^ 70 + 1000821123218295339431576498570536678014119738709681737409098573432705)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_265 :
Polynomial.coeff recurrence4Scalar2Left 265 = (((588604146434267094195278449 * 10 ^ 70 + 5470722690375374217105549192040209100994605522331090090658181823338050) * 10 ^ 70 + 7300513851014579561456663533110869253099271851098141253996617714560218) * 10 ^ 70 + 6535280028090438417083900405571494867854214365797676714604605972636266) * 10 ^ 70 + 7225511788085231813051509658002310931166201789389316183144518946034556
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_266 :
Polynomial.coeff recurrence4Scalar2Left 266 = -((((484919802426364505854535777 * 10 ^ 70 + 5659235572965577003591662962190603534832298874935441475823114205186026) * 10 ^ 70 + 4887830132364199623088957534908121387102933816341111672598817038231619) * 10 ^ 70 + 415668067031967601297892173949584491731908695677633830456038289395208) * 10 ^ 70 + 4344051731006922581815520728296716472119618038990179503735748887889378)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_267 :
Polynomial.coeff recurrence4Scalar2Left 267 = (((380855060403807159728191676 * 10 ^ 70 + 9084945672012643509151023180379920501059495725733701072249527324684052) * 10 ^ 70 + 3374591963334432948336564781375822834442477736086035382359226259284864) * 10 ^ 70 + 6228926172405666422342593751104770971980467868632430852312931173381601) * 10 ^ 70 + 6765731808701473211794156557641210498382968470427759649281883369831429
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_268 :
Polynomial.coeff recurrence4Scalar2Left 268 = -((((282460719628668577513333725 * 10 ^ 70 + 5077758695279105748241705794089829015498245577961339419994779900086829) * 10 ^ 70 + 4359220462204603374558571838204165740544088353529113539714565271845846) * 10 ^ 70 + 7273270949934562881447687456014358523535000166267396187915208134113601) * 10 ^ 70 + 368678765231558129525312860335061902241618489343297208250801965925485)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_269 :
Polynomial.coeff recurrence4Scalar2Left 269 = (((194168693384062568161112836 * 10 ^ 70 + 8450091853270817393402994877152064034692452872009436231610340908994241) * 10 ^ 70 + 2521394895165675815089264744685353510843420895034235788641893082982176) * 10 ^ 70 + 9726863239306676701565626733665193190788447788232056315408847762746303) * 10 ^ 70 + 5120699943173519370847161795684628237104848107215157112331350658022677
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_270 :
Polynomial.coeff recurrence4Scalar2Left 270 = -((((118776946138588391647861703 * 10 ^ 70 + 1613563932469574295308131026991837660242524106813696973164494952309146) * 10 ^ 70 + 2314622329018280170048449065254694378399669694315668501943584449482710) * 10 ^ 70 + 8845275257804322077389946142758872715612451435569015891014576037677234) * 10 ^ 70 + 3680593077249993203991074549511665740698248868163858409188513336122018)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_271 :
Polynomial.coeff recurrence4Scalar2Left 271 = (((57578876915072175515328543 * 10 ^ 70 + 3852652407564879794402708688623270809120962808720938791398822298949288) * 10 ^ 70 + 7326835204642171831426896060375486559807436550179614786592556693740821) * 10 ^ 70 + 7740065317468197690191062742404132529858933552847144299065337461576511) * 10 ^ 70 + 3102869140130965689196833307523060314912624278191943157021808754341026
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_272 :
Polynomial.coeff recurrence4Scalar2Left 272 = -((((10596613640910538938590846 * 10 ^ 70 + 6696196897217580406984030249218294398388577214059059806466028940372782) * 10 ^ 70 + 2912427553941814217499991255515238308225254409174857919476077321756027) * 10 ^ 70 + 2799044984835467914770641474524351482371426197331445378482192098147243) * 10 ^ 70 + 7303510515680795460481892429408328265812995185897430310385613697233305)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_273 :
Polynomial.coeff recurrence4Scalar2Left 273 = -((((23125803389655357949876720 * 10 ^ 70 + 4738908338777047027077507613243633680406248949245878135213564099493154) * 10 ^ 70 + 5915571096019516406257296593291624807321496899279125595341229681057697) * 10 ^ 70 + 3642454211004799629993250634220559893818062391541315744816906865928215) * 10 ^ 70 + 3720107693253918078047118911623153803266899495893446903821544543010838)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_274 :
Polynomial.coeff recurrence4Scalar2Left 274 = (((45210883936938392753701905 * 10 ^ 70 + 2205510956782540426054457239031746517386280900920306955782118505323180) * 10 ^ 70 + 1684035566579342761454190493714266141292430390139516178179091206105319) * 10 ^ 70 + 8313283775024903125913369897060837479836169894773385173132675292863831) * 10 ^ 70 + 3477038520033396823859379670751634997957678621224807453492678891808795
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_275 :
Polynomial.coeff recurrence4Scalar2Left 275 = -((((57652375597862623522217374 * 10 ^ 70 + 9497727295556199919038448131945494389119213936231604431518250895105893) * 10 ^ 70 + 6058184454688257810794650040510106421314072500174655865088640167082086) * 10 ^ 70 + 3623787673765516624105772668624515132661642673052389270396694151730306) * 10 ^ 70 + 6388265579014649902660999952094218603772563670097108102787930974159465)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_276 :
Polynomial.coeff recurrence4Scalar2Left 276 = (((62561172602217601732976356 * 10 ^ 70 + 6876909675585656452532676633398620099202179443461578079719115242589892) * 10 ^ 70 + 3038835895027648871798247474664456415293002166147636202346179644718639) * 10 ^ 70 + 2466491610477239799270034101402895594240461198462995162133497204656739) * 10 ^ 70 + 2611905257824030772726579584307376445514793742234048040666420078493165
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_277 :
Polynomial.coeff recurrence4Scalar2Left 277 = -((((61967054809696525318348391 * 10 ^ 70 + 847152700974621155085400020208884748369506054520229360004219353080482) * 10 ^ 70 + 4061979626177829980153013173953104807082584818363942363437343968784641) * 10 ^ 70 + 6904996392604606353111064517224169354440239126435571425397516900430986) * 10 ^ 70 + 7158538384528211674128226272863265052163410973991109628340025819497681)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_278 :
Polynomial.coeff recurrence4Scalar2Left 278 = (((57681212342988105233159483 * 10 ^ 70 + 4615706214489629259702901912129387375812970520397901283081215395297242) * 10 ^ 70 + 9335247178685789153568417893311655429330126375231184017434230945734869) * 10 ^ 70 + 8952540631124723264155342499079945811246959700459714453367050542627041) * 10 ^ 70 + 1619618812945616849172420605867133726047516594149223236320510860437578
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_279 :
Polynomial.coeff recurrence4Scalar2Left 279 = -((((51216666802728196560820766 * 10 ^ 70 + 450229871572831244370173047030169699643317113079528572758920751905164) * 10 ^ 70 + 9015076049260109086454877156613192380533889255676673685577715491008315) * 10 ^ 70 + 3877779069313311169383023978665265890603112303834716764409556346265620) * 10 ^ 70 + 386233569146113995276055174933188796188882482543281528843760473574452)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_280 :
Polynomial.coeff recurrence4Scalar2Left 280 = (((43758226914032361474920643 * 10 ^ 70 + 3199207919737012884716080178182906841229032751476412449496642931328656) * 10 ^ 70 + 3705597219679087814191717650869128923785229628980653658268461981363211) * 10 ^ 70 + 618784452331847993841125051889529688292546526632760739426888946936087) * 10 ^ 70 + 4497089492543136751722838456736848477411887989753065085247807036048651
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_281 :
Polynomial.coeff recurrence4Scalar2Left 281 = -((((36170603433059040155967069 * 10 ^ 70 + 1270469301155999919649615193990280517812847237827579709243970339830326) * 10 ^ 70 + 2089679548538105700423718081569793103228047004945711069474125605592748) * 10 ^ 70 + 4460773490856863244081545990667220411451780502713938559902951046051503) * 10 ^ 70 + 2266431802364242478366016996163196616173799058016878895279195077358810)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_282 :
Polynomial.coeff recurrence4Scalar2Left 282 = (((29032477681655414858353121 * 10 ^ 70 + 8966367783368371315516232773304545036403417159791086463880127649003350) * 10 ^ 70 + 1581594967058051457519277370035016223949530933299766077515196150286980) * 10 ^ 70 + 3771231487708719668781454225517786398346353666927324564800370253340916) * 10 ^ 70 + 3657493771268228704384781924199654027459529076556503858371064287296312
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_283 :
Polynomial.coeff recurrence4Scalar2Left 283 = -((((22685164982675840344968713 * 10 ^ 70 + 7766063035355633494318408104016514403997334225899640250870019903875353) * 10 ^ 70 + 4370402915054742365921380914375357940799865818288082438387261544906017) * 10 ^ 70 + 3642640559847283144282756099209818967314786606504032355286142082658849) * 10 ^ 70 + 2080555318986756401540967107169539537471222616967271576797805410395781)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_284 :
Polynomial.coeff recurrence4Scalar2Left 284 = (((17286443590494531228099684 * 10 ^ 70 + 7691899000045201366981274190112366967214769293032177767821017314546204) * 10 ^ 70 + 4941901417219064137411959077035925104745265038422202936847306291215020) * 10 ^ 70 + 2817614365774668179196071637046030248879149022950639493273152389177870) * 10 ^ 70 + 9743647434460274963995200599965296975155154072813588643123010323325845
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_285 :
Polynomial.coeff recurrence4Scalar2Left 285 = -((((12862560754128589287683682 * 10 ^ 70 + 9481573571875942619947761665134624217798715278137432431959653805738326) * 10 ^ 70 + 3448074152476267578699724867744272291964321175535280559898745185431378) * 10 ^ 70 + 8732273920859819287500210758174588145404204499237301779775853857717658) * 10 ^ 70 + 7824975210920765365987784997565677756910341821692158655033978495773637)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_286 :
Polynomial.coeff recurrence4Scalar2Left 286 = (((9353911301154453926786167 * 10 ^ 70 + 2610399137814125838027166355392172272576954930669416217910011982286733) * 10 ^ 70 + 9860281999391654947493896940438660721091204548701246004463989957669082) * 10 ^ 70 + 2517995044712549290635610670307847453870564907787269169988260899162598) * 10 ^ 70 + 4946037995979948271718050038854792614422502550602005402487352274239101
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_287 :
Polynomial.coeff recurrence4Scalar2Left 287 = -((((6652081632201668586155066 * 10 ^ 70 + 9272745163868286375702470704591797028502410516221241044213934812023000) * 10 ^ 70 + 1792991335059353795605872183860166137793674776480533182242677294255785) * 10 ^ 70 + 9861224603996412325790870185646760178788214895063793920780945557372906) * 10 ^ 70 + 9070866227728621625548102384118993715111890761216422839784508683777876)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_288 :
Polynomial.coeff recurrence4Scalar2Left 288 = (((4627678912466691551614650 * 10 ^ 70 + 9451273827582153507977622592993822812929007634214190151737173153941605) * 10 ^ 70 + 9587725531271427939413154145246285664546357188520614792495457345543022) * 10 ^ 70 + 9437348331119747547000658962197467000514218251696276557318660976307711) * 10 ^ 70 + 2334816417035988440327847111560628472419351272931461553382809215509640
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_289 :
Polynomial.coeff recurrence4Scalar2Left 289 = -((((3149562183150964047365745 * 10 ^ 70 + 7559551859646986601579344556403637957957382102033717008735846273367903) * 10 ^ 70 + 5354227566694279186630714317103411141310187523717538488027977305785001) * 10 ^ 70 + 2843621641774375677698031525905508653922100920792859295105069785742642) * 10 ^ 70 + 5523249091985727284713729449188180224949041254506863442331487738991835)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_290 :
Polynomial.coeff recurrence4Scalar2Left 290 = (((2096791942489283004463699 * 10 ^ 70 + 325516038312708031438601707145585600335124118623300915663433336151614) * 10 ^ 70 + 6003414768569847104913287855776935371886171217291904822369838904516931) * 10 ^ 70 + 1287436787900103442884040709228357519849581179944874478350901342827539) * 10 ^ 70 + 2904358553599015461845113912456274094401822939349135098941211679462493
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_291 :
Polynomial.coeff recurrence4Scalar2Left 291 = -((((1364906301720155408930823 * 10 ^ 70 + 6131850846697172423659543111749319123324838457146576303314534574453182) * 10 ^ 70 + 7924655666730675876711251986175964586426858295486857480753944815462815) * 10 ^ 70 + 9477335259101705542977495198005440357640698531406095804761701830856831) * 10 ^ 70 + 2410610329846305958518073349652827951221616458168471397959260650767506)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_292 :
Polynomial.coeff recurrence4Scalar2Left 292 = (((868127442104021087146706 * 10 ^ 70 + 2433454664636871404597800396362113045466840631349354503144863706138859) * 10 ^ 70 + 5443910638343289448398708337456810223369372941254595566526225632450233) * 10 ^ 70 + 7483125263949639427285343804568468748633369356682566897859514239347637) * 10 ^ 70 + 5200679545379955716879936411022474454571711515487992088727150273978375
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_293 :
Polynomial.coeff recurrence4Scalar2Left 293 = -((((538912927804086539361346 * 10 ^ 70 + 6539535799061109648735063054911737561066571409890397238833948811691277) * 10 ^ 70 + 1764926668853021256672635721124721665877374903855850897214758853090013) * 10 ^ 70 + 9070273052686567589136762446611774593633323480327662595022434083121820) * 10 ^ 70 + 3094845294976120781607063350574162102156273192910368327079859619719421)