n26-L7-f16764-r47-t16762-ver3.3b.txt
p=870053869069556261731441827001316233684028196686611913152731992649454065757756108397769068770981214474571528331259693290773533427403980088320464397408563209113247046944785638781465811772984614231048108495599095683921549390418691816503703017556590154219706827612805835711914888973286218863364716916733526308217892809143138934241805473021028799584243285279875664688158311282476033932906579133024666199623087778934592112437182504031961668979895585324291880523344817937022010920051099854000899986528922854708036161549743708221998730484061343714837031682872777740751774881100131774353683785868588613227754397147880612439761574428166930961450002689203998369053400498441124841043990833124464510971861176669765309115412282185271122330925481210980284108824700837610024076835457251451027334437689499445590650471400578659265665851983765177392518169753401722123458764801670719004545134016217270000979733616884550936409120932260099383142215095579141664165713354407039446699424185822313696189624641684350893251132343345925178092761301704450358532781539048473926088288096092694619640570925250712256914072308585026707487414266532235448381529411011826606978762615517609221450838349153713718354860318395105857032118824663444915116002765938575984176662874957805919897706590843860033077964118568939086146438612504074928205713677610188666527924249673229781948126279617201554780620800292283017172154329044180053385899172130969540573641869732979931342433550785431755723168088861140907045491448538253124088642777512273361558690635580035353632149209430198872121459854850612360218910069691163908808916141570695382210074899218547409518332906400921477284690780798695650935158215492958711264086590731379456461111452910499333116791213505427487926898052081911738752082820896661268056518269225262174615374998156046172042121842537843744442779251731292134397634450875559618907248626468495973894873226737010673701285238641364664597236691355669709837903090722171664399832856822689341558060607000607150232271008524435694298063270918407513218960193426585998567567784244811156745707147496061606041384905560281495874302994894139795538893027813217930370639441521246807088796562180593775118386647915607273559821740503076335065790292776965482756595023200073335040662134763292666323023839224027535936764077297290054512573973068385068647805925516599985072908801785507081501921924909516280468334561549978203310651335217441355458197122679403641019362943231210472135949268090138985995158055464334164412059628774709355467127668990844268200919422147867225363684598568674041132825431856016707457723503288830055795149489980806246423553415303511748708374015520164306118953030853746444739235495689332747754261393897167566393930542773640542666565568622482916250646859927545083599343417240366241142475747462863113912908462240759750138533770554465892348242527955234425167993004454369957327260229539306437205884788858834040429197809705380344200728001477824479369656552413338372462102549511505944211471752689220621867613223268817772767202154436936726723331532952350255127101400951744127552351915138886753133344836847879815613960884696952287501275282055451036542108656926408318940917110295569928730961944382732163712394761699409386532199520349630134710446324651472935610849674066217061802135294198235993376920209986722105375386059332873864699606177623881055323795421825042525250709827195932646335806691564425705515550428216726320562436898818002604133410074705186385236903885983296899274726554260227951859859806167353769576870314962052242656063864603811468116288324515463640728682727594767139109608377545810199019170120378787135674495731180185525481272584286576540313176274340375607519074937476609456458536733619120269544993213582386003862128942660993817970993631999974971681333549794911916157412864967608315568943631591432831969037310537731420368932271347598103315351238885493492472046740468986860285077953976318168245099524751513629931622992456650523335338642216459377331111988973106041741858106252566107395252224713584517474084130388807531643518660580089784651738579820939307641201897147328748530587686189038238389570310721473711842340932487407631545527162694134244678238214577660714972066995870147712800636851565174810594810088705392506376961398646234413224967273553618869013838879135457097285976655216077420497023004650780910361513028395013040105006557340047154339566493586314733227348297808704766774717536845677976974487032334544927777864037989168403306634278612212758255925920754135118416250898270940522193860330862543987275327782669964655730558086544130251676579662085535060482829129615702290513074905032632693521367504298442654578160402636123436671840981571548418709188719179886200162600728156341190272282268528204551271019042089878911687832991265322690692689172190533909819614481149494451275935971911503216758942091581712135751883191491029016254969101016984724741147647744659705767708656664227332267079617649372494727321820453979802033694150786773641129629932561236509912356008346274173682929184037625803288711474325801418004129917351224337243799167391859416632326165245759889437863731053079973589263832858725048331269701268728327565031808695016680096288192707234236585066032013791532521582245911658966073248271439005491825962211004738386205849466967928173520038522264091699293245749932483415234659130989779901678210067454193883697768909108316796049399104621000198134618504497503805587911202816954004633789879842197082761231845707474845169888446115919180520434122391982842752210167693047925557928615793690830416630844838481768566284588574930366032091466041761251470616390915155848364516701815921652163221656390506860366725176454284659326321575201846817619194194929923847022452167192134214134310401354133676048704912548444050025181543389066398974477771688861701752367730197821739787175467177743397482057919062197584853488808793087269875359304947908174453082410911569593042243718415720533920031739204723094474367274137021129296211955794182596358948782568734566096543274336608237966671188354563922661142889877038951680600291178262367576477890556806486821870252183989900527016898864567523720972298297653915205494748054739422567001594404210062458900043224386413621456337208757123097747488283666128606890606756593572418471846980911594085979945734574519389359570107232058576009407702762807344375844927661838657737896310873294516189268176425617690352088261625621931651776460028453410769432286910235843399146561139000738967576317959590567737010847342784324224584042211668208976596225479595007634680182658918591756182088469491237915057179809917449726851826388650993563511316183391100575121099315854548070260304633791966227242620858292550899578176442852314019784222461067553599438204019884899023458437940726405679086896461677481395390421075132000956808249219859934171030790753532022963857433531972484102585393178426531857697356250329749142250480969508910634810332199807611140318395824498124465427932300285106809868629481961594951379213409575751789509010755207104564805822651302670458700400834775346669684706026096574093203934023125215953428676930734536094271464094458454151033644224169892022261048688206549280716624237832203951091796337379611107758095485267182968010074690319294110342158793168460370653119055954729878552644556936862894298848202793702543769677423294768920783392549471989047649748316054298928674395532004180656073093985851642073094072132737558376180318559497132465591398120145820185947353973939896643974124741756396396873399772401429665928265324830602047102778121825094128666659906127625634973396307566945360268085522790127354721022507569454274896472461216261385740244669312959790115316097450055739980202048700800967731752344664204073678772082160071118662670745583270190575317205322469202815018150996554668826791003492232261723613419004314855277823480344876645823473236546606930753353180202102082063376059893373565904902600685477251754785443818484870704072334852305000233972321539598499266798866767651304837966989367819264686105998527485214597599031431725389319859913970657841316933127857387387934321330220422879294542852296434118858868722374430578079133596732750036773281370658775970892685482055324944443176536254803721445654041102188161194869261970995204276070872200590250978566128617643010336497966564893686823125226872423010497518045051826572759033322087227356756175265582936848562443914438090108841170060310596922647762330758372399604922813272281589084921814051051227521558190823905948636773264548560574897078512655892149484864792271498926765032503446177847505685857704208233920455142024966451241661261676769031006678706019007443646131263156145092807536264107037870494065992954976830936917016699332787759428212303695102164469024196432717932230364941553179173994318621129442670024174131957153790607078102441121866295929437204178660738721398279127622831527996958720979803313890839433693561191952918504471346978803902676242658281344488684032385516717709645742084487830816103877300950705351068822707617817780414398158502659871900764474037992280874570900372332013833160918149673959119746594812210979259797034786054804663733708766889055391615603982847620852304390115394307119234633412750251859335497296729314804582387063533512908877466215729405382874134281065367041853313992641260109166076195407020296988716856252888428832269600552659708363225429663480829001559538013808545655646526158513796778940283624970094905650538474298968964591985373773440047149494319946514649924198365897304364741132081988648554788463659864977715934995370171666396917501968155514736636256889711345170358234976032207265153863414074294530277816522580305037424433352051770727063176535909440648034786097104792370770813027467291309912315366736725274745660546612658079448672580754416213057192450909315321754962283186394310329262373968721991287370932687482533737934668487867054009902290912615710398781488160865253336459267419762790289339168937119775786415926597814749673222093060287301130070297978093660992280609541836615751084603681213134118295341743599309381154321411188253424404430129477481495286190582771447947648631760615242105732096893155774608376099279386422335879930330343834436548152835598799991114040351465171345536846670590020037013722668727003852958571299460247515249689862590767753416607074080376489238347735158644539976161623457366196289740317415529879687533189350696906376355558055289866706686520472152641162352352720510727951415887989092962942622996999465688620237791813841587659006386730840097748981910204231298769417270542949391272952207542780568404837111488901805112697561609591777022877892493283260705414467159453452390027548111212153879356820330869659190211862353267290702737184583372882243912943994072351738843171020954107903624180480369741352060367975948391928335772101766881545067102622352769357610295772764147592606897172335134157734100348687795824097683177505827066686051249983236973290464391768445966198813747263268500566496335219732073416429335194333427809998683458193456856307473983959996327441621231377430973177355717557411611514273254225482004106352927820995342630662186062098421043944956289544990563275815224371691012440200479228644065014329896894928922513575272965034709075062713645790354620805678885365733226914887149602610238587402328108954840544382617393815528073196015798869928692194968068786976528002111555636008861796214902423511369629982114935441853678927288465455268800529814448546275092470978901761678936820005582985624673189263164779633129127294529189286508362059371647520659351910795652582493278659705717621207471096421891829999039653563633179559158651005481010007267536054598721105083983696313423497164883536785348305375660704466419825752977602592962207176471387599814549717269392681202060538194347440917930167330114999863607347045150801414965131180813102043291414116326713000631858942695560803214438207054250052870815046329328080462166601628963879637549316932366942095494857823729545450480850351940251560082000766810582476868328736481750773477347733110632049230067204950550213909276772752070827713451941855266308226297991473219229119708739192525534141984506508129733715844448105414948700852710469157864688981963026696378245246192281109901946040481097210950234762665766867695279451567138340440499939538594371721182837380579127408905247755593127600199319120267467725606584673530235526434718134987898593191685833165818906897202255504496066756564787356214980515152635197951936960428584209779010196675702030962502969855705718139007818232803822801013317417239312118229769306691669636627767041476032240699512244489393179692942707978946237223567135101527401624973900955807621421556666104616428192636748872924396791711587138904348223312696683853450647416022650140874141835995650447898945050752322127292758998221765932190474888546074965223340109332252431334222276963306556883362978963239284949659105944146131686988438707490000024955133330418484475151522055470572829342676625806585557701441314846913084070105981705971516341151755994294645540816036238389845186634910204966642745764401418521538992755366883345325287526316124836346608375573183906436290204902815050485867078066521074563249177415206291402364542384999282439471780197307660111089798944678641475989296896503239441112984740885167793644013255575044692609088257181951887581701494022338652830571858831070130431148868273941255888362229839335008753599960249946965631909092057141714195104256507125327900153133170905280537993954476325892368781746624771843117905538611637630329287867753787609174061556400251968087737638212566401149967049946352009847249769921904608395495006356579903150791778156586056205346226178930941049868252550601877120478835027934580832432518416136729088212352740254169365612830693121764098126137479783427331060655299871815049018177022107752919555641478254777268144793448052590210243429466974478537481202603576826855021448539431196300251957799799875155753644913454134737960402748109475468120161076018938313585161434729552914049608502020858610791957528907512450794157661032937706779315169787239817297538014543991625090021712644939587059972037091741818272336937577237944906971171664478880192619706001102488135050757439242702046066901209236437339356313314676954776538892487100022823234246429864485061719695165571511928905632034818609506769503741774216628598724890668722761796542531361602218922454424432620933517351231701600139088621564890033436853
g=2
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
256155
5
*** a(t,u0+1l^(t-1),r):
256059
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 2 Jun 2024 16:37:59
end  =Mon 3 Jun 2024 02:23:11
elapsed(sec)=35112.206737