n67-L5-f12229-r47-t12227-ver3.3b.txt
p=678090755367133153040868657084282346799448811325248629962602242528540681759594806403687598174680755615775390039247753756277627899128568233677574720853138731723637278383917747526782587058188559878787750013103976020932413760936504178493835810119542475419958637790357399237425169961543021437440909044191590486025239245973102404477140913283901214922541718697991804947692170891636310163484333823741829380573581234024551113310635036168623877628811260769502665247053908006919667968426258832915020087371090076831790617836920204666274472269208400310682174105220220306778477616186636089428187293845671763417722292779295999097146465462729675075686940052485445070578623228642612164164868883647954853785502225379031195167756791714569990224088016420178890722702242435284047714393024102704691696453349444379501974397500777219324843906958057050973664038624529354314423361136855653527240493131642971030079720452388111141557169328809555514528034764509696818220308866400965264327350438849701453932671365438962813388691315281559206711425819231988467225863087952300537538261147565596138957241838940116928024230278972735445890978582675225614783380788729006922893751855995558661379878953461391732684343929690962955495825299253814534389859196655055621259097644014131255480719933206141263322057750110210506545504823629002729194552766165420293222190891105296109946294948812439314004681481096383106264098492629519064785761804084358324513585354830193967602204659452176554734745210903557165553573153641093621376900938910486525569088048369122125958795668663371447231573225096658047510819902447156523224672075037127391788149993843887628847605582714073666103460439561771332572580942427740932795572635723478298023595134643719218370150950331386386819860643148254193232891326498977933723844127209414887867466840902074951914564589651753681681693648119498514113922974400335844667555480651789838330297100930286069308074849256261719441322171461121274904213462798793375566349695971702989890076645873087151495723496267099688668655398719736356279325326231581260608235892807847770012586896039001682115283772225816193652405912089130241656803833954858676805324047942743941040261031227249123283923960294419979144884958259455655499742151358212224638783955581723777302466770426208245496270287010563097239175620985614832992001769712462356583475642006789184326027083186646104878525261090355307361699061166940199790227255003800069704386894098614243194364553953683590613211596981472512676918107127264698033625050352676050506698260679917027389740970755711027563541913163376983907052021201303768352603284731053408809222592374222587727853881535187821987268617755042770022343410312641553745213867780543486606743506343750642639854140993156000156887719751434190032678085242470828485127978637186858890421075975640559064751421451552239113225809622197755049708893519441173214846367796856700037704129077038038079878856060360699516111102523194445998442512431289087109244951775092348269289629785795732797015185848129862857503706585129809834052144445041696472641560442701339293202390723839217893676785059080819112073672433467543216744774671496466054626583443026857094935512290140929568149820433646898309617765594105096227101396306446198039400211226806935814225419614175055703407555099190470755345366008892076869529975862210309400248040892829144475127797313210492795811255066257582975147761766640260188601101774175719104311858896308437418054703125117194957986109322171475709072555101633581378493223508650922138179014535986548310890375378500724259943795109594684985737754006260969070184002231450239493706193374236079344756999181383096144960486489511249318436919724810261495679318476906272437408561228608378575313024884238367773530731080424815193925249867114742377771976995842229078444912223125820727184924597431207453526473912621253061478422254501183444604873995352868983516976454924687340395525123417249426271959431529179229284762475801003640114051757671454243360789766471434465090804315243268419397760975698101033553222458086051100830659838373383176386474858477638581192176825783129579563172665269069355252924027555532750374315101830018741439562085873183176266235548601621123898003238894778092466254201238994428340519370193891663026266619034550951308264036494047693196920598267323190959358361626500667287228450291946672515185164417056232943016275328132644237764323925468053920116037526278144674972696507416069113709637894255050644858491287754838195052603717963853915874399416104769367474923963813520218165688476167346365429094385934014449734963611418583926541755920221673065663163070070779644853047882559096412418393821604106946558102738954205715958007418638537995578745673741302142408746001532123951808719652221472885795886271571487051042018113446939800944161592687873240294640489064863226425016677512829998128742516823719609620938536319968863608022392932179809177855656623634506654379357823949584292462826495274372684056798484919916800636626646441293932631227862012937630787226222473514451284708492507964922489321412214286933283623572028775495674275430888344032164001485923610917937965078955264143412526687418118228653647522151865328480050852271846584192759994679601031303852651902752356851729762920305712642365124522396326851832287602556209284316505625675312772434125546423590070820916135623631994677066340305856389911575440768746440477567119604300776726528910560633242322988630131687325447462804663805999743990143414409827036135460697764067919901307416636558847998327492607695821615526119126047272653157070087777243759572985327814443603541588423502568815669010987580083020992671972508666961352567718227860783401524446760400372271081299222411648811902644353042988564140017778460126287293184978787646007413010777815325978807630808050197683609455728004822077983320224750561704033527301735009335086271301465647726167599238305193117381206591757768101190101771408578915201796229675255816728566863156640652309441379522820790757297916904479707893257611640260217606210091260554344840267815265508220381622628467488129255282935755382453404166661995829906702752740157913879495516149220139558941013627266052995378318767479006581308326843328516338020238630988937222536402924275799601880128913124125624203055129415107140130405549703117147331882199720041542915126200855451636467142828019722680883338101109425701485005510197170452547058658003252327737000213085925704420879326394390106252218437838058681035618104742785964292089753553217640918177089928511306275834590414109675415655819578813372541506012678025947941037954522433797062000089427906907155157053783846216951552700225784490091440758818688863164844027897755598360991704032292517064167936081634474480719900515495993564735979398295600083783132441316305661992684308807031912279395258130960143277014507236610946346698402432272211493182623496542174822362608708210508549212620194296422417586436287863702877453706610452390485432969305044456270997949902054097775236231033900596226759083875641412103982807253989741821092890778082553783835662460937491383036814117712106156968968141408901813711480823825447902084573596386913182606748093068334066805112112312438256193950175795598334590364953021546644164522724436857201634257598929371681669047910606826947211977380542993234159219433762660961031171196117963042989226550732832339202769141463022395256622969359249568938559259319542813791918418804153578560248430808987925534381095401081968461652431617073288762531279102361401568516997048217639971407484788473872721018174669126046928637428744828218482452289930261318748835593030053905550795298527093192545237030260205026586901111733207790331543599216912086473537204618844330867392937014574956617054929919880856544777072284278824005127828204184985165098679908449943666741503566274413920443346840203174463679948367870358548674671560706784663095692925953810337195997644649429275974772470367871235387203142908413002584673912051849400785386039537969683730947460351090522086108256219621570458551280245084370347958334420658576384967405996989488235699305381133980931092273571759060668392939515330032730221257801084710647381205283131654103113225854803812966023316762663316537989990256885049617757309677021202651893884263784897736226045415497140298859106736065222606684220220009832055699297006733001476536938577810921643033909880884791783575396220021662503985820976763126662820706500845624698154727462530930799045481183663523637937989791777251617642488121951352416143166440895014083721774378157410472804996462406367731685286863125703897833234337063351129813736109778799946838007399256167108196289993104676493936764563535940839575395138418519306205847172212483608966238080029143020510673522949218751
g=17
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
336721
13
*** a(t,u0+1l^(t-1),r):
346888
28
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 2 May 2024 00:27:24
end  =Thu 2 May 2024 03:08:05
elapsed(sec)=9641.022315