n74-L7-f5736-r5-t5735-ver3.3b.txt
p=44938568825376114169714903508723136950374142049608233424215192882249367924159241753184692263803624188946394539937416703986702985867244255401135959768476348677657312302119327933098536680281866762055897395248861659605591877863648481460959407102006618000945433688347967542347385188945506837648285402359878770812502982686586310609121326017999896282194605309659845848236026824770434716368616027844835188385334792506030808248628776902114988899220471558886428373677866305650296843780689716739627817396473473191082462223374647919613282806479180748788379395354102658693203661329334113417338770304592343535296754013876476036118520453045619220679867109255099947588136497070428808559418792925296123659194979285710603145646432111931204144491228562629611669400249394073036909860140328216678306102779427971957178235417666297446441320396990047325559373678330626874838693148431036686226868453069614562491453721752952325333799456829463827687468065402803115807838284206078355445422211832919833570939704050917339882032316177764877190020605533974720140372635067235982001468539861380324103971029050754894104826723999686388978256247558349145062786838765789214493558425191449727546333833978807963897566272304299323862616813741232356731279069444413051239203705092105294770752744630257768769200643109799308913141763103860023302317364477440603979819429558688596148292721658609549997523140106713035267267718699420197623448491761169745412172567302441930919072222179631991878042969439395362640009896478768656145126798168113075862792393700757009551822265706457857977849520768569955359118915289051314728567681434330011792930488069294508074882476813987463051149013407249924029792773260047054919782156209424596451459761938401742284966440050324309106239751125915058806849182414553432056008369168521273293917373312721885776796903536421235551500668318555121620653137180414280853313695222590554236960529112228624826503301844553210489694698684696037677930706966314803189392753326896539297259148678992468178553368250625558554203930928747604204420129063656645764887699493005556031550045542565467903208198682698010840030072631163244726901869973259888566031878762482699241380089526110156574975995128826771226475302819163577781800260749310508519646429629376024928286865709267778117885712968710568302146267296606538676817907506115128060024036614118030383507884264446746173953241858978915584625820823063287663738228295340083868794255962755981377764522213302343538016012108394674498338268404922481088360134296992690363388613069360963689947758113412991038528193358134084294989367175774958059436246837623793767844927994537263212230210733855200770069384728578111352904341439569677459188253170667886637840964486020608872869805703400791388948272516579172029941490146636136507289429390684010974171138536032854832761183721627903920748941785984342625000555650921642663518505739604609710291103038135213444788452756152667092300591958491093083542574198016535918399956155959655725780624837863631849105021909415235475579978834032592133773172705701113623114529830905730580523508365162033394816084072288240881948016957713147073978109455396848018690439968650202435145726334010999992590519968330224408137630791387166811648026425041113863559040468535074622239684506857771937242524973501907660870550303474872789530305968191908730016572846124989412870012475672687098132432452271649971996734524340194562514901087574413659141234929713097887869390137588745269944904348405524954829433953917015378579236069453410371004456916718685456359944025848324525603365113955313950546039243393403151373543324293679740841935604127102832504590834550436919175728370361190664399171554280051539388029219736387989724981375960452426718414523753947729505136150177916029000935280164711969639846076180584698095201251471563517286768502521200788294257086071811196859584797873034761382752941430613990790714370956653736751806188801398496958922680965016979830087422062882579820624393934603510888226047689479910455526726542136524361009833222725089214998899931641533121201181729685968063743420316310619043977524542097872899914210797388184898883640532862654227793552329463872683446426438353663312294597519661826210465465019210601141101934788772678071757518034698853757874672196872728657084438344541544749758063036904246222259379700934474734612856517880816083492323242555483712597705254020986199763466279815093827910191937845050027087235593472161774389505835566324430226604834014819529936333022685034542151143749091674058330310662788136658629553438203585078919645220865649467335630745174476187716908308803798034351005296500772189903624725490775721402986439723715945866689955875435822274799230723606057346357834464884161051823704000410688229164945950205108157530674425676502964539161026629319501067375808346516266173749153776321933191231785887604923156602422760375465211588783784880566840312822541769354641363760874319874632205755907136917724972830636949
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
644
4
*** a(t,u0+1l^(t-1),r):
610
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 28 Feb 2025 12:36:58
end  =Fri 28 Feb 2025 12:52:22
elapsed(sec)=924.204267