Prove2Me

Exact Pell data slice 3f4e67db903eefd7efbd

Definition
D1Bound5_Prove2MeTransfer_pellSlice_3f4e67db903eefd7efbd

by tp · Oct 24, 2026 · Mathlib 0df444a (Lean v4.33.1)

diophantine-tuplesnumber-theory

Exact consecutive entries 222–229 of pellMagnitudes_7. The original list is the ordered concatenation of these slices.

Definition code
import Init

namespace D1Bound5.Prove2MeTransfer
set_option maxRecDepth 100000
set_option maxHeartbeats 0

def pellSlice_3f4e67db903eefd7efbd : List Int :=
[
  23342488658793774236063021315800143420697141449705941142384026665326385764957334256074795901672820872725259770002024493523310498763066672496525972070825131426241201789856255678453215824073807376707886787158121497138840330624069586528689054811798066033816153657485678640623686065133689276549563695914800726958466577976354790367059171882047311820659610054970374416206580714896317984474636035034138332947295866744073258632026986221328661636687933865010646188046872988781044158667829251250608127089534100363786832539770348111473652812328,
  5928900218347479647497628702220058822375405028160275752922485391281128176694314309240322882003629147749267905976456436616827408443827439670531560374601115384974000039076330147467475671814835740988204682184509358419700221857728274397930274268686742239033412846629110199170378379909257514733877994395111193336669827027448827674379629443528357902077982857727381578025342986653797497364471935478556057297410822845864479491070076690493278081691036378895167487183717796383267472218598647940112588688421473353566916151959311418618766024218088,
  1505917312971601036690161627342579140739932180011260335301168905358741230494590877212785937233020130707441322858249932876180638434233406609642519809176612482651969768723598001201060367425144204403627281388078218917106717511532357627487760975191620730648453046890136504910635484810886275053128461012662328306787177598394025874502058819484320859815986986252699950444020912029349668012591396975518204415209401706982833717473167452399071304087886552305507531098476273408361156899365388747537346918731964697705632915765125329981055096498582024,
  382497068594568315839653555716312881689120398317831964890743979475728991417449388497738387734305109570542346738089506494113265334886841451409529499970484969478215347255754815974921865850314813082780341267889683095586686547707361109107493357424402978842468040497248043137102242763585204605979895219221836278730606440165055123295848560519573970035358616525328060031203286312468161877700850359846145365405890622750793899758693462832673617960241493249220017731525789727927350584966590143226546004769230611743877193688189874503769375744615616008,
  97152749505707380622235312990316129369895841240549307821913669617929805078801650087548337698576264810787048630151876399571893214422823495251410850472694005634984046233192999659628952865612537378821803054762591428060101276400158189355675825024823165005256233833254112820319059026465831083643840257221333752469267248624325607291271032313152304068121272610447074547975190702454883767268003400003945404608681008776994667704990666392046699890597251398749578996276452114620138687424614530990795147864465843418247101563884462998627440384035867884008,
  24676415877381080109731929845984580547071854554701206354801181338974694761024201672848780037050636956830339809711838515984766763198062280952406946490564306946316469527883766158729779105999734179407655195568430333044170137519092472735232552062947659508356240925606047408317903890479557510040929445438999551290915150544138539196859546358980165659332767884437031607125667235137228008724195162750642286625239570338733894803167870570117029098593741613789143845036487311323787299255267124281518741011569554997623019920032965411776866088169365826922024,
  6267712480105288640491287945567093142826881161052865864811678146429954539495068423253502581073163210770095524618176831183731185959093396538416112997752861270358748276036243411317704263971066869032165597871326542001791154828573087916559712548163680691957479938870102787599927269122781141719312435301248664694139978970962564630395033504148648925166454921374395581135371502534153459332178303335263136857406242185029632285336934134143333344342919772651043787060271500624127353872150424952974769421790802503552828812586809330128325358954634884170310088,
  1591974293530865933604677406244195673697480743052873228455811448011869478336986355304716806812546404898647432913207203282151736466846524658476740294482736198364175745643677942708538153269544984999990654204121373238121909156320045238333431754681511948097691548232080502002973208453295930439195317637071721832760263743473947277581141650507397846826620217261212040576777235976439841442364564851994086119494560275427187866580778102201836552434003028511751332769463924671217024096226952670931309914393852266347420895377129536887182864308389091213431840328
]

end D1Bound5.Prove2MeTransfer
Source
D1Bound5/PellLightMatchingField7.lean, lines 7-8, SHA-256 cb2b47876127a30e241273d61a4c1a7056c0b462398797ee7f4519b7c4f90d82; D1Bound5/PellLightMatchingField7.lean, lines 10-11, SHA-256 cb2b47876127a30e241273d61a4c1a7056c0b462398797ee7f4519b7c4f90d82; D1Bound5/PellLightMatchingField7.lean, lines 13-14, SHA-256 cb2b47876127a30e241273d61a4c1a7056c0b462398797ee7f4519b7c4f90d82; D1Bound5/PellLightMatchingField7.lean, lines 16-18, SHA-256 cb2b47876127a30e241273d61a4c1a7056c0b462398797ee7f4519b7c4f90d82; D1Bound5/PellLightMatchingField7.lean, lines 20-22, SHA-256 cb2b47876127a30e241273d61a4c1a7056c0b462398797ee7f4519b7c4f90d82; D1Bound5/PellLightMatchingField7.lean, lines 24-26, SHA-256 cb2b47876127a30e241273d61a4c1a7056c0b462398797ee7f4519b7c4f90d82. Project: https://github.com/tomislav-math/d1-bound5-lean. Exact entries 222-229 of pellMagnitudes_7; original literal SHA-256 1f296cbe817151c8fc44627f25fe4b74054e5cdc5147444c640fc2082da464dc.

View graph