n24-L5-f9910-r47-t9908-ver3.3b.txt
p=29784081206714902716032933139516711021725166923864529444998039120049483214291695649233772450412795043473092836537756750334239317084055367331832503076808044995533040494248383172328442391052353250220918087038336047981445330044361294041972171702432357740629750970656428138095002225145157178737714903525430014390771147987923024793942539400872023450817200250072225995356374756581142316627338643657275788565939090286094024418044631747351085392782050659395306182411656207517681092638454695940053237827694289661742049390396171241714590560921647933663715466820287956047831877513206055601966497248733895506143786015942908652030906578028141223722610472798501845703388920666301313477288781881794399277350972000935813370790835790320913401049614067525774850784369956571705872318423787038960258128328034546491954552267053000251563483018130080806088864323800416683979526165150713656775421543183815877346747102327321037160843841106623610671088181846384824197362214216095797577192357617782223339106601577715681089028933075547337983614043564651219892286765788291531827311361946150866116420300300042133893729567409674188067499505774426708430410588295591885342311666185439774020666119260406029967689645880332369205968740490137897204945000294270237595509768002402168154679914962016855168279086550555180797929319966755603154394168520085751364560753772982244240351033949873373947816372753138288369834781316815220425108123402762936500619849895416392539673289326205601622899922510924670825777821095674576390035359528159624738543358972120126592282857616964615111322319886117481744962480866428533800525585843231260588526825857625639635322785498753693104148417925476627496123127496576441720879155089263345438827179640721527788265832267904232219458235509341591812776809636883546085721760950445232564084164766074264768040666584597899738553528138691831103060048926224688012990196023752087738504846330591966015178901013955939161847672007372338447853307133202944920736056105953089606273340317209173833772776985413304284752494339979234473392256421713200382234475682038605781420192765316716913347265403760101105262035298670577730771463131480385741329086615516849936553610747986266420096119744902101299282114462303758224885531238297469312538035256648668314287819747920425687384502885761985897858635390824593598065426769651250185161089281714957788527148201587779647894302824662530630448964504396757134469703755601222930785123341917857766994613355522007008348131964000648152546206120497440805347099007728447486260503497052360034373273007405042971908876744445675614123308647520721263214784119551874767790652686387793998645784694718212871253746788323569857327387333875191312932550869339864275870519437083510803080752383475732628901113454510054857238258399260837647653587736132223583851123303873110407553868945453317349342306400513644064676359016476679048755096305220315445725964898436533693178299067001429903002328022862070162905023102167848659026275000995234755658366713661655375608989915295044319523327265525500403248980355626859218310456562759421453077866438674572391120644875831728352443370168787785983263277171914994703960884220504081929921161489875798447752058773283385563610752039090710771547255392524700557988342116522806522324342128679358741304997517804311429716433900497333943309661487059860321212019832036714975482682000841728048554045878361438602513416886578210239419587616850574150782006330792580846738588884888725019201653374844010413953177880309313535867310416638241785259740486685542765771544087629249064530524385160610647141398743027287302378384015103140156088542491653382899540856639627405899381948043597822272604425859117453682084999419342960477718831816193147084187558708462247923905849567721859187557630841503413281634721491269446444901810015386382364306693355521491938827414866184670723986506538182762138823764642728255456958647870114621082199921616858986201007692349069979275842267341580198074977193971571887948890143468958087368795031126128928154565338098070787394121991667088063870110800291376858163451416771168984464435444677104851644298433114361019544338386926469470523370152147090945514659999486537667956719723491800698800313474016989914780044389567552261763064808940944983906592415810258050168360612368164332089064486196078569157966084708834978567098765789790287242042288476380175670956958890477912791878663289468760278378345963218230281389936068603188845234001526859348975318180433015111390710943753352613397035251281229377986108056421075794443560145310876981774852736282135116044446337879445188240537503431080679223460261400486159913830120838804552536228739985677884514815212816706253623703737841164559913367341588858440693408098689674035198026579585053189743286575579917164763992158192638397827303057348805396600544002345570442093939465808902756922757025580070750433496338236801378715252618120349986015890393934134236630044940688826404482080432559490959707598804316610302219659880557338933740672298807925008056889738405812589405363565111386219323966097046482235484728970725007442520631039408946453706504390298290941932843493290218073234877779665037575379666641351233505647172178591826728533887741041652524012473262416354632215139863621301629730034265119693767930102736493616319732493044975967196975269176281642373002691240351433502124865167844316114464303900321945772221278143119841516225104689514920277813503484531097775794449872853784927721936112558879758463747190259682858286909401596089137766105917880914032652355835442297448611885534764267600161556868981331685629908212859181366607927731767029343426132913684158895598401861718054654042072077107728394476701421927201625609989173893086408081084645238114269864701938483002317211363279235952502059663606592971072770301154934666054378344048749045340149046013208654493720790110559360498961014292286104656443086361789065395027979993159322456418200503065229547846383279971471132083907299530253407977872820477755435233054531631729018875598694911112991173988916500291562555907608726783190165639042234310537970754291848381075826406140403822896715318012824639053805178755469544682747874811802441257154146754923802298027399494517953790137451385401920661074925723959947856210116899743882884605243445842892533718186507293262390957791708654383034670828045683753206488936190175135069505784592861926989306802848228050607060661074264016568145877467180541833852782613802897678865284256936543250264745234266804683732825456172266652472911561699945736531545588492732826319707361960045267070088821105917926433951517937886058669973275978811704707333755928816305414819465736156648881197915946549421066996940744879392049506553607096805127648518474731060150416400458993660816665652555946666796320212649299710606316694250706888670867548897474057677828181741623139431598662293276653929418360893778256445553822655029090256436576225974879552278670648755096449201604568961726115919393839685084351450761843840604115690041339839263610762145854507974306221302950599778895613908846762285520526347681879997253417968750001
g=13
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):
125840
21
*** a(t,u0+1l^(t-1),r):
123097
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 1 Apr 2024 11:46:51
end  =Mon 1 Apr 2024 12:34:31
elapsed(sec)=2860.480872