n30-L7-f16142-r5-t16140-ver3.3b.txt
p=224240039119963744879840031898541383842002988530795732765615811100714961154302492943577320478748721642287422510648032428405627194013621998748723391320388458891764281741843758574785469530601995934940048520187868259266016890399264326181060612777287539925551452132042601704151392441733937682208315809645675717293052170067825628151833722144813127046288519829204059128126289103169210945908324099794024732265407449696942358588345780688114211910886820749212102379140344411565903278523030281022723748133748459427706860955982812976791387711586020925229331296942769309269319569624346298571463593172328450104190325175992482378662267945345352783861250426063054150857117588802575277019390921681920860088769968973593045096783485814035260304379714653643387529645087162271119613504738739734332838820849689781564036678898415597914336028154668188906679013881890986466569689822968638646001481228680575707240742569865027390578988688570070891204275970899434974450945408005112685559936061273770136972057035152467260000725918771135671506613649941870560307348458971422358733294044329825658649445645001130919522293622627642401870211433917106907430807890441303445685918736681317207932578182466133931478245340472534687898974052619299577571640263042602807004989818204237753859392944493808906899435993758029699420333401466473269037967645313617767752429862294755960115059930708424362253374569503326897343456347976125764973514598751728132851930930083394405715931536414579156147056355146643347264474018137433063160534826925604889087216607771943170840586006904774675377259120193531167041434584425214168520552569602044526782404121209468525267021545360238071972245476782844616024853594055916200330182492274648284418367574974473077727161790240664318047906833982535532414110036107644099628031269983991842450145951217585541050621975693854764794242289681858578823099120257176700791730262846947130478049709028690638710766465484386620141363293044849299304811665243321809431192546912502971329105651459130754084322840137473076837288021760006077369459327602607259303761619411608176462368036262861524257847136187319852972105160649440667324675999484207324445362979306935999192917777394861602883268623885536482059605032164382262035765150969457336533840782108376106047077608606417883849186287193816292053522715470359156332550287545856295488851700311546931804141030464221778787401634153060823202827991138604171213686803593694198376466943413982257233608656123223620440112078002762772969242556986124325755074290593406766458671241391425216917019423632005923555365502033281392650731864938859530389579604450115117741637659961133227818513310498502471508139873609069260549221205587117639890957656275600593718143433112563088031876585524488830827095748512561574994222278753776673539825668211162303627559706706137248637611684985383995387430440481575372166453298640718188231403322921982520652219734045501776592015342634525024769050454650937144885183264394039263553471610909979781710899941514108683536145032452598980743610129063937620733920072108318277483416937491220670737191003517583886355999879265064732340201191545404087335844789022682114085982699602306322722474093225682970553677496771411389651962710967721110876816412883467541020673149446935897258425583717519058010287585776269538988086807162312394002450780252346884482298431807997646837600501648895301847836626618206730256457030941071012324113560138424660247351968468025911095523405085685456371257812963393871688282889201858803753822240048677903329700269834686616995839432193966992195214063029647786255278934959127936220952932889328842108982957067373159179317603507425350581851992093202413996336848478654651859810003840146875090029649734568971926076304505268237761473728298132372342861241083216177202119820397369031862029100905989313486551346991950813437085737826091218417180705761971812634591499902743776402516249217446916706103076812503677117896509194527969305379047748818607242065921539519417950706256492312792419060515983843707331262065554039970868525471222921263428959027091507368820854323931456436919137402760428503858574065736945961533328750050500787430438864604152651150328027251915782639904125327957031584528886924527229831146990712767241232436162009682892552553690244320228162507909418778271976494636873359492259431660089648097559757113637474249796611460093021510801063751933278137418660169394040405435937487461180835954216045987188133627899426680271399028923132286111373244426402916012467549756332552192650008741394013935564659101179697144303236459969271102987869407525866659401572689615103447658968981579285727707706736424563361192731201019033111900207975768156535465556221360426021243599594539286421042651081168321033772421299718547184361560191642648424325025369627806162094614116736600826229802208852957883699725133424421270325472125342626350350820564414466133828881029934520492950486120202466458296170210153293873986442919990119207599580264033189819778020957137709761962901464932635598630093316377871244632734481316457649078422481894208105261392143018585675272604860508398728682751051707083967602947163173623874963006135011271045760592488347181325097004503102604517930162933208474858019391364946468528043872840198879647509863981103792980728708131468745485879458990956118009149740934975569630172667638090313310594611478305166223197837479007771719677548358760927181488875681435120465699016371941631817572311899104795885561954481213605861823608176433527672647911700856478932742915334444831811063945530014209961532540715976305765728693728777724932624244992611306529541924900995536909003594491183994812394975229867220377725075091908816181196838230228672782762436827238969679496450371482540212994204440845991218354050152355799296784261522532978832613712865773225678625270481239593594353885595566660477746118326209718568670427299623827527643440516166043232658913322361609894633538424401525447850765767147956115048074623807526804767213696635153892443852161989995275588061541710472165605497891388092953910756130434405321481308494974633165729755338320314080960918776700484559946823635103265237954125612184860645504236522995995621852076630420171601910098089512361260593953800580821138514563571167995732544068126169526961350377628780243525614330585564926571336579038647310374352747623104145820232972664978345600545605292456154635359171435726126940527985102029045000882629629099114959277643319916318065907668964265316265821261602042333703425955963577697260638989722098643521795729917516410047093947218503222903566811731065909131924563700598351807272173538699647815932732053083383110482500530051803177578954997306562454174856023401446841700456214422056736796007637620973027528306615874273446252401026043751306669651588627540538885116796458745469656135255258277088917304844470116135219606443723750025763647262362445250116162300790137940517769757542941854263975236705161420514066733231972198509530673716700186461543181226937286537140578908398696597691955523365445217359453018204306399625141056989126613223479349720275286539984145568797393412371681586599288955860346347630503531353631322718598428253983950065802061826178364617170169509253091027024016912555944422105769428527494464346015470624385958062125918111571671245527116952939809874378869666489433764912049333883930132259726872356891355016402389361482614365149753799119880893834802025183328231529833441812829968918316863872956088452462151934283727223697976292962561652037002945317340502427883687619478154911756372387454605999109980864442855892528723129905398195807323077432413346551037244887085132788725400132440571203554943263173804327912414162950514873469667263197439989902147042565094583020870297411777852785517804085666860870682259173801608883292044131826906273365509855673196797737361895365756000290815567834057478047568744502018166603818854287308352005006407615617276041335736197921191258662128248197496241678279490833409212830857729121593415226319591602781586545417687429916514564093676104851012394273069288014051088991492269508325838738970574914011816404303321653109842923441640105475821869941957839046251270682590236645099282175015688864217871685905456738532320852778252148023654876404257470106793354538729151735777816128706812784863258634573699967164741198199466931103987393651192196066118224089838695731116171851991109363992781922964360422368288668989778518633377418406286266015403238656889001033503380929693450703039668890941817120051056540190344647568194986967493210081551156850333299705469869089441175156780212741927556779628161506018545871134153067820275471276624990909999475936225743607715869989457474829288001190599985852774814331345732113206827376498906184075119934469967386997183097032389456931753902855744943950459157012058373836736853312304863704812578106092379177543099437828518141817369512727561408400954138650469427831020875703396252393590515678655913236943854479103964677182465084380437705406935779127816569658872292663846818652894310340684462427305164838090725616939776965902445604958848998790634317323158742703628029612684353927953299849536576844270477765623971381260520152227626399557985933523193519151994239190300457501026531499924251098497573681572872915872781690319252013738828468773377205574251275092859096538150798600659114453068478494678406593591537932740655633567433679720228769248564862380843410997307030146706819235587254057483886810865091886894774715931030960905959458538253605318559836692239941834498218491887423268229513217497156149706840665540252057563922813822658356959703247051079912260144601587213341474266182099100613176574882812573419537933588967924500847347924799494160667129966171051925456704006746093455825459418862300880798454726129684848406468405317689773881030965583037555739729925911003400072136815373869902481709197960639412738163143921669088037067104283543191654031587130159925908106437130256951776490818634688882871305173086644339912800179118127403664324964131032603906052754458660444223339928264072811315223397032306078940938418155237020737973884414829661075061736973248017198605244833179541762938445506588758251244927433161387408248421133608757011130850943718053434750938318475171395064352930626055094687263026529088001987921582470913418696972767365056748085127809807814059977134691737968337784684520826736181198993184609040933860891466333732509190398502818201522546367133634503728157359917813257872945507847703772369806985119060691165856799725478809446058021214350430521711676658597980282963446851570754938408105932415945898344949414127745647990102593201748214431599860893281779147385585270842027803925708052187678347901119378577506491368576897343526970058964519965878401667758139661206620593341531914569460867289613332621861316946092726267717101926760020170126919682562168785021954692039346110107489650830833066670714331994216799274874571036765096106782299320988947509281426291246464582707326312203322139718907427258901843871692214853950501861591741511846573842154414424399291496295928665633554317487900865143983723548773162077302993217401864005663294741481182914012768316206354135794145926476165009320940273374028458088715769450774593747303444972636693469592455004063272817562747907202110404251831025845108456295252488798086241758899776237514197327580277474989104008695085150172629223922187299558293937406891999655078107405006806919942103443977709619303334837420949026566704256190948123142665073880646895661297829569943798722234524694736113277620975428223958834800494611070697329254495350793686724602794997052524926016429767300025679244572016122602762625085635210852007667816523604854121864284406959261628363196540447166089032546836286604709410811434156902676688647932536736634019715421870896943968611770725029066832073701612463016394647812976339339855196275111808447497064962652844475814976497765649055611924876662396042337383151698652297254683724816601723893701878224669227775617169110021942338064208471683544588082740334900427164458974751453321491846818789119315310959266471455934160953379808168607456216447574075580408062233907057795888973540406268471891802381515872786418035285718781418104817431672419299784069075602877603388081095208424322951546864666914255955824153080139210926758374033944500027634927378645543719072100452598267601882089732232758056707237173843231327627246705716540901742664807728562145055052879204985228847253031207900455524681831800183441701721191522540985458802849637582741587973800599853867933217425316066855024389023900246050656307351743554800050729728687636088786195439381105069404388763557539867959590374233738300192085036552638577432096417988039839733440967365254402660253540502392488092428810306614414291479460021455482073410181354919378345156529216148460889407959304650449895995257782465804636829325605836871456141729792710609785774098887836643659238783293989204730537801008476634478388323403333297697260760831553316369037422965286203526788068687242174931277950249179512493472051887372505380470516686107588026518644764746018434212434096442153760750062099686223507028539929183901906194965967075228426906945406113869675417747352813854345977044790793411778803497943368118732010031413653495551898329292509089309786548615329137282536265430747496961650725118960177535637003224287615159742574774110679525576731340108924214160963044485877595725503394840627396317840275559458164350109660150746546763688241974677913879002472163885149706177420881153562411241215880472812573462916418240387292502849363191731195819279459860652675379539555344243661929800874057774699905142085774335873111469665256782207923733066916371106974391312254947808020714553425574187346602530522566851095399999112882145518166271733940699433328767349930031253254027045162198989945741055109391940418478690268022833821360261183118951638239785757358430327036018431654384031601551875317856324091398867944047872951257040780677599129746526838962941
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
1744
4
*** a(t,u0+1l^(t-1),r):
1761
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 26 May 2024 07:17:44
end  =Sun 26 May 2024 19:45:38
elapsed(sec)=44873.616998