n24-L7-f13288-r3-t13286-ver3.3b.txt
p=220798921034547464394732502913816072537264955024065100689653778592377209001820739710084324114562974847630038145349654786088496471402872569386605143956788167809423092020776277026729752379124063840454333427163438877118218990321363776474399273391097007275848358854858376651184847821795167826489905742910242043071309071672905642899728805684858322738671036153284373877414948083631051380840495989052868866937293229312794662877929935424848125739277570655607761372718098559197214887407839153542761593629306304626447079628688512482133682129564220689897120075719364581431617404147536105081415383978279929586536007617386683553131162707434355992534240541484812529889779383326243496580893865918164411340648678011919176667551666928628103150613992786580383920777021170580876579732929744425822835160324186188120573262588360710765771889513871078337247923283200172865772532998320447034274179346424355188452944144703631061389042692194696033445198818160922816668909533447070509217261487071523933364833802787311525157825439350517561534008856217899895095108032123228846538927049796633061514727445258058144594610480019338896230014831833445570682873906635138439413536555940730423259728108880016659191548140811786341946395070241499199253673625772547119884775580067228696409040096269731343601481781465902975848435507252752213802527120266015192417922025377245703456291065011855537808692532064402945909226886649624315014258127331412439009369798980255726776693839628003199499328621685384493274319073256932132610143425033865201191338982326891155939448596782478920939479897869802988656963069544365096197281842414532061935858328831581960047458668310313677590737246055444838183858960042337823207878642892863280523139198992641832701084364759778574484800675704583130562051157093231100229974072015533714270350769304324612356979681900683216741383403097461201006516878817973652253483311066421803172551058219645239904054148117091149463381960361302240227648126331124867156675908198378160527384168136180348360082601772760418085496722725829744215433552391118959009608129378502173450395055159711390128026038860197739018535672182441128060204310120612491819925526903953707600324289972530108665066243839292766738418743141175755377799213622514141492214692449837290795824683907332465588081677878019878389820977286239865410762037390859454136643723773111164483080822267532891160390307513016409886956730512620490696772443580513331768185659664941299532914802018597802569333595341383500827895030548228353431346522433994967740878518160149682398461335362183366523772964056161831394407224928579287780570242824590963097087350823730058517650543411399425932292151339813446497624722398553470960532971523827701601177205717573450189892763280436334365514885461464631955649043978154396949636646839709630370082245282284502506510498793493477116886560574154649726859061910307960586287057395462867020344276223423808266638476223710669673588864440586749721734475432634838899366969124788251645519107594418790275601778783093607536623873881062881853633861639990970455934738710584045315712117051978355837363844993242866383148658113844318094623000210999083183053024003647757587658099169810848761478344488792970922208620271063907001212984971542958367787470462577775111663339075989770465353367909849387086553743259535454978362481279481722848884792878512513938495927805895751512632805669000914057254685446487953724488970490998305208354552419554575838049295996327769331582143707666165492324173666761437784130491979126066555220309099803820000944427003791261840229874438075626192501627380845756364538320018055740798018179817454239740674011739652932819933673422841224599187702873359086914606360561146519045208429518740612159492683365739992931081737415457499912920438466864347793179597394807462121683757011554169336867430302758246151706712761475843720761315055122679081259235763717264823254383580960272320061246627652874343539122190519880803435990553059799006945229374182402986281575751450125138417176164131189303814246589201192059022242241854220901770254419038432816156561113015973575910221110041718020709643238411192976609924622548103408122096723612504510178128815622811584088341678453791200759256883870371076759442301860694108933463723168688499715087783226074469510168603965490779573897843868553760421801962958354276639867317203663559783004911653117636419049320516326316564691830610055711811135673860557105566700632268136211451409744265478321795208850181018307174963165983008443218793924000516810113904830668323157857221460347654730776506640084513605577427920310056146181111434980272247611051699156489444663526616690406633047329828834852471218908083366056234320143870150583424670932556720270695771301232077183714804063725477183840350811016410263426692626962946345611968046448761722681523015306312543398500541461694451039872303480485950044962468384895428310300382155030584275404131325483115419494453011586576437711927458656890432076875665163359975767652579682634661609960404376563193117767736490287860473992693061263353350037880326710832774227229667805704814198039454224966335956022638486530699006972790636375802566249608280744881432634160628685443074555291978651058566949480400792109816905521072086305226795850377615428011713071644537863923170599059353544230463699832655009214210687497544050592881271219305186726780817738344197635040731606627695627481180109192895672689567016427059518334845790705763670368272340917193488434134401286648658863496333617985877068913378939539766819633497032000561828504367553131154807314605950144676889367082727186733500292745013243990082746396354838309823643760299172996613384405131780143187285742425581440352771256997602085148234047686097312624868124362587476469989149546524076885928616410174545774391870380688360754937112017838948322171381680238222988728433948716551931585661277352355237589514061263696576170500581032096204465142623792217002108305449051116895362886916719503200082012840767798255756858608958735263137932370942027353361551646486620055722530308623983038424216458066078056136102283705873075114828349796313045398801366821738814195290279025748782647560279836569646579649926000240786692725477428432341488750998057111645565920920124899492791213173977197007803791809683623640647375281116316673540492179097585339287351440188652109580324469647015309306592589803337656526629381323019263751401522351660708462355886198714513605596652729328090068462809747621686852089100399041896958513048338253455088447429088399624948722926371289889880043031085020317095999718556775599630104670287209153593934408267282038881437053882255044956929680163712776245323975250169905206650429138978089792840928845291385610018781590977001991797105557899641262134570727355340058325149302386556504322547983506599251355603031448913513786322844133342669892281380039821879113136232188235295640721253481931316005672681556279986866653690955000080717939235079940497016963793773079185021278652119828549319892533450047782687807624661622424747846829865100164977207344199970223356904953005078002928356649106776041214531074142368681799572144158015923775307761482028514170282483791715295190466611113230874815718448603014084084898668610138960333980119662144508371227489501293178244914560322748979957755850516342032563249552412147533034901479605067544612452817136123281424686147753631193866597553047282281704468223521574599350726081434525543154801368819858933549915645273646560843330157576868997083213479093994069284840219712598876355521562722527170181149213538411133315122686150400768525880365186662015737592533204563031578935917883844481248613148732565046470581074037257316882768257714858504339163530763855065970173683008333392813278193717395936630035814537680667347091700152399633060128143437562928163659150995915639747012621266001256930599807411054958610137522023323134305614722625083842447912173829199956952628676060114041078959559370881011023556379151590252172087005472166141550414427131275861005307284668177432021774720438445492898235337563863676537110379641311360863490555174222030161539060036177889574766729293900781033024679352332451517336417795187320507008609886757853372932632252793811631223234662516416792206603935319108844736522025382835040765242769707513405461041881731243825093838909953520257272094943039771682981196118195983199759214910975441734556610514636050401505163242860982987888978042519284771910543618017225196887552352116169301833442056166066197171388093816905820622263374918365427249735985460371011617977832085341868868231348537125707885602360662400373503371736469520653313676812171308738760269302285524682352657743028053687467944461535700402103165409154628917557812818045282093817826891273735135696541999364652732267114680606195490811618223269760296397521172247165264796201328674234301200405429887342686286262055837102947971487443352053702096001931054842046333615749182787683158626462766751139147096799515819909793280108783190804938232440459222001571890157193425236582688230604448434103155579995070748096418268868881788678044210008810066735848182370994656507676023451993488684632381673854048670198262301307803697034205420565750590369022165102399929146819692700730745210893067045444571725804235988673683611852282137695999304112879567317111084733172514841873898588093883257544136578043463350329007148304411495161773334598583739308546981480038573749369253262398941790371099020169675253610777077170454565480371464164637575294493762266393598908084630686532296158268613154293582373150461289378903983056491399539348847252022057878762970306234876711721615118696652765274468166639074147696710672341266736015035196142324118637122900185161954580853726332178542143382190898044816739117129332399140385961366356430467969977386234550588410224683127769636550428323717983925826197667912862089034390825587982187475264707560636681607326952350806378716702715586749593501308187317846712708139159847739689194007347156505481210692574068779811909902859473221090474974989332525662584119543708077064573965166844333001491519537944744633137715845163996359685990096668250953297241892786007976473793205811319428436464388462877674287894869626390225522883510228687202579327180022240362084805416381353462150300681024894511332417110328857659693299465748564163362687574557997439253047568227533874459685986873193218138876241015730887805089895590099750561007026323812708073672795929603998969162520046919058290940097904454336536510879316696905502171610490360290103742362079688775191064353402189826122050702696658640008190734847808217119026685818710000083134190382205549575719307923396203491430684138553279964091127537085789025134714327725390894756128142263757714146693711018192378778472805009482407417275261824523367921310241215029390953303820470440487074192820033736153233186264701155211970849580636877966195156789991071021097171296209493745615974040760622506136840460964412130790763730401769774918380534369431514504851261288334732570675220343932865475610190683535063095782094608570291235462374320838200313287562394982824752802208279801049828496456502386360979732634771723017699516153058467919548797630087724339758963083315278594367926284724307108648192441848780829497375761339051953169748419412760821257690073279458054365965380682977831967899184722840051410282623203927822121833120548298282703069700819102031547414152896395271481692104432115681761446677109089521923877533787748834789391703430481563550876711244739928155385574449
g=38
contribution table:{0, 1, 0}
*** a(t,u0,r):
375
0
*** a(t,u0+1l^(t-1),r):
402
0
*** a(t,u0+2l^(t-1),r):
389
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 13 May 2024 18:46:06
end  =Tue 14 May 2024 02:26:32
elapsed(sec)=27625.746476