n86-L5-f32388-r23-t32386-ver3.3b.txt
p=299246363779115650121227220499312642504239906603412487374662205182481966184235265840381227391405269764837637612568991093704315761023885011192175666694975018685660972792073048918395188606828702221777987561246259423525478272110337081982587718446204965371514941051113424215773354934128445802946615698889455004643260435570235834102281614591792120020708653223929133472568423269119978938223922661035384759306106553222056773566745275074977909104770311141374284271929078224136086590692292943554220259783592162690615977529565761890190320631858328017804873453384014621709615834066330479679673926557784603096970169091466852328971346941023695488911560664749618053682539110210617098478058252978294542221106358054002142690465743811027777485761193024248916043182861391612167947874280140154145895332144907350786676898444559957918396439630513957937732134544104639888772301337455107286193861335444040823938698868512988524814815993113615152679250322090625102027998442612947053628567753172687324975328385585071055573072175087910642442506586873742709063983427812956681762983957299275040970864810126926539486769117975975183952710116923327380699974807803871269227406735375319326805443248490476858476812915954281759193069135504559301744943289865553786607438766131524632831148464680685527668635562693202972820404880773407152172384983415559002437909300437196658418211636301441563445798801640570336778667164450896003092114896008118113797300708535099255594510702100299133007447301110265037097732193651834776461794482596646523918966953392478544156060122889207259041446186183563421939562002541805272875478592383042426097286060354953740058017148035588502819266960936498182100431211189041031029103581421152476246120353683513312025708567249468032083470195185288522421100962344566952970442696081535027508403515163862625688165411725277715191206436039849369357048905228524596523073761923589785669771228029506124083676731788731408945640617740135607182675573095060127998903712335963128992617219140710347392488206866332944312182116809216675115008285744956116372368752687391285398711886732959222951055197846479186187101191842594652734890694155834215529204118137966097155941990832906154762113220902435872648706872425768378597420419754301055145207193402588556602073536234691743938889515615495055393827547740383472448034840090737665889790592474227310202307817662766978327445966533465878069906089204396319650348558962458437158989723314908842614718846526409806708159784242297586759667551026163216867675739777442628727748729293362693395485942583781383446219954659254171558350182854817376210078792197280974041726816098358135813850218259931475957089664548733230759647312456736688803648863997936995751640884280635230447489586281879616886125150527266773270244586532536912059166464994001301343275472421766634430342652232335975530696166665988244900323039572652959083241298219079161139608275965386079937274745287948281273384802106363713118058699826916233841077671989532732173933994946543762735909136017612161899703461035181564471781169365117557684240623577274327342701738879164471893004205261395831891455346299011871161393146369403258744107480625293758166788286202045001445515661121972074932734911037860706464668142827180406086691044425954596770423794277521016980213048740038153932229669850451922764944121610991517635247328587372437477329406976363399777793020488017419448858307497338888041230090194189398859608607146332223646820500881887816695309289486016279663791229335941029244470307494745624985059848754378336290834966448067565581270334727324457124156749364845703665908220877798846989070642286405912368493819935881203936356645962374539143699924473298230956345877652337403186351492820540586622818552946558395885770087969643733617896563848577342137364478482205223636519846482119766408090697959718447549094650121833339658742393146251906471438849527943935053847182012879387966773588852596505943677384804013111040203046159424198842560291469842302303318002948254115028972542328715904471935687325655760950788629166797088712001194304214584069419194885442991355677521968846094545229543573074359948998012474687238442998112636362488112427260725913121371955804151709802195564441992831067835302034117741451083359183184385987396927516635277766888962776449032793504138569261472300460019352274786133530271963210743390589554111714469481332986592220074683662595265035338049986583553431359352299634765274218161195981658840532186589503497732306169512507866314016893699556622110580022970626093809244110085166294293116305133884153124110137156334309271312165220550870923675318793056249179759859020919038843857000015695782653217773461185048782380078339163428265432668349117537792908416197897722363223523708563902498874118108732210297539501048867363547556731032798267062648723844237829699311780823027746592032146900952001634316318856383408095249700502444142768413824553203276085683040620006629527249876090340677608098218205670826944760613507989753980567653925638884039197754138814920049631251602040210261853762061051395305985685062064353369628155653451882169212441342784702629559776631088165511084859029369143290693575581504590178111124746534700803071440618059713590664159222576770845077470383713312755852720616086508594976706866910688196104947136119618431890689430265727243441115926857239783089736011091876065756763651640248853709612903260868911907980560891773911990911569109297620328662805907570026855417732331897211811725125419205550713207494526480057456416611442499736981862387039362174654947102263797106786503495404563899568160500034515017184794960268593729605890077169288246880363520636051555009970391025686287638541518987700250305608021533302352897042134422864365313714868965674718375263157261823080521545912745396152553475381814532792690652064842032580119748607122705879939111139586825936169613596327895754271026986841814217111177140793689728998052378103692411068348196999114833443051578712059837632396693546207573777033166128582632223691891072309649611393108856371891586591012847235601678293201850863039035606393669862533023855500243875744540900530397506242135890990794169937955322633771911576868947348764710011190306911943221098213334334973697448641116446502837519885059061858963408217148325842327932597231901124467568001218214507082480977495650119674381261616048491862673907206297545125310885235771927436933924251426916085733068948728488802630412251688554841096353800138515821789155998174261504434496328641648300051081867624334125391480778623990034894790017366728168425739055499856508535302055133135248561710960548064938159078642442044873268203703645094936112189950946640978457302765952190917437325782117249904970916865651563749385818624224981334046891931832403020321732354721900273208999465181632562011113608040675593711396312174119819853970397353239823364972556175172709339879884888819329857622681201691538636019004249421125830583433784710406733159414328761288335586433124920365337785796815985615768528145547283421639286009993025298073256075000670665857724734212776056980567699144759148975210980509245436277128840716783812234377224141145816078784627663579958576695123013078237340962805183406114910417518352183225026113371760882327053359342214701100550055888635444897575396561645666365192487730921588645339414020958770082785366655691494604549872789706834014008652706595107274321138548912693684113887992240645009947925209949391522277764328498659539398315997129999142714724447059144264370942526227813641654291675359460978004660597409128427627938366005111213619076568909780562499784044960028248065873234547557322267447599458465114771777633571992772833345785423154327261550369397611322121132096434932050536286435347839209630419314216028760997306237046975369260153127935105999141449707083467328751334951660470513253691414302410921873615799948776805283086880049432477409159628402295181079148219495415914367956983796298464736037613457578951184371140770312781585337286887327392355333370436294544248547469679094760952947835819097289143038599350330748063808879226261837350473969320791129207985333931535435324548314510942888655329569016739536519375772026769863154118180908607632163405865948235448320439964106159804343339499024978800331952510876703130919003673698825156045998064012969880930710783896639440479456213415944291223454898221116007765332804670158522218039951794560072822472921537307666572798754416426767097164446701609023197455227990933998658297692100874129432753617304359811114709363600848122516133406286162042038173681629673356262158336534274556277499528655185855308055166844458843642053409616766036540767113479235367424241064972624767783835824828860533558163731918385519165269398006949388683589815651730432539473573798633011796973375818021483771551794911696164440783420483397404161706025221622250156935766350216236854353376685121533102332662986073977899640713439327784222640284359237546837296823825943251533903594716419308163979916069962883976291830374364384517724560187979841631362043238426941822747952161760632959686315058293702004954126353318697337819909754613791168495196212938488474535705826994234336326263650713069946646082611128051911470836100573414646310249024889064642344428437561305858981861723507960807268970125926316949141745298985804064470853060624400013809202326766013063073186708768291319102110860552031219816895042581645497672650460435961692168897292086086649743035360922851038006561665253377657884793236072776876844663165913550539139379200945132021345104077571928664623990681028554931751259549123810130074659403276219559473861484057449925358929293077654910338009213196435340198915217024763135947489315796320009969417826150401682886391314039609548659738396258673048007485291696410611727257569769540867161836419997045191420523349664420228110839431065053879429437892042014175245077560629626418667499501441673729247907949727288363509454155986291294712876589744390029512352795592779003247784798422396190247110688371997559044807877509894659479356407777733343809687707816541234111502046196107807288385386127630266272307160852011983257033462852121105028082403244615069784714872249948251589411344535099240770959580537283538595689074651283343782801371881744595670130597813346756708498492850634366952251706090052303971431230872166347540055293750311844805315538958980346127584704547079465881088427780295274409613596143904865167299265411359555400630637672717562614463243537958852909647432081776880679635066216591043800671039086421323856580370806314012778729539671215262667225351227545370833379063349215276483633356291007569541217015845961596282223499296751932996823123184462871371078887125268043251930887444708817798868205532676520412276046361889527967687274198851565040228165372745532100497151821330390250166747542794381237478983920827133721970278032833880947914758398625811793338919381973749869672513649276699033382941094611745761428311584029418449336440901322555235387159800121026489978949967632271503112824197005030554768478963338334338604049180143286160465921819494897032897166493294734215267759193867899733076328651803734097225596757883231325168522485776793080054593523917816920726184594182943731089849534000513178368189169292136238008550911289871774487602227058957261515768864545159378423715946294894229370776090935837021261485455637217335581649918617077178827379093101725758376787919752423434331129405977684564518466781259502294393373118087474214582219582446908522187724866475407392363648358091895462359379578680638253402659736007800932106065933564930105130296088374358345408510342373910936669237646357428854160686754645727958151162802621638323929349608621922051697106918010907633338374044317954914266126121208355612591787425949483802018049639790315317858058806398030972439304079827762890614169259900230421394418441819712145301219073578615043110948796660768364107489099348476207424702721812602247586502481713446430029523075224880933552463877069890568356339206057230063786530505156697601988368459908450501710084104961580634344086959302113492031275208029629042052970189921172257152003314612862824463955283922616793683257831080978665655088054535302534930932163446683435317427436083217471011968617441672850264703470548056554504235562070054556581527353238056965064368143316557582233450064637686401272135508469003183229499871959349231788667278644028740286685304358639872655654487306698890595248635036554920735437594962578243844869985821919504785523335331434420608932867885130503557468226487325284680418645988314049488619014267448729047143406430945260935072658691976389871985220470665466929264722353768618124012122834453830570526235159121662337086356805945519495697806554946097359481122162720161474819967183241959514092477164598337305195410890094664307133642788395799252860037138595109425635593748241442022397600561184034678516978470539046627548833177907113088385222182220705201343702507414071049732167632456499244439128502600869449157592890489160628361378115472564142456653639994155969637293939171506819811175736233368113206053857201883902347896652483156259957605365212993383205919165487245034723609428196092360310125871350844240784710852538687818820991865789593331047324428912400543689806841852153154230525703632890770651469152212172055601247291364826208640511668990636532235919365085051309201210226036165351904407280468858623524653986154718087641295071952800910153791553891541170078377055547582171720049850139233245245505969889527500425876903324780900008545643999782968405424303274255349015167818739083055571698596332748855422112719645618893214476515484614262487766464430459553469983448321757388467583579903078361034086638398128412697059231248348925902251469544052322078646978278811698098108945060788726949496319549797806255823793929384725555469591706883716988105424316189011728645676195494958629271113730727116475954871206550796440068096909736421224252102907641251463669273974466329182866491076345265033733418002477487020988582485767774823127683771110435539160832714573231675574716722940231161471505792156587568803331014426585362880437625994628979781848472157571506339859922978181678131754649164500223764626612956691110519708921196112872733749824342791803049783623024569864661652520969555039493348237169718793429202489436063633919498688105268082215635479020301800765996480022146173205627024712213010311659642817253310430173983125544554955975847130600122337941170959528247502923197921099857238189119611249718478844883907122565469788051336017917865866977140681029672251695914420855244180160372944232675315799186080210876344085164749351165146656334559226996206141738855538607660990787815968814653463715677436310804475934195235188538196205873452512699408410528941394824637398067324176033309967031667978328742923537675431941309994482586078673199361894029059960830958581729408258747171192015512876906357351496008929730110581587898995442828531771048522692804866950565337670966821167660590583639961945066841390357164472869360561880284528207548497356086273342774424644391881883851803805660486599362780071150637243306376055134022251256925677675135320827260449291971240101812892257926828384527911825826909857203135716120882361551561849080763474226857541456211914466625583819288042711820877974501746088519558733000486882147905434266893640283287658752236395411346041954711212940627820826688344205006506530649750870641994987439718639901687381906225915293240360266759494523169056592521174845385448459417555753533095285069509017868535674162435307963802254442181286312588998948833615792093904748415179204047081372392466426956391567744318308460021058665783830760661536872519585884316002415110036229177365342966642889075125045001371523204920557213038523153902464252977933798179035806149526191518750244221020184094036886816727130592847915465342829690042458488354087219610951005963325340070958569866250966695609738138752276028073586664471627623768460659902872538944001960881936505942431207225145120611914276876566727215819743180526157172599586807545554537828342142194929235895379578677162278557723331781607665097513032678718271405323844496568346677406624435221553047604224084516316013988359843460881381860486314001244078396566586537855831315306263286090690074679670444967568193793944214869454447196519124839667331201429899487191243211871175635606828737211597049270257076434472188166414287499851054168993400537696774664381931843279237621679935932309840068917479429936871644591202059520195657272481499226002063654041038558634390503501568933397096846115951545254342777193055985363662196626100901976608017681641356139900098394882471394434021566598893779139593315617069926461087480502862375819137024096293194259414961387230123347662585785805113957042272899291226235565539423367823344922640268740672320194134508251427170056766952879963708262648841423955549760775261034741805686223058280511946368343249544158274952436386473750845486526275479720102414888489175644583241501165020126489189179164175922856466093028911332141008153792229798747021640777829440924339095393163672218291783205314942501775348252208216058693984930073942019126259555138943621293087261209989451213061366802202820088843887106057697617486913541401010793025384968408282118855605760475506070391349375219157211928161916235013174554785257316764573822561232262820439250073742877190432913456468831109096302386718227531453999010529896537465805622372266569327153820714274970201703401247632847965943844407463179763583644032911136688322138850690148239026097896045095274077192847274463162440918642923943597835469423242605111191777922277332153736590757678984963127721142289234179614095429156880706167443477439687992071328398986816328322363130501735004288650889017294520205691891076071672884761614184910096206365276555491921783872672689979251926645615683041389635044930340074821399011190420824244439302156951191640329955561376275265633788746592141498138377970818041248329921534174856631659361086015704487857300798987926256177376109944650489621556977608745580631870131364958065849524803360593470730192649020130914817712297648957723169638472181064916770864803945827307392777615151864097753175275621132451154587284094292548547705482432075231559001971081826945182927693960434278622371810098110369587972210422522790892434321053151155907608993322818202187294573842713424357946449839586485225696417653926589261097078371712564822672881664096053791255780063376698013160487251655382781124172131091704149823963882892594874266611011044270583690578779119359325397012793102433384595989823186880207412049083204681578208402037766274998070157699219254184489056946219473864307487448585233222346747483543829699233165640474301856860679205053484931678814815483204993937226961456134310408642046793506142163338157849288096795196540606788699359753479874954215972369977561286987649724537065112571874365003188143835872450233036594875150353371065603404512219478472656742215595187850561681339315139394016421869995970175486737113122025670773984620070014272972185754127133707591118556398378562115306724787155815963686026035430377014541547141113297878154338960110291253876748735112745471226161348858136795439272465250479021904715879441948242794355942286781990431804591527473898605845714361650383293593684832895837916938320423149669019752448540854386294949546894215708572922495581981465633639926896174660072631392136279837296516015772999274521153526179527704374407167665736643958416439637326658662888103141120166199626677885770094288634123198992387722649781030867284950607930150434681205007502064586219096727792719719153997763838680841177269702806386535063988796880845207997187883592913982910123705414823364134049503082380180153670441886313577303326663839145250770992266415632398249124168977764760152171443544749269067057288332108358065805208340656428876726543620098569888362102774193685568885849516603604270154761809985785402109140561619794307786709202126625696604992814697203794476655186128834377999316181538395306373480215371035674951145964776619167795070401428698871342191550001841231316673191294517310016566534806149446983827801816095386024368586085315579598805581805923720101505174676563806937442707729892696750503429356251153818757281572082710130846249834797628426845594411435066278561247201134000857940143856550589254798490583849079851431393147955175826154781823374725398304628899191689603560807334802259382103482543594054657526033093457199620883117262868240800671498567029024699221034990464026589623668546007844029080322139466124748642124830688475040106220830683960802991014638319168677020073760203877125124661331728500092668006130919848597909143870515939582962675968985314209529494595684755626889212582020631442354085827092312601821897110503269955099913201659863845588335803244692116663266829044031985284185253356535744763314539745450487215257778385272840465794827193017860661401011028495166532765274884067540299395501362501594294277163503195411907708887453127917822653709592701103807558749826614298720964214754192939522675424368593047920609551990279075792107388594577662850678730218845837518114959677658678730485824671652831576164368985405081405416879183273063338724500821542311657808725671205479967750648587196433430058897129664015065505336645671928467944411780704278537971921761833510442263441376046626589095270207136581258600028943836462470569498653421415300875363859712894947025137999395481870857175093852425538951613812468252666294872255631561154530110656816541534835018474372376721511803909333347684359858084887990666266557446591291885152930532296762058109284052873591959132936968565490131062196513400195723245623309697026780214764593597061115748043320621723579976929107816962881052823527016345259796775512403460183572631199355837962319773578007095106701519548660728594216891402984252143306739671967154522911939495460194725756230363106103824154169401689127991863620884711702143089640705115320460139578569120689429242553694678409246579053993373905372156041643813394926846560117332878520779634200237578033009965138429654150234134359221250388241683940998531861913504337031845445893817778022817411764156167217366558101552755369411637567885072008085154805869360602431170573080542953027063106829414334304248748906213326944890251204443766027025711732876566135195505300282823599423522854893644830198165997320684012379574689096897118571281011696980656095971012899916314726280274039358336394010340598594556818455096677071873305543252002301934931840546939323017268012796025914725409396859055118251512381434626616047966786390936659570179784840778109445176877148890732723298791314355127425222333259086709226607302046207805512111861496896441761641886323685596927132606969778341919456586827860263474558966734384318893327103689205640296318366090094010818571075986905798880382191011926198866918979349289014980128132247066957798097580588964180727775013457174355282284641769784291250109896639850099374058949830915230252236647085962528220983345891561773521159950835481727998522134210409659420368947435261788242704115015221535738534734131067517484310474124009886914832279103393375407904386520385742187501
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):
90884
11
*** a(t,u0+1l^(t-1),r):
89342
10
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 6 Jul 2024 23:55:09
end  =Tue 9 Jul 2024 07:03:06
elapsed(sec)=198476.795259