n69-L5-f24742-r3-t24740-ver3.3b.txt
p=11369107375045723839751650999385225202794924449368123881019515948291903893783015870947680901342084486687891359315159851767928815122188087730324767876268611287626702481714269325372602792806631779934749974408759738934846239585975981179475991876538120772900044468683246125903840883073788394506921388876444045551192187786438360107467458963604952934861216049481852740935913098581703239051306792896332200430506444243372597466622709910730713495037341012680215259050469411700627830753044679487677755244724947940530992984309558244559468550107056248200409218898886841260840668936922372770439036576461710853715256224436614230127361220908742327430783165148188955769664417491440994501782402793139504813751734655966021965546113207718884999745407156869436509097097399401890237217807333176843699004393914171587802707895329564101690806630146145157058055215192196997121698698705287714553480432935867725661391780063671037716085239300996311453948973602893198711044688504141861975919186467751785280619637295926171510896859154189466128004726753989576148979098031786391772765551800201752497919639186338879685664888910670291684703443028229160725082291835725682808941631775631813135733738308150221218721571168801691968990283267085350214682813382812397855017886399836724922547129706422607325825091299379777015328766171237401538763720472584888098052882461596355837795983947761276781277890108651174103455018617343351139874631995655402876098852253651515576601783768180813521410736227098105981345198907602762899316316456470431530093437360771690166574115259858287811784532890555051472012930721857293237382502608966029523723416945520215748328834869912209441949909343081398066001163299216134178185757549293350834105809129630345812819864870010430877028874608443224347822390406199782630161424940942259012132812896241381709818101606966600165048591723573431427843409727126871873217394646440755466149659133378488418470672096658109616325190366111091484927078684677969392564165413162527155298313175518726344402049453019116822925028789960982641394072414282567031233626412609717930896973504343426103017710944491865707272627109601120854356087539728576109292277756690760162284843787229885478482614234351173293508054314663627278849754431085246635219239563307891925711426731585403307741016875775627110048179545336106364976446040146414830477850959486950998036798489653834127776064758102672262376521169953203473007012344572310568586707207333382436824576136396050424784981243458950525231925006520556994787474682437657783689322280547609534913770319215506329794725575376828658819971221389188187983354334997919960373805823427628923170951865629842208601731121635618472636182865551609686169869333605701223479947544938877669051967577777477770469891657678440261397921408825538955690953800250672108272127679656415288589999137584526835427019561412059205832390057924922358059376126093094597710067548196602337911557663641464127554886720805174150195526369109844273061463132579061955131755112321851476547912979006068174200908057899056057458637744655226789893009306069293667133842758209814642539077184327371804451929790822416950949767165248405707943162199257275250157248527084982867691118073283048996855617303275354016196029625504865217170678736981590962898510262400831989448331846936871369174012907544739194773038194816099799498453231354528059176931395366168466862000106624170422227162013171212935378751795515695639768208062886964222245509347525273501908359328176516621813440530445072521758687065068695899041220943649399809612554257982711946858005100421764062298167075545470323134019315760876659037274832043464220077980427460052414105606486958690397084884902117494850786781647714115016261719286692789266550706879714870979933580478458692990438117038444674797442175349895263781450290738760364766158194058581801186803065689770772343245185930239809312656677239844637851342254423141149992607929334478238956316604234145966807996705742019881203755557411575624188111070966754297408430806783157934592345662675557548406013284749032269286081615141957631326101809728348668111808147466329609978369895829293854889973494527816594726069530895446498735358432491442377007595442343394419858501346052975901797660822481882786796307493199147155167714978213744244418569629311148395412869613529165690289083943762872796694877980775541624029063889006038300785452451680812389427402674007087147529013636983636334663018459408407420029821829599931681755681447116206416330682224833197735360095816661500932860647185245277339707781521077180371352647164455435050272824178220781361595574648128700406026460993132106398825785044532055699441957230799837175639524793533997436540653084883700669893050571733558311169055951917687043900634463385774196550029307435307209920762194756770232986955674200573196537398904145970047112126706679457252418487228605018080419754904059036069530245744252194476544768938234678234727083136665999242864835449000722683461659411245317262951372260981510428420533591379064334340401643557458060710980516733443362606410094082835588764097643985744435136223621228171343922897131981207831593124125479223450588414611032226734724385417462131536041634387412177218220337379533498567524174344723893037188464556828294228040395101666856659077657451564157886911197587931018267499097071102612154919183630536872347387786753772775852989960737543500630140010294775228876717711493615455328535220036185211820275479978340518953359640444358897212077254721831530656046950362173855437952750184932237580680966349497604026643970547286191760358523232850001798759847877678103626107820093187789726817523578983358218707473031819042580140893587694691127051081514782902887767132113847035882047742915816051485570151461295572487057904161428597617836391118271675466292815855317223858990943705066921165030821666905167006362771429635499716186753577627417357168445195970480004412554135752279924268026870185791973629052321155127325984755322533506886912365244245507403548109498621857397847839799434420079016420555257930200877022743719482571105944490240082493882472014136722612241289585476256703094123809594683420090809567563398407374640292044074811307119642353909911419812499061770122204079970785671613364819371610242391038200530389132003128372674110842049700516869572197255244129491058495859922188505997094496407181601392506261784859411969348728090267249344427420008168693356763834298818748956753193943897640922177750842791486384218278750256704948094863948058220031834299513144321732639695442055259665433750678935154941409722584785895002744161303400703122793222295324303443984976471523146413114883773500293394904827313504380327318377858287486570056096233240676005123508299576445389792459455947035943973222365285086898622047077204014750684823764416861795982119770299524401407763084877508697312483591091426848314791398726777059112286681697140708242497926315754904199275747959617336916085907489671590184246053815496333591475312534943115111812947718681105861397893408020563693944089921773374736782759906946782587909675953546924043108113831688154686790792536335281363549245073509025406895792560295088027243831564950224470076240447065976606661038040866387470484715515034222269283956010108931860088903553256024404732144072996492377969461495307323068894048911627695823731781242026652546733955547933722234414586352339661984844966585711265064237927047234605273783136576311346490675555423138405364014453926504709355517458656121340455260908105420508782382741867036640173531185766940200212374168034128924059903340387366793392287482652744487059428006798730844421677708677037849647537431873396838150041959069273037634283833914559567779551944309496242058522228428385538809324551186287696557101829662481663268634970894242122963286739421917260288265393170387769289298106784873056600682489467017539130319747436769118465278470092674532116329034139212041262028416072882794865124324644194203385234779535417012498892059814754189099187866865839911393151970060893812891543651636947264763811515445593054903636008353024365179423867791523353172720371186690779763099913824718835059069666422750330092566669620070855552324575886680336269122464980633880102116759181999340339060886630758163495853338282613949628458548777374974580391064791976099059171108558130965602577956147046403246100029739498703976744918583982254003578817252169854521436505499635337652418638233071135675088142545451913971164109369479389086236810954907308180234897041768391592603720900573814872532649292587561880890799843968362375341908386432369110709564699327162451097676849893426710785839275278712853665360591063262959879273679105865918443123186477205793557075533819698788670108846712087969662356805523650789078227859750860684657392913280546788240672656702770556730730166568198242676762431147358387173313609161312067763353200742678579314956565618477119873800219230547964407937437473340421970530663534116576668684751477399706904644679689520979628062950259597917466228653031508768000807178064608369252030905828470189657400679361059136825305445172835056589826586536374328600337917551561228084637680027553587089843509885436987784381667070910054457088130567565847837339545632555950371663859523399853770289001831128380473964852667831005670984707344376276123193288406066848931308664986318783580873742372561867066807882197253056001245241517611043188592468134014531917854926587441716985784918875603405005585273679661726891656532158134011520528159430607865547988904112350807463753021601459197625212252196782232893125641283867354635247652154986790392092498530576570955697799752478875652016422409337704242390178878216995871921492104609669857334381783583200316314643795934062757070011871389838535787611144441399730733395761153846803688633131970080058952786782645786376274857014452315782299953323024070456700079709787085221099254556398347904100208604740066121584439754343838355130853412552169205022178383976215634884248105121522689964417762877955433788106365228015522065769276134054804746489392764703203388143816206633155192400001527581959966927842570305347035286682146121433989004310332877824770127984877114167511027168005004657742888459430191012462077716599128615574827641134780811063126916452339219510972294887065216939347652117801324849634130744770366636512072241074022831532919871775841786130137857762982955655667983503632978771575122532797091804812333084603203403399021295725959176557232594954848442859192884944216622853033075149834747591677334384155225532676897354905241106852190254034534847456493182337923052773934513669502221539138779757667490637250451787450507027184324469788627350252822996403477430458023578002061528435645336947589690160511445572718855555924354018007394745154417085318860371012293697609629345101437211945583200385860738130252561527051668685581603792972139099031961198008394932197579174268517917685743107281557843884344507291433846206377844189601963859504592352387325788045134766943593527902732124409886927819054635952899722505466854216361309312099575933396186953342408923968257593907072510742354181112977797042092727982092781065554689709090371700620466642576989931785838436684357934287889341508985077680432360623425916571054486619195938167951680665105142713346634169653220543748830934222938542667692129509725287342723215542147747884266455209384280940875472384552053053442128577990678214040567544679296883117662902952670733643410817759590792759668534710288451410807265938883295143942685899103480772462038575752235191635846628484315256224901598281542187328629372495034243050478188709186968055412376200258976338851934872636830248608451244237491153818199074112093468326322296315479628719335434217230294864373004702947342814980995206468466631605969062926264195269375796115640703131908194824477716216592473735286140206211586815551922817822447286887220457745656400457091635100170321915978291146511667792174234421598255159261738220201621050112945793658627113554711825562246790284053803433702319661503199156635479165767945428733338996310794143098930880604625092523840400027360973539191563319358442583992446425004645206784898788020369542735623602941149898523196079646615083503584320341642642600313821911751431527252854179723336583718288731478420056753833123243339170268997278810656303667684252346487900268262104395580861435333169046676642804706474506540488152105778275827496868472517894917207738189702064305713412377232609087557656164353712599711918801621683386086102955806869132391005016959811060541285653046523732342385543352468188621181669850970840298156965019730047994287357242346584794550723831430653189118003521688055220483682204859190274910083739803596246387918159579861499557812463192534303907042966794814174623236725656873804662241770732623799259037886238303886314451534675167036261087217039647640128488752368126262333434443184539632204518531352872709925261010289340566645245071594298854087173269000111124446978125814313412302187902063074760794676537437954907911124364442034975038013852352953177593059621496299763789861676672085308174767684292431519267839062845207581985704637245775120468469503671026547984940999775018551688027540487261330370258920082993308195547860061823969546041453684050595818008069013319439927892286785234849415532928563886317918691762255321470154641179145005760624375061263282252639416799737414354869331353498250949822987903325076913606816309387317978993373924795806058005010682633138453916016152798911968439096236350866847095976400422737479627954725552343759723907133414859949476648063442043544348615683975851195852357855214694090967940379319205418151347596380842821978408871758574891064324298288341796867681309704322131300044949030037102322837628889806259551712618967041380899144071681386653104367257815563184575846712428767525615077118144250768564475420901764601735648450241543904824943021289095102083593154791127617460358827833879257019324210180975283877056141325505436718039330617361268032365686791431503015388538284045276986924898840848390595669139464820477100937338638022877771490215494611272480337817906853712741219766087673781080410888238123750078210823691969779100071035476096508068495705409832697988262939132270519391950744414515929706769090329565008180903254505098464401383715228436817854094069722796729263331178056984530115076663729706390981591819864413336251418431943140713635886062308435481467881452894066132771317715456450933833908250892875013921000309195640497110923658126092914002196741109557317289607038966742779343345932666553643050712030565494772123980799086879384989985175871567745841026615830700519515545027163984632376149458951593043975768750239171815637860411103584892651098895667739618706108149497203909562867828842814538897026884029279302072934799435716691360998772371527604732973311901928791379283196479490393255925647113759581223495391888834188127696784641011387580878269794919208800886100997405944416261772300868212484027291691858214262882880947239363222508785589246694602761288718381040325037047359510883116994443604485363476679894436573144465214910067095505773088653748688831135486104950395498050940334871914517696984967617637012948973064263509113871867838246539022649114725762229044471005446854562832652630955705769987497437341832394155664256967796639207492541114050127170927519935560492581788328758760780883099415015624769841884366935411629820115013559729977375471283904478557558815207083810042181667616555872164752421525958886843317771012363911218246223809595107755453936732315156520613038163162320803613430365670508152604108167899549837582727737782615824162990304656187518690666287617022295865647736004148973532312214021365166415944086500582260046462248060674434277843523776101211745693330279847493822645917180630785889753688866911715195009357851206422124410829610108556660724069686145863384018095895885771270706732599306071999840957967932928493158665077265404260877154084495672943854621178330794877148740183710235639774469018009073987383210392954380182647716827704938753744066419545696500609955132423678616464998839853633062238890336653580232806911488465454351803128768494914669070942768801225433876774998195126884843575513104267059624600305194006373988266788187834511147566525885963518511996775583290392034956877315771527243593696528245879251578515673436153190968436593348829366800500483672601817859761229877150310330399326028197548627724037793549624384399410301148925252394989487310571820302402014431768234218977272471158963425814827437660757729766998038320683403530756600953722296388649452941899535232771009314130434376008736811901254872951961539478265310975392682432526719081457276716276129206577149112598242432019065767586245755815794429704973336836040936083255635411058383214387226201180363075853754999195494269521466623308924617380815770531993178471712839951343724222858766754746248205422351308371679934788481847292862503174967028707025375126964870738219042541459534434890822349651399669198224566125771180045977785033846238584517637711434342266531454577510200229325286584648276796084472771742896871167599401755989351397643319598194212733022489263522682753083746382284716854923873577278953777322168721190138716192833223589908178404697441129549474583870715981465969150761907493718422439043683799728728049864845702405462854138636289786964315590982915157713803454596540301700789712150967987538222856815750840630611625556565294842193112365302243598671204209740585299368737391666532213914688538497845828815734187220809225030298877081008259021297276375170036841661396459857580557073683312212634141109516510975387220675421129094788109224800038030702597220390976176518371687507169554010033607482910156251
g=2
contribution table:{0, 1, 0}
*** a(t,u0,r):
564
0
*** a(t,u0+1l^(t-1),r):
576
0
*** a(t,u0+2l^(t-1),r):
586
1
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 13 Aug 2024 20:01:18
end  =Wed 14 Aug 2024 20:28:20
elapsed(sec)=88021.171997