n67-L5-f17299-r37-t17297-ver3.3b.txt
p=4066397288965689676718579713303741536114096467162176590694135979646599551955148987929601756275785368970219535102705678426173911150546697563804289304813516778774906799845548495835233980934145487290643673785223628513928245922914377936863329945652641664369558373225030080504001337608334263594805062129971306132477467374433780700307513763096673427667660698184149986353438899900468801179886830379156264517437604816833073198330340174552284111389106676724625877986636195702259723716394712128861750321916552598591761897850609875692325236955519213098497262854920522183342914729867633971336166858234053291734576929801017046037958871729890109493053820230158852975614013848534756301917635698876684073198383063530084428698762881449605752638065803741824505474660240661578962395808023979978336934123296878585126762267871831806356417420630003564958105323779154992039131952587598971671475580638564676773835911629802873816928754755728358850830814603007182985053393220057933346662242568464230251247103477500696135467762383219422528370636045903812237657932598432380847105258691541646820131361551155258867933577145018127867820123646005736297135193439839610775214528874725906640876806653873797456093475183862439360757381124024217069115598823569428091783307970974535065277693394320808826211907664189217220172937982883244095232697581870963107691094430968499761906713901863149427177002039591744044850388959517223869476254399396811985977224192551277308187047496842577331134008961515839952246300819068725031547416966274410941784465548774187734972645038874231745351403401270788030315256475181692360509087444876304849902781785529628251517602268002879622377671214913882600032271840030591136238990472631886849234527346778660212292580500395479474081720637172695894209495093325820332566914197881416624162601725397814288133804687730105767253268014619779219414307084494038188011393525687758560052064811485799125945156239762290832079246242203890353207466935409831338616943105674372618342614642497091131077721713497232170580983597630959452815162316604046473460784192020488998771386977202707402180423410817728913379093732552365462393662336000181372685310182745991735444525256586529369404369460287611736490122658778664220879439721065554934176416230064042352637565341155454406098862001742576530572876870210896483154835274612665463691236482030731160939685102239450704563393580046052591220407855935945912667449972411206677156324766837258503639468843026445199315108395280611237267242994357258633020627894109104698008082700874637806035382880527653112779261951985644843800919158231487814887786333132506415150783947416973625254676249366168228882663377711310776256599207640698798620008283975824317855744342340466712826456599636948245048463712088565147815362130045382810684881695428457008280182874843913182929977729824522955844305899218497723055861017684505409568929625621381165863241189562662239390976819908170448116057668551932280081314422393390796241703120756507557849330780976411446076779206029712990892740852856320666489980870051400186285238613634339039953979786982736586215777051867136689711919263204896780272017466651435463427102432394413118446107733238583443941024820331090791368423855029323135871366833754595781066052334287676220471783346862828167610643883355424297649287272818613315080226165523381912426204790482264982444909935765118426724623625705081148994327734280866768025553529111456081927841162121410697192560501439525375962077771208082884907409192487424925155202060418410911537499524586039536160017730138164696601657082532990434358108026754227854851704513635617730604111332057520850589394650323635805412267364597614941816462528707181464822411764835921744037166061771699991423592962969984487226595639974614802284371077374618586238446117452971136243601070165532336551846381553950790720023189732343119042521905160605570910556558840892945694349694366415669062454492815136842485095574600080043384671268988867664662929200277709605164105110461731212997982204946129252038153151660227024631200957687227889109537543076348519754753987640296592746560452666831425329958443891443702787881132934028010876412709183728651007776946431215779560577471080941931370653304316262839713576878063383365948560005062524009157215607950247907810317848056029730222994502911537239210989007235441670654044239184984439305780233203155604697553518447548574411808342677566282488926667166316323106974073020481958820383736707252001025019861783671135002704990225180945567426231246477891234917738204840512502477646664730788328561475013263127611237499447658740098247864454803312381379389584769737870948602241433618180778016296658914238072279575988302993121877229771174298671257048208123777449723981370072030919609693519264156857230661253346858476443498617439730642961634015443458250822066104604667509210571943721663298122709647229968126913277855383750522498986968496047838341007977606267722890787148290515177068361355244521393058580136741919030143497034012649647852777236816851886908824468218909364596609901703962384764248319244268962651561188779199197845687936816301115613632589561966442141011086521943843259397816708873058146765503710555919298076172852197903318172101252568705039782648300481097797349852821106192703909714754063489891494545811154981259148348725701384186610502349222355174232294261136943458172379667761311845768404730910222360870970699095085491176724507472882306585544601859295582968840288951665561591867163345464385931494254141670768105447586551131455317258058760174456319435435320959197471621039697726010002514190030654951478398066669909753748600549745946474159454601799505809062962235891412531428470674944099569565077065905676500682655994614175679930941235454986575972741029158728040205651258803532664970144633386826997081888149265755947718252127184463828844843791590569352933484940259663868232929428870108958171162211283146163570176617944580440860423894017067860152284973741279021849172668170306622323654892211431696424660259515217592000887442045349071411318139217453771397881018998683357852607658780514164342103919381983678292685804687058721686880125832715706558195613532379790997890026540087310110500045591857345955391998883209649861525925256720341120780337605109894563484177189186179087909944203071472621150774813060808061245747199255569722941989543739632946018268053672842110143548971604149345693019101257200019474097311909371983544122780647885001579783687206289791958387965642180749575085266046723550714374964765967451138930712405114739695244375057834989739433522145470429427878015013360322654263859451729225447525497480842694957655347979431476054748965820487261834571051039299647070004953441287643569171335505902987502903555674219843430273312632536893977586851940155918494922209558991593487357912543554154219903449089923118661679201831599873590049910308543830859462622751526090761371341050051780709371575587539505792723470113050963425684056586896899674379373349381169288308297176153551474654269186874210639216797788121326419310887344234567054492497088219878426417271883838228087402685792816881986374373114734868344259037266710594008173441685850027169851254558296467061629366875329871292524228258272920631022902044080119707907492126083840164975779948357289160998059577993094456971627470007313579556880151466653988344475508541708048916847649603990596248275119101597467776788579438058167071473474203827175143329999932785230369461931652621175714732158753393336910785199807498649969332650039998063517454033607742849086624818573273276223619682358793225073281115096557870319035277892624150422492534131391183909174951271951265293940141653552428078158718579998823155502157379219547289102706802626474067322735933190295023341702954192497884227277676683384517500840760677518488833084507722475364128519715435100297558037098964866931073874036659284211351124545208246748353063147841967474588461893878396018373467955735295473532238888773062683167073275755204819771216651980719222711519170535495606330142384575905818585914159514909837955900495487658827527782881530896108531051113253571557958920211729219815303256103546427342124457295581334315634016562745224763460976904532245015507671839896005546212899228602018345093740335183092764278886366176923084493768944978900605328593589534608678980667061000213747481196672444907917088847003279193057607908037588454455484202246958528267832789086924194012319308799074276092828782895244581376261460241765049299540956975120643272846802495237839677070211373284412437623947858511529391830721972707606422113873744935800062696145868300422591752200170494176674288815642866900582511091127279999084767333802033062785737687593155950555440996733954473787244004018822058553680296226599065401195312417610249887257384002643117229114879951704205777632772869034508164837678370757228547427774394397024122815883964558389231696445609905316691792654115913099475499045987238959674954329218840245740277795625538085852807747119241254903970461478778424128121049563789409036882101503196416979572519899790822573892952586347846689837601341411428014571904113768511062247819111637793435758608913362291602143653358460291961858560346478719462217283369552054422962469746765248669142734759103210526163895624742288328946152043648855840984663366004092482788234381521278601171316855250419265287478235733017620505804246620883034830917789811987283890170692225151463139758221754831833277742463122945368050801771305219780677658406815038630621764498504696856089486109078733354827780857181198135929844485887960654268965805659767163578683865413913371264316426091603481253621155708750503144115683232273856508435076207668868519467799968496329431799710792657038262643982051946350149544033725417724542159332002582443579478779394967418216919868988784229325057827734125489792206694601117429071227611750626213984680226848303211557302305699542688353932126480945015629840904186580834986324580879378399111177134467750781570258153334100169927902159492440660724988763046079317943736607371671934973514220624104326757308702668225399839129554838425003673698495494050450415576580511228784023580054607737643800519882481177089613430531692984743887703989263540095539152349327937216260465231864126711491528064307656677233390627490527329474712679291133520683543174858787852384444970338709453565153693158577666168867399816028069907709528308364423242201588861700240758096328911237400130061914720501883601714071434156114375293778122452310080894529249504142221689492425847933788220667681026708208374929098620683845149916187927402175869353646617043301131744985056239587820238719771133015859864280370060253028254114948356753836477270785267641645148562154590420438699622458466902989060880297737140684124508517845999244748169779277866014281537370305470090199843671026565437121318288207614355157538839467411480855204511715387990074153546506850769476463549877858121786086353366284865272311291746068523627368632548964668189158279487873874004845314706227805512951790959504421663957311758531708833728508512971313387708764885615913554376475365088830525410740187452696592423900133737965183495814178677634240575113411928582006651305697801997021603878760598955407351156866740483651636962116209330856649150131361779203266138705224807669941394874843351821199293099643328474442560914879473759994257117195889637186416144456849082677143612498288076948840975993177191328994043067097852410769263076574567643848749716440656620190351571259066556877759963705952008768177551657384346201112112056351398182001377594163585071590043066912365868184153884507271202549721010418204783149686082439526895259412602463100529888465855621250099851584563846164249799631536024461039969285340220279859780628914694766131145334030274105046425031794056780545659237209682112938660862431833708775560997135529627990474218513604730294619561019149297822154526374697667739859141663329652627720472865646349721842805545086543385512382132157004207853644194565688642004442149827522162523823386552882306250779503773645473389460403080527376507437017207053385151387742576669278924214508099810696445473089690906348284479106686256004238310135179981747090018851566284295669325336908789343673834847269305670301621032432411345292019255540005268207265525912890258921628108509864177626809338061612737209572733185214410411845165072008967399597167968751
g=13
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
288448
33
*** a(t,u0+1l^(t-1),r):
293826
9
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 1 Jun 2024 13:27:39
end  =Sat 1 Jun 2024 22:50:22
elapsed(sec)=33762.529822