n48-L5-f10666-r13-t10664-ver3.3b.txt
p=157158357416519923389889461600261573061844943349029465185657052092477627696984180197979805862773772284363874873528862218126861019167571303606062164600950700601216276429908215026955318724957536576621703676772400086541243171212457681394214705936533376412816700746585263595483618049214874033438454411818736105139629272643276265275714985381356973018713734404273663071729607051056726672866131520010388741074032876205393772272649380962870885773341569063881768269902281766061842709823096409004369744483195822847719459945875425193858998267947500836714933070951894991548878179518033423687682364729943333242161274142712202700736776443339522091328552491241319694864808358071988913630348979556247153790839622495960215414111333287494681702215761001388837403141977507555925716142160748486652574480701162812612732348862210621740552432559105004652045095795915145986058619691293144728156307628221198557154595185648602706867683718609693164932480391393181050517352324826389990919547029773883334229639536953791471796950026371654301785386417756398162481825363408798435436063858387153025582619827736077210998463389528763889343445646875134019387761006267373925666375329252322951374045116875690086269200114982567574039824316555862047663561057108193572443438731306438177158033694972882590460015083948624223389029723875216016298626455395245684381786394655065173610455413542045794271044339807956191890509215897768122630194540475037684103602929915284074369870693726427627279275304283639678050889085677902716864638232866258261988504770685581986513115372758542387502360087837933591203581823540161003718785162929981203288853599154637092975909944719797355438014228062053122935077518192598852705792502120138653007611082843795492199834648396695040901634950944822114826460586786353119322402788879806588933953660381258520037774551869135448012638876603107228690517681275807351825642593526493406757835072395512441628154934572166852318943561666336409596604628619994965326927160464665264161112084588129213026782674495148135769265771924092171763800809076508581710380780791526443095216629132527812323226752538283727454543886049049214521681524632538297463555751726224734916344225298559626028529133427159367129521839924437716292199057239704501969125270506580815486894653360004804784107748876865329678782884328577478178149134055939729135613561096089764873774113617557842776953730598976756275246025122320862157612590088737501030973616898833926863409068851039439822518602433110648994093927944923478079761280652475555584360829832303954935190704441057256779476980319461742973927617389682730115605745407925190488603702197259718796874762471631424085648279287815151138007968091539839609999830322418440309163149941419675053304497145270375002652362957790300263413491068118736145883923084810054514944295266942055272549070217079828818810987095059883603689400420666600564399869089688718823455500243721995452584909308333445935814766034958514687929752544007170121223888867772803280644766799765142877276184290215996731228552681986318402514561232122766708544918619814364626595658699841585481860148372407252093071669286324311714350492929952223480424980517955292209525132205471030692006045605833606904866906593299749269978771377861998191735509558296100049919481092592826315979010386346186416579667446648369950464333689806302478962951124477018075940332501754142454652413635395864988565130909366006503923073832289784042992542984919205932721781508897380827805270972460701480095792069320200852586524539011663830916788311858246143146046575347783097688328278789498679395071310407816059367506121803188039250085932252039529863109577773196028117648479512369013481880246894574014329240286684896397195309834225999116460669003586906149958479062049986898693065169920145586543847990557732883613397804220377718708060189781582909793951475074163084659834854658593348485459421728933858720442879102877220353017474552363403503806070748774185036630883153584945521595805176062326910569468507433174874093510896592727319606761326601683261407517879305016101831105356873762721282032074129186226208747654558887229174070765557991150102583694984403108618655421190181611782699501123664546649216342752950937174930492224427575285213247498350234913016935464231403315416900611586921898725317801100985910799101368603167233713725731875243936446570083177856919336956608585312208915535532627027722268587403689842723187017054959555213529532728009268788151407705924144927777227384694522815166135858997122872091971438577280787776094388293536050407271007005924739722369336134377629953668381831362362872206062379243646662804172505845655057702489339947821094790419392432753525500733666323749359971618026530732922776648957689761945218320452420903096442150716914163711814922455577507103190970164927337706990748518693538252656454102620734825373404595975821237055350000968044637104519469685844788714993707315452694326502207159690387150471616771821076933250125753660671871674718032654848939674754253425150303283328788090893829801860082088392972766256369933175969527098705040546611096747276519964058446294015119453684070769462673888867462919221850028103497038965247871942043436990852184903869968451721569672548780211567683417222877530240168735520377641366513007422508936383697701612378147780473994516200447797119401926223627550120562365004636233891148151706743808462666302239643268580894309886673574678512138786747265333182150904670204286238155527736281259736734626419936144535225831587443971200471332915424433056075233620610544145940247449728177836095350018155961894148612754260308660186083454272413159531376537059205430456208269969330433074569714437251384225984754874298223216283382686703107450055789349883881887230640360059214213803436583016627039604751059605788486776114941744363318778534713686281352514728152574310551904077207691148975690843199122084811635469543251808520660873874514376761017049420424747713982177106809491131299046778517231814723393632720374195360687404133038299727143319009596033268139841057101616932601565259025317222354478641261169459024020850849221472346952946613736585707538951293364556782792492473021811206103872864136345570033409965912047517815630065199297771347742092472240776540520525562571544186804515551057073718392167749000047714433895136398463562704819640673198352718778550456356736607720402248113418287713119751131052636686344646497447853645297053816333758469119062208806805800719759176033548117956483885746241743490981328563209317712536184380852270420378832256267528228049822989044755795210675822553102548591411551608463854663277067893112328035321342034037337994769886321194559485867898216067011736565412761482604312225115043475718744916253099351335902372523521392459937510582047624308737949466286552007207083807891513352172676869370564171936092937761999539775050338933718821660982830455424789148768775390860029612607060386567757085597562791712873335784855796425677896529450738795844191489830493343336191932771618581763920192831214242415419575221093587081409736838334725846763898784449153687271045132893757350439841427576386043931506040036901806844759441009474480518751992112396473709655120950807897301153606489868643811746327825426365598466185532395751707362228690504229728187494859839239912894602501995102486645721204808560189315464606185218246938579404637075044380747716753021331561130036129065321437071831781219465055723340625123756008203017128088265906148880900780478313970378591401857364397281210280527989900056795636072086735371299424566404696824904468647486870089762314696065230359284248251583449018653482198715209960937500001
g=11
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
20825
12
*** a(t,u0+1l^(t-1),r):
20155
5
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 15 Apr 2024 00:05:53
end  =Mon 15 Apr 2024 02:10:26
elapsed(sec)=7473.138919