n80-L3-f7671-r41-t7669-ver3.3b.txt
p=158951612196580517454920130307466797426489918429647995521191705485711324531345755932148936965190238157165926378808983661291819228522398651108897494126547965042823216630940406748929858887326975275950107103108672979345157050876647834933558391063444158404159330658275705225921174143688303262914431033260888968925641580368453671854498489737589122500326413212928018631802983755014597023824282001801264179842711494855897022198860315052316583085720036449485741954721921378937779728346693252447016565766068509293744088693592652758549887221456344269361028798000594702333909516107286244356808426466202653749936612587396664228330283128688109506198741181257128866247076021188752811599459921733500369911866316900580412962791687268564729197019902336380013948467738040058296407549063091636449202156549720638781966170251445390320913159408334230223700456981155229320845814694300331909027597754885363594287528159969446575224234162518375660829522005666422726324351329402133966316149221908345998385743266598737896236648410228970177759306836950730456031943011405451729281953646517878649239787907533109696102978542747998958839637764237197884107987717135918918912540568300228497070031972438471471193022097031735794570776889819633098648634995055522228408642299167339744997521187974014329291845799713658734273674006594318767150411176370489456690416633974141963223466448018647532402571238357440772373386613313159168461896242501515694167853591889855395748409440042621210501710768400014705513261357372984903913019694065623761090079510686046773541373864139058932939666768973087968052118472448175645302212596714893323476578310532930820515442353813291451654655354558305564440858400388538982030603650738939003286247688929422872911935079067962189912124140984264141175384767801409977558407091375500786347553739158055530877844908390113247477343246620377439042925157607776121089213801105138483607514147008197790370528595906235023193809709299401243362349635203748477530426276241935292416855936787149147442844795816994650757364440972348658797692550286022745411365046182742177672415831524359674571200328905952878990156215455041122825814859346696054577375208753701960701456264171000000227966738344373800032214666803013928636858617828177255550968536030537535164927811659814988457002498634984693439217930279960941158004111393579134410445577937512517405948760114698826086881801159009854318717158251783739678460573067662673738174423586265471663348684689114705431800031546773388645818405176131937587475352804972139362809888357980000640820142943697783125420680264253804856208580336708178580869701063009198916064599281690765907796205317418804734001869502786731343601766231591838117245935981008543986765426403336029678399965435118472348294266003088078472737714191162220055341647637389640689773517352602564824070680070646729742304202231633749575538424255154407145635233082573162287942836577969586889713463846486257640357917222820274960641081445220421275089977973088121635605708737170758843383211261373424594375715674482144017095594339641419029080499550024361742583088915669631206948957055756722894997505050640997731821690470024958934977452068140781581559187181795138735918913716245721778211368857437997024610114227037649384745391954890298311242825367125000871393385414628467226960656311127173115418255390292079896855606795082306579045787800062373536732494144412114666183947765839460171820492601492865279299002494059333406862128781955515937624694619214492672035628163568156599132013482690485539398355638691506832843498724324678137518525567123878270682351895383900419984265293279195672797664439808785812488217717024344688597483877542996461670284416970943963338168458557706463270785785268522923576850041178694647521
g=11
contribution table:{0, 1, 22, 36, 67, 100, 107, 113, 149, 181, 218, 233, 257, 276, 279, 290, 308, 337, 353, 366, 405, 366, 353, 337, 308, 290, 279, 276, 257, 233, 218, 181, 149, 113, 107, 100, 67, 36, 22, 1, 0}
*** a(t,u0,r):
137484
11
*** a(t,u0+1l^(t-1),r):
140398
14
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 17 Mar 2024 01:38:17
end  =Sun 17 Mar 2024 01:49:04
elapsed(sec)=647.001234