n87-L7-f12181-r47-t12180-ver3.3b.txt
p=2397588583306257410271256489697430274328550396220583508366951029712917786952180684185920422096979163902947365662802357848246594330959692501104815926148336847800462056521878355222662899997018041107844345779873796138716753305819633434435073061315532635590674980891998009769980748019403787024134680232319002251159545022617108963447527373369440725091393378649778435375664023333344316001536001367719925352771024107337161532642618812467053307615711449161189688288292700353178067369206981214109824586487437209618745242071389890998544022505553727248700644665281043302285585232108491749873897705521731713483102049056742100411197626912282681643144335178473739993604536651068106614136791346353836231838427618070595767121982761991549806342602190345966281135806667628446700945572329222040736138317194668803241346770191661580809812107498782285907699226658875863473917938167291423741614973158374745037949208438270921726041293309096122330704186213921807828230247367929244063639545013318598389734155228028133089157792068923460385006050395890873227770025642482194367151107915709084175715528489900771338788334405879907817112150508681753064448002018995871020848080150732907310362068010504163662873039091505162259209252014798097527691479603587546863441142785565818719353699348412361595218374325935446343054208207575975199827924232936240608914976476992616533318815576079076312759320843481450525979643222555211291106578293306970580433158791606409689967038671271717247554660275968004538288215767107787008975819090575020961649884142858707516557405055143513568862907978651195343014171470639692744892970301003237935260609215344978159906605427221787814445542115261907128302718430317256799773996354759202913353420748944126900596666396288982790813654834637747490393258795704815630033852894836414259448204234834943853134899192178506889806888910186986362416353394530115816210133327727850173481447234410391046470106464169955270347470051071485291818253067269570216668796774940292719795476905640610119024564255544007677556825591484322032797062995860237469886172236717609278965322349703993062752380489397587110930224449227504821137005502617613185631592564378307620025390383023521706426314360014238212603986031320421812901597415341407526729110539721266805403229150146795324700319838037504736772033234468930160059344606680273489181889324379256163048479924713718427799829565993322088654239518304377678149705078769460746515266804709927599487115773188617257794851337472430066587325897317625732090613272292413606828793651927190533022959971505439941314350700951002433993815392180732112981303439183329191822856336503276385543395464729151369063275177639122870328351459188136149267239475430068393651564376366450237956767216747570702954737790983980137411271097070889782632487405609161170786313542006143141059962873890213179146102659504315672982163996090882706005587073544981088976842632724183846435885577121114056566138933075919297676806082780523756014049045295425563467399589957826824852156853871603926091957547423061748051453121782289786288678135194435582078001895849529738392078432528712952535706173604257442015528831769033245827221907991748509367415136517347801340284397995160681708718651277348983420730537009701008625058660231117075128374773968185512788617520236040124434449696825063587162211295851201299828132091163173109408506519896899939059730327801479246585873397136677018880180523491130541772472494130407388102966597336163484791974114131466282495909390661056415562596272342490848368665833266082971046897700866172752876172153420610254481773161584443574195551576901668485104066286593487804914163504926086189988529834608286542841386954078812326342172682356405065899894274700980755113811008130840649402908444127980401275086846766723955988490600920701689480970647410747480798196182822852602698318425703709770671726638780458146762361766126359498567792966220388905794318851957453168105608669112031677050360049613577220113366706646316110732208320345558618345349210088726463183698549992790565423160203884246526162498480092265473313332875976047478868401268040243630791110234965670484881450139836426277743008301935590813051403276968716193966299921369129025142010719622479143131599254953993482195624595006672511078398913647660990879041896668289489851721633581927626020604057677648131700593845659551279649036418421326918254361461478733218243185165996498211652928113710573663884513357824843608520026997738380424961129416297578541321618015088926273231452631631839027729102049365252601499915671449744222521855769405798082497939603795109453932706015104226571509662229493211745806141591854388732710236385424455060462093606293890210573566165299426640804598173138645277824416331595418118783745112240961229271547555308524527599385821284346158259841946499946137151459237602600543536753865949266814807746712859598935061685568405199663432113182847328599378334554292874819739699099608474435283899399747888417671988256350049592112190184832494742979180018587079050476722297925040393166630842861028466048686127884161950439358101807826352533590632724946601767906683038895879126498190039519186200104095399497035686941761268216728756606469427380681379159296114378725090380354028672938684070298774099211893696821207399344148767934114716295070785039897502300148450707652983879516576384035957499414932276566397478803245120284728257404509829086122611514172985536392534944808452982988802062464857874387995797980734745157843418331344077293328762043187963386718505377918252327487932900484446852786194405420758972915971446614263553451187003596981068696817485612922913746936933504033278613926048800855408321752881459333890396169476772797831293639073717699649081264731691808456479636425061591091338086499052501969348957677735352347486653542286706310254411626151118041921199043668384831323100693117305533683787416833554267506745153970716867742462107786755969308940328581330261052163819610471923173124067719518473894065304548580382917849460040165561893228143139247348397916865963842004734884946010089694124413465791377069853111309596473762230908941846872481029645638028553182348913097284252647732122433557888070744042397669146992085622581093312658891201197446569753193459936262917180609540394578231908751408182768771853357763619342123502253700038743744177620240149569284763681850659746069104281726288692752939553541255833667903871388608176139731501183466240935469063955679115311284243056664020293744955982767172443404567033970235453305232826900645046714269623559440578981793106366081227716810175261556343434489286556929176958529686831667722677227186007890321571001025773676418935879904756777500554749087042712952312726123896393769038036367008425150898913805029200791214210289694474453288482515583311750940768383862800185356784298903266465704196860939218239732100062691353335085910925863496097585897875014682661922426569062053008133500310551847070270732581127018680872313185595539670850444679590543319605340437676493313593830706442537220053284988308320248617583450865888980855930504092143974671686665052177003392267976951755996524499019436842314608962862040086602265289859918949631742676406041553177239588886815586178753821801166368929008688772134646554253220168606218508440729929574699930430939488695509266593116524752770295178095284318915424803693403385277250428626935282759333854403263321683860639237287516928043926395405297561642453905389637640432836631667526177071698852121726962083710780071259141327709277287044741251481800671922574475364882516616251377751041289686700507839094616038007344521321056870081425707336580321980829873425504415225706639822675683583610704762136187057240545323654108931023214552963069512859649119726498955672904268130818199946775069463312917611171809273631171741885721124054380794230467405376887897472545174426871761993538390668458368265702739885115111096448830894063536799845865877637586497590275715073987028497131367469080156296405806683251496494623476620524195232975947674450469548473787421771342297530474882703383828966814606286971120058927833802994806815942042666319735828356156668224688722744946891770701042422276745650079840266093780167993006739710433518389615256173038982793086206934084340797885422129274760292082868248449449284501507770512429417253013212822552194919230468594171216744685789404984620894833050861926444730669899722501491910294226849570507136718559213293969431679945407956733917868886287561008365438627964915943841739678325133591519605782473924555942732349997545500640960142613822658739826048220710067953662404652404190187162367054584322239757907521441594459065552151672435911203024147658977187716807575604889545116418899180466243156240426738567817850188847497399599989189670281757024016631782448650522116068822180136696731568627560876690157125289872573317474034896702383276685209362865933988207466704952940957078954685954070959894572359820556791288579600824929132441671871423728604270682187844528355973934704838986367069724029269228296613143662687825722976767794444618462362302043498660660651044297864704841836930641456608521901220104689464592108407921226228189619330284578912933033563424863097913802737087308304452677908386786865860230115947437467583561389207918778154443643620034194756324245320840451037256555019413510135601222716268985965885943352199085287088978895147710672000152010947113156212044074779563927707371954715245379403243538993097895552646567435059946147605609297219111432507743356238085681186652261470514081084802339129010850427116821057818726283057644637566861026074254702970943107018418237136756511024569105213846572688351540350725134297417260307469750207405620338271183595100374976177119119116061181267983707350476719852880297072552102337217186093525519580898770711749294314975022172851216054768474011105146593803521008366133004403876703230001055786802261502566421793521899850680269603928368980356815724936598990926398054705610879443160778042900107246800007575759996740492900378335116662938581164395360419040729450389697776933544674900542601191506195607369648396982835293938005815024825044717532673407497210983111189774702955625986480978606156491506941656217087834399557700532218500263302856267321807068539435191889598567664203147737967784661632275582993665873279913049825362825580127722621039585451207575855418663710634321929859425678162452118571009242632350345612690830574327036562666811223195298933045973063599761841304189992697753791130667171117056499654580395518306664731392698590138913513784345219
g=2
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):
127808
15
*** a(t,u0+1l^(t-1),r):
123236
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 2 Mar 2025 19:20:48
end  =Sun 2 Mar 2025 21:27:27
elapsed(sec)=7598.497160