n62-L5-f28276-r37-t28274-ver3.3b.txt
p=147660484957184056691936955056406247631815564034979359982921835613818396546413986638410535385049563570737375316573787578920343581889885061786069494905393544697225250542659423743694155859375174886019707408652573069020516652656884026090242587929284380009628477732071661524971432818099748726747117076150058417340977268639673610717095948041069439954369973425644275388847043991198551127227204690517284522542695361908012078160011670011106739084661092717969536718759285909126806490111361191997885175172748574820253118113949501138039747845781490794249337490365985131333550115096246001503820095353234871009387491299967380128532770938868711408558799362453808725573215825091812296679701655727587248403115728705207441844404059609955586012052251683838605145842834575623163370391868759603101631794022582644712611070718514427782557316300675615414174146649086314419386592663305682760991036944800686613721472466811689596790536428024811843401614497239991888732244730074297351666923744815706092992106536363182784916837045092743215884113949996720529183710906862135920056936354668145648030364922317973798614062086515140054047814791496654680663023043573812653456752176652354514422435833442888541274873427055757120025788363949759847698208425798783031471528151750269480909593784830255552240070869334822760201092970432918937965127125988803152680593841839985770037493386034088676094249025655344629935579324976779512062127579919767598226707249747608883953033717876114412627310787672684774938093310434670758461580279178433725336870190035375016190800425897392327770731468514590809238231733768346694760791148439629656201834982320875366627205096917934630170291609991667434685929495023175550662924462159771670120721809401011642083144853561402869548567353978550918580318610310534149308264372487478543890621071104722763546408911185495951820007895206313754208399522339416467565066306971303775431364252544311605987634876000489137182164211617375679621199701161321277746939274567757749817797151475215889917224792828226700579721765020991922903716616687892862167252315785249518660729324042669683311530550137146291127857379530927734709171838548620879946295400172228156321435257980080485503836865955385545165218460877496824228555145053286415570482033801277067699080443849231837437164265336089466455362756126937515766584740935021979975176588458359131142710777515387817175927259853357621316584502940689307806614262887899573753784710136084831444736331848823965876288478304609994646245989636249765095324525595844677159548648128788548830891135580405963554234474974490985221852400545828888353826190536013981085024492053808048665848072028795087844896867575860983215152317752564032180039536912056343726661278601094829824794480220967141116700232301039278313509481457828540452577649462058218583920532012059372003554776891209047587097779141589596729015066113106959344572268193395652043528004277220371604438728306764846533505982980463444832473079852192990060913137006453453871416247163757073927233201848231795580785739379030441257420748235722514880432200039473660647230167808868222970069145309698695964725789794819636074543398648272106927472239228595095066348882326884575828658828452763676368406644273269018034204728150515863491500588383353371482191740459671200382618498699545520535919217614274521873911634888154526855295994660295103160008251611221631820117182601246231030872215416784051222027913934219128389310757536417041732274296808382989024351196797286232012313470175576687527747653451993672374160096531013071047479024343926215907058311452404974264388595401020696709405789385085464377706381418235582978589307140987804745369644896402873871298145827589774265970184386037459935013752788753542619574185457919522536710388244846409590053290227806796226079261458252800382625741439059407052445644668372267167424760257711599221610906528504243306682244216791542938474423724457196204931468332549411912007886482731492302982391629210857561981025408858781801535937577625866733520281856055394947051142427913721493919460561583116007605563966994920437159653348836466929858089725439293368876048441481455563950078914110653766936807117724589505643324172821514442610848212367460508901996800836679689732339257844842426725873440040202512633012137426129340561787545078057191920196905716515925683426250635779799266852523280879116140324380530707744860223400763272121341185073936035934156637495037706820260171953541505107754562822779382747846165781076503512768981621625475583177612082229692954714435973763541818969107692627353032684752622988069805278383968613755722325196086550832230651102511062099784414870642090794707135320706289187475212375395508786429496109931357874740809457627077656173435305778305962330899188322812010198698223368532105121910790887330834294185802344362180217630041599189853406010459412802786326192954967608120920443285651371343427853791995466012548996250782241657871160636371814583846879342038373280556970100538002944588266058285358522797750653242643534564079237190329864933201476808423852647654660574781604358759572975990673148648417042939119783394153422378056693838178423523431797418055959998575045184226802327699844574406372189080105767047699242413431252854050112591671247777116772878198491269533800580056865552460293441292096693784747745111574851396929026473022507054330162622673414921842363824208086327145317053692202865905545432048657391116824086316271910354631547740102038188979385756407003384899250429837122781914437749182101225746641287794521529256022605202446556701031024631330359384876381610322083804068340258928317515350324609921243814398595733017696209654727510037235459842081317619639812374370302847273824987217445059926990650541469358351810865825859890891426344242123745754381737318970940326375238711575386676180210990282712803846794970088106387911224144439820727030609394618727456580077543575468569773339229415467373958940881801037552711971238244876666852070153076350864456203666822507692616193911835729156026376062721845249205727011335958014195144001610776679600986981003470939261337321452345449438209420979992115635438898152906861818581899532442105490229347888740943797120315252829592452379242304808923458134734958901462641688951256448407197370040870767662330448020136459802706685581214626416853391554246314195378934236466999938243041679750538073998975688545553229584158938930032426490716010376412090593868021425780361852977139978286949560774558846208848554691172082485241740770675009365007197323386966309077908519985709890840983998573252388893234721906646383639428017135432418503056541016395496897445194773396442206146797166132051645886238559896902012648231548520955376829534634443537545479868550000958344117419632046482266011175031693579783684610466833383865759971155073943067545137564391548708142703018920514015242387555213984043071021903000465006466693120633044770447985068379164290636740453389401653206555623528474131067467838198464240830481497441757961824896463318507671834972214031765687433326037112865418465525663783538099746279730699243887297660849351197946535075512757803270446428955678192397665295577659308099109328245360858425300721757475089799491512687581973408110139344406341541602054115926737517439794711750461822988769336547060801007853429831067945574598733606910998598326051791434348423570024968162346331530264916292046829191010317067341236163872173321691611223652295594963537733283725235236737771910480999269162100232317186632376237310507337539884835137681324156129214853475669940192990685063535275388999276798243606376270178037032230599107067908328514473422082881140642055838178546127081216516500032570623568081002169702392363291308672883691672796103768557280569975882339996050958634360863989667001357559364581600622742499382865239734819780644739215697485837810684839691192331568812181531340149591609370897379284652772151330529338268501487683582523362601303366527576346803196094365403679948818579923252875805969187924563499016144991431093003067523889661223970943146763263590339491455876051076580100753403710968039014094490010162800266173171721103208454917953829610786371701353980204645458570778117839601566984038478098027685740923825237016591422567562998535693673666795354635674320810629821908953085134471258082052742575636263789979732474907142971207330005452310032244625615585682894064808344055393091008338351671075765798051241762592143576780869264821460582694035842207614008162539991080369306716632695633758159810529036427551504788561269111304054863047533802013518599042411573102871514275027346628778876027423461751195591433057797069025906642486140024776257294882961569950760857662875054954630992971045324713118146876926246982685262179493462660081003342222010136557410295454215947683632209300448796977054840527660405334411855629269403902070079604741440807774076489062320608029069231284975911508180861849329433599375802923216697845016713458113398606677383054756056838425464172440992609928647187613341873114425919214846490541543709215177231428439371876026651933283265483186024292954862860978958418899760042408638297627465748196337197187318070723931790332410747105475664881363357553174555129845670303485848762382358042972387905063012918877744614060865996323183204971706049306690594736892187291943004662691621577282131253375350905328624305948209418330708164790364597754715660288574951037556945071161551246177141850878325926418266108467391386079368987592146364037901294000078655616911318491171266637984401456257016683292157343065856951449428184918715689289269267083760011428446046835767738100098635786703864569222578091835464964084146939716432514144346122418359081896071071278510800942032847162067382779082583271180383139233460701873449070099782326701109683055565437835336638891263190924425181985473831857819446743441052507029133194227437476019466394488159263415817332413505889768944221501516637252113770265647099791699326800932932038303087227129449415266120239035236935387411801927996277202656337433714794838511164326113135285642854240464008402358025427302565738973934181440023338693778634606459426671990543267896653604490046546396423860754510111117020252481086693305105429590998420348432439323281544610368896726085104683613857175357913011120165809818162673074439217542012401350908996974934487040731932745652179643526933941991227049512825659824639876683970977627059890653840297780816360972125893818562038124113951785936587663595320006521694961029769908245773968937292005481556900806235895061951191069253835994493603692516163202327716438923419339408615046858860796373265371462410969332891325461660667187950582986706238912332639621739924526957969588440795846382027960257441575384334609521668978870526810296632559628276454408220002268530104584297169535584812128704435834020138326975581376682442334335060144035781677197898213451142015839031956078985224515483522654620168612162719749260044855779552364250722746746409468826416802672676300070573076569470471722270758859270585556229964256963729054278690823202379920337097543994541454983950422778728331063201388133923286960152274178609210350057166942774987892352675949673467911045643883788909279468027913515248078329481804390338315075338351476264939540513737208795412078880793889043456815320632873560173027228438683328564888707240962862279064959486310404424333152001500074771977831258299588390494860005525200967809597679447981285994521495850768327890481580208833644661093700186950498857477543254177704553536566955139527452224070748992594657937143005504019120380485516594540022110508179885452057314956828787449119677023350974393945697267554734449731312461316140102988095673063240815380424802374235526737522029401633955452301555386754899299020282219088845431560171728360382159371188151922777151142493100684342443046143481292888842408321413728854110426167280760585253920953193258287678574538632690546196303346910033936230042578926407722139395776936446740161788282761241680463187882612585689218152320145424792718193815252853239787341108247076708412414950787965310083058386207077578834327647902526122047526012828243833522351453737967044117908305582511186102268456292751243693731938872077447683967913143093309511801250590206631025357086858901062449520178198052823438322223310037096409513895636160047557251467513511206076448931655520919176213597152180558865022710489671715505206451397514483077332293619886117917610387055720679435982617611630820256866822991212344113093166288031842081044987634981620783465990981409566044534061310374379181546130819903100355788236902504206377653102736781751296977281503633334926833648813723365089150873475844890767901252476256924146360998111881522704802918709546034586638481156048690619257186357198063996505246162710394247028039496605826337012527282500627280065227133320798582363578441844430798618752176984584607187557786751053652618072721941666073816740740016542710230300331402754532378726486282921858882789895436771112541172235498580633130744997996748322794605498228506073167619799548722666050985330781836743074680518143086786376802747608827624296865375774380447650256142412310492596420501710971257629627899305198738413806112180329157429504105072028735463214515754012041483171215702714574842784885083311865440901448068504586176270263937282080701682930446067042954270380308202741646648300251042578384956473503497078142490988567701394366445216087521223096561852251670283462095572910097886537537209170417409414362775142663365246477082494610044854989536013642774153082650328552138067788541272195163413591989942859923420610528565707971377580000929186816760881313698842707430413382764823462578603507157413806229843263251859660263890110493586080247916920952536523087229814202345637742444146683150159719709122693237946330986324988877503256011750102147237428824142879436412835840715290052657022917817273640835544304814156918701704831743493766772801454793212239269245747530731578825357524905961246895640383295996783757123856558799746946465709177239676191455217735452106898912941832681067405285623583488391387846058514105065887515851585092505048141353262778563814157413902907248865937613099567529045187061925689599405344574649735052246778294928794341309710453366475876565673153373281717258128854612480698227655257317423724414746870558862754658445014782704531172300999174991954507999236060524709035715353829451091981663005563391852450287531591354510345926347317306906517922355801029098314011074897978902907665656042463863813422494290503612725218217733887334774324725365934479843509461940772318730796399263253944603136797584620917837475716540297815814123149646300080843745434174160197766735917723681997536573657520885797221014290551664483377813366002374948619193539379768403019917783914660070107081614115042737663628377375602980872511647389859788589128525796361268231218396774214946525528250949586425250958150034918137965840223444499029416978288628824984674817814361022747678311450246704729022642369086930279896126822506509412667314714668321575982945894072725168015955037336495739951497262839301702530444465999454381766782309551621013889212659725443888236455567716327965179052056478980124598008585991283107495215641448682438665753385756552611759707527977543347560241228762253941837932087531617392410844155081318837979333415653734283084240993484879859779077657053020529944399896222177618884006453500642168212711424728368200757394749539853219959216505880869389564001808708331918319089685667816471905853079191797717111736722230014571201142008297792548260144488441686669399838245858698577913180520664002198816212831539642699203826047376084117674257179586808661934174331000299862822205442282987279341665577306146530166938307029874613490309970239803915351330836328698290318858972922826548223735504337165956151755924368551127175389399403587426949089908982050943418965270034527633855857311696682362920004371751326724187307865462346610420527790409594508190494046180606913092514378764202378967262608368195260396127791780710904546334554861151055606164447592086581060861436602812561146890415929254670294200168096111677960407933673058179734712559907429699198213801023089464473857743158742103654551484121972950823328661987778010163761406088873605934318248195338587450813327503792264592373666067068653925798567690082779170250135473731514256814578335469908246369768982254626238700674292067177152885379008423280041189963785903615932507337086882495152805497534194060510483370995992155003326414883657550351949877603180948860440307310105606232983648617078243789021177965663250138087396003243365765229187885004986573567095543136624719521128370247426595447746971362876054162981701147728652103082386668680104798725984210215332613597687246994620086110908419533677544507895202438458454891351392788598351529346613046131830177768699566699627414913372469514977055903359705977331982507021930399537635853578738167272777936515653121706851728613362588772327615749176219511947945610205650527378105839095709746102445111162180849708168828267974297230473781647934939092407516465226202554940658637702807441633088447067354016795268731358168815072807726794482913489577458639475209271286451805037439033071119435002340475197896924227057128629064020147797184721718620545667898438700505383409089285502847741073784694209750999085353579639642643889735773992083257595001257975282553016861767364912541919646653094020268018630450023320480833124798484879862991012494851796239270155624506370065423832348079207561667197895350342958137420307903154617003704988638115775656977044831295977872741156085297472272954754566154744256685364605485072084480239225799661595788478448010667094094398536106410392810078199615187643519298865504974591665964150079651513193466658130376050102552904087184580019236059211464470033825098857800892297636550729401018801708597369805018645338607289630189949585846455533129795709373914646543428852607674146958756394745301264533808421593988015949476780117056105927811450604555564434355491804683068613662705904779910187835653385326239689605561830554556031868736418400165173956888466992715885085139781950240628315935315879826809593512493281461493055425024822507906582507008320255120968965203291534673699768968033338466357625556631564141477054991522707678247983400834795335125406643314906010958255347789777945928384724327891514684160426442757028921906657453935514845507517948743961133001764271670173136285891621106207645860977886402124727782900228357321693113980662273203987264913852619412608554197011921393090216076470769697291811090551420369000239695972486151462213040957349323673842157361902432104277830145812037892060391729645905343103125506539026484591612809616962555423748929225629609724410388456334685449493926391000295455025901006661353448956769998276862891715856671988000153773229105294835610101852037188865978862768564880514279505073590628786659136813367281760829770228548630867706399632870221008971035414897367235339165510918112373328451223844993724394445110224122191387234773402976538681916479999262872018863540150861216670417370293080610285557148423470751159601192815794005185954597057120576395708772705718414605508163850959520982878530743518573215149031550939418403758474813081373659229270739359874229487371765647053298857923286549969865058536976439961652225908509298833131151862755792932430113413334629291094984413449915293899328948642459186841874558493304873877508340185434398143173063106226577347343879491266874818344589559271867848155891217601938258893035829751473270192897386954769766609933448632146205333614481712944154272277253949304750854961517290458669552786015700520450790119386798465154907779594540582331898054402216570037787528207642836376486651522864675436730566102478050549666529875100836409521592686405927001580706554514523599090856897707518941921988244051369963330374450166752868875761383893085693058402433559401453261647863499252009420427459369622249606404425806969308328517735253242449058545993916924411928062029316299997277963406663625443512960125327277019229529302852972475924984521137887743256161077991011609662033632514765154583081629451318094540106035021554399488539148826725455912153069787384751521130965556949377059936523437501
g=2
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):
261694
30
*** a(t,u0+1l^(t-1),r):
276951
6
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 8 Mar 2025 23:57:24
end  =Sun 9 Mar 2025 20:25:07
elapsed(sec)=73663.587098