n65-L7-f4734-r3-t4733-ver3.3b.txt
p=6427835884087567256188907235977910721271764720404578840740670609233892890338886817135736850472782510880414099906984306726486956479475732444330197834221221352479781831446252600712109554896113161098276891625388553571469453225295106636314993309793191479391149960847276395338073553591379990896915990728750740712090634635973319848616271966650615651745251101505722736650566584179239123812145462958353218391545117356282151290990698494493647894651376386481440727752168004075094930158491914537913841743913965098401138069680415259758349578599893245626509522839089693894482984646550591867313287207062954253180881634181999659222156818546223489503960347294004880031778664743565711386595094756756198007176405643199762299445943883788284854857513995669398878961887185837563425575488831006319738177210868800225731592985005053382811944447935860211734913439715611406909274540140131714614518391063415322762315213966581594827078672191371719815885343600564075133105880089042987906350761108642095470954803352082330227040893609058922201488014559364400666099381056541648996108408657845960084054614222117908891710684512426691783277292202523306457035818153100582905705140387805192819441136725852661320336360967287345139170207161049179764149534970398682076749286550104723358379766338224078446659302768829902717804537815565761974481782445932281493005713927115521027639608693577781224345736523904912991632569652308555264726273585172104809607632799010333373727581432415041192454145217935359105310395586800895046841232829753298472266810897029508809389992543335460039831841395512588193218600658099280847016034663555465968555845830888417710808247833507440672676362266079478987381237266701946542224253340830788408176500980559523543082730109913175963241576505476750779926579707728849680606248085843745448334854036855571592285803635907054835651505501984386473361087208686532007774337048519280283405692117903297944370743429047116674774591500347650955688496043542868836911701315654900433307877393605612446614648158871363366843902463585486450712133290157993187049959512477827921011865826813934103761799446294660584785960026387156171149168217610627402378421618236520261074504836381374031565962893410131214301743174379956036331191479979757234022141418897343235802891810898885677562502442810577050736103281047309169576537324121880093557224615532909597540946746577426345482698190718276656042744230242725377440975529774417068599078685579696711290625925798801602207715819188842268393780186934301148057056613937560106354550041994151995400269560591712816347371776367299925256896430890818925641490728393787476492704349561354908669254328585571987129723106404186631894764562638270381077259176591463045300821613533770031806593888055706606295665269522734918268164182217733773437959489811371693649442885832005383647152692599483843508634601481558347297926864890573019885362750257251921544457751085587459390344413399354751541443224377956885438083565411345229802493029331000858330165805659645993464199536041951484268702522008201693314271224397435285301086637687255128348615024460713786386290634349974790901972974210667781477619613890319495988565436878485154399429654158422077025411093110242851626601444391828259473369314637867547524624612546363261812898949728713721832175172508005363417375505402926892134872550835024359807692140642749869842737256250839797346351884271889730722144214172609809467248432474292598765797685284480890008964982565164764796518904975250674755033447013337021975547583215493126035431009912954615599100686630460663989773141962385964736901439246507137498805060103818509351652328685258259656279387818653705501487646036375567062964557207188031067523512633611907743610779868038507558106610456859851234950721571415796325645598891380825436845279222983935214781278483153304498973126786518741002928715616098449204286074479418102011196646453481492808494242849113116873653542430816678580124799410147091861273321397734760168013830383937875438548148059359264674267060079507578337977941380261008072673252558883666686914404821522145615028440461919310371
g=2
contribution table:{0, 1, 0}
*** a(t,u0,r):
143
2
*** a(t,u0+1l^(t-1),r):
162
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 27 Feb 2025 23:22:14
end  =Thu 27 Feb 2025 23:30:33
elapsed(sec)=499.176046