n73-L5-f13719-r23-t13717-ver3.3b.txt
p=2156961243010254306295686486375490054945322568757484837699709056867448609723738618531147900273135759388167960064796571056222596594621145403736250860380632296610939947612565834813706189203817788990956947379352578720302396103066907822126658233542596973544900826243065165870309344247994187650666262438602619245404701878035655452449392586043673833273882161279814947786579789578660167600209402178413973289569979473874716649153937684767273580690651227775930747927285351302677346126422727721413211996105478602659471475410686847833465714543250401646053549842061588337494656758546397682862249340872959483993342096542131475411899363877042042288997823133486505070680821592640214074323170597842699627063598534227605767686685259576887431057008565608487590383936558321258348033692675224985105736660995042775785556617318235180004085839023896053148847316962751389015308405252032243371434364110300579898269361991357745215382037753889111529473947563415531514978343202460383358667070150487602167480199457499807759591431806615760418350350854152413646627797708185667882388647905877486719860100025284892344742251774144204962595528746713756016484647096940184127219617550362422072970935235516454984260078528183049026104703261826182971154567266581004804700054318787657705996243221768339680311490019072100917535511847521849572147901539056201778028070794532577073047623711719102100127722601395366317311174225085687066118422673430534843807827722550136444075131992274254639865721747615121986973677288287443963812461201065806384623579257815609434989279732332314152558207242409857361611246098546322825862692115988111783095412975851817599000118924134285271783278946783322304315459205729028236102954011816287541566471147359436566373498956759132926623995035740969600162891927444682518910111776643481647890895801326931562244933663270509966111721926286386862277054821183591689684316916421705546591667541171304622539659776250591037411532743976744357566539093221390651415809341177606139177193745971690541570368224911921295609593440618650258631714285640134781893843547827152891073713392332794829265878721994689380973912414675014279051613902574426710855476076697149478351472798995110478424916487481022616655133170079074558912250283684710572413098389692430457316996692645330996819756122467214766055659832532679476344872507860235452212733892173304713268345507117707331613162112649343806045542644048824291630967351440912774697174534751941384412728680229793687564586020884624985473020985437747905415444745623650147769634377498630019668883237784162065466604862871529792767639811859828095947539443526875989349037429483003207089128586546741629061786560841898351273449417510627559120823854603537426674181193896351901641156232672299768085343800552851694223851155608680393390604534199467841375542359708467847221764726582508517413655668814307231884440083253326409233734159578636005737703066762066919543074454280936802199780711024569511683468786323298770125747579601585595998264676727066134192643351349076337336787059802361985098506332578569173865173647873840265729004151706600349005137182186443677193830653081518325801235349468740427526420616725327921341448672686882666750288331943847125266076757181997216884822150515043753882073448067396322901825833638299314695369067479331075599067662624258080572585943266672715621359299020537136020431905480326405228626130529450244493445646719362003327436250817210168530328850068587051777498929600530381122317766446593001822125757939495213060111062604654688410229884779656471137549690645761599758466210270079486493409045080595813200307258651641542953548239263527069312274172468054904784839517426610792636419080725139829230029322660966993430182602116975091480276700246467157131692924518636907634000365940897974013761872397401425612203493927903515028007002893286081380362865789608896523707874610850156209088888898880434409130909666570205696153862505787359863419381690932982315557976293123256328912216559760371350539355057672096676735823285326555069535293421019731875203792463875572327326778938051342525113851549764711820896493669668034940549320169508620399347839887998625213445301527902778350738323073311269379479335702091359446700226473114302792761547645684230471664835091667812263582521362771371488147926251314528239645294038675744935174885198051678045221128737453600925258902427083927511620976566647929112598406732417542988009118938275938727590892012558932471603305055297145955854786817465678715433683322562043697807237501325579195718428320057068911910771868109008805904150858808384811068026976110205575281443883719811095447816480624123690449207872917782342167886212909672891217379651699043203924786354913078733827501919436755669381515847478278140545960185623848317323602126566873989165689376969542643948959384529815842364961793157788242469490653560943605593077578321296903873061417612978616006759513760156749736590421189119389388188730167185159538473264690905805214743409309288322722994138949077750670926104540054442752763968769139424803248137518926186854107499293610544592197641358849738386165830134240207004595182941679662147175343097358367650319615211768419671347165562978348168618601691114605651570848169697259319577637792685955999960339487452976594992050811605361083200078242458114258395690267691613580883919710321473333348048035355390400941640742847614175236717693991092413210831543400671742220249378863590602628219193608238842354896777909464274739212008159424863129973779301352831027618692983115771225493896197987440725943989926688591055644096332641392216819150943133517994734041969267242764654984769942430013072760118277745881421260236579578590756909342327610738698776522108054493985805571018725047162373356607157765276072499375629981162309670736739406974916016639921402676653604571502114418369149577146497665340065514994781443053295162959862278666719810818559148344403449161801433792314471532985670939858755626039577289066926577038481651713198212598244530464166971418401099744072650367609446296826963423650599495080269280761242529438999453267735408602118791951125948078557335769616023269349837300553675922301439565531563775783327346269327446970948020089469877551731607149865738071922097445406310307858636200487656378871096047632085161436241282664636196491502647664027910940982656494656562826472905249416539995988702639635168000459067697105479467303744359372280308807005268362453838173260191780061141142958453086900328979309351817600628928729277908805210373463767542933888197677292137425097452434470437018067231427521167064269402496227549031753619671235012803756481252524485690824860752670747025465850335999316732203930215258579712527784399176310236026904125584879119929601988003094450799391558300449724181161913994638363877896634301595906062116554409075862668115256456134581625847985050045252806054687398176724365370831985813119025143435022117192228139449890134921876075690264159472375866612314554898968843521669297149956833022303268427391722608017095147659287886887127219868727562288824220858980866553454302982239146333394181062812791496261784397715446940174968519351759983822986790129618509377883621243543053694133418860177363925836797260219387731468279888642166547879256666599106552857963290925069219953214254425873548257411480525497063716828977805224106871814248332575401782928544100706543313710369960585821431614898112536628791392250737254061384283850086454159372660605807105547634459421230494025313251638703081817966567180347171189526992681503896085313530872236406499110986363455010372102470163614125104177426762065238533958540187223988271940179964369151911856478407071873032402915252105461753963377124884462295401824046380004139725167822109510185374435406135833841234153081574013098631447588190133530809954234745236389971234965102076495602300181331430735815093358559384450045259972080432759671600065368521412189865960675929577273752536198240928411522756546613005501639163573485652342088114145223078794496000126780252511158056718156887047647631531295926350740849860324075719827562733098984210653286357732286868547468055136144211228444276280133235295022665467285070420656698799858547764034444627129026739478560478054093118743910152613111600910055816154838233277641240869018770724089322860556054319936072363334537180845823943713496125411156430382199907107282274695660297063139639771438466878609424751648987928962921337898376763800143848843912165417826218853461235218512644879910387504029751931677091349706564035629242731834496391226995917996955818954648643702303199812962578551421791723656401145110967926523542323827608508972093474058990460480354179361444905405325522964667646669977720492482657505412888989821545780365996885203748501001508961557838382807263447570556231359512331950809177017004162382176182138456174506404128791184347364145469294584578538087922070581336309785309913910298479989990537207674441730864325987601210256150266798501600650624786201714713225300446812524361094069396587296045823718493171667217792225822882566501635955845796017056995644933198870877265873274429255749499065084500823265551085506045801940412833469197798563984847275591063138109262700638354266104784693155173685333991097596569949139723192785309545233932218238852171716283375869222771521288621963871926896529424018702562853568410851953125944002474456566611808436656261360519914418524343809437586613587717550560665000315673736701886100889632745180906060191819607388920341554786766695798370324739325175524783491207134466200830417135270059097483471804719119751307007265051671880222856364297922946113383062649011263079731801925602230558211978707125485983283954764011694621612952818231820502867234039993210543828680626086140911591789131805639343879170323363458927865438661056196600895873416448011994361877441406251
g=2
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
75065
16
*** a(t,u0+1l^(t-1),r):
76354
17
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 27 May 2024 19:50:52
end  =Tue 28 May 2024 01:05:56
elapsed(sec)=18903.987507