n18-L7-f15877-r5-t15875-ver3.3b.txt
p=1506204036442633240054868494636247272541140514064304872733476049357472252358241786825503897485057856583183506278700089081487517110046575979867634436058051998335964917170889861904443144377484729817375601491267180156591154578302647021866325600758959522801882411750022232333445930318641162025271262264634353963777179860255195925170671662853019872205445194874500418752332208411706231812109567310277762055091318340143058350024132364297119783050394501653573565402068061781232970297982223338490059228754470834391517206337963770891747218721395217536196808938201844377494777053317863482091344340242564784999259503540335598720211211635482842859279732919000932623372180546787796646516822837395949143369358770788723299720163217761375058365070850443947610369598020795103357261126961493493219179991200187103530582761911469475420699357710154879016466769980824756345472338369991703013626270509753982455765708653013141363447258241343075290061443071418312551577757469566329273286564499031287393766923132792491358578884929642030929505012789204786189041664322283954199174859722477222854573996909324180007070659300213664935616385095676557618080792826598635121495744305070401926977888514213691073049822476551140397036204392449241089146421401630830807457387138138012615420165634753266862551064826013291037119883513735835999849421520476502857918468120940058841771411482230303151916696277172862133593338475381428383881244082415905063681369114421176245848819588178640975590778656702630102676982221421271854198508042769045901972052914170974637596885423600097679308035414738692507948559394957303078473624165226927700362641500095475087940824887865103366890551974474831951421311899488878890754645361662484239628999074358825787292979596563557621607000458560457846360014936078129604244208510442745474186590933600183177802343989695488523870031117759644794246815828679676922794937860623739699264321689914826598224199978571324215651831604706464466400511721415960535023836143110161786067245682545227004554989001144348573691941298748389089357512603601225218761819913008313319122481917734622340836100762262321002453778298981819460911275080105306323308808378282416619695391836088908979210925280314073340203176110780886555413275581926305588003278678777318990519964554352415890114565070590630370054120813259925467009942724795572614256043850196907634227385641344291686737149900182383121440247594512857656345486278795346649420129753907098454216031216215711617530855422184480407490942780681697958840882185038280297776856298469312460356861527305913240801415031218826699010460427404403379476875468454295881007728607403592071136470550768302393018576851363978889693647337416982718962600043405190121893364905577967788388547081049984950339504305623095910992936021029754521185272219410440819222277084002748658857549239717282315490544191549554143688978180099241390732461811094130606161679699590791818787677766846194486979545040735098092830412679176555158954466489680099859341786891564703261391052662966082678929339684090898161132476905315781015039985414855856164994815283921105546776138734753510559889571259930351530370831881433453375731898059751589714953937400751554293234902476200265791962122780425862402504282094266624902970975297401682927817434980847046802822583961127694859862637539819610817138119694018372226079854607874288287326948449986575897005047119074243413966554417967820021297421100860743542027618051711633556622096905361712269360993305360521159984415120987040996372192465483184142438445004147953288305848108619403148696445336831116340636955012927209317719035779804334187029716316299147600359923030865291430752926682326750227096807612373083561076758030828109876869156085610957358104757635347055735803413839608012040127247359597936147397246930528532565466297479734414196078204754136528739714756144292713629561458912025063708323040458568316368709952845270197744841788302551619155147499989716600717045741124073334266324929307509664160256771377623863854262876377721312604835003759167791993253539294340373189332771124824359671252634495889572716718216842772345591151397408080137101125415163796548142273018735616421356569679767771300021434150886592924378699874891480566617247099318618465380462064688684151979041776401931411073554409925875011162996922455252940391762398047939247156495728063609267170861007191843880694645902434037771559747213290849940426552332552285783815921554307943406945666159899759217348758111565812899962480677204777802643318874251462051348708791014551864896789450792546386813529100721242302768117190203845362519745151570326508618257104397098758228785889177173163814033844269800497436322417177907434387672731444957732878071245870140090537830471106544452341103955837657392391997838183750559575095845559462156963168501237637065707076198264156860413526221519532170579655232306515580066864028143443903062309797223520096373853642175506182874858288682064120456832907051030843461734478942181741169950904721991365097943996990078746622186285363265776020862182472586380615815168570220285101255548326944363465550120898016699687022968843175086556202084373432019282390125247875693158868509827396741975249180829015546312912508023951528236957854962346789629829039779449561658629835686723521839111863935786025648872369024657660542524073508963030923600301733689801904901714515749391339399189229763377647206547662579297321964570299450393829600460398705013948966420949935229319759914733370710003344516516762969921288754238015679364090914948298704038154850480225891147417832599721215894015072378809986327422904989007454080986332727187390478376816595167603233641723120080315702396670182124379444742589329152265263173994139257720689759927194283588155166554476314434177230156044036063937868670458719207981965498297013404092400776351910857455264429235996318090514758373622154077124524209589767827076226735072736601072178959092661733097137494115127798081192376618679239212929156992241632010003169364421015200914160865906280062314968132543282764417483357692272833238234388729652369742793764821707721500910709376343251341479657297014772618210611299072260579227958074514527450621916674217366293259854771064127740036392066525299426330751807884091769400569276654809739061174345520446886591702098012179966434265204201135810008288484335376434189709672688363249801882758303992368187034136836189589171917899965964310806371210126734279739527919018981359415694703550666153937927976717752077967345316576289627413506124930068407569046664833633254679036161637630092367970526991088793972416856897827563178629871474684259605276008648203848703150541567061536663528361393029398249410150669532786648781003697935708850562242686223263607534941368991724119258745868147746224139767918239865941859599325583312212697560911842811152861365758041109213622202949921517469594627444745034375250254885498479260202555491823723997718948873320196829734758695698198733869828739711897811981045699364431488500630518686967710614985800487384333277103832654335843846338924712971060596727624873070315226746962742363388105811667512720576338481506828458265602059101498345802561605152029774124905128894793972764850107518814089299597886278519241996885985880902628235278473316743083517153211815185087947264798565593694352543340373262421815875807162372353868592113077851138269951957874934790158326769756229218696670843760779592720679285660519277027855230308622697145062837380006358528985537496224367886495197521052374732946430477111645601741129547826112233955747900783417925122283042105905848286612235249658502675951237848081469951871847630140846751362847203079672550645561125622326209583012468687951611383689765874093149413152406865713957490383667745532573312641135696557875722701258236340161166232226785356991501383396500413664029225143532871471087928493956827868190956679502586995259796636121553058785423661628045127568466772177777767045181079303999493169947850382669985825405518144275934900031117466539680860605625916593442113449020245734824055630555923005856066330977946306114173058491100289396948353939866807985889402171104095128837964450823028185117085221404479373434221492400608444927487698326280574848121570344958997775647966939254541655640096825164316435308623021094868943444646969555405752095720529105832019542310925965823832792799748559285223719434884272708987137470288358460600401123331051353156234619069987716626158860332056868810845952483627616215383237095952378212380288214315253899298443741399401375982675547873231879988337760038872389543963562231031453634917030290279685493500380701802377033864134484706570192353862528549706080901073341658280690073202880835036803831523306490636583749197571538485968305665621628367447977800569508223914886070823048555470355330573611195762017480417963951484523834705599371320035981510409203734308982213111344241068011253274131178938515441787700616986142345845132126576776786244556608188569058436132886048427461306427262194417594647985349524398721212222132121419198079102944807922053002550414610752481032823141640071213646374480194089175213133657165793575192689846912373952952414475000637063086148260124367394327151741732038823442038305173074918217152904637094539975509669517618221013307537519100787082590556613881553593258028460343411996071936068082905782046653884211272529691158176338614536345737686257057007324045366428536863031129182320424122686709163266645903305250710883265421283123021155771469709509252800909526573038203972939009966387725004616365689371157432137771021479507827902152840920216887440920774720660370819857806062078554144795334711541156288628049114665448004558970490577031195280561196234227722608287923310174073553687415525722814229532904271317084486788359169424837907413979129806036106192295702394400025618451342469182043912105373927992310014937193639853099299644999873987668368607778048009803892862827853463385650919909067173000233130987474135323818827020128769971647762706850040687167343089248015650534928067261039912594329697349953414757866808119355088311284828596877366264128305437512450065946758924911302378009158572642204367582816685192676376574829783816925334570126554869194194889787892292524141913876371075050787019325613839178470548936070585087133751718457168026505335681414808032536140731269256293542635229283158165459784604925860045649360587175997390196579753362635336358128316903024920224441966338101978235603652533784771078174885358430176004482799357330354066067589984452750918020554521023574830637375306573836686238519920402843382650589801488041124353148802070492667851946397940675525815978623544271699853634746708484430804858819965984478478858071756923919332688220982551113217518889129294522020945645580684723817580871535950245098575862494039833118798597956876967702548399482308970805033314188867171433280279137327602474494671656373693341783904970458180917505916018310206506976128904143260107632541247624004470035325025833512267008454299728663890628227542849254239385125185876106089616527193876883058866450042500133771371839426577290072816189729039043410009380706529047002571084336714093316544332936725807582550621266421187188864583138057585034361167961249139486858901405621721952228537936117013344148783912111425171357589175720700519213343235476369397431249344447512856696971252448106906274333147087835338321087818744190974977279217974608413301824038214957805316332187278286946674619589266939215127047373958068974430978677792707242247579114565082533429050920683148072527671904360704421120151560765153636660362187009462691621397284925913241957934738927822355832996140352341651563139582581397796541257629001982336589396475712247953334782745101180649978794033753883073974178895377982739768237978319589170035568764907624247844640178284282053044693253588216419490657532222114144491988803405595516865665390524961564631527331847447099874599010383368064523942135032717915201740199231227744944612006046687089818364275269004360779612096048205875676281249465038742428149520064662283772376634036625238753576695680314427921911709238789602591597435534867214295879568252672955711904262324201024339089478333428662010705321618610293464221093105100065832707487320898439734865922851688069963266041509190816456441495341740749021684915262298843857021768371050328809923065278048258544219831655169976747051846667959666803884984093401122817860907582512921259364551422306973012755519619200011757114344221750128913894397490207387020643427720886348631790438863478521207287722114443534827525104399165214146964640964156574224529905192085919266737687730143298804070620766746275874892954492181176869906349066909308810113061763174375134669635548225651003050362577440962299573139899294035540705139054119929285739138823739458831400408003750355647764204915561732619068049753609465216830363792008798248198890700620643090774907438992378438190493653964002488555009091146984485805923217164144193817465167229860750856917758966655990899483241152532874423227423109309649459825855640398134739949192663694920494636392710410443067122770358968204683434381425645592876670734612911122514111016211684416194539311271436349789339423423620131779553616384956830820354228453857484184563599816482153469204454078107374479836590881121010717441532723343767695015091487221709598904945227636190827687990375321114777380250517658682748486375222058374203547495622897903558758062708307926867140355195427362869707725900329181677735294257982158464642475879202256755466610445662542636704323903818148502319643398273652436086620020773345445352422952453036342976751372276481168392678849886939011595094025634291280349666463053698889994884675740003289564926451011686702094205104727627227299587674546371453
g=5
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
1041
1
*** a(t,u0+1l^(t-1),r):
950
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 8 Mar 2025 12:07:13
end  =Sat 8 Mar 2025 18:54:03
elapsed(sec)=24410.295790