n54-L5-f6624-r37-t6622-ver3.3b.txt p=1025020325536522119407099832253187352773593238284465757023452730046069302251234754311780952491730026482365031157461194802518223426631960367989145061272237267423449772639233134940923537235732216946269315197182879161135128927315018324541935602921281774057729511744907422987403631737392377635452843620370730238233741458347525288779416835258511509693814787438269291944992079755564108449633579023933007094641386069961688006734032021801757292712103339039244626287487842944878410328115394506917576627579049220604796229244662786429934969382398446005516034000360661710135538038714326933726303926900674817773932092254996149745046501368405992757830716828954703392433882376953755410248133770498440925950468372399924063453390072532934575471378224164804722537934122512897479147802073192565211596249010369685112207356375679287912539063351350724550795967916516319951560156624193934787124092383768702960429455930014734075626924370132824933533854021944977089622164101418529973677797586222770666382866527160733609596061476146104178382081376931934207376561768947854200878917744191851322883192135437067637678837468234207091287883917711432209966177429117879592879199514702940411346432211256214371021218915273173984652223841166265375802869831654238954338145860968890074110980574851385703252181346098209535028862413579134279259107731521689348416895430424614420291247579667712542207103005498125707371139002093887267010281491351884529870489614142035601676192183806876764138106478367294648318056574484971496278343522893685785315719864799176697152862032663626576447425364570528099734600885047218992577227748048561562537940746782474850494065084328217059418436061606219127098098577384208034281582371021393855936316072787373873585291018813469046275880653553806833521036291140202677919030308427907350676222926018617541755783852875200439527670401849169714749300654186726769513222543704252921064331218693111087709041385126309519312727276813686173225552349792470175689251211544266034020720317114063387783042589592761773478413564245536298601804171518001077549961269384468380138512648305008051598155680683067997352920047307743529913093874415194789661226040291927159743161036723258954044111947472702755181225176464787690611063823444285766268976591353687373616520018431059207866510992329850626285358983546671424598567108841394269272314410612048865501013680445965373865037479899402761487263966925853565552601699922143791728267559717466267574731204417816154298676831891676903775901156750244550203923509420321285528490117041570505338577834811815232816115234774400934442522339176650463901176861247954722429817980145638714995871177306361856446775402850237843162433342501541993500859804901946981628736628986159909664234276115713324847461992393488250451246245584270174566416487902497372113518654346539455818575355414529521429729314462205157834757189035398154559149709525827873636778759409671859261508669716721193971909782692314089648123525725655205458302909952904619264261905192124317582833535403360437352380771048317163353417564466227763721303631264992783687193669200619724430153696428197652450632430278191666212795503147903446100067819044159170434022665251940217842545270272317269159277389168780591414501556166021726158182212732351889105636952873819189925593122549881900619070337052752726268166598364826348069360943175138076854270998629171836409151914305613782262047257761068899486387293370731907808407846243340557887268108393739118656832307424048283998468692353884694586120614816326204006152236195690537889257763430548467390792388805275078666761639941284480325650492923147924451033030391093051617532274750739735391459106455300808197249495132840568737528683878957071468118771088024944688261435703063855698168880464553969232073673176548604663748260075047895123271923174076852018059712521347463486342046354579732702086390744451550707239073214651575046899635220410978020994034410949571302022516220664657244105903213309245524063842336527001167976203907311905638367279792658554670120502806575403776619572548994197377549301206523646191628836942900622080740149684288549078495241566624532529248484281812711767381079976229466264019912390678148675315510590560951953321948725579875242731366739052423230683180495273052169483101893009716537705097143112989328108691482113919993036633323713474221705822624067998388094878118327160329137881853547883829809273288007530559910787083140553452268278651256761815654404125117378569962683130933830301522687946370413591965538004362271648913361367453429358138888304429804201301428667987348615448652992122812619125302654551054530394538053995806360338376827083489238099158017469502296562109548548846333060957983478872490579192344739567488431930541992187501 g=13 contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0} *** a(t,u0,r): 231241 28 *** a(t,u0+1l^(t-1),r): 239797 0 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Tue 9 Apr 2024 00:47:09 end =Tue 9 Apr 2024 01:30:35 elapsed(sec)=2606.006555