n38-L5-f18218-r3-t18216-ver3.3b.txt
p=5204183313633739220265429439075424496661897629155269891685290864482494837947542938768047115074780784484677599535144035035315500372935351322033864178406412948200375222786700509999080136533072540997292234820829387095267524454507111610225682268419200314848415778831758601522222127669798370210301826235719042927936764209281756025800707000357703091959602904059157026981948815417277002333527751887137134824787798636587308087581211464566459370808967620457862304908249388907135912131747392150221250281479315668478911621324577084187779649711229267832254370393443125885869778330164359321221071694054303753346557348802245819052459198029833904502266944246476869757433588768057817489721509254541870785428946894699593305327820361337262303976031741710757370628665346454769733966364818851297278892172050446305496047240518067973427123952930793967611100173022347765852445986549553804161056468987802139242809991575126870358191750850247596124112440780546076837014312438747076010060488413677575437092525601025944282687530623578665634336811628778628951364987722192034425041786156374563379624464606278244338206004066956360406040649084138552305842091211010210950900947088452512333128731578459310964533618386117681592310948438692349897069447284149730543781840364081484401325574303318660403363267405190919889406078108843286078692209944518293525932904995736935449870048718243555045596628467628323623106899734630010959387021071532132592540608076266393388768892190687426370662806834483267416619741085146023481775728771666595793287640578782484859670531726973421657500216677100803629359525262966579848127747405830539580273393498493360904500382908887756625250060296694819438376489895947859375641471383069155285284147616163902548986546777017143006021210147440843733517705189435609909244876807930458856374344413875515962171011553636138062089248736749638139145514381714458511521987025825907436001784701183629549618666471608310368011266926870297803638338082829378908441154298657736925968319614114645125877934939878522015268532006878421728277893647160468427109378297000968901253030724939169139433795257660137516763979184535149234344671894269807058933307032816539377367859130379183937765216656725986608632889632647554805837264487281399996976455607635474221420402441649778934075146064883029075308628124770898994152228696311958137607767108294693503234747859440825171175505495644956636970331683396159008357704285807240998815104945406603812336542730226870829911457624983988952550309132816117463971659630771977278024326616108306807689172138151744607428820640048132294068283467962455649185981190279267210597017326342095169618352933295416976538402440972226389563649530129777596684639735249486950609305266370797482775897407856437092683499380006869509711299388480594936656646797965191246869041238467249860844373336664958933958536695001259248857406275708273193477019312252750534558425002874265769287597050387183093256355211525352714137320553006435822620829626401359004602779738497275906044655040977437395617852710338305014283862778942670131343412544908976006505589949037252720004974189701193970111351832317608975389824685451177031216817716214453240926145387492409710055508654480953489610507964690847926160688348923193235595922200098275999399994015661358940042190115873176700846917990156540110394490666776550447687836278466177232626326862576332116821061404832550732963279699277848622082058045322684049856491453988475270403102368448500014975854357292060155829414462273645597098709104171726213955290201880644919639827874914534766941400393455998441609560846435956212363100763503402587303958483286960972490972410730381866036238232048268554583725055555909322191311969543008552328387016320630859139691855937368472771278800062432046977685392990020954348477045859248010176512534505721528306000851304889875015593508966889366686273434803813578424892621910715716972955191046711973927133323435328948936021951073806184573502052139740396079723230924219701699491181183392106540230808088918336912965325982723464044976356180165594122687442683212677627849122920632622542644024419474320537403648777695002356708711535111403125188762666095907178812258033230792790266555060099084006765424005554366480681928026604461210633280536855935327776634773580301631454969036119768120468778546070109295263451349931465087327785979444408441438461378231140274054168266169927554512903257947903159815863017810660459772260752158694879528751194616413830622011135466349198975439628267151961991655683817955086990577121400025008093950401887975752057111478335593604375611670393253777543443621343321802982931473669280724846815753125765105753501384467483495038956221080254885372015131945262984797299080691788095112079437164103637985302718300367338386623234879676005259563823165917917763264188606651190805190820448093446584705765951662324365891716706080634751265054407177908121686186869700544948135729910090224495978059799773119397940872039067004130637462150049507962237227606114230446659545392749172005831736793520089821155109900501400243321158526708527269606379652091705403169538535732862890206204592359010042985443164664831581647631541011457161266833110130510777634271411062821042297665786137584358923337030375013480340221269123389020929489030846152602367577981276029947010469889023573287598980219145018006395148874881217396735150034982045229072096608704342640518531429565356636652474625039278147265119660372347356341011673339978685296517419551514150565515623527434007835294681645971740558481644140211216637105422196759557210886430113029526662773250254990085792616553695967110102001619237364583496337442967264603961117704460069053809608135395864132974042169964021128091949289241449442790278697841419077872166141561007743675332672532166001158865222437222314113989268928241784101405069478206285055191064765446255694159600252334659773849260588263358620209940668820549334720147383040035440059474125559252062768322420356686152285031677106095695718236337123631157967027348495851674037938507310407479079214038944819470132420990096242954453453687894555903548940210178936071801031189700629634987845492366225065514610801524928501889647789405478266043227431612199990875323753595458098923015548175811207372473774731299046787872502172774984897457614128064830664491442477878693934133680569064464985242550884458785712550864037881354250678918881596941642354275049475026328204915831973551449804226500611228642356976291310088541834194940750013350476230989354007019084097718633399593765659125293922221551667501432196135513002848261168995318995689476621715044676658274800531446541076039000581914224703325785547389453497873236227956010309258747171142478548864731028359841652563408384432956272929532727476758175905004917296536153669914565567566983070492608918848346603901452334321604065461332005813929583302041657135524214430900713600039161240218341801271988321912274382135997417444719513652302500965959266811920614973497229991114801369321247247049360807672254015952960260658870573197355947409112422218251896555762786903690427627312616949102904008376052995661818303022906009018653042590494436670975802663806285706786024033823952494052822264315388899010298516408255918777068230778511822380630649395408562402168940235583852086647192479536940031739778907052942561923902579711368444329225069565828506799801850173511163956505430976106070274460540568488170475920470781891424472381248387453112197925013408205412277533657167481604225913436828641524840754431076520295699314820531313452554844040308910759817768785740307617453775715696826850182275853404595863270470145667883207427583109937810920325047646559522206664298212930763782345569547683799317730231104080107783339634484052926127451626807625590838312508806285286177013864344393719148850339060885463164959186641169293525757205402090056439705439616188266912226179212542973241386168627365053496131021661444426716446624872190953652501031638028385161998144079420238506162943920345097164293379051130486453229483475993958839812099789527074777865608770004093923409952413150688743275722931385820474307242254705588994034597181236213394002404378152750556445588325282715710076028061323611658436969586244618722727090333109118152635375498686838230320772431700512632348995924281475281834512238163773023800558743986582382884225769712921049949156764053782175967326890920819561671141981657827691289421812654743997220296722116289718683704768503045158386581553385825250915431721538726049267078477976156417110697398945994083443402796104549924472921773214937228784118705308094590784100078181163145382061059021590255275968697999826080052354764343050635399582581773820416266536097971537104070031312905360966269404595135401595682185390230313657527669169092744705412122506619966133071956716261983695203172240361361622340155375659697555360769367138189157020808360687108604943635259099866226637270124238553452874549904794649198186060500917831604394408813251479358385752687026582983430806045838049566285970088024770303620021011334232051058715650834084366059453787123150559912595754043363324935837007052968952896773649018665980331917161612410851006274447949027970461653106075640563722713359492778488300378337970215420933619218621855416993945077903645800240716483692364618583582976210729600719057552283264503611253407083410088256816120419004753103273819361741394800627422744283069321965680664839669024271203369034160313401325735745621421894133964631790759688935906910045440540458570868657570210742291649813182424698978902549189129784619577386898875482381654250146900426236647019754463874580520121185548817287609645998265969908311805757283556855286170647603723881136798788523046992213793190818214693688453325242146786030949537988564415084127054510590865151791638268534493955619813388376327990893534730604633691077690952155419874115354703234389287327903943251248751813115287672971877791129005648610803279059364003262916855085446882537056615166167766198649616045606287477243036946125229808231650384508968970667485050953367126439115296973144130010358763618492092708027690643848442359357416210028471812860386367365545211604415154433435033880959212348508871303561181750626237539393272507114529641390146500954276952351324534566161390092113120149178809116025134961425600342811773654389942833286802974407712159219763643528532877356321586990148455840163132476189508064053125303365129644869157769996899635792971146938769077230939875499001125692685446241502242124114608052240934055761438182294941422435982468406367252297776845488933251100163616941114582993710182320287164923455007037670735133679532242565323072640817540380203563172657743123952395844823709456223798139554393772285789643578075482265729981536031770293729224025639609907035662331588981406212451461474548890572004840905918051566396783453463177654088401193951117692475979672891550106480298044488123016325702294620667805862135963812167464871121266980748070520438424050563247777315250238348979169335416415626610976598079887319939107926927681554361978164392539838872045748463446321435090985065675345482209632770639678218451706980376308594220342859467711113501753686684349812231544195914158964271962843509472074562981779990321161917799465881243187416999846414997588139004952362773813990025909114132955494079831625816489035604129548787082219504933957497093273340185088313949027866927848907630108047247845388793385503024950654992807799746561028169183867563407503260135327238080421870272329394396797491697442972759887416955524435137088306579244064524578746966819863750693178239751891431641624638275605744346695976991221466322050137756904876210729656031398929592206822303572964217622838161419328626465598479339284139756787683863280043119537412919557332433079213654433950885971709077836329619500911537161377769491738513823063614612081038014850639960263808322735950258199863017328888271113373169875823589943646496999001562095095523496483625795457021481364831768438386277338551080307066999188883699529394662917497274077514030378282310500845722146950673096594829421911720985660854666105337335730224090955046485455618931809075955836662714448029283154721846794587115439768233898086164663731513706526279959427422263954594232423412547173296545855091176014959189205403475808714842032985737016416570519908474081207404093919738242703485079044478128929835667094477456797897157490129813387215003050396806253374682440925388891474089114606907787101203940466806126082765356839859049275429317753523303218998646682438250834590045894451955802280508104757153926016166528327576835308246271079289516005425128400090394487998129024504274315946424143996532442738713210138116283371122297145242200155382861911357604390834359550933943773754142457606507307276442232243260612932982729613399242765130987585617198283428337423025187658988839067149852984121830107607329239337527192566873798224000303367526394315647349444430817402898108819270712315337798886256128906359728281678620326322886463499273190791427623480558395385742187501
g=10
contribution table:{0, 1, 0}
*** a(t,u0,r):
298
1
*** a(t,u0+1l^(t-1),r):
307
1
*** a(t,u0+2l^(t-1),r):
292
1
*** a(t,u0+3l^(t-1),r):
311
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 27 Apr 2024 11:35:11
end  =Sat 27 Apr 2024 23:07:08
elapsed(sec)=41516.709747