n87-L7-f9079-r47-t9078-ver3.3b.txt
p=7685188739054054108540434868036802420110642040823497702657037518850518326617256440128076847558951379956372680351786397784012300725943882861602583290910900412671283738177546133725441053521817012240295882764577222309559684627147787487442380464341979417003635132968741260704246086264249803134860624204133774580752301002743669638742707882778776075285262268497391219004413330822258324422559699404485508941034215996975507435766395274356036989432366220413807265807207054917381958908618414492398901777791727032759686059858075973855850937503669556037057702274484989101954798514774384036862423417198969753967301937708371392485558688209977653237609749980276607338534475249398238349595000930863554455871815245629335038970131780163071936616014036962972638879013824879912942170902424646974585547121991482184015152002178809828740656974982174489777535743178740950132105577975750701875009676522665931258088790405250362008092209988606263494034383589236496564699847458721803229881412103465116649422696850314018866952699694452038099325071781210389354450356455134670352607009977592456695294955984145949926905436458032519627343821153030700837884926296444040865023875317819237363929650457819000698199125006598792639582753472916784241933031280379032041709078706365326344151197904686945349650723319471529799029180169557264779566143783223503640136466160888271126539175901838919913731194952400696913881167380483152912792712698711419367139826144980732154033280774109210583576388710194225842611782408756734108552069591918707160729381270848423924269769077342052932700893710068099657611074078436662181690240076485793442917812576994455956369470152979450845733727140412178270728186362307499776698479201503144099504700816184653225473430762660395609585637499872194164302858452044638303302986361595446462824379434925022511433416164033073340217105317163913932810964576315323237829522044679462367331511299514115001971383617031617032388744055441168384941138352953378764941143112809314261387825824643867982498628292880050087410828627155952614118577710641067424424207513333715534957991898722350416450350549010171016122575405782300663762430487955635633937999587322842300843486088752785012526825915239218867957752672216692250462215314254465154389475400998871838118345083564116646539130311272028628353242635316430926830301066095192981678756073863996030383171287848844137968910155076062816681623132457273139293582837992441720490368855260530874768834869780858805913583380228922149859719965378979106844786903817481361122967150493542850771366908530637146194578962684867273517905740633216320393932898284192290049429260537348807450813229552393584066135766634871919786998176142581766970356396587289224423606870648310285405321912634229283392177100848197842624496047745707005329836052552751654584983421335123349470006724544254350770624096542225458313200379281628311054961018232675876738456010449135389368968210672924217263509538824509018336558519315254057947301960840320811320963345840756499515934123344149650370488413179805000683581263567739658554030211130033249421929629464065192843952706913856340698411271029880293651173350444566631374317741670046560309506154382275696376715635335253343564541514803389692473620419533215463707458081258245529220875821976696770409511933626387439439234371465611921969398964720679133150860894173472128471413390216978005918218183004406005306746252490257238587209304892368491821297649071772011843549631522404636374255971034748386976934531585366881155018472720433051330186755601376531362048304342660301509772633236751920552528860203064819562356314203582932262325017110596925944741205072487598376637412228112120385050550214475167411169414158207620218574505854189421324422930323532251326040820066712237268900079240184528218001667406999284600536217347765990620119622049235348032256178181782371875999866714682374405946014670736448761000596574141322580802334092242815811805489708553294360581764256158551421769685555119819502489786138896494882166737851123570514856451830191893378078239563207365839459313094140070681786547591164569758685658352036985555954822144285571915167457244994267296390778508481175131866739397160127112595033120274339290525698377448481121976987963886282970519437276189502541680800577468709604469134510877663681608334858880210487240277361746540498186061510413229571021840876551485020139430814263536140206495321633698711483066315334029074550938320809293511775239808457896565383862629542423167319130274763871342388414677865086260527038827545109733389968608808502652390284035549031155740109958114287323826796195559979415343362455342047458550245537426640438274101019257428005712340775759320257004851569731823783076539225419691566522697562147887364688412015815137386474434616050998328839082963189868189855425851788862287972538991985693045832335761220134817767731604815958580918789494006618199513650899607012808335529506263881081996457928816872797244664445793600540564955649812506004154257149008959313217303242786680538022737948337472233672290989338474789816629965599916072450345375763680355039543380196067013625641312519889689691817354777769891053219324426366121615929404679044038383983106035826988381506071882806977384334280321915589345873574582432650536332785701224770474539759689466629195973911999350642908019188217272119254159037317983675449140381515029959485238942253214580576555603441215012351616746101488361809089308901133108271668164641844807774863458754962136238341941800207745455535934512362822164596904563105422161664592328307590096675940622170304186933286381376856780914718886255894575344149607297425366713760511913546761402905208915656414072555798481301005027859631240898293378443223077421680998193844123493822764216054633620001720152836925691229835114165897321941691260526192496201141103155092352497745633642848246133347888854014223563129125946730915183265233436043642099196962557571334892099565405310507235630649088424835149043693272804734492570077936802934557281573918389975934676092292032739157760984195726128970802721549096486548974513391533934438444576034503023867350128765180479130333030475427666433795306900267027010693725509495564514025501015206092087902649938444649136669563786499255054934256256612576783549111073499366636757602433650928466617166024736760243467151234843961047178146222452278586454956944471690763238125793746237664954485953134386397613750193818178289232352322597874465821614221161918205232138642762669164611431919725427562257097959662447904754314387600207525901118996470783883835113874323044439398507265333997594238361531779227248293269778626106835133876996747821570221997006567015554487075809077789713074538940742990864828635973786871634472580391873538857521376481525736107498947689173216612658840677408465795352084469719467674350138581077478716205288169329825229805134766549701057612266988943207881950813811805000504909979439548000326079553416703141151215902873842245933637570287289275017240789697472133852025343044496706850465239514348085617355559564361942871967190202801726384645416285383584391338032331393164753839126666471995998001227317668441688394033609874364169976766869502419055756836089052239362810295077005774239040148809071981835140212915624400810903231115395751582363428524366756641954921287849403515977409871971506020433997568240287332157908851458479268943549515907241888941002980807954774500453095432610279253628810762890095316839425016310814839599337362271770431769227371239349567835275020276906283764885445046041525499460812087599786499662875666012119044510009683945356508102262512359595442940220592668675734327173753150941527495525846184923467177538675814863141002978326094208413637034746595176221279095307369800389479412287228049483820766890588826918260055485655446066906136898542249305766872551277800021299945795536741441899078883
g=3
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):
124153
26
*** a(t,u0+1l^(t-1),r):
121763
33
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 2 Mar 2025 15:22:21
end  =Sun 2 Mar 2025 16:22:22
elapsed(sec)=3600.822122