n66-L5-f16021-r17-t16019-ver3.3b.txt
p=20845551934089956637578208961025415009699428295330987419605578977423625443424128767718576597139559763083257821265205410107773928100610992825199224813213241247865001486472501916500214326726751483953310564462707527895477822447773359146498263192501326127189331159704352401210562434762274540924650550537138931034843120636300892527180845187452955808428482971107061752641937571511657508620470101492287500475806422332006535746546895413625669819875743547668453436663516916498954524332119874200407603910337787344755424309932178628776381644773493478050316398847756370372762537339541503874164997702181012343737387361325273725903839398361317594819029770585271525764508905628488913286475484073400063086064150975204403873783031638205209018635248287820081670431748753968582397060410382889937399739871275629826062314517097879004846266072868248244744110494693490086721244555406679067988760987681847109926179017974524582301651685154031918917898482510310562712595048404693226563450009270303003374664168922981081632929351861433629853591623758754152700579953770048496493562696260832657426493476125817456452470799220578113533620958480770913330068735804293782998616044398638546300279931370366139695372175614632485160118760596613976269989609481136645382833320826087669291442116651932405667950069890598356589326335971879370948884931898778218830325819682870841743370758526005980485041115043795488737295735628657033433534283422306525357573337300777388627913647542045541992795182875035831070283269104842517320786499443674490323537817316111102246496676135003019015320565064696353032744414613579721325613766667632705509672185950763725661272584190407443776521392501417683312420534859391119601513311623349851832840804190112295897867210083209208317789325929502377548763102340053387047872379679872529151143925534793662920267694527422860355622334825671242424733067169243386922627706259845136506415066397565490194063584639411606160762619426267042967918347825147673666317907749219798950351345346560506210971426963646476183167111814550367616759931912546685794177000631778254573898661424647384430610849123309828002130391733678763747256302157924687862784972981661806620036995655975788823272518990196172322877545577581004927137497622084330907538878925703217897497115860730583612877221556922071684900719727828537307277295287477563949379164211568314405861319303920164717470219539832915135702438596990195874156072974527869809987346027452629502065062015301087211833521967944087872180820829472570560058677023817621473976853458495845186796369826632318813601393896087046953360332872862675363174573366963789277553623133386778260485796327139503997270619340722915768802662567276340079777581579213690192275581096911306564995674569175826643923179860824387559432951379501201783934188225952539896582019939436322078198278375945101096387371438916313959739869128489194119969916396788067551051922926372927412189162148237156828048172985719128739072348793633168071387434154622084348880499817521552886561106704199401387820209785494994204519505745659220879774649706124731732816013927732367532160742145121651248744035918494918580609612198111984209354047845884895311811695402899096718325883276746879837947231148313257994908406694042555073032085268619588230961381086058500326544943993881147388645472620826443242127132718848346625890847704750998020191695936819445267018477099436434802017733641855510266289972080769563482702385891896173485780163452612038167940692631070215772019366856650205187990984453238116890274859269423015819599142805535348732285557938134662494200674591648809697966693600512604030614260169746105090171912447448373826024640128393412706656349233938996557804556159985408475350676010537604768328193139453801109408108973051212277624827280874427586489221687780199637584763149487729851327435244400884400497033483785156902858646805797139995911638209440651816796842569763659837331928794890495696176320370010340100632820452335446437826029709824251653985954908856457492096966112650566282265641216643669353635608574624447964444037689113020070450063481212587558133291686715699962187364229964372062648047707076502858409248284727252398182253331407624097429081817649746592870101788311031586703124718489773173013532543902617736595756481026499579804747278146233510492481381014400012901275027526651383486951482090138145302389419001909460347914108660035980109350120207969717012075111963480241268352561614753153396875478958274498718842587536127470601875430175481881014894746315078852326996992912523235971864631776049611658101980652298471679738691866051333259691771358676515592221157452672411413106915543486599550810648147308468275093021710366320315960163174624593570377555984289928945436525322409304568564366900512322650775325118731434643309229227336670527376556749369530021792002836676598275005868542120727913299696517983624051456888978898118083314239229935650415320701160385278663469603462347711874963269220544583599934738187919335395803123759194840483230430735591727243314301507441707614638221323420590165664381345126327066358982883131719516175770248396751328272615718467969362592056476921345747314981332307330077667729263780467365613756154768274787492646301372508897365198593146522270055927266173248874481152144228137615251258648724550583866978699010930881724436585776739416979804587568102533626797214839841018636037417211917547208156304024470617596019057449461882972975554018859254229905099585420393044826476433101653616000697961272179728206437531154997295824722276541101146634703035112798484969244886219982321051161249240258687851098825280384995377621408854318549541814375450621139487305588001294293934952042886999491617755526182985947474930750750065631130554106726661475560665230447356670120831299537139346760087142184121811434271094957466936870826268473592245834377204499461627009209588280130497501415238989508439450455314250721580786412261371538403834446537184139085045586831869160345630499501627129364853563819012207106808326493822210593799258848115283291146587320070883265032233054125198474917431615842489718899181449262605761486817078932731859504115443499415594099220933509484257584721211939393019171187616129058435262005833310706043433899877124643962021158280391886042614189498540760073614025222024500923524807195291508316287309348290711124452590526900214546687666408460931649514502665603274945379040764331559936649566196345150099230040853596296487591569091591826646767938300285446597758951664758800895134787035337132412738957371545350683397283312409143085274032061357242467509213788405556641869357892515020410979366621165957841282469987789995115912840437500615121786844729295287688989738568081598786377340434767944961445535335197371048835009461922806859139857705564062937466022852307570498680469800060359366238870162233460543372560907235497017166638551917003396959218216356547735299730863212613733101774694008022775789742600279533369035706860190906430564208709842314278596706680067343015106044233655747087986787557313501987076025553395763513284650351399880980213860475274981242310886217161120342861633075100519253028793989409240607835028324766572479566958572508974373822577332105137877868306694395868591680429977241887416324623010801260412788629216015454500048292955215275630297839977722234370644967719560844517627457631895725271190640469269676502331521136012230137831648541138808875785534892775654091776989562196226311422075451257510746774459148229480180545505475118653780252603364365023642615103810386808452665757654542795107184502594870285665511478939527005912649005778078658068891237236211860767340746263344441130400723440489301716159160569270366174272039474823885588168167400530453211877619540623057172798413865852393671762795545758410611970818064994336706114174567751739378420634134125627781738954505486461411802801312431140263662444612691670124434620374354664376902568054874949235227571938192695670914789550764109389609001685754033665857463161598211482882684607936967607855175015164798776153823581567256862855771959093776940660020991806153982725473753369436002754385136090056722302377489938974484270061062900009343122001792060981983967239386616569831791214575639053443747674017808216947920224839642011853619159544415342129270331148338491806792563123059546034934075513702027869564372648279065156678960791592368665014451259442361562070335084205968898676696943878866653452578155307082254436617620132580602467889570296417756044781554837013810754281729023198441200028906257859791942593082190668563634110063939933957173835810319967456049248798122458565888456949977668590152279271910299771786223025409291723343673802366431237089076535151421137029904051013933157556451212340300730165682796481972554543577705458599110517220642630608508011966486941814658075660094369871362580515228057663367941470641523991361349908142268474239503847835243157556730952989907184930627165703656757468710616871927108719932472381421407503381378962804717665756110316591451586490864463185127183353679511376651382791777580566291515878671361334286515355635513317909455864623930709600274257459312644922727996466355189489177066125516629969270894140145210872970658273644592001912915525014625596689384136425944975817340551764303065795680333167531817800126947017181832976546817235648287269995911937663611680447810389404500708534031440693846251828963547693942830944549848587699595208145022656763285509379625208625831764069475870855392985842580341653924534401846901947377071823997861000258502971863112756037308703129247465805147520143712805896334512029512460064134647600643920519208777576682104565630926961111621750396749202304191887317197427181011923183270161973897219636137030515628647974447697893294218782720111299312973945224944237469294907433212080651419689764420895575445073331459290551708303637705773850145046914476520732432273750700600307261440378721735615348740670301522384542318815862904675665407821088625679996068807745315023741860380680606174349814147438727848057380460501166553678107282350992525518982634761744469483153841375034642842979226200142453079347878925248401846519792849413495600639646819860997273868611633272369176742823598290059886304776054330840817128399138171002999244407919589340058143889811140518607613908328084373429458188862939866753919449181617604713414032352140732254262573825799323747863502554904895116858909889378442129785384824013632073919264709501765050053583065534602522543319101856625101737154273270526524382973810944228764333353554707089995282820530348958340644779196923274401124775673648671165024754876043214803491254584361926162494401036398572683511410076811496345689330642468548831267935899305206866120407251415492866403608634804745319740043773323182872037069810669448642698675481197367485254324343893557376128321762370045995642673860942489689672761337407775971553054335199313991163485610240075688746688025613668276749051753941074275606802229980778915675164279327820715265743119066634876924746877593858951662055561543030770282490449473034291374953661325644512873420107998111950636590681068841865521835311173269267900747505620596441055057540661108556466503611916850524168825522728882152764053658320682823288096451679966877690427702138325367730023015277360736068358878200601776372140432986810310252503588826922894254640396962236426735722659505203350757569109961345008590118569618863358021508347338227871471411783987903731940605212002992630004882812501
g=2
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
39170
2
*** a(t,u0+1l^(t-1),r):
39682
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 9 May 2024 18:31:26
end  =Thu 9 May 2024 23:47:13
elapsed(sec)=18946.838360