n86-L5-f17354-r23-t17352-ver3.3b.txt
p=1448717459640075085899000767967349446389368442903540798904274180509851996288487687655831295847907429577598053425801432194477332507363948761620778313954138916522953166897464308651876885636070717711753815097791614453379052339814421273407986037972594348466428742552692286968631842658348903823353615786804499069261517365298968742878799886630501776985512054082121502605597459824575379029993311053222682378111728981211697865125184425885319496402249381533563776074303242350122460069137115140230621407261692286399546568689003923144903400841062138980045450886063645370392115326429255815889447259599166961049582208405247808527018336379389612010654995326095970548285452996587755129963495991255744468501897902527315640258980984342374104202356828314921370567494546585024064911490073917698779374749832181633556014035334481187298818326402029811321735400304608340433124668304093179572563256427781972070450774951239028049666389756261884885733090237273147656169281671987119389659773267542104055615177373754549035374882573176256311570821850272623958847470952290897914184961126703814956857103900978520787598702787160801301053715616485469655189160809777900441930525586747371382416616650458112920474114686780213871162409187472207130177453966027895573762592978623541266052924208922448747742099234210744863053106599601778866932737687596548329455106929913496920430895114593720455927029933956301377477794185018834630045284273429045499032107763373505635419244397621519643686192500118677441811855088727347422422351431690772668934628793211897710025399418135500076225970284375014566392432118021550403860635261378334624870367758572596591812904952209496680766451369344766278653894368160398494596930313911335156023886277259820008734562617643557945410332596481099385987272417777323965538544494123753881883734698197588977542746594338393697851176376647529214489103943917055340703844122254673669136274744867802499038123658527213036475596233065572370892039411071708635546672124026482359899839944169493982371955839015281509726629846578061755405757136630487430590557042817422115160373781292165400108332402936619127935091477620159089055543223008875730154540237224859024504345560826916453476893930469887219147381266052436115125469698086380437527689560939517129092185872043987356111944505540173826308503235927649461223226061472165204106428685370780138588196476143105855097150978209855958442446383872313624159767224169814099468570316105545617469315199422468471713155274089544523443558436141982900273819196338499393833335058811709416591492916877399961970286770998172967764829356301958442833747261524450113819577737361096578092394117149036491109041625786467015119668565314743880094929554278994670950881951458115819891214696840499699418430251423793659981691678963564646881787398289538564443835658184832954031925878430973344490649235224411631309141726288488030178592315683615091654343415459491299408412681226737180643650052417926174838411172876414254648514637812492025387901298793972532356725632438678972780726650952327831970328008200193754426157103566606407669326107454039001479069413021415742294051036204994242041511099231966365805116558174654440511056363659722814662337661969981430837065261129039563724983332246817660937004805288358616573736512427186952034135182494350284810913304939491053967921881769970615448271944381981675649353971195722230666805116497260804273120338607274386686253892631440346800089936628873240122885371562170517444859371843340188445660176618841945940073159674401812790849183634794922244574788516524107362320722902294623278923032299333625796858451767812522618560211781341018140167626715577517468500496516335436353631606897573364277446856839756755363047393449853679605995310874977816289813724036990783311832649196629044682684621447349997268822262324563375992537046533841127943157206087845970319065928507762382610432166599373051659222001649499223044115418032644529034702190678607705486735032289304772647008624480589219364355728751227302847220819905579953571814701587430644276677413966116708193832944146224502620616030924881828684347755978312967409358919123434222581376470888663026897160689152502716451777053569758996953583452451104531155652035226778076841723794859227484104634185270120912934333193169350844251671651280283638286673267376969751590885927029246425516386628629567583819263872827899008032664017470777109250347584983635471426855807686435534428054177609992228655301282723593446584583433547757192622281038852171407174378215536447468489901617419212750897755577724801941798762964094693835439016672569130254736987475390798520353614369537686482336128213544722053282800931520831705397672579653067270816176903897116528639332314038611376532390833904928195674600941473797524471015520851192746730490089483872285579620831668488366926408814601630661571597905694621589194054278564295662788152276726210840950501166725804696182763419784119522717801262048525457668220000257595950205658959905946707612967327891864927682244644973935608568723790039424353797037991486038112886350596015598775727374999558760319677412008774108923715887322124302786748687858606782471672030673547847007692366341238006239937512910766435561628028255969725667194463518473279503869036086158615485972044999458456780155051445327295400410368446062539197231687224269501461984761618154770758073296421996109203188450229715336054924336390119640708576357120829384216259748286571278865542866085688163590869364815999003490973566383983315471106523146080114477154167073483627644200434256421698387504802814311299792163934978324909487820139304151599615830942467664924149762477786441715614807234288646952871894483721187230066080811496030726222917193490935314238065881645504862359705990871801524865102477415805044548235239267425119756266124548770416870326403547139193849735018668659522627767271213788199687387821661880232777509188275533500790993767063967416089204642497222310644035323407476936069036864297809485842066402208657355495497088734856878549287266483176280967002861234077830378243391931794851040022406745904121884438957024718685270740638624374748630124711467445400213048652441007469496515246462531057636445182253280553110678825174387927197934394328998251885232120659574685143225022957968269890031251032023749586364709660646267771800530875797283895009241796696970628692532728654760400753681765797245531027436164447088892651462332448728483447298121933756203632434065157898210729231661336096523927138255915514922152053624005046531377591684328192438142657636494497247300086473589840003398076536267712107393612076698191013462867148519143700031782990114605819048751863836415205557724168187323531352258641705340041080208382476598585492073317614628935376637601938190017954390702822533478986995931442548123454779387485066452213136417073197958941008402940261397827455777578411688860770001700854226360646345194288417600628679009443475151794327194249651304838121468061554844892033236483183070808208096213831910755692352749114389741240464928127258565792789128235891634258452280785214870094243737596664623949086197446424155018242378653357910562169630378972947062085928340539969298788812538242597124455158929947029549005679513933301601352730671819796603053566545425929571326942636150643742191863596507506949691656523671056158383986468650047389956947265647815121207251802553699655437469284015990586420898787480502719768958350533439833734959998924628083058484870519097200813641042791182529977009679383828296731660934821838848330778502776771777309891103781786539171956729306915681033464150504772890719223880221800744616355366068338802563415215250628868257734665285857763291602828003998066377378445914278843575601600078582907431565593684394400663256210943364951361096644976865562500675213046643514546223885870943133181647052283819478789268736393965697778313648756897933569066211506662205165521809004055365814783646744470181367469362819554910694592090468108010522052327129416660378042089869816622728057113894054274031632429844308876070897823285073860478559985259410943360904216796404854955868165794705730637093681966062455182057217073499192282556780810552725276770616590156460149662210350026765736941876306223327777522910350751650955850813641573186705443091818883408956804904272621299792052422417376978913751133239150395989915140112282895575976167854297767948661292547960612447039457054190361255615418184516366559250458444708866459484466501391464151088117600473450584590263067974540540514622097020854961169626249575422936832063483161694991608962610383498607431894884317931338759478836140769974205705820113296517939754796926913006394439719018127255829558833357552868533595447080561562948560644642737701793967145277762825760147066886656515479214023305635520289675292271868065470093464035223724128382768211813097949251839752558089560336780782640449204682831971778419417382889277062099743914578553198439953070909102388302548182449011864751885985091717653827120285101767891052759581742850962899475622819591895068314493879102361877457944433724279103401986080770334601907921222830079254417320073334864519090830263131231327644580360667938445473448804061189944466484330842418939728375807903364050040394893472930538600446947676328002567708101752554893982033081628501590810094640656758052549678510915654934190983039174138523779590381438581390037433811503643476081095800687079085934387916622392270202654501408161376807290249387152377597348299496625547350130699740028110943173338397488836629867489847928840753839783669344991067001530491770348032853359643701810400127596230550913307668938073826453998893487052048287857395208582429913364881861327975515691935056212399705403647272885013770008930611369235134860163394826897692770194945317943976180567839058129753245627396356351790178413042803643538804131013289606709456321876635730919030829309222287715007307390032387270820626571341782286735416625292039380848603261713664963146908594204130794607825224974306744235386821835117445780143146921936738670073538191544537186280720001817839681530375154793935034961176675827305110044723561232362123054605605238716535917887275673541396933164355038029596267568719863083601275483345279309863696103975726451820781932898422946937187785428643343683451817044297417689107536272149254156553722304976165250597130922198558130325973816183730639639769007976574358585014304655707059620914767993485146751389407654529308978372809038929696783582048743193309155169188841215164453129290335261591601755779690989608259638426515774135349524041806199465379309171379046496032411408159412386309334062667356100070383720340343244486618892557525528569049090627435190231065652266904383375641869137479011705046898727622762981045532825461150098005138200422978872207115578119199841125616069416155930257923698699407073815419280519524492526610668878768116149784457052465255904598914778885018012352016771577994752672115370627078977575834970891832838365868473637155232250006812211290302128811608038173877284478733834703508766317520248261944647355351698642010555054065406470168626873281899813277392396634024662907792575601646681081490525612060598803815930094473527165927572489316023026064395932338530377328728420169789731154842468898583787095206697863754720122186409660938824095238389373835398901801219197678420265331940545636589906378956781578731583433009350226554528282412191732192256783269899559233687668443685550718768042900174421046558242302166147406362392803696311270862516065981918029897497812860220624710250404028750202396141734845678553113623672658560813878551775828760261189797451632747767251309836932150663015824568877954202936691549025949840966633767812286431087385956682023236980251725300740492744573108482898976644972060042759002936574031091640927623064103044499188060412453750559837491610709675309510228548678425174832425652301211386355456301075826488295592244226910476516310225965070121417947240278386599475197517420926258087008431632784560800093340942181168298256325863546804329451260767292655810636444156184799269253354157368771050343067383655102842604518394011729566475952742616887855370002080035243964667580245642326569493057907851271398475382756616451616879532323687522590877758987526504788038266261224341647900082045356075428568615383276274340067584290739711220580343133954316670933204526649960318298997312273920273675408693092592216089542489498853683471679687501
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):
88545
18
*** a(t,u0+1l^(t-1),r):
89411
10
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 23 May 2024 04:41:08
end  =Thu 23 May 2024 13:02:17
elapsed(sec)=30069.284115