n69-L5-f13980-r37-t13978-ver3.3b.txt
p=550224220650487319076012814828235938251203674741686149669339345100068589115153693304240823763325536997827158514692718183533350770095196621091852305040116842594541284938930778344978859700736087381001134326156745656887167818765933382191519380665488980394298180577302075149539850774248928739587053615298663014681628683906694688164305050567363530665246026564521200851334833887279380909683619566168475019086855288701519081890201458809787693508874791339073037506935435802874797915074720011305471584241132378457956954719992326391300250828253673979978474446193882855553725519916207946495643285427687107331165704239015283113995076954380267007244386346861523677063024403303142161318302037832457297775575262126749648609253473687423701119885311671811435125037826892742948349277786734773753495956180824207786626707871100356149501423392839095072970189259496628547553858453992565642988979083650455860846167532119106232401682460692245288330375370652156455766426995010807469660483200270500408087672375126484430761681880934820465700201539212824521689367630744836165745832623034175824419611632378814942559270028511743464036908202641095464335019210178723521202989475086588467748217485985720687780864314560315474105271948711645312487748950833652429581836702286733848753997072501457389819814377255412445481932307211221319665253375399343654819215343308141201822464250539601043026492231617501208630935370098631560597888576016098883874643598573394912934219192892188546689664345045421147379291057364656242767969807876105969348220342470512727073195946418381078275090237455009776608930753714418636265017196583482528356670101007246905329732749540711043967485277697738897631829031282166570112809259696000632906838265097298570831034276320362146646816462289639315090839715544315156855155103827093685553603872319665527782004216074885790419819612661179453476489311185073413900447647498482513447068928257949774757742167234948314194757027238853672591992167086330991866992704868650538601029504106676819932353946249548292840437936636158005672665127721780231588826076617912188976303668496133126179863029384245602924200572036488621017338344414730187545958838523694666595055975645501662385555185851781499726398219504988895077773718879051273900731765272231682738885029252831148699622152612441261640643977936257941295315248882861327081276582293888227766091276642142345724053400401747894213846669599939917926441701217232109093824956405338377231995053258907669834615958044516335414876149339562768473249034581253855544578745016684828177273679250020190196861103361282975461167935544616715442039961159907277266303322455638610763813811826513403551343091912819167163798941111140336302490989719879710588165595707982211242821482160058709730895298884199163787958196189940418227493897806356040993569245781058128697655259379657057949969876630408964847859204564104650274828057554122646169034969137794991891567652580197581830102458275771348352024884397372130793951093872325337989103870210120548413683351543913434058358188952884478834525328664705004576767353215394552423863062986761526709169161517833807108304668332530505626417724303603691536657933544246710359644270241498017787451605275431860037863530377727877734227401010544797500771224378881379954449639585718905822698718944529986858451842183879943811293164132017275849999915150286014049873399354323520514710399076593050802319449673363761391218776070641714814685731265369809965021788767325053581058428960326126966179233325852984738219929568885538094914391550674024323205501950409197289338729225964311478577688474859629166920122433590538138095491977125311137569605109652091955128389059204357003679850653472910284402148722717206770816718555000299573016156013678948755033681530200288782600586916757814770099237982279278754261126482504807477152420808209042549233423908638000631451266699512575824554943953981773255720937748428822549174049008108710171043809276292435185800218433210908533240970589420717980471926595372216352488512830983372493864396148437548951450693055519608913528553943458627576004397841904457240832730467810683056412014354568629686650828295893503444627715127661872589059082616918624138255970921720015022888142475788407405071407424451499804223711295273693479815707508182437159788883624389866239317781540483410123189436753241930686862449793093221986062975320140124810637508620245143066072473536924442327204075493965723121407733512915533502461004642602693062239140848297104865279213780559651372479534422594323077273058933765777515780899917970188660338050945481377850195592941087145016240418105121194574203662238856170233629825554921851425163994126585514676307521361962557954730855197088844289919948380446335715399747110147667701270092816555516255780534996825336563995118512373225633278379547843069155614045522725672207458890559461687228860717174419026425343906090737226468558920110116616107038323696559042210290429600599353351891207181387844110265809698034096779844224460625099789962917778563189503793030247573514254280984488706599176509083667139795064940551825841711363417572491087476381279523451283623230034719607386403241724268436279944836788044388947797390108086969797544959029095644533174805046456773854902209439701309032633889977612599119775051772528417388377250351342827443649422503194606624571700807585238890173571609819200615370234893776568769229130143486123658417202285004039039584520458510721160146582063561472050356934256135167648310391196162842420862050765772385998898427676375582235127861270372724889923656760104149598683725575304222992260949890282590325903532298355709673886028425838783864127751131572282722692405442477334353550545255155508720281043398880893000941999764941184443658961636314553570807014182543068642708329406973555165938977633638526494056849936561736278947787900252914246686090550976726041897702421626337603975283238624481898337878459187106501014625500475418527241713496151909448603411913457180388662412873568592176708075596407103796200490670248871000979428582318510429347863684574831322140422113036134578648967673550939166825503417866940156779893761252978285969327797602106283966100221335641888447135093169253476771122241618460479624468442688215664416850338865350336637713268946138191401089278843566519398458106351141172113597754818552432164979176022510105394693704258214812217555190729390624168321003856524299479822350943625474428866008501084732527351573927125272019143372611645447842048554158561268073641367096691917863351518835037496108455906039232038655688573937382523204127119989050147154641523453293449677918001953218030401930321496933804422167063334931623079106962240894067921244049726689761555529772067679261788505295992476842909108970944854045726243066936801362071975291815159413305178205914372146722550008344258823427679527465457222593798588213110926507466377551009577353508204139604434592120445992873118027194170729243773859440625874931773373160658589291454120896017827921438398393581190377836216177451298832073553740813984693865164882823661544206934024202753416646682145776015844281280530475469840221994622845220070104415006683586352223302103067683782650403050486328836048413538484241338852604098590282466162978235241944953965174210790212650771439877732841130895213601161166001724154919535629047599190344723948989303773646318695437642033383309982098227063015406152716426497566553278293528746460169700678688382303957679176360582876157893801909687075022133564251824460935036789547556263034640663747045181077239845888344554359280535908630481767686538090812413474935494808329652797012076279274980814051676392046235577754888180891568277508713967904116635670176929250794463034268762539409807866145034549353307646281894294542403773272519088499646285813424662240533696099874651076904465618008204651555849915347374605510983665478305195389233886829810498606968514598227190576116477838988145118459628881037983592547899181243382250805712533022425141889563501272412688155021208168196841483790923048327202881482224793366340518395174756345503735792104859187988272604837894414088398305495370682929030047635380828450762446493097354683445184926540635965540431469412589738144115719943184400730857697293288078751141018330405894416375754651356828458749968249780146096478606998340517123704631092586596619133614361509876193667728854479666236103287443367871457847610345968488351204229305418852763547938105601692126765565708939749809421100692230243861506929450272404109368818569914187733202163289371734998351255942066494218121977128833963250797802976915101587184239276024914033825281029904345554052150139033289633259795644366857290618598462839636453945312574669413614237564562655116647704683171459270755996956953408162674213980062665938570952453569475310585403073604826128053539833859785856973164386894395581294093892837106543911827280946789240621661506955315991612249548409523769078077895787233907739159576625395512093355262204402284762855193179498975906698477094069548131320005540421554768855974384581963270435096429161585352035348959826674636240802610967428932068766526126477019915203669490514708872477664020374083907059360897118449118398420172178874209891153069790928787810558070879287935423473483049212126609445131685054314625926182908784022071942096358581047743687442978870629798636479972062482584966120259436168726784617673990792304828436787174977189714443707867317315950912394706229158379309969839522784262585920543267242530403638147318242047836772208354269541386884699171715923482249850849618636207609924116888616848122707273992974559557657111260724622183664357132259571633241477618396930578362656266603389541062250470102117441520435841081247594133670707202156729393547665152701149746408840178471988676598455936509213538896006134557961438690164641652674702578865948257774401925461370300898562127346415672380705264913979238648149066945153531434695535619833401682385548127952860610762929811381922057820018090446012593019986525177955627441406251
g=12
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
296786
9
*** a(t,u0+1l^(t-1),r):
296040
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 18 May 2024 10:11:30
end  =Sat 18 May 2024 15:25:02
elapsed(sec)=18811.765527