n11-L7-f12903-r17-t12901-ver3.3b.txt
p=4389681240110864634830765061319898225388501109054891228361499371724360126482607038754279899396243309496696396530276623014089896908566775795277060995070661831145111060791825798680395108823217812144167003103924288776474962072578758578284965111148804977388673745504931227220052398579687144191972208564978198260393713324902685317529247506258957946947724850173971004835779697573876908477064578296519624097379319491090665766784713969746942954823015604167577836574401815310618355396451562873733638213725600940195727970244232219918498712966351892140760242271336013008488343872766032298304307448178449052193283564001419997927805003671953694345565147345526380260092731866524032708581737993597261687434475128399594864154217817710934596646920891423033224803618840121931889686243833422318949990103985718016921486994770158515003327680403981481421342195711642557591043144226927675164990306518943787913510985912340427406363774304634356725683835339267773588301494596889246734613427464537743965620406127004901031186129698016156224836896074739606333305229089739996199888882079111405323140407478927107131234217106715917932189779273144175835132979504736470617104696018414969977140201047092213055834173412736817232480442766308528442901262235309641324128445240622572815750729032698885021201417270804632917223953690683277280897762495662239495635115132212800431865972207175452889243336570281565786876974150304243014366937009107133172693221186604981934800921385538404447883581978261007096779128680975035911458445647433865428846625038032084156859201104266851421451711194702674728229523564878799502128566262953824144544338162605201360188693575597505605584675078641137085591366852137192181595680278775052926756046499125501729392050628604942678822199080391850760677884884311473386642355369672367343512248119138343475327995837047315975637803382652945929272492727477246739019984312705514522381315630489008646457272792822208811197291788875848048524165064058424341940997714813124125221121796365157471898825794183908837495854718654447730932338041629715932685106579741445262907950149153573463548131077081738458099344223590934393779647362387045080713383456106245143395163964955923269185643717755909195146788255114074799216442416761565158585127372653297834238576826193397358117775482875791317264565619702108942430181461005957949483092942153518287315487598531521894149951648221827778465611393987103244934640159444375188963250655737767171637638195919486109374377038666507174102853235748586704599347013736208466412485768977679177616168406153790713531922611423191171340545477036571698551936294157849875269748654878457000328008707017868948592312048765220690571847826841307412946513419850538323212115189524699984481645965363308901105816325958404664187304345064635146560433455573804372760489843912775776884439759150605501934308443503622241373511757676765851166850254430128999456239427941279521030468686919187198244820748062775983715709977767855240888638099198298335299219887246972036384793357140941532839579337154244842829634402409721202491447708927807537249577942603952864770672408904441450851551007293320390656986543716621441034144778415356064504580817741303030917998543293691483697894391274905095244546329691477745162848168287343490209304506316355282929799935668793841845009468923818343186165647965299825219424533976055331699491436783067631433316795925761802495131386470998746006660286128092441486228058488248760069533854356464864167246528784518379556932626592223480860679847913013397016596588738530826839374379348123983371792189582647609633762764764552729385330034806359569824183707859718804693886255455459547530156887238979197607245250095016055499414551846281432574642079542808496639580847285548272988735687503452469587385436854166739663471451900999342077687147903671711486070908544224398941273919541071660152585731846744705723391544958812699930845828621412530474520565206310137632428926927712904590635061156389573236194220935527460222446283576328715389770457139787528441720995306421217238574222630267496513479314244573535600876275645866566490757418322217269292627458037653910804723605494063689932879290987845303841615941305308667437202169389800451771868694867205961000733002610133298460547569703762102389781629018255851659439806948948198797361833071876362136854423912757698082776663964631278715522636889449547129357480100801418333146849036532986124041464773713115011635117037752899530717615362391265558771563495065095696084924289631146642198077046309836057604466301941361364846370318784974857556839860967605002341469504259992790474802144566449097317925552476182981940276156186407748538571484647611066596121611573936015871256849442968267718297633384738863101386279996072469158997139844243510029516336012716440249119645327245142088035108432437997387407386780982553261174493086069758964628538523975836889137907887282029599026877833695491559202916357260049469099593736421184556968764736388235085712065293171019880661006665595806177975976832427195555867975345889570262143864608716992816982223803592495876974033638117255218542263464581746537163802576523053233479854384466635735219359123056795211694012939981700828748541489623343296146268107983721497450301446694220468244574326355862647636012742740443145040354164522407218663235977152632178867449320808967377508573939272752164192832760253606094807480921849917173396276110618922822573332071142481355485520855139723004757747964182946424024948349690364370279281756697211577584732880956832443571592104702065465342815225711208491879056043578105448790812064260128223392975494135127596119057934397033599121303589187412904553331918118796397210893709608036594159460831149961251160068513847323960147599686067225130224402732235686842122539306052685599328253334786123117332746843238754936246529818786667350895777810160354268478349756816389326081491701608365592555514128653716595837330522013422802674308672605117957508804031982833467813279122907243670389365655318866460519423321999077323716025284952189012238013882050165556013564067999257255699401272788998807919082800182673227336695088338882409014559801702552777519340373010677315871722403210141946934073706464856784222505092305920936554465393836124003438196061124959715502862627725606468509246037997515710056175112522356471195894221019808840785013513379682771102510865712610081068964609040951362177074140049096128217248588973687189594358852648330251231379929698086385643220971514135536178040108210135536891486983016154653041057153908714173733256920606411990375824740184215704190078371792013979747601664320244930294875605898203372066010962337157464462302387390191866119743175890526820411989217063868939109760612189476335285636848883778440629024394012282636066740200596827001826758085841568435111639652412892429708708870293470013911447348486585167451591605434344199570036952557710439956930707291696843428139253398025897322772976772796393837265066322062870494877157687244507515308902281965307731655084746797788686626642663151957434146268875428311722745649899623010365525100232981414028064712376407140980585103008536198362152974665430453023535553005271953321485296230122577592850132808976019461469330993434719520266232632836451217911374590382163313676583444129166523770623454356584818342137404373607710161417094770112088392655670123451962827988525395437348534049672681177277670110446258152711286909572685193621789104961496941807274265466905907416638278468521982552063896270662436764950587134754891548197084309795815267666950476530192845628656175353478155267449763068918272174189265369311636382536922289413203513456687893912407551664846478774411852231476055167023266104879226544596802429953182078904258479935916311827112165694210312602192626972717945860042306865743643366705576654963033530922732482143788005180662468665916379474872568703879173231514601289307096922181819812781350349217647134385508373594942796805616520336877367194036726010367054010292298202118360753227065032727386976103462653233596320285942400869982719288782288921140629227047288190454868388113822192944734907247373819111136450647856957839471943150389379718290689530363987743501897596505936728748629753183683250693296063792249605381433707272465024018970267706288223876316985992251909717379096803585645276598497494455910350568321467105097972184174296056160302445540828710306343072106756839555759498098944932265341863679845300299790778013348773492254289461550260083623685677910319131094878709912711726411553249641865201847532782826895854025808033990824901189178651552351169801402503048675252562831539469715572648604501931821473875322914929861727007265783302224624308584204822584593601886423532486461547474166743490422356205989061923239295893205079952450429181783031536230016023150112440057558699308037878891395218373223446859350187951627866624567407540308367760058592876162069250181125329972313629736758178713953847927480534394403871698970560170732304788145830904284658940864143233051214960377706174031702516083676329344529302374421204240498966503709324314112407072093166592008926459748382241403187520904138275976738752856360144025807507438493131952841955595804840607051053675051504493617914578904561559329643233038660034684018500890991177667791179378025638024549164292744018949419696152196893334719569660763200387302455469389264175206109964379504625518497459947949620832284456751780488814468029714522371508788185973923818112348309618472235671939472885333474606652266149230096522157193336703600926453004930559638844571452782625823849093025214083291274416380022908222930259187319738714385882765624976555515764306803868560511992346447619785594194521135421328050909992108658840303932497672786644031702257249718985700759410450437580308570830887213228748683217301053425280169383590689480316680335503573589223835347037331768188035515402961197285354326452420937839975202018292260217399956042771050060167820447374593974717646198779100416548604227703514589718089771693259220080668483571149281145422456751334904910870953106305707328768757389193148343404102837748551771995685001146395442773163600117816622920855971671599798504378037078569233660312341789122579099370420771915976487184827158930294775718881910666271665202282217810898786219970837135580858192809651895793567961810457352152385920815938573374480929504960915948802402575263315989239520888839059906989958759957678823639074226684224775011593685557625163689080389751196002436842968976207534917543791481513188332646238088453121146040668628276781398913289615889936759249464281679895786572351251081887714322337600208045605930311221713185823752123096706039192165663000509313283280271641054702419262508653558624119856935887418473629865228704230032732809534533645917334611875447788644787838650027861388698797966796727229763194725492217004260382055042405632275875333890278201962688627882719631922883779851037438846085934173214165942805135489389535534151251555382267318761647520422423605141630207248292526327607153324065093706659770569113502227313705831360532393228593925696086435107374071782674223920503957363889150282453113079267440436919434119855995982758047547
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):
13710
8
*** a(t,u0+1l^(t-1),r):
13948
8
*** a(t,u0+2l^(t-1),r):
13318
7
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 4 Apr 2024 17:43:57
end  =Thu 4 Apr 2024 21:17:25
elapsed(sec)=12807.460928