n69-L5-f27088-r13-t27086-ver3.3b.txt
p=690806699085303239091277327265240029732596606386379734922601305104602706241807065425847802858102938911080962827647220834086902066090723319993730369383689995283969412016746135168961900086107723156365107868749155823231478594814358023263229063534951033631389502124393418458358245783438414028626136908868175420696766337792136220789776903136691078668305484927181053377879567391366068751311670894759017314401263758736668470622021161883299531320696348000387441328822099379286997594183151442654793381846596160118439590718545614771946828567352723781370017251588952860372643907573820225311533097115907704165343619724613349115377498664338226351709590928144889792827350743245154665197486952417895046748820956079614451295623989103386395400311372982507172556188225729248307543162281387153144434152370283949914257985307191116054561143623113797326086740052497638650493531292694979820213786735316609874911298212651267857708075556706793873600073712563825636965278571025836625004289772831549735739101679408285028367096767598700576750398476077926142818156911310024838072936623912474016764019436012148681069936707067380436966807868671109771368130197648647474969696963798874465058874877223284963420348767397549435107028060627291166388406346795716651089909295311879922347746951012776615696680227640538190236283431463288293867225383226041232618123799704150576930221984298022990171204927660393967040299319923632255023609694939288565970750465880658767239999684959881468026410556684354569118926324352535682157300585725330023373768385511144127822112692266047657610916469504697054761958842427373987018501852853110933011813007030833128667816444931829652098501730028540180902975457405744554214337689813435220141821098050575397761725674245200843755812293443970846140996314733989163536789264602833983483066498819362098692353686951549130220816586096045089777153564586762974010116570055926213085327790117388670915706582053823740201477288565051151041933362854690566867856790097599651778381677023931857746099650557192206075981959761591972075329943146476340097970891186692797331242249542672781701769663963732583109825707459464259446098209162928826271115979808838018069042974223490843155548408404958950576347478731455097046190123710032236707435614091503560641947055613097301854436556876949478351378201552205112550226530899771451151374009398853017168588472616211638865857052974995005645936198846939076090957181843728206332876049569771235035625381339954563495786732490370369099325902721209490322646286128517413752588752717009412161571834589998667280971407134019794455827968068908168767630954631007623780535831264941221515495868731254216845599990949509666084803960005182036614470667705773371875861809420686824082476640869874989381477828449513713679102717667916365303417325128482755553630997035120395727994471078046433044184197539701973124258031727404273237439666049759944555371379586757100625282076655759938555812930560664164779864116051016877678947229411849398712561915429571775175057443212492559274621129041183897484529719065567139756009222640477416990062229299705441380486573148951138810872028453165098326554254638574347138756769891888613598573119567604592538657827708246478199685868336039234131751793277982132624226024221208282707217213262866504455465806912131211318529966529529529559811812421816702946179024523800041831649625396680273424623531821809161455371518695148364864694843638116810553704940787223147773254011104078504037904858043409914446874183820482658652882606781469335104956255343350052628738180560234366775887545550897202043724063773225377968416859080476723100562874391514001933712337958628279386704358438796374504977871042237205491919649378117055100507412216339189495970377549714048363013255457075997167309668563747777860040889424360135802941264152623055054309933304372721550889792551587031237088203492151521916964835242292118735903498805755588326868527728232723741121343337218549815893374792012029069792899227577376888636600696566839554648324850336098723585158513181157773907463606871424047356945209605481510979491031469755362563459880836682557538615689606887063551626434155485182996301956456960322877304826512433426330385460076854421208708947963804903944417332926231367458269395587819362885979320362770782923267744285922426568777605218019899863773223146994271473202453173151986420393781041144554783410825376661026868734862276877717717093499619492959440780274065458971021610919457321430570122547276816698306012978709066398290631799813700342148326401784431948454048722822653877698349700087548031332034049609108963268175171233487673173967623975225448720915331833149324673310176587617440344968137484549295520503356116430239897807335320527375979857562240102834051446895453046125778419198875186173609391738173471782496382085497942059132480118196321916191315808636206132388939382434638141919008478083977271341322683294030751013976366910862892283047164494052592944649385236767429468627696588298886256476819452154450172478166955579213108804062198809406373081648991020148718880898321686690060136520400070278245634233627547523117986381603067879696462918614640325200257831377980666088866224800862146376453124419624144147777898956100793241257781256281125425174338901276596059817560302753499049757238533427700733780230967311483739172217843206157789484924608945755660709756540298351406875796925861470097602279099760411781833380397613188699765628877899329355901939367666202581799271564719445163906161126106438636951882129792992050536607569205921065150161879406923226448061214072075912521253911919692875716982247961515473634256363511861397138126655132730428757886100982890206644299510596281259747895198018844607239226794419321076613964264455211444274853873871817186035521350842419322921793132192504791457337782790596968259219965955807766839349316441625574721421393367671592856554145943441162689970334797093298244209641259678381248136427867115078153436555671231656668917644081432618726215306933643116355399306299450827483025650890591259676191843526445059150913889726265873804544987349345284928686795044896211471330935453482947550947199924866829589962151268057126574926857467929974465996368094129755888776834153961765059274790867189377879029994237904467287864362641066167015814973055199497938374895012159566483865541049194107092778935283313341331584219486936376849984258165454941791535760852564168707559108287993796518205120263067053558515121226197150665785780078794047472567817150017049910012283606241844139860476315037002395982427448668768307977276937145487690640932181554410969003569950464857261954166774904819096068139240331786383156920103170941737197359724002938236150101215653232395624813752173202569458085401724480851864674066924957962791113970621111069487798397786264916714247618695277830120969343037686309485064375930645533967008891550312043631714901485265636509065097900409898175792764835920120408576452527673402791356386825937303737128424639112880805187481430441581818067621269912442702348627496931788225954087824789470772820431918666027148429970739681748486125305557840137625785936961649182515318809415637158805016193984256009365071895505465894467244568892255336662815203482692926253704227657651692804256338156122260508817522056456087090308587319870222876433760722460696825201626707602434188728697423629646735047721344370333202367582758345273021833084853467272041242703737870889446193703837641909881537776460733338475280437746403471379245004385002632157710701546056576919023384007339287818678542645303426500147326331659385619923710986784844976453647020704458837173485981330262700880283814009231364974007763210682290803282354237241092222237144827742291969923186048971929630759157284246489667315950206511565165044221923258861418953023451687706904486378210770472013602170538591340644191361968708763308065879096248383745821449446488531881721153382036454312429418214741623354130529129297513857400410561934405398458570861736128734087539015033660891714172373909297257012158061689257082254769167116244509962795535879824983355704559971663382515415785413302234887847605703080746200400224205555182299199452780714259603169053082411032282911227193331844936835242741904186667081805655689152399468567678380991930842523422434856372322356378898893935040414330306518057476537840989446781464622999123797868228127824545787367343411709627541429309509249992591933861864666024642698602600371456787483790099160970271644475727471148178256369081858427999648229457814509441572618185397392806089571560073829407471792265034777128136843327586022033782086346732877628623912817504988033926967076983311840505004045318715137975437878268405578993627531018682625492607792150811516819402943565388442279864980477969859891462932883717662732985891934541532880151857131143266609300291177471545007724761407756384111061126721531559580164471407096279266072465744842041549718516884004654796864897805078751794443839879682981984526298182450126369744485904272334991220679755872528499695641903908950045199802534257622790332558431723222554138190767805326931140041206096867055792875252870202512178215667530161226547702284627641009989170598039800530204844928502684854528411631512750816901066987144071066482876504058505237621638805189123793530056157502801700639299537588169936051380568148160438242342588296677462696381576608566895431722216411507495980440683523282278081035009231814029968112586606622388759488599760844479510113359873691453699239334519899136773536311473080015871803113633023519408077077433075094610439234649170978724043474175862200325679396298690989481588858704994718150556211351947142600464799724723266566529730997077155727806233920482824266061392915569221994009436563638693200312374906275306421616505648682880385677217152417821170076997332454607673859233478187587968062185928443166447274825399973406571940639135253666921519640325325577479513419418416386972603572803863420273323154622285332055922770257023121119825196378206031578538700064652616168259229178384144909874283468938263177494795086349540692666994713719809369098219012109044861562525263154595946947483577647800342703302477030867909062082762120697789032114005761735654154795438064589227524898408570031126967901042109513905561137474883178739225293904551492569777944403346074245534264425082443850601022499062370995093853877023294000141869011247135309244217135860592259846642406977946494768476394474129641373898315584315214043393139849144908832839334320585815082811822903155497301877800444404276944481967086652002935006225365621099827880808096790460112163798668608825299209811855469293442635631298407669901836033944049923985679849476882894839660577144173652178600508593719101382732124191300240133256080036196942550575441694072508097342385185246199025669011502227110165873417544511848434325674340060884566700286568150834973055775829729799370794261839358123016479684105886093816730381960531087202777085173036322037857752930126358779106284969742229904942420254429911683289829889612572550556639708828845122808654364304591113509220295880019890083535137288300134580362054900248710623201204660635917588235351628332693009390287268412339467810694271860140132761846414716239696295761080789442408797070659430492656678338921626035105357149573675906297353889384561122947118855158175045025377186588810409579864814790882327988501698165850085469889639524903602297743681002175200425464294019566873016347731888016957270890010698163408529542800916867262107204075880015382690606245772374858953389914846100428184802133148978856576440639041606028506438704777702591848143949831917303774314820293078622836382838998949414848713172489642842844504974193737269908091398573778388976425565021372403835865076952728424164615796850466444074099765848163009349328252039549667789150923227503334776531283052174746877254724656710341481912393570907633800656807684072822899387748239580188732592882756689633009503557530827965921655090489936421092278687351298220824836900493623980255233951808779297416943396972050241969421818214175080183196224968434712152781790080571682233659723517167801227879120678361942066128499356901587034224022413148252592042205432634920855915937355605091907646355189341015180985496242933766219731375208870197932697845619672398294326761046098268822180446631600959689907899405640024522728454985371207013235193914217966438419065869576422897047295560017052100822826852914448441501771622277346172808962673794258918238066098967605641270226098849073429816888220023490465592753912381518845246787983053210223335778527962704890317517862403244329225448860240653435613702287694464518262533452042324963330495131696938963286209607917606033794403282012858436256018462832202457813854739153329609764645382274240067507974967291192510059834049719101892827206220322990402390644777452367805481806538806763230825796961617686860215664030618505962244939617191919751330127487551741901753668368670472805295262324341176529949220060273480197390286115274953652610682237728160933979782967213055944394240167493566122518068258294616648565811596457742165765691881142898253734222316499075637013561235869811769503699854168978395806254654262284146832714665788054460663126853702748118992642589498694038824198435575306471954135184647252834605708443330704293560913912530467509367316750042961337247473572885323395051865536844934508706426561850411571617982845644507014726501981699201782098968498446756664076765518952595510920853485170674675583371036747594740602980450019025055293379441528273819786203725027282741958628268095802295854101979733196393237880162606052153966632115058025905154208388709623009457890057071564951287352239314817506979613178138740903984708852869347529535139456131046000652009853710665411427804248993685681372632151407488870608895540252621933967998244537638050005041450640714282735554130834990926354195410864023452248130788500667368675010149963142511637981064445616002193620915291424440469287425667152399635644394174139903981019837798140229083361872135956692724212199597485232106074990604908126299003369519238979422859778293122331031402010376660559407704064598745605927935383020405014033252766291238967458895158969314985190300518146193189066249296376454213288434367371526394183013282956355470631585604944401706967826163120218964734153450667599390146329910794508423988025299541489894348844138163018421406673502972774148065430223092547406507503034348496065585656219259672242106581638699102142392235473533989751485283180039628089450702565650489167311751078462920704491567936650179948958501953040657230705798977431581837406409051674988124167298551831639723342527338485909948201820651460706855098356545222466957768128092437120742195077929420518904800930219335208203312952250916237906257703372315111165968702459853085098257430624884440492372188177034770568834155014700252627343159025198567785164907946897019649557366619421314528746262592814329161144338581302483435744784039675451901012278058504076124119683472885278825667720263684157520523795053548194332459014484117557005054391122502571283829824849939079929373268114737720545327350933611400242716928702754411277374976598382421864037322092046812395728239096051639567353735743495702721722604321844873245389618435483295741253559229333213380462059027061869185006633568653948278778338606687502277552668062382843419717678675997415084871134482428412311862103553587122080040121482582158356335047944758285282728627080134378002622942534336941487803235540762769893688729107198049430391930890035696193409496051498385347622499878337177769299360823670631979123881896728691760031131684498858492626796432657976073517701546995596674763312679711170370065322242754179446066610702212865058785823803236356108207630262890710692813766226138404799607137747617090560255778887957819703450421426445276157470782438869455298958634236368220483901846714353682099185324046158254319747871255537218508550919569339558979426062276800302956593409324638707814088043163907260782592420546951701784909294804543851948291833205339766893523084277412266466461619072662561316193026573068867765075172651865773136053669227249693014352109934894450067712472268103454443950370753411076971683145039253994375143463505519036793154713393772690966690393530595862093343128285200257756137791170537199156851060939359062831501284421643399910342929122805541656100360742834438214085312750747720751099005355544060311613933226458168657908243012990340508911268189009014368315355385604981481426220416544682345724603353003029037934580027794189785317444908674486181726001848933917983668271627963919234088351016660066270999327087609278243227723033900346193147326008187735531730188755604403266786055052726738978892385831897603133526666565268699172568625829756446434918724177427683157359006462497135403154764759071600436690254784255106302359508312513210044462951722800792180051573187985910823206215928894194412890935585327364145117477454302087143956883735719274619428630162269851078967361851217727394043983264268804592283969250809449315007415541202753254859567243017789541038760177883429509509700880133846927561969841430358866219969328040296211065343125282476615511630292664986567032211706778470052925892562469611429130005193012128356107770475627922719408146656022884732591395796427293132363037662563175319179476396139498328975036505248419903773514975311355497747926016737643365644499129425465492855053166938443647661242467849450893980056974082908757309886834547480554594262673005748411675562743721615514602083070494743107565578028989565936830415649528447432911180135927408570833705023062692828552285611055003205552198486401566208645888939378069628893901668403041625245846202152738390595977250366335997046667951754135345403614167767760293371290497909535304522412776684114600548253138239775706655898957264125153806396358828188962643900576535184697927936303359545474429507367167357667385906337322503783605880440609577811003278140461578204336689701305238925388720541430073905836376242840401946414428131669892176341188901055479587075257110059579089663928393944221816468256761667331917298863667022530220803461653799710418314486484114254901665829886761908582921139738207172653924471263882111539382661195351874467632910242297197088164375733029128790664783287490831490920090643834097697574401469352964078639922537377654361180295332765982087089801484964611647332387821939445889587798303738833243952963756086917236129031150387628888256823765330783933049374276361874946930366706085965551991292392579100895502355121626352780807739357674375405342627400762201597525668444937700453386614346730485472978665451103408929816308343593210007711751183379601667537328998122405711986077731081349070591348447477893679775412483153085235990485506832381615350361565770254619640431685171413236013263130188851303410191031847009257618480972617182421169070546089421305465749134615528591009180090272400276444917155996773432584434437233541751805998761230267767631334645748377900577853426106093122177156101458704354818000658738334292396574640761714078830759037973014785340188898716200927521239736964183597671357933341272884104795055839681097173382398969160793763181257245787526412106912949035401092675361315385916839456194102611689470720504028699582705976961355746983180560830927808906909094173771917904783301800364370137685909867286682128906251
g=10
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
29944
5
*** a(t,u0+1l^(t-1),r):
28850
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 7 Apr 2025 21:56:39
end  =Wed 9 Apr 2025 01:59:38
elapsed(sec)=100978.602129