n20-L7-f16060-r3-t16058-ver3.3b.txt
p=75263189743860150738281291480010505063993717879089293077007857050026665258087172318863112718012393669756326788452655357987179516216680019760010118930368940173713333529160087562500954802482075368788028868593913591456788246549452454634803759167460886988465408046120697494589817537720242283903000847918798745254637949109929885387592488211572146955708750058720479118620793826474522890539230206416714625734644885779520199168394480844759303366725088880933919888022955021587814638608708092674293101531643582084235948603087907591147091178578664367502165465579524379482787356818618103434039898703674952501905584568322405352110588770865977435507540483482894506695932905254680269136433122757416090673762895620562683266661204854193259383115975260696978247335026247947421051247457442111513135915691310428554611928172612980307190288859325713557435367653834044918420948017169815129317136328704381415262225623024512460913701637668340562943872578540488130919094874862141424104427550685144681409978749788542891058740285049089409061253792478508210094122872092004984666912727003366808882492549784097893811066741890223772027315390312457387386008825583131917800947373350272546494420684447920136682785515323243920124072904400383120846318807617499052585465110387759565031620207310276354670748470516025257542708434099752217532001116074014273437307797753566599400735209364051076666931262044933611997225529167452173170047353158388483829755921500510392065400942333709832444360400170123449267976654665602886347838071731695622601667840069083895539315228459267506122589666305285228048904197405828535953079241034272352495258105999484164950036612879837051671997174094044524967002908135147415001939578786436858649858369849021755014488945762223313443619011103436923920379794943026518312505848140651804021439043530335817623245511049446232391182374008303243173985140570818639126552454500656374148647195579067670179136258553035480764422717517151132163069072194677278284250183295778496842728719313499209935000817907582507950977524118016622540212432955561173612451518768738398481784759328516315753677298580732978941290842291540699764698848133161541068246785288085786222925811722365071693748956271919353164646534667642578453140686740340051884305952761782197500530546720169101676402392432932679672655532065641100455921765404763430502077961559427686785827899467441450163434564253449474599862846623278218729194860491875378939884920275755582181134061542341188256057874357170231236081798045302525508704184491706615288409378038532694672008989268561414695268395410326875650477335280344858818307059269719810438248127761450761343913464165580350506885363265195279940368785996050969041016144705259334379474888001529702894547685076379764717679344322907921108660325197541693823236132963294204891400890156005946031834420011896186764825177073384682061983257642983589098464879220252397321921779642744589713245698699845616988215696192728105000630113469192354047687939261774928559184781561480004929959318701072702785341894967149692439613175072868779705260655224273524494000751975381624304523577447877522911228614958878532886072840725646857654622891486777909404509434883606461385064436186248544461684102985893971714656965782412328010639066753626972851631846189482130736486644044191382260334617530097097370897073745131264172090819741656654056652381690345532855367009058389972352429973249675305657166859172784135669210814569113550467725381656372912397328023985544664812642286453626292638613148344161491013986633519980474489529896702280145884572507122510650804690015032064252095142866082528259135843366277904403334317377034400922654568047129608609258694604378403950693422236492160613607674904371370911627373814764122455809026054380040914811163640733843320678517922296622639376969729227365910510232299662809415668509293349574870312924387367796274987771464716065106996165242247039360353421496837315141569646206779859681609812867701349840528809683056802518772835949951162007629083863973705809181443683920323835051033717722495953047171282606531239251994856428566786600612715261949392409550501513866490384054199652565048630069272393197902845141740876970229678611580414143379715666418166003173246000255756364982157208589401073384674253360508953559940747138279168877972957073732492117206481603317764103542817379008278679077656751304846501837519778077701649593057231202285802073072117422745061280519225988957320029784629147024707524826148750824547902876804769228452202188359854726226604534703198378232794098960507268257814002015496452603796258321950234409592401945343932902948802805962682052490718195426484710688016889326866686944466236577328772682480571569601628363584006650124855606238996585202663557603285524227455695001601175335238303379470563488077673322312520856000324611479630858685886396547676351640162256019625339988131314991980624413546376620097376286219909582228052141107244635497838969547459325041625103649655667045009942033222201639530763357151442453794215023434963411065019044792356601237153656641892270437901592342660296590387908494956972460384031765556327998303356461547012250325845694634082779251236854662538223063317737162603060884632236519991664813874673463081598140611369928778242864642643785020368756753918264318856528359947842246762968901768011034602230003233874530463551195082696245201592835517958530583520060220563127600775313619631503098438969875299268156480544982601859675091677450292129898830929611269668846193272990482225513889124248730130966832596253492290216011531659735239266049595748561608312009033102262150499613747804471504559866624116214443529283480910324655242404523313175507104367027866923056958288313864213974103254312516196124824448474830488220880360979223454934137727331274941438007725956213609920718899913451735232986452145712081907737147935439129116188974013454077281898202032235089302410242633521994472369130156583619752262077025250977159102715597323149927042216831447858757551223909118438253022039583263015948395995691953089755499418648068589599980586087114192199451178936479774529519171869160826936993936962967730152285336489874750589682143078741944611710233923623602492372317672195738722211116256382996002956159391278419486158491266994899174048567195356221092270573855766710749857319752278851441797457705370177043905715816780101363554605557664755117410215449817943421360784249981644767962547898853670284065281753494841032703840996078026191011427488708865653727258921856694364517963556135933903891138240291327272433418579997179222058238849763471090376504936213284877548091131521573657064647462207273952790265801511775740548857911438927471056154115417534120457910946148987921116649794269339271886303826004137023634616485209086283686277383765698612642587060696554049401233783087148407298416165972088272801890709722111361383361750372231906804115071653873438004100125424451855327937543359815684617438081113304782438247435289386097361920038246391762828359142603876116019814965975281241765269877716608943439642067451123100954293298104782723342982949143089719381847191302714421379927081670988975045245143103299981405433529072318896716378963090510429841549109195804172206379767457238891174598786660551058702056482948700899112255004056200834482566921196775258720027582245660474675750692853440012690449168711986175250545240324575439043789303255340155532377952803707160966150042057933187273207190951000134564951341460016440558797354109658025820856458826386971365264334093527686683256216718990170974360480380675790451575211935736137509185205489792844434555313263540283709043152057869465944591700976819026705041072364986361612503306748052906566254844449301146301957383344002059114671083714920234560367350487875472666337574915479695681269206343009758455139391264468708155801875936830589455929346469676177931051558257832939933322018917894329707950911437220912663102601034673689132393225928164109406719913267784254964023247321702552163280641000375558469041072218338044682605575507297459376340895847911777746586960438843135871818130323331463612220815791072437779515812765347844378723797096914586278484451728369444513416263182294452132051892145494127418613985156937524270692109458626837108408765478947082918188725969133819053268234783196970271219542731980775602855817771482856535956439029152521226309723771481920779929618248301380441542600151668087056219647898070617445666982276617566672370544935305243651862139559957684897622193652254336904838009168956429137111997023199473682734925384279044668315821132498083264901698613330929888262870126752168026014689581329366839532292539457350649447575987676881994467673535889592275605600245688558601210329994973748978804786381455650107884921280391088002079003722419636542788575633143191499134742310240786166259871583060964578378890877306203715328703351053184764988682570668360508285324323962943987952582106906936884510833449630571180418462932457300184940954207654525051791383449961242902393786033499957860720274912246604544135201486599606957706856144051502898439644405219872380160523679979106239986637902885132203463244076068505569339384313324321073107987632152327352301434734356957070002609848310445984183698131309815290891695701229662736000856894262002515353455344592252630805142345958634978909092329505251736797322252706701433090869323222127612177457485590660273158409085399593618400428311435495713974607045273121756545736714187053010911170391044461408755051038696060340769259024000607592665043899822980949756610477774469786255777753317812912539441528632383784329235407808829777575546372500769166822832130282166247722480402149363735548074231331582183187624320314084259380063368362840879524545086822395747831547309267968774420111517019340866108934912752632248858001722909000222962737959651608254851045663731790479560261431454278429875077821928383828840809418503026310031557198383582570567717803123270157376821735430889714000127853687991283055828778932861353723002889907939550219437299780822541776083791152513375071149115424689933618875721935116833922053566270922490383732304480614185397670308111108896754210066632805415154755719751380597958221398589271826048117672124104466212066630233265033058546155580244927663749831329589618274939288603794353899874448235933919729596974585173328301944687896414986941674070561896872503121905535942552291926201352184022399998600976798087453126485358674081904369591577759742141877330223707079638367001667393511904423983870963712423422171767000706351487212416685848145982347314662858203296237776320163885789669278838441794917883012546607252724439566020032980302727211624921430266516241405222949550336198906895354459046624230239987600024798783117342622953444540473599447058703051353086005385537355905387370930078193643844899863184697833940287986865985856560465184860687576203788571115471042690223652265323296342113055118937802392527527603536829579765217951771365555325081018700959942141712409494678624744834087970848714570730148591823435164304904197906061537553237406896262805528099739352066605942397777844724962063348198665633280293446152626296364520626508076662070316566833504986575800033803077807138792166322010661587867343089835034986186269999427711271263203600510390377769041188594402195292930685571390807554371665764899252305186120771408968731905686651025521874455089783492181881336613919799516777119354451094110424638785544153254362117174052150591811438202643298207835878294279119399578356749586103831480573076996785222361441218415203628749565622607236682531271700285813238273769163165054179350561750519898369631813387991096396689851528394363162309288749368235981734878307109857500162800150393270749537993722492076020833101069211675572175057875646679704012566027770199927541835272161557592326432624493001530601201877350003646381078609094922808808509723384974663109786092449145083503540495512247206868107733806697067935692887721552857915882735993249832421607100147199631487678844942419161548006520004609468003021404731095403722737418992173142932576348539488444937225102193648694745737079334744157268678615284960799247492418883187393307999547481014901121322192994515631006843388888910603107257427253689803134664908863710357225147580275201840126961405117813316175328530968257766054035365959851231737119333480858826933763617230712623275345443047791396092708541100966896172622302681825207915478773069035568182707088055331991709275366842444434556712213484930364163528182782565166212046297370318068213372318111271864324265097224380233426654099132427421413895553773298461052968498803484618648387654908636815583121925239868665741228644984836969757114186213376522428680324878964201035316717688531653201632551895608312660863076932173466450494754852560695672782054225886707709467494739534136708298878056282978477008839919019166980566177853313643752545460638926288807544796934372502769890017867160731324122480593126317320392857576366067493968898775458041685683111775834956806985384082508188713921207022873596112901438368690732761060482571891739561605761094421664834542559413218917877481047623056039396343200363851164760704251403971975312294443210280649277649357405135814859861965950274217172423609889825705628862340371485533948761296894537054964857434238644066880238839069507202710404189011273343941042277109628633097047884399797456340621148303050948079339571280563021646012495760403678295513602173491704687412936945771655758660736462928931765863346338337621455896271445653259578372426770937480270856236245884390903948146096016571828100810710274097718467875567309242307413735852860541039751310360414154182873004136115122135679177046391311405919653157421853287214312492210209701316675661023360457873508117890815693835964343884137784803984520454047019764117409258409400519377805536301129432204412440007074829571538978975197879554079817008761624577440041
g=6
contribution table:{0, 1, 0}
*** a(t,u0,r):
312
0
*** a(t,u0+1l^(t-1),r):
314
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 14 May 2024 20:05:46
end  =Wed 15 May 2024 02:51:47
elapsed(sec)=24360.850265