n27-L7-f13545-r17-t13543-ver3.3b.txt
p=3848980873005488519025901769973422509881582364927239733892043786426251467175192183802495584947046336292543782658919389991754339050163993305565385453913792848923367087953024598788396586329038213087746713017333745540746614241762658479260843810899982295468702357226486224157600311220124478717987062866132956804670973400418339798081176939970339600557398236010635621035471435323413015060695245857218275647455270757761713451987709867083180516436974293474570809116925531569929308520264052294277846469024198267984806681363333957644280533520039374239207123377943155820327761984508810310642469511327028273678831813218828545360853291866570749126475139077162286494190823722410603957658283626263706305826173173570161686135514732878255912717770465774821452886122451231349915062896984261419597506484652468143064214701144873225239432541473007483412417057746067489391819481368786652742954640753301729792440541255010308249894635106774146782165485263510748339334949857490496283209002010850755158370451989652003574306028079591148254339633865898635919665277795324335970074997972106819884350284545528365156047737518067334315282275866082600047694171790944868680489660156706542181513605040361787924818656410673913469097237882544992687053943920982242354496100108347322875800770072608574574019108012042765588779172298548772528796126264771360799119551574442909345512252326277606389963552401925791722772340276560372803187801590575251137931092910811497918272161573407455340575151684837306432215694106203083919255896334550671540901507767521400004423584857796532492385001998954948536205280134568765063618897028849039962424655735852307670002964770404306124613695017712912951296266705460221882536320103509185574328746445831118195646613819143472887911688941742584275514380625611566535556251827598759846219813160764691929306551183351174545594294025527762236535688393304762375529945982209832269938378536405857411111322315898117525440801664800056255605909401949994765236956792516636270959087633010128863887565314048247968697100093923876534284194918121840521378078752579941774681522053833006739709966287594014867669236838680349130729391476454154761750654992774475885314819501143536655500255184881161785409584998785480637919010438047252739537228254811416048577387061227595309327141178527126612829953803234606461191563015335537794309721992907236849426155970675875324019531576813954436539894725393660996749950216815514412975888543124271005552866817905878491430605529827004512228394825966517733854716946218334794580717129774177988602013548956517309747005626788144400629361853111253823093230360139388188642135061199232454316406964596463135103930593740026271907667539766058641018127574050742139505364076818733279111843229853829775007754658137959357597056818356244516110889144117430881830989374301154175659347975581311907724309666330428741438684003241863979292528740401438308654712935986135659736012515220950776946985094137544648454486234246912009365315369047896511026903384944762137122259232317863598418181734191970465930750571558067442924919697713954566356551550417338314685895959443861752339857046895150966163324418455849309101336661309633413054124157091302304980043974890257365773671335295959043928607995095596490944666769274121650859239195796090735458349093905211811451187129214073575807873911816540490972774817028682913598201189771661504372410546455531342630426514799145003233269257979333216137539077876465226084719606084594957392167985865604554332383087391296969694665554320134431273354540863087997735496962557142174789293322896082693337483626100733114734788801354235095731043731722823924729747197848293137450108980896432731727446185828734238266560338079988959041802303322708277540281431945650259366279298880610665654568054062600946113367716747250891814555464187375264472397474556346372445781245598865933235077822454528627075259623337436329995285759391595927627477730483537218313491168285056446463367440103793193473915919292477338316287770352036334461632739377662696457442352123644597772254662923588755501086461024083146202364406511118805421052002737415527153114054425387479592638868752812060526921979271454472542651806274604280183124616342228707124185858843187632709386801378377631396082172685324042159303453099515923491374264614376669267425889677383039256408206861876559917330479422810725696399894989028380609227133283008296161891823404247967454482627202158237670181974758552112398171683106116598927604442790432376216274828110883645505092744721267797684781054790751653151337087936663163414789981255119951149238226671195117560959002422617040434415728957233627120273298810616031113918780366730805154345321709193799500930652193353906968797535593128725982413226892247138714845586852737064821202166815861753345160427076611518462180618590797244918250920978671830165715072363257991937058514673576513089306808864420152799982742266407079749006099763726199231783754114896446654248734511455801239239181392428960455758175544093690642040520329141161816876937238676879284803637734288316736772477873342335995651031853145106939661221427881501462422439793446307132507345001389138135074253972338365962087610731513211002062749963359668149989084176924579505540676540844748630059711616015599281803575311011063494376554521561458384056874836651136000974849073035617082994636594600500102744844345964248383999172997010210371054848556573528882731163156591917300437677023604976348276806571797331700510823165845713329966422903038832884595986914037139840894663791449788302365002640624132470328336747321904583776629507927473897572419537161133916665173644700497360686704114024196518229804763937860883556913398247631386665148023277108499883704270701482203196281351998135514376610189888720322873585337538905058005040201999102653797965120957530204380666119102702936214573163548604933191954035750874568804332385356715872522633563189508087297915946998755097970838848018963139489888622899073420101101328706933571854606553911954180743648643509984014109522047410720459489679760279282623447584378869677143521659443390335660508264184760703396440368798597139431823901251259850054430864676045066910575700609851338421957899105358432663543849685824959940535791696720645108637819644241905647950997411834047966873336067051946120471936946801811981646383707672664491326786212929148437830439611597637112036987618654587573642849109440912857043335766762480086294585778967381687040943590460545385862005425571872158848255977221783456381590293896557120969486712537152272140701945200707275775873060978802823503732178201549665724940466498934235520950764758060269668436912977776477231805639337543738131560332293349186531180918725993886241614599767239910621298581268618752897029662594292507725175376860877343948535915220485380131045113663549969853405310100839447328157170478709032659695461956158164331476723042156980326056222766310295798149403484631318884704618043747817944363609194909605673315970227208744198361330939395511835377553439731364970927969163209929973054898242235096241530722449215201736396827801231293819782809047873248384490100218032152719569342920457722015180271309219934058901065470297270922677507436639123722531511791861058326298827072394791418194452205154601795924109504756391538771157777204687207882476856275441469359353443489499588180657418567666668613465416644471539672715117053791090459932008084834887884039736507236315597914501446070104931654246077365510198995560194080772284185084714622054519760278907143077424732046516821864409566311804879744501166125148924753960895692734808307184809374444282680896957649994740880535479471748040112151395244808737978017461944761451930352476432283542759506545157442940503459123987894420418459060961091427897063964732199427613894889320402985467742354194787243615410186911802023453566743654611633402429071729086547173910444910331821777847311309979936897212498757299812174322479355970970754735221516309395453773705212078440485818070006738656734479920402055766453841386638474907452806323146512043396685906334311142503440616198365849480201796788860964991474410300824726308039634971470450817020903401726948924408014746242767306625736848680485804283792797097566341701543544427161341757042220777226733779467593726532904393298261904433971876613150580010876563267285537105092520181950411594394238737610080924082888704554474916468868528687397711224127865026295393215490091175331584148383904011546095722045712183703549023583573593576469305784421363111989362383278189510814573196889756185975295393821132111664169429555082740812282362027177328997769499508984095643290478310737408910578773167339934421850866826863250761730490508845516071795730387183306259041333922952288159247510375077493735172408298273716212553463134631667464936231431868250461005969797724389734276723770496378781427965443995507961296740214709906382864038116928430198871857888667991453310778168889128828425056613288709232276797916223261286459977308109897393694578677725438391541510576575518683224781912771916828523742648256181322113105063375936630013181730343422454694065610730242544072670533987840907539413197991010581347696252195013019189085739648377323681094195703759459846565671930176769875038535562011783542286558297910059475768858922426312987992470549083993051877696019951862512074401969107022037323500762827173111448886997349269551174545010568664657943872661626381216000193050421231958701358059660061107822753679471578270506327592193285563404142693430814283048320611351528336743504416774886173624189899851082545560966754919807510366116248400503756211828527548021835073083850694338393766761797404265995212799115564962263388099133465356384777863656679424070112891377887585817899677177769363270454786866608183410395934505670579127043009817699472057157065614361998486107243366086269439154349146202359721151367485738732923417092471638573005081266043289413043302902685572389253223408733297316708257642536153173002272030920840305581959276070591919847023962268680004670539169060199861010621902134534588666623686772961462487030533292529402802159293109261544783658408475523683220717952358914811382897623079537137234514035835108587985186658129368804261732119178948141462292694011062066299860106221313587512503614775559005702509597373992399131270712516297143864975773929348933798931680765855748479234770505004342553827932190103229405567016790993960526594762229677990406901626695132438197532931228892319765916184909549126925620810872173192643425996567209198147538939820838449115434564168095065895705381773235362642740385912705811691275707099811408910416429199777708647167198600618580815557662614300216186811490035611690472936918949391052251233745228580921051484915039044699230033247122949806359465156583030478768880760476770220671354856240428617370743365224140480469410954606192643712071038745794813923253674561126799884139945251101265089152499630462932592979751390801645844509745019422750456034752678806568326247812443163293721719794251971362159906118331625908606825473669640836521727729476866634415636907102183281432138781557169808821917158258241158133088146283744570160998279300783435243472796358500312310797811506105792101058599698306901612160446499113569591884783406328756634831565159316522117499017054900808499509082021793289712354067142945518060700950215565890690962007694071919405664413708363963953678345306217427789559059988008366849216224637342308826898022669251825600091497844234205408938134431778543040269939043545683555213004767429239940421475861537702927862914348889421497151324799914549182358484629356999111756480400131998057933125318337158970268862169056690404007104368200947175605809282095290321913796538160710909062179579
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):
30701
16
*** a(t,u0+1l^(t-1),r):
31806
16
*** a(t,u0+2l^(t-1),r):
31605
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 8 May 2024 04:13:28
end  =Wed 8 May 2024 16:51:54
elapsed(sec)=45506.679653