n32-L7-f14639-r47-t14637-ver3.3b.txt
p=15717654668550412775473240603036876063163234992632642473771850959883802018019904794099198527261450368784284189377474478196946723802333845557666018778217037129761745397515236803316207809072007351171058121741139015743877143635647331438403245456439236820604639579884932153230077998169114021726030191323702896727357484903927209134696177564093186437079864713175981213271080319001026736299014788471933728489021991528629485566325917845205245392475174978036085931625709880968880836513485135943552794935938523586949450227843520158263862876476257101093897030511894411789606521739517279303996659018830501692282737578068306550650429215663733541600492738517152622256399646828781560732599854013684062538176343456765659016466969175444919705775261299177542553756278263597830598714252944256710928148467542711570828007092501193607221214983382806097327858292770240769142357129671866891289901100447451978742775172074227168667582195017315858922332080451028938004259688961571209218231618687345567590571377814578350326862460384058788541791391030696132441596627397755331682030332862709578432004069963137596069080346548020145083874787970921283780621684507227602179838795967512453659501417911517971992594728375086709260130590665690165563088107525225837298648179346267599513204697420246077407683697957485474652046195332262891682954827031396462258870513197538838296238228570284027136787421475671986277009180440672904037822944159814098548495517018193014283013312781734153189556902030828113190887812415721671097165129555455963902492754674844449315251087841850402224039009077361973412403630660671272149102927691243697598677359808574739249353387595110326545479451332882879459016373768865155943156180259989768460973104027554126723403628189585212352150118993869959875830187819062770220054576410472180460975944580322102686326344976616634517447520540066289659918147643622578634484656925881745329818524726908618388829493174033455492808682764394589992247478207151797348004861662077897727004871390500724003552488732732462894371424882883492262421987990107676728194739231717783221023353764482589912003191555251652500144507314043704119792208996405202601727701985431258292259188725178564287714185611445034875614139203804503420788189109931172882176265965787667350709554669061649253725199198043394853475549112550631765373365520314319471341031326803352990556041067697999441399968776696638450306608813255990629332521549565950933561149448170893452626413720142522607147698428691594825402255805127537725856658283489933291602513266869928140609640894751608943344015829399666367175512512790898503711313841180004962081647236545095111270457341388700014768111437199239796939145660187607618814508266517485559587159852143193902855668536690187223983164757815755988891275455857150799067319127981999830679608967736484196812105520831706466413948304877828865894056048109854751266565762341692731279583738757323466531803483604511832056885264571438966133190266636504974072774898350960279889017566738551538012933724992020296414254484274466373078638805122259884560915509756015511048242199629950245785301307319220683831077049481203124103350659655553609898026629203388488514834684866939182734700813596750181662085093078917877068073352457459384632879967678870009898665722176140492876158965587270905116189053295289868519288908530769069666623023682876187434179426092569793840605316974628531417505055467320100696879163454304517757685758650257552715923259862613401878013133334731678405331863296698881899795624868841368207815657175420615330058569957624819633275341146181973746482032025279525084214941081952577310889639432076055246767982882756789700534048475721691277424739392156641249797999639146980316944670468210339366384876291083792802778877807652935846841932930504878055133228294708473777491827921776739368940823328858614714624331154393540913561660853750400532439867724815190169289969983177494986473124236783699407555569910333661965814915757440584454213607334075816751984139745873105473047518829858180442793016889010260109076013482374525493136657368512867905395700413331397429849659014830564060677060225065742616534043478885330143076195579958158892225241068797908082896908319460107519614625908110291721325139995473854452390735031416395522169430692238995755914861873899135109079708745214732206746528963198938181071043351047583898322668344330411268667804172096932169755906190585227482474593148030575707839853236143875566396158977677234691624095640224160683773389304395919175487857470609914937551118347094270737503243373932414710994850875706713564065705681536607355050167077211411528622067132523488536500638421933942854047879312757700901863757197515920940435074509417284613443268855625596868651122668271609923647272800273342954001578657487139915694396839215909855251742701749894090034373813996677242712521795376339122903903370831494176781941652797242119302425841401191654202532736719469572107621465160650796538432286075883650654176205965103562173295440569617378075410491524866778316488126857634922538614655968482839688846170231414345889700874600185289763105288447453423637517307352092250092104508033313869695725373962081638430435205039919471131674351186358260578429439364165119991194313363486912358618510590317457314938087127010424773335516902814500508279201550973234366821602651106540807601183017844148121401532572489294180675495174228387779892971941830363869180251272769989257386806778610392808031951839574795417987179934913459352336622405015889275794230734528589718561017760832596006767891675537057170611690937554166054553269354024566177785424134134739086479428423215449162892770837933833435859374101179460011793004928729589844777505284890700809918280549746300761126036235099897458454573055470467129738736092230057358788290072111673838203333268697435652748443009808072609537841218629844931525894445585817043062877356485789764115130850079663851417276782411398125995037034601897739998442999449704947326592074289784670891869763801024529545133412172290616232024976819439913069092953070102827218929037566893972322911319288659828904196209980802516048546559955232265698616030288161671047485735440313500310396850098096348322553005340242953760055274789949863601488386792130993365739367333048750973307333673274766578295191033156680437672033002413940341295378041221846156343025395941723784955791237312960866245400560650857108718311026735794636086112729210119473703577649707058698940827185849472688187347847516308493721531538018844709470405885487839333337050335319688600395636591287443279998758704904760885005374686432498917465315179111995046265119709583215548020770372260672984794925303221751420809848654128803173728009821907172091092653707682651857898846415028074420708955609671316120779481348937375420141804331399304982935954177920599137958562546168228024920300979101510253854647113615046873358838633641057851445582350992884205004063741431316228629498676996390501993833046054018015202990962707299562020172707126152969297865839401827293557603916316447188460592786983446704171008193516223966333801907616628627174208861820677417824398584427274280460629608308812344115350472322837821628667849614063133758135472798812496639961871001957836718052827221919775093760408370539263171662486581149152912952850274030675096795233860600762925557006075907976034047831440180879964502059748240622547809757154024325389835141521455374459553531643398708557500050358396349680062494476783416851951163363624539168861267149223505203258425719452841146368839083828995082295593444229339388975906917535290509429162803983840738451715099111828467827008036752748281513257365172980274539176733202090183118059247371659753160170494993849896558193498636678941734319777963978239374139292336330884838507648984943354772234008074519037581866118584335373263838022485868050431903172089302610825466960481042482180615657979443508206725536056379406008437045056309226276419556602371395338125939527518450015038941237089619247958958133090017143000285770630275830082531398059869830211237882771279656873450927037325332881041873150940997584529960320386287759435123610155142131937163643368275463200361496218569165959544280244872086421686490152959557762617708843538956800135611530608627567523467434127172841779449002438194125520398233284761164140537404079749739269763717293231802677764994622942025300114115082676897607641586111643764467134577311425724811567255823539787432563220880062258936643306930488068984476011713663163865778019634398509517773477248722562894701125170992635996390314795465322048813480076375230466621295243888921383725199943660695082801886652382068151532384044545961540093106788086206510647373810263943749668316192541054974781302230953384514867053683318305199113461230561492035148106641895234761760403902243563737714368849848580243449188616843548052388316705326364839775644739292303355907900282238645252337666940230142087295667526867553904159330084879749055590969940681997799073532056517801784950056541434654445668766941036426860467075041561715723916809516735957584528984416967429123973122729917250447522500876376613713420264491288238089234784313085278843805127862331132987504056789318258153133928934191896852783576313979731881168757087242597558129783581042523986700527362112069029931188992711197414123579630361080309315211429476755212810168511769899508660354669074065643205907469003395388116770999082871453320932773674815907898910172183120397047336800098483887479259637112885716005047096997261014866750471541217807745825688838704393170525439823511164660796808052902109691456164150942374782689930006568916591781346774711794086667420072550049413478658947407643114716515961235451746395891824030197415344736434183941361214422939283466899662122968797259730900315137296752639281048993304872430938318152480395900543363426920280694413774341928724070795932259534939075822346869514993427923415375867511714687887115428730903156243381226391040543355491882569044451644008966999019718446529382235563427107173306796820847291216444075653361345960124839608089534513582084704730500881653088036798888800551327712449648596562419535226549096976532474973768214252807797335496979061265342883322957951345682389201349066298364566321232228425778387429652078916765072727663706543216362404990471565411339962255665334288846169743619361777293630589657933426148798249934145476897557828301805387498133636656593197330714197275213149914637310051394661999327668755637465778236099055964870829335653468355620275315677814637282129017669446351089529749247649164413750472042902253261566909118309117751606417813501415729272360873982682759096048360109259607561041465493176876893099285884872382572108783886648359407324987322172028709083004104277493732888260812704073102721831183947704299010580647483627328160353232199341621660854271666924130908089006434168686836830851852360889906040614301103503140965254509581764012742115655024826963675540674499439034177101270466287027467934973011291506936073784383717336701353736437261436672537356082098842632076174520670546287787360834139920028732261370007242335261041788480316695089372146799692633903397206094585587908416963043086194146207403756439609072826142822243057088215953047128547807526290528680025184645501347826013487775520193015654522079701029037307979954588777851799703193700360773313416430490136558605493294505006889446047461848008114784217361780431324977745303844041568821095247489258793448119815394544473115634665056258908744592503017108636875444476981381827301258823224192236901662050622835476168782200888071333832117322840314786486350599509116042060817887366808615500382853738495132261551566898168809147778372862720295181865126264807591406413523514420698336368230809990563300842355609057671269383407567543747486902157272985185740138903735986524432136734628468754297097355492138035029777379922098486833135027633296385554257778468997049000360364460622530861300010245438501667298535236680636772291419073456499464987804652734382953710424658214681849867330717371514617446779064862322386445656140598818444174096529533263375004342127208996701845780781446085764165707412400484880156508400769051133243242156135096211273263500796522043711516757374328864160590668305427808375806142664959523472455186451254810914781566018734625032711803453182359571460154971194486999528433126297651840549863001473972299978211084595831708505861637514079225872525090809978733260741422978151375692377858006893916447019447242619851540974397326302860412841443495016167989721855278926135308612807041060293350997488161927393618112582481922427090842700025993839042082353364162056911157188744158996970432428580425153
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):
328079
19
*** a(t,u0+1l^(t-1),r):
323712
23
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 19 May 2024 03:18:04
end  =Sun 19 May 2024 09:43:48
elapsed(sec)=23144.227785