n57-L5-f12986-r3-t12984-ver3.3b.txt
p=7609938707797356494619757640527068464055227596086741214727421800070092268576998264022109510203489449639987959397209942897582355995748651545395842402203712052443422806163016835003967406346266331130902603090901505697109288499599519301556728727103581545426166053107884368155427560951924618116154239782091321551168041933235335144772744343322830125862224980800966144292892250122438033621870491809688238034976074390975152593348234951620329093043188706782949792911907363129015620010593991841240553188910503575435955245914858328666731687776717227586707175437486573749827550076345280020902527637944554531409376591194207467842645919452760352173132864226933524086844900159723981993578258935281062131110962639943197938380111828930412108476885348345745293702265713809047026213646669842661611932988816819198539010747218502840548129018566016532773961859448202531934256563745462705282519212058234673012124951809546272807255995291401513554363200195044173150358607442270150825571026033099881415612125612585271937102618985162604776111269928441462070966074395362387730959584721322163569090230635700490086827094343447245060176967584794393639132568745612909210833308682095566971106667431338646393314354233814523337224472989230483525260121964486338145882245891970464181302611311587920007368753728962595884507651755996401252344857004721439147563906111885588051057984409105850009303304532211143291094765491699195418904588190187522164218379434222519559656524468823555090334992638398898391003480522179355369498420733945208398695953129347490144276624181215568930931015562826297880665736387662372728642970898874459519110199020043268915314751736860588035233090186653259095697761611071414941131797082902596568758153444236508876333973543203142730896524611237943331059581382153244575832648542316919402944789470644291770805409224319137212328532959036723590787244758772300769363384663384189226023193184179838652726063812936421796025081312133894306674242009712465774832756633042735330706503391947564498489297331745853414783985739227306510812375482072254377116586461247477150370691134057581855015423615097270153720573509578592014936691867277793257479234145718336169459343461384542114454092534645867555983422105767136489169029382766549229954166867524804354356159723408044523955182515536167416625151800923661453422565941635881100491870146399317802861996645548496178713018397950189553324709816737682438724474769998821630046483907308873839613134624380478334927044230004310537192821337617012497108023455454625609670224825591358170772043710380962378798659686711856577400236563541094128997573244481383329995187328090754101706625606172719784283046771060665819358361099989281344260198012398956791303756512829245056796596322705092343973313995115089796959108689384295851152475804546934163418295229598798084235645912178893718219860712723634266416525621718339995440982460243152017063170008690473137793937172027697763127339506903906302319678957804388788075105030834187580062072483744328804349930549260650821387392208835865290454955652003098925913294451425147087604713918981448575559365537752313499973386763177176561407430201424061333430359212760957064946024138988369786702529181849794594342328125373660201361732867588614645026384416639149793318069074118172445866863077289194281945170853558913094940032518714650881373585695608327637560654742960698397193926391518074116178008805612020431003671931026226990228859786996314873945732435323119517727303575427856577264220914943777697761631403483401157725180158526691585974651764391757890507181463532538237016242374992120359917491500025051723157632402886899882655222920292942366862719595694986627542525353849093071380683691361870877514899499814820614977742930051739182154265523127441416736002857400011947308167202326040852011260166094921809922453035544858233680630820871989246874347709063356904773954489660750431915895741275567720877444113713713578391105133822977310318206165002839481792353067282476353757141201329482656195084664188998752034933445921846769322229428655179544453346752892260891611910449488555075408799545248045890300473414815964534785796450961145382444272516201967043395426539977633017222524484901625477752066966743079421016233242298703253076637467230031861513630005711128768096296879552089403919700580480764667352993990106368754248142615888695451677160266236336315275424044829663144441203535244635427379815911604617204598616791806853080792169134933883207876415082722263813851974154120138459971924646486366631847844289362717369735410219118272968757520827136032997731416747780870252303632719025034854957995075750600398689933926511831675415885235342466734070256320343542410544951491898331613868984878958563506597081035514803442688793816210748799148752128853731090256604479507615182910928328054267790804052761487372940298838911780662382888545698265095859986942609698245367052207857027954730232553000013805031653257784889709111610733806768845011719552430605136581910592605320779907500926465603666127707062033070503972413851137631976089491533753188080563242924871993207939645153435525718374584969668397099436139998922106622781867735620954620552755749478611352410040050603121339376038912589638095300427124655668964160120840132010920379923738262096623364714745143191593338045437859143473280538560377657616401241459191043512778711062912353421108384118546340374800149179890191193285119185521205867343973671785569185122174636034235828103193370330133658956564789239332020713252976820899021813301669492856591261091722417925987531364174908033909119436076842190333148405372243071775058442452350242381163247797618165129925057250350636917617863105612659141895709437714562931778793786752839251011085111985544867956843596029101309681798212967008621779195668967540411869349696804849494385292707906425436696577492529518841681778315891477212132764173599671114744129009785007541834907016093504030312463369482467525392745827437002509032135364615191046518895173254427813346272138796779201224274169934950187411216651537832146169097950739352731241552649359090398346712065475620424433786333836178427019477145912781049115124819147605284548520995620483147628385993537407086315981096569716320673746243354341915399895878283890779542359018249180028824403658391714988921088597420957993362593833257093635640546251713370780049581872889255045352393605725285489428472722194564322324904289648771740784662809685408397509283844920390193258683370097930329831998070600908360847656009364379533292480381474972407427037908595111311608315921292844388717776821574325294894379860251886839318058598476056402329110656330476384484904985617568456062254997861126654913409661947563304186129443647075323215854022841518887731672032338475024639039742463020932088254543570948309953234720718747028341395596267572123476642520831350745198071415581061913844233854604012977176753803493627831411494764292072371592356468203552055311156311525275118163103225264305848118355565176845704414503695001430270215016431145554521141337854022887880414003287121766451315400712644307986117264357001185576333551072089391009477553611425775852800543225438586276566999059259173514136789279842747761557751643944014624869739764955677498961168594164783032824747283976400635637578278073490123908850728083292327877965881049150918022537869278617678706105324754656503036635071863156610723837255712508498767140622767120665451475237738489727985306577642105999319494653521465617494438360488962056152554534185154940062628998642643623250993195212403230923130145109867195880654268391437403313054155041307314040448169658039142623422313603981390039234593521230091925812794553689389028442889173224516416995653974221993102318620926573119107250938732690082276830955806598675612948564934354081391929458365179328287794005043352762627271232488980744909250772699431947477035087529883271740529052427132135547562446409181758000435445723072326541216063628831125688443764893916073110276220710147760704261614554939182705556904070889650175205642952505630259064104965525053474564284824503671789094749487305640269511569933214714069956826091742783294493691162341957912888417924230447424119103528669765902574563991293588814820066872311420347444157021001187461506169370307817190627600059994791376461309055665204650865717610913153095556679789541936876770115442942931712266336487314573594064736563223823800528452490705356435243431615220582294728570585126405812148373703245526885916571015909435380891321593318652109123589717927778788241958930596188968006975314349374642404519627825709958030011320160961851214089530458379850002053677230865790891897476952763752448430623879113201261367075458222938644542391951079707705507859585401110178010543872414385546722135577563504275209884127555708780633708772721167070598944356462069041214508893035440647577190184008070469703954669642348014459180092565086217896774855140734906626523643507676228329286187396625321546446527214598652400388834140545651204493565194646868712408650601937424138753126925512047662711794175428058764706315143320306302257018125461858736372265036808551945376692690425724309807361053455953356483807237771329881982365582313098559760219548497799669041522280478639022852330249492191335337535175800671716217493667500093579292297363281251
g=3
contribution table:{0, 1, 0}
*** a(t,u0,r):
462
0
*** a(t,u0+1l^(t-1),r):
481
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 12 May 2024 06:44:27
end  =Sun 12 May 2024 10:19:48
elapsed(sec)=12921.089059