n81-L5-f9187-r3-t9185-ver3.3b.txt
p=4435523142630221392620349316730935964330491733058470708563510788681000250211432745841784269467241428267186082635841609496946831742280655783319099976957686749523040718854398136419046604161635137569348516924684944104174218009845197619988667329778375091741457745261331401530241421550212392728477631409083953356104799415992369962415825374405257205263125524257001439784285051358697270311183162111493783819534357442205847606151836863166144315984844530641249680520570816230150650201676475738589513613145526252793666832937739184353962685829041393752140967598404066365801104884142227151181013699568101204333656526669624209571317574060371379036618576018269827396772638542996137774572294195505723309153581367676800177269131772110460799195490948656685766115268020309495254586123894333766958316394464637329832893869853978432327250766027451462575443556993321237057006783570918740996944507020806018148754144824273857392280748361230938429049790727902538691285467159411644553971973473866426169528628237741537327346218663549582559857836396937374774316193635867639563455585533200882181089823077772580009658263373496805452426205650365537066424177364734002343636341901091543664392412913830555239746479736676525104094269962301069676610742342337375400834525600398258718902980430280532750636761057399703996263751068593184731723342476783548889744376389892044777596973015054104483402738842117969621813452360958535948564118534482878416861687928795192227505225654588279739430083209975065480569515810462765171825734490658114818981616127863838429911774502784563205893617552195548387299369565353025586039206131961486777129160595168191751661592136817892058685949483804557202597456781744626411945338788613849621960341674166512836845068712131229935373860999940007117905058087233969386000165336275084649191828122389751305691535336779553787898014337089797685827168730407038983740470562936421045082689945828769368233534974112728655106111749346255485529701135470430728286865598904453377942530496638900355757814781266654358234589761830822808323094076524421445693876934179357288621034666130599234280263272606978917932994762456890813000846288767983525913210232188749014959298925450798236273057796050225061338120126624010482004740510804196153311671518144475478272158017376858245370869461666771177678035973175106288150519741007651072637977863402775985111187024829402463708588018293511306866054816993445703685478338666059395931153523005161999735630853402739970622329353476474192032403958609853049505477538458400796414318071865196889529765631777062475040283747197446429484226170242956811432970882753019028800985898888213111695994053217436081477318339298321747118918767154800137435703271112008841218672744753058774007291590685517224960277032467842023146505427804242192525332693259882459784323873100205298096883436328280143294668581452002224176202714116884486916003252645427882851820095019784806695786653189590023778014201585153355188097210331067762158966701305420174560564760995622514018160496021172624198015917600335269060383318277621873348135283735635804422756843253214712313303252611553634233020372502322159528001238043872831106153280999052208821412889640787716479839150896438146353286388455310013864734309444437334693822522510290657450675010855808582971531445513608485367218979680682455471350869995048591613564161842035832328054756478000796025587577612141931693051388964068350715561021884367712878765927713828582277426078177076398371319241368082318613830785434342046690138086797898949546565169754709498431432474846841785756979177711341230115198053215738184858887082171049543871688830578134987692177074226602103983393478655923972906583350646845959181561706761134452933765502858920630827125752850795068626032138741159401766963928954974731935445323130988286794695381998018628977136664546074510745850897945964965363417146075740267425233661732254520952174718543875028400699744228114700990693907151893831759981388786006088374468899160233391861260079170214476625361735566470333937039330330670345589911398517816462700058216788140480289411745370482772250611658358195794363200277364408561815339735737723269878035001669792045214137715993441317459173216253753656975807886559841188807983232768049819014508136209934658883041656393506964129434635813556987558849312740593457734267981880244943723706775356815906750889634779000840863007775462174969596719159492933334974514984735942261901724379513046428527724490859919291190075542224784207996869297836625594425265631828559025503926526593398693884973219955088891010650566574734509201195405118132242764001185911562685972133293766647826511540036346137835483357548640325362937105576410815716591111901772846882420640409739026487542496869152597532081410705299061176211842477512406102404862995846725954162884983758412281638236258299560084222649075793384531477517440077967397046529201874268553046131728423501591187186027925102585568752900112372184122853303782305358727855696347510706520355439875959946002385478078131235998133413580799691657857228118152786698225881346398589136638460475827006983945245410950599487901064085378923108020984542279461221734683172307752362811090826362447598379810636332726847955649031135498277168328571479893638758926781130842333829046332525267676788306566048256784872182938065694432526252022383763262837332301979356124905576093224310420606127296420286980903719668983389449443496055961559691248889542755074069850922685233051272024593711907042438256346417241726923094770158183664498240065318304655532068254585583648804556012950071086105358772478641116158704601836846601776313882830069454223210310495625041699411787088012999836849649325250623710909846502320362660650096983264806211411287238494343163593251456925121582268998304431916273869331551611913136469531472017269283841946247927720326160914121158025369501606091020850789183033618719364376980885139172812395550061185925548740353476618068287264945781916243023385435115316820233238221027987898513740551612947274530958483816433681323926018895117799319617265264247571646537270089034666029629061015498311381681111856109441378708688785214546205895057891320017685808617521041136182371455167196989259842348232228721497281688090584923655343337768589281808811239304951148634778946950772012125177293409240888736869336846764959298020504581829068442043272853381479555899119197828440893807374605669930376192945026100599461321099090715619954973934407288763137920517775008062620919689624734270658501989562679300239739536169453147714539448590032044705822045216336846351623535156251
g=3
contribution table:{0, 1, 0}
*** a(t,u0,r):
669
0
*** a(t,u0+1l^(t-1),r):
688
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 13 May 2024 04:15:02
end  =Mon 13 May 2024 06:20:14
elapsed(sec)=7512.175643