n79-L5-f10689-r3-t10687-ver3.3b.txt p=3083425322151450799852924413090115853122311464094452001071698247220549133435326376468043690711043280975209205103114275940264766542672647283692884197700794872516414979587681339961655482468914337345241156832630337982564720145310997175709148687369162027193238178635695532968443092179292204142023597790221411065764902169212407111322254897437294539928035194162929898169298707702130428740487592935765959457767158056355046234910513236141900215569631247730716986785898670434675011554366503236528538121325887740892628167004425970294788694175047816361109344314833408676674310411494135973683721525884052943719114029723968111812622681017672579788902314207967185947875147135974745993017546679810565002132537508304133270610073042341093186158698081749110955707285856976339750383106544397882012869908261264909407957285671094834184557738942229590692014139860197040661829450630187599242813463665414523585441961801608307620522134942354202277875431110476777700302708561540844361644043364161447535987079992728811073293053131143423378727219254462782252844225294712949891748290462440522765374920365996683555066239777399189089271477387134131672887285425047710569611105077200510392226170558030286633786263337637692279901633910316502492979497589555206950265084647439076501996482884600193462357220955675173215005136575833475909529002998328310516019941662189898072487607019598687129073466570384437630412535879990379434770685607574377716626880432990054755215790074166601537431962549290938815976241670189876018043960232643883103403418482383334868782787136218162529837699467737663215667745485820551537917064595090477431769031865700167999937356917277969688078543548013318755197307451867885729610325810186801748375414695506255796498789693747686403798351964513696002783970623245312876122648597137312224949980569412167639281399448131943840036409907451637354133252506650681494232457103479151709345224181623628459529141543110505077540015521556282132400017395858864550994645972229181694171789954717508909383374275047754924936094875634531569813754140596632648289223929874745260805416529742304775500027698905372239378334829676868505083729934188357368017460998488404864666659086591554298066546902245678008405423500644807911685040971124335044513368698462815191215445005754724040116993626274754863138955797244514220971311527098029504645236165968351420022089028305577630643880545427194174563993013069865134967216505857870623828698132189085141373007605282494362686815259907578744126712358904122006967947177972785853138691573528451830118910881589731396630078913082052691514363332039350191536757818665626160452686864530920432247992911750794078599963104659665857727981974490396015144881257283453341430398038370448929372195222595423366926495401478169789117988396282340128105091532990335004200686843715216310454253491548028209975875412550998430622483947185839574681617234668485519054776559088140140164446789860313690932931134293904567844284189486644277864865268407774830652012570992471349066699186694389517547452365824808466881178403232916834447544954956902763620281477095555576947071085726264346478547124470179434973420933253125760692748790214078646042070151426447288361310363526357945175092821536133734466712409965966606425023390627253031716654451269615014136419152349568587270824543705885913492908666902457151770113194692553189396680957982584152101859618523784809831938480794408548327764578846815461763841632954432882041985973517818521806750795946616782975089444090002742249353587275227269193139244277477623350555121762671784738048398004067539093944090982828902376202986543986165300199585320530117268161390385052185808940288891761787748602166648872531238200759551949008151498803720835330635406785031995571118275286232915760327565706874850268497309086534892742287481433782331605697159159926758470603257955742592335663270690420773842565802557845062458226808654131771947048080061994402783333460658686646113946510811589442990893176711750256251252178099754474366907043602903890318040611578560074551149619418857610497939597730170486625843987186882360827354557934171137748184577810662607123777483429539179744284744281018345064011049974277761769667065463486084710340707704302888544842215262812016499456901880189255295763627171003606993796137471819943757598074017248801420045448209689143503244785214284816526137465394442173858046448355994449823482630168204110088819656553808437621048306889542213458004652029266260258358580195506653038379376728863699451280809167838529658219511865156754025615589812937977302439027636763249227060832770253172061015572812881141634772282860269529031704318212856475675566960838061681174239066126077015687932465523341734663669250384196478939964744248408140568867636557573807713050697975663686512408311928598107557254349112225639108065960189193452366716424140136564513812981515558404885251441480301632741616463099496683603246490350080478607208931331978461955419424639413189580026899574468002295177325540052412526206677304425328816715443924221534119781475509962650272809769888942835887471263161098529061435372898270839764979281633307795124944933066075178377483915823752725190440380221079642929514814745040587019798081617555054861713626446075727693072182181807882117687083272766964231482638496189918959606109722814353004057053718078323247945948555947449514112438380072689052629659788943985570701911602887176096699439585110162437993544827233103394873178536348743807944448346773585189254873731587897449904533245594510742848197254094339893126494743671896378087135286641382061603524863965719377102351825531362171121658762454887970970677255895983686162364377852333806705335910831728044349857933709927918113080722477408387861489912079440824990617345938564064719152961749219926390879777286770556199818948359465147928457056784686160252373430473241607452953708072694410775257331789707173705621043069380802961447856484791666355456961580879838414984801895866635596924896752167086588367070980261125538325539854671974590500742633662280485790829735752875028929028775046284140647404556381798600876740420134985525262674386919833787008021561348388588885616984309932362358323225445243542401154683854940472520250771232134233896054731136885042326326450089475301899204044721656419044671699715696524523059596050723264272375325548552767105366980906696630562889578419868548949570638273273989397575035249498256370023001725094331177663534646333732827439322634751840160948609639843858026949837241517386077963693961324880164386662185989302334250294846796973550353083935335686651364389832153598843161530456075668058883040118693011598294151065176126068090243729501809568196303967120048569542208593522674288374293491686594581602724580848288394351350765510167513286511679587338866749564212702055677976069240476102002630699319040514862061341097862081968976995296009187311829621235117999894732206548834690441134209149283608349030351965872825931411961125471648034107775705976070885014775922784994713703261802432362048244954434737102797246573711293779117422412669135716558489075089815858146920454211703128485078249001868215445966252496525828042586582025875891597910940478598838735261339402170675778118943081016621977065555424213975377047324991321782672421770750023058755222441578893144596019798917844008657330070901973782957023354528407630361063521685433513442444211117596723966119898904403148474463500260397230436936991757347366374740588942908497300188141853028979600384808759080055303222242894808876316275320166163070711516919894650763762754491829132823015932513083731380391418532395266462140399335231655264522032666718587279319763183593751 g=7 contribution table:{0, 1, 0} *** a(t,u0,r): 677 2 *** a(t,u0+1l^(t-1),r): 680 2 *** a(t,u0+2l^(t-1),r): 669 0 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 4 May 2024 10:49:23 end =Sat 4 May 2024 14:13:12 elapsed(sec)=12228.538755