n67-L5-f30235-r23-t30233-ver3.3b.txt
p=3056229039023189263014228410270206853927006588103945059961692547973156986559096481025617459501934714077007256917119775874004784529997524712465813018417061471862649057790854986762483430363125880611470377206962528207761617399450448166150789659798005058316975385958664193461047493774402771320523240251820846601622606676632762730252296944903838686592874369993996194095616336408248023598357472840948674261007648326797611341557042348837910593449973031704426278925822877839072307007026610307445662793803134932608851255205584694044785703249484915324775504210132132335357024859032592240006707519763344728754220138093153497891499849046062028823739793345763270181490796516197567000725455551937126279323131875377317199843840375397350154143883003475906705213862261936902480584956044015104470866897679801318425709973204109626122683184441078362286531763352898804587304030938210332009958458206636252326326362472326488611960185894164226624691740959267739981352050054364765905597863404896034235298023452339059279595750057725228927384394593117227383949222031654752456667440506801268961184375572929542998058852135900248233232432375395961588426452587700635728922884741569171210387842068489169017355168082998431368991074913041828937440229172701765028063605574948137806751265981427276924447303701703550934848594739688046176792705693016313546388064848638359133963837253170682572089223520895982057344262352694974849534506601602254719580364894423834361043286579897566892901171078994504053049726216136652550978457914393756714251910778814791153583728996748722581056402550342101196258620153740360260125770627375376885189912721198727708247395285760755812231283569471796809077713370780215843217307372330627839732027679126943819853451011367409818723859258609082236657839013560526002399563499096947881653321383339829336460185426117001836599755348793779207767731862174674872088716529047295823040162667167634640916135552114292011655516898180899318293436686884788483516684190744466637635126999440902238883488926109442743346436025919633413320233937796122319287551342088032593834123915423082451837362008502843498157634153232916763867411897367968322426421692782921035101364904215766890601120856470729571066073295142626025579944201823511691361767214197508426054946765434071902763147977764938851158514069632475810467210003094808978173497685347242157049168815809839358779206127555981201298450560503258275910909037626026943140244142500251194409366921740897963409023947221416686291243889020024549338612457008062053793334781485106859472246592025214625357811457516537698662506595562077367235974010792999315523230599586489070049829388997300480755580403701217758471544045640289365332095373856297143806077564288025995293672713109437350283599739831935821799398960371790532795961417400395238388480290757109178864432896472274465381473572118184410916710706768959725546268900613732617915479446288687502370878296163674584516788168032444609371601488262527533427234262434517051761970830949749334675290349467623049272193875489270076108921616922417530498522568307791930714721259449732480454707569721275434827109506068819671854627627870964022049551193126916766984831775020337312347752722395454925410456035390378491899541372231225006671703208808081197987913657137511193344577129163039298716160353162451408962694409090394529780809515079579398268758323906562681543446540430418046404350973967757599914232298634420070444691097130846745301269290059690243057576946040627230192726486533409833218360555553814738042480315462249972223811547876399631254461340557812085687338370033877733863206756744450956756953218629364339890994554748017537629296543951846245701400128074516072469944563890883630455986867409553310130959253591698998685639537979936036621953389477286154275165835052416814366299040908200509361077205015713810503974526720875939326040762225051379130508856459390004419124376003489268649302096731450106819366109987209659406885589492039337202110186635548635598763048379405145317466576265771929200331756500021120282435707542162086846008306820198762812528037861722902179747123883238342209876680163321247732279674638478922104781150875988796625848868175758212556509038459855718382223871711691511441667415366689599416512247174812521122732734194097566970651724995089687334715740008977628494205773453560639906710947921086522023331283125300572727789091549093281261382108701348550458858099998237016675483813625177041449452587207120653625346818316827863597182922994776693531290218127693790137285809560940240799921094136042363541728159240316629919881128581014968831953316672369337419375810734993506242502952019421840333384831101756169194613828675729338368013165185274426925878137560178793697440857615997671179186531508363043345866201488256287702161320980957731757442653124656981040781938070065328009782716777614404164813419986738198527869593153379967431544827166640401307338408194235748818026524054597292125725039256175631139092978793347210460900958451736838103822760806981872957850087583415259170937257989978339394291977254512377139885066240839503733026841810053902260960388272311636421128910941856425764847734794052911450054459699294438619924582186030683977290122296705818186971706330627137290666394964648089874441193857741377703642753788126724661585803797385974687572371713504349832404672470321992947533196713310656387243101130511049055456898269862348236059421236911707736864423149617917676335318138368081246171661349125954174409175994451960367471448447994125928870627763983890091367471556027634219116028559947620286080282094303393263339452318370098828601652306433442676585276175761893185051943751354650449119615551174367631734630739054209715976473625735826356902887960241075860346872671017227083705341108801127624107734568791505051967839235381962059635466682443529632933049820183519411558538201557180597235522593865555146897490386860127094817499466680129882052023750697114337931942063513772034710787113405636219209470566789625606197765907864898704438952615444073534882049222513680005970717630004191368445644370247581381153220905292819657094491719131486388029648590620172574288733869970661089210054023047130585328384447582657038839252571442651691853709464176392583623162675765318197593687798180287244852444434658124491960132994459435237741610043982481776317775774590810808702893961172572330762124220277913562387616267939044797646723728125981057515060667441925158086999451116665462441666758041078546718608172278637502129363335872100489421751483542150298083964993064533911466188346291664585018989143741146957909605688035397064203287513980251823440363977762382056161284641698722464522357130882127142187488691909710419090820425320015551781180047099557331067041423743783207165110123988676352776204882809505217714256624818838997841343191021626727135914787125809062556481796781594870743520589024017662989225944785994109867435851732249008830595249676576902143055097035477903561052844242189229864382663127194403808887108946763002613602227637051795922109278129502579472262902149496967007247990424790799628955225460609485100835450325414094275510506587257865572521155078683624694470858475639930619449584736566305722698809520077159207897174064890124906666657959968425499718901669054725423163107021080737139335661345203797478968721307947164649201097523631848336862614811214981117777501889122776145433328369009613107940260364907677261883181433275354734190664703949253088743942713175902987003784758815013141782012418512418655179541397197714114774925082087808713088609988892902565613069476866934996910308308719123392800655384624029469452771860163997041403843596012146352530155386439065074353530441405847554740146136612074578629157726520839822326698261210348339198859463103029433260773993414135180629487799982150747754463176609961555853957823784612078779892271490732259022505416948020603584231577982005287447421811583550754839347022026145815338772675295615306332812927597221783161325026093739558272166732032540539931545319602573249515921233851716850433246031631763182569713903759952101759580407681004493792882192783328575461411192412343154995554925202138424779636110960779975001542892225327606451196235578871228764393376161610028163790019472012351494194673858040259278727133541071259848448360912194947181754559302296511022385352928559463817558278688210849966474048916432987548309286614705968505962903182580092222342225816522970599695704541966348188234597713793731146097257275123689405369945292152029915351878133838924479084724971081714565906297080548848691345650626757869442774498526065797892277338942701571758935121824861491730885813986125129216162911132886763665534395745635003369542816147266437379302309606541514470294280302352246227374857755073162966173230340527752475058869469195468301800330903359175461091186010301237247959839919578610981110968744967445616931204719744960010344025879363917351606115775587436869173101274593059779956389482151760227007862335702329577123119143477169328438994397220116663479642227830196837229729308418392758309119650483152713622520341414990949959928628894796381848922485219427118845548907302515900318075824363741382650085806126039782389838170876340577229417498166850361103002795763540061299998834437876916942559338675080174809804129311407358973522500191602166753491864152768577112953030209608295439011120480776540006165986402571837409122159112646157099950439651354353087660482386855468561984213239771936847457149981812337285544100682815231815093460006591102756574553530829214689701231606345024041219673915539449444165185687154336624385282520951337388184468873648387494979782171908538777151858346414434594272907834312554171312790222180312587371413932020895891204315144552458910853620529546747210467259836547813921260567682465652553245107578853725527873825677076495527427565749879543163613296881618905096423206457364480598040486681622979435990497360953353413807101430713778979463394859192255084006183067606673826424758761493413733618608642366491932704470216333931129933570059471817298966299754085911751540633165017735734270060096807694480514639314159711891823628207853237499152702762932726632014186627858801320056107383726513091000085523025208011965672427940728579260807783483772979012436430867630846349162376936146894705327216481499547009424560426940893096438294546295237421579340709251863947704062743300052664808863295816000629932419126069365986908458556551627601236137337038826848062137795421629407864543828695891660338159643180660353095212142230797161548632216066752995024768158704982527853110216794472590250721340502677211848218029725944984997548149788291459402248577105146983905481558369945402446204557725619468924152984984843721563507701951062759893575677741122482165223193325660891538953733190564497805758436115214349921660924284161630878221790011278007578101445418712158601913966135871111801977470261321939501252671257605152227456173267067892066218519336954292436586804945498313317437682700768322749614405418868956858471268847117596944335823746213968335034407855230264383673017513399661672549676936509831867271281987055588603216603021412166799395547582588720580332701111034711365373132566840191010934468734382703885889100252108134756017721402317860792341982917844513653943767295399854850119658280394636193854455080013663264442821191046128277888552812052491666322468137441707406149870615595579271527236806392030121059914164751836592857091240837475564625111583851260280467706652325179308431039130100436272745665647113655875860349039669699166638197780060872096913520698141484995839782811378298997133722867786730581501436228372373436318187950527831290340283068228995998944574795364275633600034085993882885941837157344688807757751692884528973134430415332461591174448099845568815377353858814032212051382668903771608800039630581037930551449466422419486344788695004342119738313953372677757930142739407525244624831026736299959408734562453094104042212457223142656740194787796872451257677710979770531429067537717776468791343041320499123323974561870120028910022748289259426454637180043092933762967736710623863262894036087938062089183223626014843157461871528583199557651660696662834644630966494459233347880933292400191687937707161049446361273475631044301989189951534971663930143423174869254051334999935143956978829910500269015013136624942895736584839147772477360598149532220042635053247653977654197644014969910139758586945813598379643794456287832304720286808706685347734894072427950641624428871312864448763795653442663139341159464567083057816819627076977797824518955113704306909929758176323429799717537317773957351644205123557532231471941754692493287648891411369234416272408739167999871497164162786631582577160586927035048580099468408736336146390405019699259689282020329553705001172708717904032140509011613758440258987091140818443703209418560101061150669366130589317355393017262986610416306470555977145746552479661761593686163363096114199179452911553739255414504697466866201906351897318481128276060991128489327441154434349339585644903043940007582130063909078483324340009240325176581835664603264708944624831385445466349119811427679625340808434555173464300839209551272348885800853698112915463110663815118483565144392755561596663036170245133426646494216587003450321897140922219592502449275218890938257098187978423632635220145043013000677479861770202166187345897286054384144327633696324647332991124195260237360979935014974454512829626412038661259001366391907746770845615657326183251728730831764313231423985153121269707240877592757199713589567379628009170124344383224453833490807892467334610847508128054490423861949962942272320713524243669811742909005424243101912636891083544309543348647972911389789811899577852966938378087174566602825626169827215079002340144213599071940640059623642079522060309570254804921042464538554381894650524654263499192702669283728075619219060487042213294588590035360891150691814635781753500328103125511449760127663641944848978523866295551381121556661233883141200975563411731881987922725175883247586909188619832751393450936974590855527877235391081430805096468297774742232033758396223589941975802820609256614554954311774949976422327750144123645619575133193351611826013606852496089747517660655232221190512582656885381027362805017216956571923007838450119326689677870562366417669295066682009059010805123293403443593175262575547570938919306116461969521305585470686487812212508443127538232960846817723859152739448226585434464200528898446872286536692009704270435683246636090432675083351054888570409496808582145956335797476294481319541326791747442074570716011631546778188876406633970541698344056532002769698515755931702934283642033291970664570175167674858269744431617065175134136564988339814406635392214729236962589532420781786141162707489663565738817110223395865506803988870162520494132980275692151418832549185452409930622337706120124888733310741672637347896236577543547838141476133796163508145413999612582411082724825978263893209572702136344490834889409061974945323412928734902149694036073771089796685114183564583905779168080078317098482422668045583674614463822103711301103026892701589301278076381103862774123483310538632230892100762491420682341236859066257514306431970182573043484290254371611683863428931022634127979389290344402814879407349326168282557296242082449489106737986979054434615199081643479326054211887475027661158492245054671745709542467391101008283182892151697862750102822936023416631634579760208921791565282571379896470094075877643578568121446282373604896905199358741395099430547959582696204213986705320936035258413574022832223818609964556765403626122521865244821540199548765991535923012026075488377194396676648703252966728550025112629616895026355672453527633718922678950054527675401248136651237330271248853595730580496688603542891006967015221289507037950023345805417018049043078696661461321232996977129949553537630132198156801454570238621630703576168399886216959806485851146265619541630674769892354200244142471647397530657735439016302873591424841632013477635885369607797210148670653661870445110455670397423320433474000177521407848681639094727402907502081146058026420125291971752720050944557063321715295320179254528370111149632258637277843317112170374431097402532014523730170734037450666511432109944469507909107884838763582976306321329104650516679077491506887576358542212476265055579355808742903144296755091717494229357444352769185992930081514911997662103277398448835494420645381995530725642360106976449944650542686688991505692612901498194569392717666209392571339003248345807348033892493793297161480657827836167085429285362464132533464425810340223667340084192973741803821862254032055871067028613737327928622805947611957886249648567346634208245394568249768004986653147145489081357767115430067075220728102970991233148820272630180118069523974361644836417072162562186856593176865716977004444422284214813265712747237024960031907889329976376104717118773024152499027703077090901366845667128315912145136589209409725952644619622946486260597506764528623223365658158520736439160414446838627427200134555990764133369287139194509298647687702981877659273990131048696505099859681500366691069534751268199127381750419198377811654796819482641088783434767344238577234239236707372160380809855370798466116003606378815331527203200364495863271042369124583459821885361344767187024244862748815727144895488975418681437316547177081841949016447987412385070348614947130761502410000668559420080432503207676959144491304157910124706081578087703771579939038592624987212906990541899571324872268703183522015064723047552566697250185131456705356632047090722125893858892793339557162168491368832102085773255833275927744911503998981423473041819620128612945298845534055088429260817629692694078498013531694374284939307761770103543779293641206025657180050061368276062089307290435296638726698566723207510957205545520055830275871101702417628866301435474724930393373178578637727929773720965600931421639899688093097067660916416394979837488029295442350917416245656820320570118979037573239886749601842077130076843033211935904010491983202146886894358556444143672962225073555919963474224511956966738502586085132362094246405255751188401561101675094432006002798680815292893050672997950492745719795295215843917644122840208917408739964835447695172175154992968306549634333406574124493445670002656450306079682298405942784096007476802470373306397023695715123152348571219862192745988328586768817341161916574201781037057278288869710251645998774004328837036735756783247025519796034150964362089073875301528035991988422026934686658614752512000791156802752281985385564641975884708454575085338751007030729967231920238420156682897748471532851404763565512341861815972810487117785393253236662676188702668746033207424798010704928295261312683135639286984532605836119163679850225871726203920210836844965749997529501961688058041311218358156896109584278233265041526881960041196353260616186446227578877034672324662487810254757184862422044205822089402863010252188806357822270943450278530993048610321653795735061978188589711984876999895660792502559375972946949191674396507384824651591611110045564314272482723555112529399619112556311220364719870203412030918823905178634902536952076223142728687482329844290657999228393904023722091613166713894867375795972119448440392698836254635223962982069525419456353055807748575613803502743221548796718550207342078677084780180048182992884139294757244361122054044572372110680081303753596167292159418787704171696812498298307426770303304217080409175447873042527678249628926918730075695596634746268953295194011397061445434073570551975054622616408358025833374382960366375334105719986398382291641558664782989974955717716979581994240023987248277847709655321394586419447747780334350433866452471635537395195931993743220443222427267612815308281909182461425440095819268594429237733509923692324280872314004635604385698900266080446612668322895615700625341460552111279342314350786268508844677215135305846140239256047353326627310161118956976267680487939888457944694109358047127135888965045162657045876760317563088478649047459197518977753068960591463913295648520059874370704335338433385943436617619421308658883681220996278271148834039925528962959696771661648303584335107207554838359965843971216161771045825446849943194785631555814991397945841702687298159888780721688707791174260246303930537484190956448848429251867074991389343403677575928094146993428632774510941224220910416070538604278763873693537103784596651930443120641984337145164283199042599497947804842763162556935420056367072234787529296872678205145542192909420675614953415646240909095571429101376829265000905592994134189122505005443335094135614420183356635973177218357276537537528145722794214341554830450520022286080576069689318529278993563147312123458501479919762854161969213062864344136055635144136708411099349853740021941809126473495795138166247042450285350989271477464964921601616638593828862234490672835738469175227275953251559448799698013381157924516806780907746662687231546550920838329282197427356821613893467392329196744627048761241281203473272372475751153936606961665839995839233390334050685299977566289364065337909871443385798165668974028671770268031701358889707025156402406295686127195691723387092400259938938820158749100910339274646030963178363458193060190209616159162986600936220400204787868322634956249779421275523250382196456902226148871126614005110744019091067388331287117972165710614837427528598611156528818436029990013302892748470185324549674987792968751
g=13
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
66071
15
*** a(t,u0+1l^(t-1),r):
69426
12
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 25 Mar 2025 14:24:16
end  =Wed 26 Mar 2025 16:48:56
elapsed(sec)=95080.601555