n67-L5-f33155-r17-t33153-ver3.3b.txt
p=30032989141109740519529279526920046785738999420690884044118785317279827875443896909089866690703294822344536259104144725128059526529404835256713852493294348744428732806281914582723458432805473324373420763992315990972612867723900377467755778091004165125265418197732644000142551840812805097042713932793122133281088316243090062273033761064078160972022419759367976542147461508322234987015747190093813735668609178130501074700481008373250860459502887150575350978872858458032233499307541708102426628231565712944764739037401002961419774243777490409996998714664889818165042807641611314881947538527402533579932910423516101902115138373392227282900362711789152571570818656929133939338897167130088019556037774031972326458243146198815473312723021793453309655806877866224442860882025743883764754583558243812877394833916324312080929161408600069998378418866563296653874782315707924814501962325229400127491356276864296100117108501615386462731422943524344659003721040658207533227080267199401791147705741741522255174839696228667982677212441742351528625721256874798247024488591733865639498092430831044465211532415362999241536086969830095077735663127951629950354070972754319908755060665830404691385758007177391471172703387546798587152283289291243239161751118527359565558271546474907244240919274450088309877542984159660200464958162076744330428294643952885984761983516211627987047882635435861469828989832870532899025722501392804580616600419336705611716097302234934321347139873584572958055203757193914848776863830975654376453185601163762105254222191748803007220718836492118007524916839117664995634063235738791250183401212370377139217873424827376105908161662617372100292589136976357594198761948451323542591917039936504023151689650928983226483985201569012003382247099204469665605928651173767436426733299753643038874870404287921990321672124681727191693840488390329832991633557999637092787785482881309970695338400433720574703106704127554318077941572453652298611665483305259491289886161509992495967912859112105892099638800227645021302023495050934626691343345892677119336720607238666886724598571821497088882017053663200323218262786265702268568669489049578306393716989507451673454603024786213334845432172201499899485217096957643612444801078343644931081185063181791106795982211946383309341388162541399598131956947750459243433486298404318342731714599626941085709855784495571934718901866275416083251011482350903873256717203483203570723540858215166063052097700559974864690071794698628710519659765160739066454613000759053729615183583680474531162405908488316077680784336991599675373480032595860042574284056706682558477253330200481864272151869808306846373164591469927964716654635615417384682729579545975172682655077412269553368867723067614670446313032861907184393432749841170617812056460313808598190986057815348929880192712267020745298801685910037097435277404040412182857144221479009126617726044103558764409116744627573685274776196012304311977686491628331612962884047781709721344668856987487841186903275200350780285842397115220426021386232638876499819736191616197068353570747540253903550344621360270936886288100351517085077049141873770327492223113881288916788632763485999810710873050460826541206576581024578830552553449473909083832771500647620596402409946391050287088276247314487353616144473171481717148277743876514577432784451277801864420654396940186259841540072990052061336393407763871991291971697419523675804509289392814665710082613736076206299782500547716383318745384376879654229567932085803556704156241382224208602829968436762589087110606267991998630332827569960582111118120854008175761921512834202133150072731639466198194275004567281340668660774256659961207483665240062119920701967373052492674966498125355149640642439939475649355924462512516924784859143558780637961501507580307081593017070058315676050081556599228413675552159536884465591804445029722653950287727496208800087727442545199576797470316454805551560007295714039466500851361510117820415715496376028705690217570323195315200472535038733741811924225836728955273425411516382782417210204357189207897157720987388107158707382627023334753025880015735648715928291283718359500723208428854272402259852097143401558313880650366618988517756862974635336560137015833265074332503299835443499949614627108442194143458417302889533479775109244792909184350055175206821170254054426493522667931934003152775690405085587262072345501193706990411807183659237632691763201413201306410035693638235025237867304173077337469663518659715200209446138617299897677649303083873070135904062323237757351622735326529991733816556013726107114885557339497905897955303167290420611366823364179860818008781295837720214219561207189730540444587059321371399079068770818113665775637789886511303568537359382750488062512061299752262592896246609179130019899492472657511470897291515762153156452204010456200683261595675632717096977034635462931762743087429447849931723850493313566030638979248122093692969606498197977700173176010980602032134523964424570093766180883269154497293659606159272615036636334721371052713723072030159104440402470844064397635874674166861559762412623429528377935062223735323366692117365705460131032541130056064093950033876858068503268779745880667269737461054421424705456810625523806029748394002844691895384559898962427015279758256037298751104869961700950629959004208635762482601170189082591231535011301274818819527663009686394352002035332220438047098418358685783367409924784368971791953921500269824087613534637767278540180929181287124218692002423854521053926267093025684482427411521246908125552150729398490910883944292688120279272534236512517772147401804086864938086695414888729655969091797529914613103549743952434800770404585623222015684642408094675541630234795396863727468884273436707803620300770069750676657776585696553723613020185145765274739424208703701226744719211520338854003816674390165517046984288956243837996342418346938989673476368103633044813373475382250136894364375909002906875332792747766366623721478878677217106256441642202919088468123570820196293261523294961115495471157803244328530235611422407904573753159365316934064486530747321350787553856384440409660229655002228007712128927475635176464707898660549339920623712488330490524246371648470579524034797236567551223314457625600941961312059462285901164123631566978933693651916757962999737066038616367505579424627536656385161584598848471120299506696268939289717303540511949080618621906027191157642285609150320096300110029453097760056995779738735167839359042205493948642406278793236581751552625574495337897681940843510900497421517795980753342220603435778494881129421233489903817958775580273876536766514487153585866132616845118457218900478067741343972569487972005159897636853404101653410240156330360451609728712432942645026588701774158208680805552590131370223099862272287540650944541916726801322604283722741381029620317762408682003440412323835697990276379044901828952508060779249763443811864333219366588692700737735043314596026114966279552059337138289304434390776134209055367825747591097933172778637939785211909675933663188339829265560641926710905573377259922286625084894454477579405963352329350594355429346689643797481654434171734717403083207780916103115488440887356127012729716686389278810302111821551011820801817778860332969038190376659202692225955667983807689901744084831374713841784633969754715122399193307650358891091536902502215606711239035907807464885835426109146006903144977120221444863650558447701647697058558093961207582743828675120337347265884245161092412323760568727884902558227505835842659099324421478631893805118700703536300034544674265643582385627663828509949268400759159277917054337828185480411971769864695494054652339319671738396941313594764334598315132146254861803345176257826421773433745144918153379384409546393442583752121700412071340320817482892998059793314598932977000736612960829968102967009738921451968015371875007215826972547997977734945899430702309730917835876219175244324562817057772687650267658786959407939802619559957134923552359676133047480262621047487000498815322754154857855362190878595034806457795877552665322091069793738761260685011951224932726407495274017559541066621077916028064717706718167422431586900128898376312686783413507082334627866187045167508082407744205013492967409919648855573017229494828634993241582428611925604637538714946872832689991195363386178872198955303193341230602815523422334769557775619879856984551249268028053059452342547349087516503184503628557138308357500657541388823167375943214336208534901441688654181289716554139939905118337818533982625291222558009359560185147240807711224717352644089298563594699006379497212168719660349959931914617789325947853051523860110000052375192669390672597432666468363599150289343958938458596787817683708948703205374063069402075546966183133242505280550913958351200141518822447848993776028193546919091548749647838458977396442821757046392102369209120902634527380469945663357963292467849264410531661764718591114460097829995459259172160234587789809059994557735157380506623714695794418436658037490505434373306830914424271385105532976644003654633519520383273321562741524157519260228428751770328561881487025906581967147827401895779240890443961109505381664369727721631335653408795656674792538492430087991284585697710413815041056166288985301107232668246812097643148705656176337894618884425229806087207953222194036200652374249398494561517001304164319866885378572419906978058226109843772870771708613890904843503108259291360451413212127913477525391179357004411787622926418093841764185440451148974973860113573489950549821519452932414793279506059566724060504351937779546373958035399362988336004565972174786954382105371184502294611316508893519480457776873500769763190344710624343539836054158791112402517203238511757829318935176420879961778949519596412015571201317474234195256921230640400757932101930263509172370119073063864664653080978460767435678339245798860298325871859202446060991176547130556565812476937319190372429599734019375843406528785351396637184262006545527928291917290867706941985774159843569185825268503715810030806090853856217375883826124177811488787869942503198819420269256754734409640888858269453852857320747946116877162267816597138868964652346630324539739178630365542314290519305753185074064038722732485952693208539020518320315592245132897871133228673946128099764948058487634800362080814608828242965498490305888714667249898997027642830990022035907120470748327473432107638463685036938994888076912339109221798038641594673966488622646123361698645870238077613080907589828463180485255365514179788385039061359475062118988122104313456190310840341925605224008608024739223272466876387486203441005023497575005768838455025114564659523894810046268295940246153676289079457383331424118074913770096160573843675158318468523895025042155323932898448770233129129348897203777472877006855149949919345464414733473945956023644673025661107281220209457430704401740948792337356027928150460751461603921929951552435352311045630909885278938732659781361940731924888108030847981427558806606788313087463906160764537075173815129974989010369930368410895990558005154100854516398041452804310422087922216062489136800544862472041733528314376569330328296501370644251491318671528168510270971244102913150826087252683740407946447872239430541845845509227473695086560649721101022254040263185060057158795262759691792826467763936342198121779659644419743294127386336830905916513024738894812541833260964615629524661506998513672567545433865292110864796896315648086845411653199788618306152243998369967670297209863302421197379896088390464393601991860262522678791649281540656592144952593630516015097984806672999564623484333318323783283567995654586384185308248386654816917244417426610079818785380943621441529264266676035701654719983715783951490518217907714828055156483290127140195176142737688398372959137952980733420400390804076578636520998606564770848043940362700996238268020899405396393915871832455906018162284480397879869538115279256850480496989119385453343514490525892009639886173662616345942990576916907668052298823535023437580848438386653927355637149402697372430082014479682762934237021301839503598122189659746222248434546861798723438110817023012740574565006382946346789262525835885854094186863058375191747474108746647440480068659184591418854916318802012132287015648766698633956212234617157451864452452048113231998457337085783817129847213364210807053463653895361330846404700647192283855628517810107833136786772941958314539043036102928583479929587779531534981695412218235955994923483030437747019618366866423056356898549204858442004208273898720390125745855507197809139727488377995288073718422640478813556463799802096335083502109854776569878842157502659892420377427415745522319112340708244234510024499981363503849703224541429371524462428030328167514146530606544809836172459665475449944155901083645290567865615669713223006392232441295433384176917272578522527633959280450842802122256584050645337206999119313894073136689645257525481208650239572295367979090645473314886017263543805920113009598703786420101186204160255206804552149154965082684589152301197299652416433521332826405744781904724604148325064073230968320282415259291996752396642985416726730939969306057620884229625258894775025383812746533014564051153608429822672435477644338890555491341583400553892954500273771588392817364912119577370467459203260772478466689474884797130456815329189677088238256649046010441037921370329101262028375303103230347143557579615985752825710360772576963369306242781297862057892574212162982066490154850141134259729656663069931047667356462331456116271776791741398895087216235566481397184272693212604796019072535322893864140877957395476446144722053409472820665295007247313128754362504686919024247198881239226503602995816947600582121027336230716765013513709872427430456662614682806501051183584243516088692854885574077083998915890063852672444126798347545970411780489214666346732893934910708326991539870928797856387516915022518261154670909395436544095122556636126536281008106236947358490744733404821388055501575870634502982823018019339826541725713427394894999671604429077675273003376091881559318389015366173205536098243203388389208756645386788598327753796494551737307513044368790265958754707893964593941025354971770256832856002036047543044474676430881535956513051118629455405435203641977955712859003267890072765352250783628673252186019136451131431223268806323344062176221983773835715240322854736735082593813179349994411960859819620284237345050793585053350924479826281088573822955755979012491747716474830360812784700178319134042781423766746031463278831196415894887591242701307486344181722926705822527611427183549172606954767776130056670123200963649919778105659164098164321831997070456940882392298185075928869650469291112535386306889986400645297062539741771736359978924439398577491218204870016571158556068899180220111762899406660751892884091786294576933918354950985613857961716370666567294376745099221216014248407379472049373840452652794482744824333855967485239523608118059017334992944142452066748452644769205634918465353102531697539562006287528849548324051869307309491522725923003779919594566629109849880927035992559514321270927899854226217588790168322588323330475789823363245587340632715524565297692403522283009813259897977593752843969972662674740509674813957308655756226447880727072621238896978154124451951282289153291606833694188921008961726268326980837730241015316784885348588997056318948983330597856751296274086769519524929035518857955141712470679303039221054239458278348410515498388919502092813306291171353484460013832345693924277317095337458317210964049882384655064807301741308740035932940551282334460993636322039410586898163742556370343462375035042407678799003615760536713331975620363388964549566188633465901280948743079402912842130962781610557627748485533809387050478331612805166269267480282417105566009306521838303156186616212873995109938337886649206667302522716405358749444037249285977082335690412417265073243043504994307277600631399274780205383886494443412134143365143556524984205881012433380304796233982349305232317588074340136651814410358118134600793842452564049394803667283226962566848038624806279307472376558121270931790145418272424806133903019800937674625803983403004177156779144861389188170167050627182337437490977157673773014495887752628999599096298350368770822311710254521369803775403846344418810302043583780415046230509934424073582515764540263090062697208031225263583316728439038812746078545771236869868452561348769118063326572708851558258389650258386494923000886514247034374263054945025264512234523268096873018799822918093566255727366612081901604341707576623003296797007901329666047525557047144406332531996528821575226699155518557851058426759832039343620885819360179230128363531499236231790542880135980230820465548297387302337523907410465345451290524256179955539966281796853023151243638886625437501355787749605853987111855104468589334812261967527447694938816821872534275788312824861644178697197152511307574393104758206039434941820644175263220267632824925676294193463535202001475798729598251637058496765124408958105219764590583671255349487563106622154615787116121866808143251129975100382797296688976780128934574075670730154678559230977158100804159385690480888768416354050672841953958793302320869239333198023329032615582635386530723600792357436822992060086458996383160922239925923926078419405112258561820227503722153781088748710700786290473008210550656011302983193940280244975592878941904164020020958575411833756006151424155652441227193391999847258084034834603753349133626448872821596894223266823130696273111017920723261721322750016565882689638360468096586699606745866639232982004317395834179996663920839216573183146030711719811808338021618150210174403026134003644827609965585345977334980198328424564503533344015709135455368068091979042474651190404183898231222356503804078930778163721611189639563519017592260645581459591314592943733684981767095175244552488092082436752083778267912628121266504283446578861435114696786132006693837341263987227986542332587641441463858556712909438540719586595509797269510177524320705090370754821654353899010925066427876450321283470315517397470634409948777904133922578983538310331470765505285583956919771524957392972201314029329812758597670710135762621092594026756932035945585351257209042408362588588109227345858978252336534089875475058243268368266160213238997254334067555675336839902648594519086342397658166836373911974465028190361555908963846705672665807263548532180392033692711013056013051571355539482109617408533279389858329829022176968173783156189161527445928682586379008218326965829256985347712249356342541394411439521478154744240189912346978149507218322468677180480757339137636773972391482629623470818263845446697738535716992893096464332556049576849378960536460444776721895860784835454797099160933133434002255380753821521909880336857225030342473175636451493180663736472529120692508691933905330742183739090647484841478990289577646499860807637150505829069592004213850619498693748271816698174315059838285185225345742061613817938385382642018914736675005765604400637715135346375753016289315521934614771896658598316480914134715592042939334662732358147917298009604123617546388764999455387041371248802722691551660297479297536427778265051799376872751340378283000435470981628531997928652276683445134931567604171735134421368199209406510717428855721172748616740650408164857141163632106444512184816737381240044825891220633221659533992104450470660326948702201831409998164792167355250578014685389506044963931932191455609542830405265607205967678102211204281644578245776036751715311444819514479822054686786842635054806269316717601963681252224409486213184735536266215264450300058029856073754377703077343071475972339136406453267585609124572225383565954845306174191837294354635935255328546155784571744475998704919258956119168618290052382311062051645301321695638533124261465319765843078946330456754799365031869416292502617885666112850130559214618539472498449053968557871484084473518695197749656038512675486998146956518847840370776579898619572403618951288871958618445989702410680619149874828511655924583374772748551281074817193312413869056197841713371359416165568160155631009267489958596147681540849640229694928345129193668626442065571978481584058541853272758990115600176097051342179128285256576459367789711481065137534145226464141128446827234319319008426535880193969622413417689031943597273836697450008168360085651272706459397540575319810485167242036160777944812998476548432201905396371522300548030989383373306154666849430728690890801821017286847147240028151866521670625749528383121560146717121882760071109494190430777076521978944188714381451059904688123409358536560323211391009899922898528092730038506855806071959433567123623864327144091937913995080215529606010817319940843843060771825496826024159756913441209313667390154155519334001053313593198883893535568189637503974160271435337863300469886203233397574603594838994668251503697269953125976802027917457284542412232951767116305410769397802985240395565414707990698718267790190638335227068303131395877177234018524676039668041342764614435175770617590466017742526348266810945717493459947488857796191393304999185793035647600694503058530843326241887622147130431956431775074741452156219040634302279597793417430599478933335106221258464644695435376172006138516297233710627628584468811406091486694990468335512162197277989179224155306734948197764815420900988064947720351225154420068088178415446161019979882588405629832544149278257278229460031247107646037297426357010940966454844033253661837823987077424699548052255004144449842747534365878248149518289077790203216384061376299137196890238845628617440250375121283652659057184288600214556379352198834410760728717161144320551368375905392376876403849436481102651810916130220860362530449512550117692717800331709360514870883086312734429805399085218585754118615861149482537711016903182332697412750751464108064518964057530193065392999092340693681376368924794776211456627968332995795783547051956771640072502708787926128069671077751398833629823110058015217193498892294858478921473935095313853973019627878823613188477172773691053284491557360423012604237953561745226289621249786134814349719701056148339175067498926143922900355857021422396366729760386788397727253889779231378847927168074359402157488478429879251566640345695927541892910882222313023699762857673448344504531868667908975053278923208228855479643015795193690592778133882231072126580668508860588293886517944472178111109725949583700848271312873438164286608548090591687697029543107001880239439409713934189111579028564553645773757088253955102205335864431129054482727035655132502775539625225490462699171665224804912716238151574876504758168131552314109972054194742320315013064448033294911406853382762729340659834308122887602649900180485340325925133110212181880276529665398051031616734292538404813360410993641607827525742095465227013537343400838257403323567607960024424966855302716877823311501736615099864373029173019792708704266520094732886195978080832669688443853090693137406482105847171179706548455932527601513999339542873090143403837085449081282313652448279203461691082340795215707436424101745454055695010426485853121302225377131973218866535940119889675673887479503097317797027890976819686301026483809604978543371640602600405304005008146208923090334009396029548097008663977361058229486613838828780474509626231480186042688274028478190302848815917968751
g=7
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
40310
3
*** a(t,u0+1l^(t-1),r):
41167
10
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 8 Apr 2025 19:40:25
end  =Fri 11 Apr 2025 04:09:48
elapsed(sec)=203363.612151