n86-L3-f12614-r29-t12612-ver3.3b.txt
p=439577526311411479188640136621070701971776977932509328682583852452535849317700539481875392203541586832851388719747439700692859181647893895002025580729125275302776339573823750921473839851901323136573905124133866382423330932674990787954476634877180021575494742080304284349333389957527338274106552650318693479868186179749756875663397922167057068063664188603573214654414795880067461792006836879382108542450775899308036460240583223865107639716123532712165232015662181074586454320482541820649856404016815968270787242431022915213141631592160741572996212828187879789798510117535842672029427744196428935735088214220270196545913143060791707893215457457758660132642912511664381790514275552234739991883455273230839584432586296972375335174445594345342318008154743687934615380966455673774596059740378983540367052347209435084098981664709024684953884214009178350197673799907665329035732623458252155778866086012483100347361362863537620307013917199829158921559008865535264044174793778985736050211614659163410872352746304237627046315388764128537678808738028147032986784035826489349097873097414321742468259568273177296002348464550330946267669202347846733924667151218082237356375910200118777283598057641962566269042137655825193554535231899686954648250982704602799095648907828623872123034559244389212751328041900135823429477579197505061174357815416988628545552144199802833248016509910920661893693022840963529291172446828103855637359700504942589802596165536802696050295815473279018771060985193448884695755642014941003607896388197669359718524631153321635016819225370445467707409420234757487500597442020323120286475592961399518903994142622221885366293505643567006541173122936762934468992607191042264328107176078116825027253669894078448288331523444168708876557531470435356009843762633061656036434097715440523174583839092499181901377924069356747002102770651695741841870420645490541438016893716450231327426621524952166789948528188695964848643768950227559346961953560729446781623440802447664519718362463363538905652861622772392712986878752631766249000163685051990075304753066912886095669784454552550774955827327973585676292351676105083117141771306354305080229456259816843731883802101320872798148313914021174270356646913506592539271843995983059358636072966226223623537490356056937249927153175764744490893116878643887125094561708550939879827702356296759709938965122307528810776105712131235107997306784508831709268329783735609472672475297149040697749065860687497893989955168247883028342233248144216679067857133640063827424666562872434290728757253329969865155595809939284294665277074143295709240823350637374851069172333700468086426139387144639047407340125987056524378244860752885418610318048770115719708783726897627424809740762112354692637041247220455195625453100741108247517095979304801760771291635407940321020814161851339732586677022879990795056475307670245426684394696267099667095182005927998179971588824167778481532954645266270720948342497477515798453466830039021454054770634629025828442650146053003815958770798621379003844003439368055212223444019633344227215216005302998107833219589399838933884471764511779343965045447888115855579400695810371268632636854508907144332899117939316310993761356357090170177771878093351538516633654012398525397102725540175376297245327201789205492427607814795800404587344850284209514312793191758011991812416922035031148351985431162301376745201902172786197171590106845904452001877118276664640593077895551975302839870472979746240123124626363429165366113598505729135135439046818528392633966500977687440478669561194745430478096664486510519654811789694416940035004881191634876707670987081802795016032877074431212792993630451001748278255987761674798846499855894305083268975432479999977575387161760715791910998584714154835454789150400935890197801552697075987700827183757598019661961593676704034640945245284746891673164289264895060350141694623836948135755716962984876853526222821339210531503622758654554416820426135880769438264769980172122474831989242135804666064114137645372217507276089513183289719971736971812065191653134823633419520925769722620587998674454752689784699410203070029459590371352745125242626356776163083833635479296701218098843488589916044902007091980552108003972515459804487489757354576847822639486521500637082065038939208980776951376171460841503446003774087097098857845683052218917596935668215831498695397842577708766022957746204968230248646478567172874692229327833964808745681572375199484964406403518749040904374392557698519000454887191877167921414591790702675367771181441315196181002085963178336666169699182705719843224399162318360030044784524602768612252719721266780452431411579128805230164430469884318223349012961996385515108686943405631575517903829529533426165904762781892848896258945862870343215984015541345676732084558161264363940408013871556499604765022033866201752029565005531570542861428252691422001518398472068435041698665299057689292706017665807030673104143673758012229061360754592431087233539384546799356660241402059834852804024083593290733338350660003949880025024659831618440935207882748564603043875914361917456519255684442380481728700439464067046427625965485251765923562347082266567037400395893981548170915171988897454149855088362576287133694254341836064419633387430898493327308916660730193129148275006791960155707488895999137687767286031803630604088318273590127814069648888439330400728583187456116844346351255220767575722388219549948217785316449717618241038822263002615988379630345758282631583788782957897299785113520261097271994562655325095191449158656842685533142888455677158230539006881410513934779006104118228000824293156238266883365141499464090029447753850240369341938812696344192972228058858982703704499097274093412896841738535110023565399369993707874780474757428124635368113352713568484780696699676088218317026355053068543701428599983830045807548437103904380850867778956637245001663104871365068135603887366828641096443836348662273133576461508814432032612840289412471588972283586208225420090940903183995780234108021712613777759422151944506226400687536888986450794686885498891749659974366669
g=6
contribution table:{0, 1, 16, 26, 48, 54, 59, 84, 95, 108, 111, 119, 136, 145, 172, 145, 136, 119, 111, 108, 95, 84, 59, 54, 48, 26, 16, 1, 0}
*** a(t,u0,r):
55409
19
*** a(t,u0+1l^(t-1),r):
58130
14
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3a
start=Mon 26 Feb 2024 06:05:03
end  =Mon 26 Feb 2024 06:45:42
elapsed(sec)=2438.589804