n22-L5-f6475-r3-t6473-ver3.3b.txt
p=2980099414923304429817967408039749431722929809545683033679693768400665194502305769274042947935447282680945008936971699601679706265393660887190935518493595407558864102593899397198956193892722611455717397036357507181705487728194238922721172383619001058928516419274457191750293163524923460741209528363117815984330409683372985353346543077545848509491516424440673822891050575438186460272808510343502286193419770160352106312217296112901140200317635270689725231968580159857269638366906661102197517535932298216197266908955907330683631956079132593110430707474185855482114771951701137745127880920374145510683523849849347259227732929026113085341584615090091707304187258110865293739411175667490611598585273918244781438907176030292118908027807646688311041229543029169964632147266184914137522078427636159933984499515932969209322294469038880118757921538784586133158467305132517927539943102596476077005931957196339753521899018558067378838100685800673424934445076716045475670829468983332785436697601627078986721312055807894010452916363056845098852459011987608183337199465824958145546732557711095881932344400379405862647804051168166559725259740992955411749105259374576614675508946381707755595185991826849139339146853526135934484881466119823713812368363216321862347175529214375098078032574015706399897995092435653206550654780910965264845952041649866705692526237518737006737842182689062784837475060252194629608024455544168386046460738095126749251473806282918542446245955909920387994123726583312148785347983088430238386380182805424145000956633365346855847368792398570227686866449711380180602929468423462645915933056708428503216521162109763387103852384153377066249067819075625334940410694178808443260733387585104515241205400775486048120296975184891580845855000911375368619128758990860384602403389668087695017670724054568430669381675634637687661835995887158474169305071545333197648162878501065924029463617890006947160804594740310348117123096446202575596222949724013775414496262189534225401668793045360150620429241645900595954220453140235702125555513647262143071425821154129780737398358679440904168532703740915999750655890087476233657628206943389432442405614032362467008127956370444904023844892823797687759940727620949735059633379772425327762089436764555191039921060658060434020941762132509106930966730209560345625919554688046886509976866324439013514893491058281119886828125998327982415175727645906616168507256215630795761265558122398132866576269105149444544907894391903632750666515402358255742469268112618239697577554997355297440834200621674809877039084336928987295469415896305007936093150845954481851460226011166840219573644789549885361239936049398482051726318675726731709253955194028396612930446127399295973472653055203600261309807178917638170576376530286135741554497616284040390681859350459070454213302138730547127908407496101036554964025112993039716589170110084213279504498924803378920655377316047079575944757792734267765086221796666749897457721386556938309266392039781050904373620447153239546760914759640308653437475247713453179896960016098035104261262610603820644383542734229706918141501608582999087875982092040937564415819783875781282799619148882019808857104218975524403375696879800584517072336697017922661860424112109183563000366165014388676913636522732155923051032813101213218405733385999235076760185380453437819635938937674886336824890093060620453855121599647006505689727101394833707923336646896456510307974505028286534783097230337173353856926107147453666677756302417627991666975359087322514334042570860676289354511705058986234629201406873903558990658602950385310356547702389296274259453610486401726112463345276287987244627318780889321939194560490500981244230732669853302148827708315555210645623799240320078405479219162405670319441583326541538291528589956938947127507231316552363947739045421949131349827207108431356666418281381583429004343216354266286956291948848162770679266765790249244411486062913545591385604809152944338373468842329900039479898114920022350296176992580907280192798873350549044960371625769733865006304228547371523103225236705091795177462769375546786327963064006203518651306458333820554663132271166560022141783808782308281584709284493583139112488892514374862267523682356257930875070383790226001868828809009186118848688501691409642294532542582412982081678109918477731909976303975922820090249131723145553648691974713522669867267220172532493045065392470814679732681001663484711959925437192242234146444670567430209819011278885853382187819497360145064343350827656230635270851548103974212183819858523747825529426336288452148437501
g=3
contribution table:{0, 1, 0}
*** a(t,u0,r):
188
2
*** a(t,u0+1l^(t-1),r):
175
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 3 Mar 2024 12:58:18
end  =Sun 3 Mar 2024 13:12:55
elapsed(sec)=877.291679