n66-L5-f14243-r3-t14241-ver3.3b.txt
p=3550959255364398468689660890415949311817891204623004988047441305841731465328507883969574829125822100948030533011026551825073095878920292655199963026631482273303340480712568951088106001535820849001591898492433473572179995389310019500169736481600496127845566276504797655454051222207995783093966299554335836285390164242301325743711491093757491978843344007057752220602726609346027022395747949100280745315644661588629966116960617727382177378515191354320211742864380892338689971294796722363650117392886113741216867086680154254804520223435242212535290735176134479969223881115618815365138906681463142691957888297245787156879404095432108211613321256580299989002087453561909575469165078888535369575794610843249859089474594070211786625916317363695680751755628150217418576696042046168075669417442462508028983090685421192156015555284131884299485002771497066780576816349748970300409421278601389001263087722440602777041293290436767253316091510214145349178892618246426813393963851233241378673034719077904126920385737981301631701066277956173616796385991783489234784929234641669124450520315171935842825413381479786738881754640106824729590985482945065352176473151509278677172313494242299649428868615926095266995430511133772189427776766054584949950619644235983941903409568930919219082135462374832446561607363624449007659332237387269974117571625127191042549218402870148508334460852363994426560161213485315544070981043514703342220286299655478388112490042055639932154209957085763114625868560331984339284649508833707402345484514038931678896955216360716985850516190701402464238124651124560550597047017542297774924513805603127358959659776965075661847098410810742723089725333981872342188962244412490039086372795092945454417931776781052158015438516135197370448530411896234789341474860493816591676659336861913620501648769427431015426386297845474346350657301415579110098527584558578560079104089221191852369068363328184479014888038686795014440077508008840127943935020555415971625880803617848533934239780506163699973880424804181635303804986525210907216001785463601041285717988104823725472313329492272967888188509510099018139211711919194858618868942631993972973897632258877894138719715199747820620365783791872029123402362292110621794747808974861621098424476792960328064399698890822318691716960740008225303722713492650509664582687974165496975702303984600850873701104016853497033052163613773962561099085342583907178101329576172194932946169028874491563148627979373016960748288176072547270998995510105775284313139746855930176249862520850594713788466114654415658795056715612897484348906279620300864937184687002452868429260810447040604810331114255941166767335028910707123600812216436288011059545790855855499812838921648647047966539481938498853535347054979931908288772165873945714973451258345401112441115139348453816715429074237155916384538711038629902472460948859073875192145553630629108016062001228691674347084403063532604356972598164829780022724605333970024362970109684329293470061885110524156977232560972619223039083249832562793496300561474449285786030426280931263523435470132630703828927070232077825977805099667619401175510100967356339602340829463914157730767735489195911043691633084417136198179384810846812082728764519699621649008360297028325989307021694307479016684115680624105312948034783948500298830807939257816210397672390595708184030666007222718815235367815309719949919185722002029645446026821521872692608562795784203468877720151522125947462440755300503293530306648305634803239505918820114941157788551077287097112813654572069538742775474753472656188813395647645020576977965881765708081697745037694889022512931251424007354490714409926777510884094196754651916031225910347591097592181131719532886620061995400668191151598521988830444804479447125703324117213365095789328443897084605973683417079712356607508566806452920969547168535383722746924796020145561947407577998631192056395043879326048072783904695972934512309964028782505658350808413426719724447290894769758431521491253601109335761463885604719049670101115360110973091458592806426715830538807994273581415850153160786961913137021482736993405638640232001249900382536415566598863056454030026009619805535082580170693652101436182622296505675358542396904229085774367521286366001206176695308651537034299712791532347539753481459103317863160812871351660302592481208586492909121920155592895043118658325392207342470310412694169934745620400995823422535585091243640313809292144933332358029846696661473120181728678420772122404284816731368391438485866558849534017805664834221558369936334279067337504461586706597071643102045264081574231391491775723063171976235774709094299854847804754397295974223431527803196003428953666292749700670127107646425445790083301734415803108273339109838555211268912656770793054667611801915095466228724626949830797772080511594645532568892782808799709160746538183205806737110166096912757064870641232467623953284933270317026488329742987540695192474914467933756651628276638120680090085368250303122611580903004929353642308581247110783751190916513932256734239870769717691202309758916249083549889196436428734879345441078029791124248098738857807877290633386571011945012750742021455569144175427919418965753235180033225651628602263081824138742021396028303079248443566437473256721859837500262719969477026531383162153384974220234323751938027717966657790879380981710412007697135684428533213587368259994763957444259901535884169807374267225344710230867112567805995158359503849323207380184585647390910861089823386428823544883821889006163962678726062528379334493663581179585803738904141245971171681216092004169633514294946019508175023532739626140796847286075333187499238566153851556926646707968978782074556777966303883521618553544322139595752706772221573820496887649250419441781964770003282922823713449667036619978776571007503297634935326206516953045954650683526220705444400658145856266968719387384993261165081396051789304828679480955308438095811322725575127785653046950407446668256700481372449543146509280125764091938944023345909874646063004385818248017560836303173721021372728182777859859246065237466762475537801312818619416052045444061700154700463646772242838503217024339841937862504887235227511019697386279891433180506328540062176988950639572208033089345230529429569409008120777453881504444506435968244232534327652036514825001699298407343392067943190664795954026316033072820378229585574191707174813873313974180244631980733342328883543452904913457020007465007384184746199657426976915690040148709234645346451410536994483064592292648020390983439419254594902972080972384144329307620596016667069897711636689015187539471325513975938802890556683283702613670876319736990404882172720765181923786662529183949344671776543233406594483309503850401998792410881512399615326617740104868622119034304073065797230740126603249650337344609342144706296742134113639539107477444379722896181010783535015821793538879857940594707427794562315448521202868095707589723415050237444250108019164387141669315517539277839899879114193692568453323590761657051174894387294191367254878723616559346439724865936394024189309496315076773546933908744394877895198303598931241883128254264317386442839273341130724567023585485232036411348584306808505111500265253776627459136612442827663897504752656772585133274216765630366390828820944527593778862667490878557415929814522557362524615499012939804216584278130562432400356790490396276350077789747678022447129222514828031414549695077465626331261765495266385740901631354543111971719101776667773197936414529544619256839162702357962593575851706609367424097476597849282946894205339910280217641248992022119484262147186323954749661270256237001337282101185402462422023866128511490159724573543295051944058412127304878977966220477040200645531698544221438306450965793665135784254856886815625649377174304530453608669134537557189640344411412153954416739438537197522553522972963760074401579127152704028463783908461432101883689303587683873433253904329964199320780069990743771427105648855066638303025033084032424848640404664143860979100088013935717164395568710103717545108699916573646505265733371169823521482357167266064358608829523538856556691845688414013320379443825274146736415596874305833530659126401795877158085279255337093956890274642926382831949700894993218107711307090185834026398251305209807860716080838453310901722898614329772686337886606346767858893677150230529221080695943138449919810454378469239649453175089441995839334431750885780628493919518391285995272079331380813624647990230456926858064287754972254807497272018143849957712029114038476617613198547347460123212877941644485742296120997243087632924054102004596655378673104947021881880596372244898667843181128224143442132198029807141014710954466673266948908120774990374662774026011005510236302705479059414552345080088841463307983412954700001465767611356842112223386698901894257857569028282126218260109489077030119087970683457862446523058555810534753897468223015773097311123954726034781039910703284645355995747707247853211236899437602821804688891840556172111973085587072454056394026858733395903505975720551893895032026403398676511146441687721049613339478782085073914619130609887344552436211397417215772986281417756488072374794644171437750314410959920283971919520523502295065759601228551894604381880004592530112989664720840663914228986118414068228697832816137778323672415888680382801986950184205736700455202234959369670360457120820752462505408943188466287439501991834309511101236522202196610329332118296167387877711087637443275894201833119469429019862319979181866514182017646003644098870660174926038966979408153777600917801893035698253355835631534212893875191470013662329447428490933526126540767119962534612129519533347459562626410129469478418007244459761448853930396991283511163226341799203306252240353030114371316124033804817906652851321918698755556190293451346700548353980086467400250420630107723393865730427042766707794129134652574251144260478629915158097627438525913328633076197365076997545422005109845843865225684398176860165490259642642536701891576439438225065714505035430192947387695312501
g=2
contribution table:{0, 1, 0}
*** a(t,u0,r):
538
1
*** a(t,u0+1l^(t-1),r):
551
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 20 May 2024 04:35:13
end  =Mon 20 May 2024 18:39:43
elapsed(sec)=50670.172230