n59-L5-f37640-r17-t37638-ver3.3b.txt
p=20083768884486073935660035056749889996146752522256925486274092436685710121576857353136587454544976979278328521219501037596104090396437849360399595725368387878441105542447191571198414222081041633153839312412106845216257580629519556312200642601530047716541491863473484841297449908899493683990708799032754715993431204010860142028055581341807512769510942230003616456152992184678864281464181665354557415596489756275555918837506985732694851482810784570905579809076144614444586946704344323912147226898152671812901783736017824836887213113152862369278869824865778314959647228111681016187081422709842582493305421218896420181279638366560648554927222577448022715889480672362276794820695185145646396268907869593274660700960195661373935392721695850585433538838860987486606540627535895393787851730448880797071953885984475549863143416803553825551785114203561019119856202342629346851596635560148037996774663843942524681097350917575132440417269424863003017553546409669359712012092844113548225479105072442828474223884194657052692413491159647553802957545533450635744445038910133677131255136442127181755664335908966929666866519441682977548401656592907498695759306270123353644720729553495254937917274260793064193601014654827702584079498610742759971617358077155595516326816756497777660105981423103527050376326100369773361672444029667833636925164264784719574048016964476509918040568634530421681895170985779288044863609623983184000327636554112306679607867387460903015336000140350933783277450344822635989470415272804057194723621258885151659739119498446209628275944395799703827354886224712677860279104682090415944332473994039389790395636954294127614948994366564871068403582082072136331078610441961350865096894792303314261330230609427722722730408726496914064572361898405721602520943927700274106378094496468976607123306585453000573113084745743488728458179512887525790615647833678891626888657857767591408768339293610948724154121968493694915792341917607688511557137302291817024647642602209178420826641401695088956791825041950323843440582431210903286075137922416984558563959431637290652717964300662658454920911232512333530014632049039407317650315894586720502221211780521052384956323334193720210753263396487732407362904200764287393171935861470756368298178529778140560223752812221669067525086735267812665297197963506504455903403152120322609694354993859986672858274257074231852868689712525976237406633745141776738622922832665852291143212922182722981490228038349366915362331342588067055616709105671675611001822543811877070172634912634715134404232780384623882895902460966459741950587266881331357999608276814326410005151890960226724752460793064623174080933763474537663309745118853399638295975769171990064411093116586230919358892387302047755821457609121765932850404648054255001745964432115066491209575731272473025682301945722564443012832980705123052995671194169076725030803499466423020417245062114730039665023856591763291146434593774786774326438647494370483891715539097488210639647613501644167452994411974124424412612967625820375214899498138165494178131967098987060233399286875819636004425716428681618424234474786811926829165488374374219363586815475781653442804290758996133079839365471723400550549887116046098301545548640286366719867180136157970428256096555782890323026020283336415222511812242482207102313092197695148327434840930322500813705124231880650418034133383152594560600011027450871369403878681335919938699019847562765762368283332916073474394753572580510008074572367010924347803889042981586132759671324765142744422099670014795571971472470089050051721504027337987349657211005623866132093037787381885272365770356027554407202004213789555966017780672849947465390976664709799578810947231199209059368805879207869172962936858936722688481805512585320379590828097196703628334168433904048118318563337920005895661955400006062329215208505278350730579330531015934131561464245529928971716412979961207100277542659424782080894309882534336258372894288225307492527205189903357921046243293801454694536391980338895387546075524225750268630653849568741865608624929543889759086697292630973154216771444714936747213196980931290117032878092932115030087433205432280916081195305692402227490647643367332838397658553731133445383496491646290748174010034368030805283243349888551689985052723234394029875569282242124066069728597663458459578746140544775693468112749222820314274753464949638715934426662212036780593443980705438947054651490932473784528805309329398353687916714251704872396553194179843981650187560889593862933233245930668741452434661342761977206453204510216292687085557465319659692024726899884133592600930661038860327064983590416423638962725342518026001624899542545558525656852798873874589382848732170344814422463924681534245587916719085714101359550117061688264058143914005320805675232616754755363343995357203326713382740364963645214633267302401445673859023460466849817357922728340720876333988455473299629413036742523549786476231069263652992740298381274831719775862465022842291180276813497782383653648055586827274010845657344018900282411200085820208264839774343020538577012125096507935834568566495450529634900592605162669375295737526648218154776456776405183446303105218552575636438694328308445005312116485612377336582789297661586269987533470088447347613700569828470592141384004659011048211360961514736292979533774397902316581881921859093908231989365691789223127027337647929971311662479817367371604344549292456138646789897670998656868640873507374207033779100740836268159830484052163751563531823051325142990137042101955601354510137258859260204887556724122592343531440486459523914029552647584014465379684028887375727403826631027806846661558896702421538319989155922403180993171539506634874082926989757871546403204080316816937284360996703161116331410414907507690413670990858191024726094659324606736677961190646402840486878801224866644804100662602403887892608426498849383215528960492488162734715542125231419887161526166654515146065837469576309474186961137596206509246349093312974455750186301126729021521819862975840586476505664852376976105641157980484432367190577341666313062151369765461468682945695645138367273862281342198400565069175483812819553851876976149945352617498813610138896396774169016427324040350503007613815893649516638771259178246266420249082889580141229519153115144094946375487201521199879060345050146718380784296373675294840323075247421617846629014684088131683565966981914052830899219575213748635868305692377632800168937876632175994952282489358471689869530455289561306896473901307484164099178992575420782791824491846302816920745820266207345290281488490788391530899850713675669347471894753611350048255837274126827516846149159283679070500675506989884047109195515032856355710529088694775410887312961167025349636902046353522355283871122152650072426875008259962917594890024177729853582257080118977016432726534478362175861142877662089975565767509577691475748685976312688438573680693622097965794408224565481727492967131114965646326851631526404270981202477218420465476994077981086375492678274283460463129499900744989217261668873492507697630437870280736842304761202223505326615110887557520238176264767968085179081194552051653801440072445804649998204508699050558110269546347493505489206376711756236424521675770091234309795553098584902286059730256200094846243243352847935576942165335909097350813845151927438467622142009193999953568078434702715377202272341385645386420349160489714457032332590040100942326751072237787740639442598438310947455784171130856144288051734221291576019029993229765240826427834252691144879459825865960068461006761460132245488082252250106413739335092533788238315672414149356283982093739163072725217888197779826623837328390399690261590558609068172639566018568298539320306936938762317770692348210627245708754517109679117864564326330422426455855003162698327942635244373273131488540666402943727062226487714813504354106190882215523926106408283172739263734850071700455601364658367087234157229550412612884547420450668519553942283760229459707376179856346867618104427430803497063726738920122168433544713026148079630698868650040017263141060409815817056900561183081873288691872122253983703274234117233759872507329583043942199503893236660032064263618927209506833147319049577378947617512745497902630960274818780921960610959554316994868620305028923903209747302255832313336949226909453289477629814850539343871932963356302235834357532273325288084218135054608072071469410936192637221759506939591093210575295320041262070782857033955680794221746530603985092687402182368022644019014385659751597232343481924483648374665743180621690059669199145820850243068761955037121775295611745745949387277395337618025943176965737302010644544139046950026576558122469489892687511947098445158063593456341778479956070528345919073163805648183868541393710899395320922048270386028964576452597993340980976245073834469570363322342555344564148926035092826180930120819765602785948255100579487529531118010560792285737172033691204218826000913518029076421679038902804827472822506254862058877925747142787676694642486301033182913219051604959973800284912541964710735851691271295558274446310640119396156938890056045669296010967313992489404697682334977222569910699406816567853693371647151664299510465391121885531991984987084356647624326742330346331919262047554570090740507256068745413430632423267771007752949439039396635740798088973038117353840269168043152869599939718630447403685254564213465519948104784053537486771278824918691194209846182791145079599048967229035762839265057130313075972465425897072954531609418598056797574576831216826302200348691243502846567739451904921810744340823827005015563375558299547309324061980010466301871677937358458186891533272781388139164896975682441809387785135400273934926560422143142147230668070030174668075012325040790308657987226990939390884254986385526439352852144030517991506006405432353661389423581682834450154802713854807660122991502379852252543723766751746272919865586530776587683024630763910721541789609255803020272129284070737606087945001467518296613961622761569226092295943717014455312503111932921340834625675049544980980104187516563896450368848701126917420018536089669670664084658957479956067899561065582335327692639444501277345078614714092861830717260439223034221018585635482648585909856192727573715446752321794117736583252215440267083458575822614947684097524651628687645472844078456898041705187205768016699095101604065819711681857078355629348540359491203285021022921691444466918998564886099936229809101591109418062321627829323895238095335243495953229856695182040749193065077465087412704272834430211347899032014249825921386279776273185041589800662267175959550329276032114149333157492752133604554244214158366271624575714299923504080157360509197145266193405783576070260940610234953946814755469153119687335376822703216437154667275527142214525923804160105830769342690834634188241958157253423841661418294663375698755751533311171584842648134242783463027852494331837419691816801148171648069119761290648942477914000026141115875989392651571659076637103535199761053582172817261447045332441727019738799023909215086208933509944110357045709629589872490939860547336936899979533162549636874158970968612765894169515337251169513944333062684668782278290362190105152092370938505585948470553509976335759500450310146496664819184415961115918676607362483152978488328757956995375456442082831635564340356236984904937935735054330558423732160229157275536737181159388560678090530680669976104310742921559640498029452937325254103734525722928969623045938049485372433389701026756095287318579621997136700341360356818638428111253550268285463508302273695728200424220279423906743989103206310203361069166861441014795671468368616051060884708607638603272762141111103576043614939748357216143261738070107937320095972764594943594262998275432750561978892750023554057900697455920099939585507200996275938137330178831350442264575318038132802741378678217116127440583964910549698329913451569192667380763163038712811893652293264396916803195193230400174466128633979819226223054781180343869887731344844708963660324856386973224061398697010830453388892443508686326195889442242792134354772798760686265554360913762331730079386185507933588953629386956827959689180716350742426472789693086562378662355314729496010109932057597197571700889060545514067237721096326337489966128644571299209706755763785104225635620455860500773709862436630646276251139003222195327596755632010375065847013553355235869919372274789066527122647602222533083395882456256967889467236676652182496760268949710551352342025701189877941032505385248595997582243225833202229550795777635240641445521241083474104658112680885902628753900892167332336398947163790690465092998497476915123264157241336016673250678942636333994758256324284332658539204117146979547464156907520055856199848446391442532346528900884335131638349698711450337659040787075871501264415679251188676315474729500940138609779210271676946432383322038698615210944283265733642321777684545687645600655096009057279520951456214461495551053670703715397562695017681608101965205469741045985854003742543198424893341450432215805580593109545567852721392543986314672740930788982872131437528328890642024735329756065273947543802990046543436241707173258342270598453495432783088512164357000999105656207205730861927734708182152559954150652167062151109394194732460734377216114246223211065289565687304473552091134813167798901409603407278722199488414134366627718457910295640466158376894563327752203697003475234719585507507268032469958726729143335545684934119510956353633381082476547238645478288674110882243098415881000577538207676894816105273310841192424166192701548626263649297890801036057639641669219126853083073340719842713273261297224490054808511738730160733756652442317583389686318535907788961346946500820499852441792286627508840262783545973346332828722014529147188538553890605685023741121398995854737333913969953826153570480315792875882015768932521985452341230847610731101258976040645101180509847715957289423610418522715961155463625120633958096999246915164254361252784038213893866316763794248283888175510080102848358350642576388924739131591401638508949318658853521119478496499409251192277670536150195437719579323485146752681240404636523273424294942593350729626225181372255308972732825482161107815548128775968069705426578576150507111304937870444444232450345662312252597511302269359503460722665097861617613574212638689945485017476162186555938172597796423478681406803310879316004079362019962819546434752414416495941235948521385937491831516751547155617129200866447929424963520203896194883489084528470551779820973782858494995152654197676296749458935706588085694994679313745793664712331135488915711307762995019336898248107489534242330619981809225106041172404623440873647550312047942691259267093260811012751451046785053008805491343219610281735361290581932332945803026705155104974190904075664900970689060093654178242198772345563630696121634878088777122141281286430880980356787026857473834250874508564696482688794235753606189344263456601536071211951589261703047621049416772918217384027617428593042434580796972229983620392926797154484767549121451969321213367554246303727784422306728501235892870756238527071388541525766850357477248777086306024166481619885286608829587532774409014056117411783236662217824494870230756739037960690079287522367156141033201073412592330587444745325563356770780866962386505309772483565455704270940446862590325965402543710656424271920536611654216923604893491119666337552712385479484207082508218439012389746994810351509275087639849595563012663414225283809274666581818343759458923551159007198390928952929251640820305584508643009592276789621508897110392407756499356460644973816814982601195904605620965225615867786836999322672608395576135502037828567376821533304321173701695915175782798963149096780320486351359719245398641271868523019208780181553941662529670282457067076146245245728031095428073507961638072700189674207177942832606221576890131046100915420153469166919094816935937980371372462452636548885312992644007164289700520202221906328096130781692752688567695412353586902931661830752612592887245798143154553476139375542707477889902558171258645087525641295192054757074806572426322505894163761440914131221857665969325771350001688266002831700780674091498633716328416235863940572400795600669749996698777988817368522723071678311958173309217217420736658119938571148502832798523299062423307404611560814917526017178120159970530887835645184076273777037292572071346902750429614448214111328898591208695805321308816375997846443316537215744597805357905380851786636997355898128384262861874343761519207008940645364515144397025718600369196506696442877796546937527641737851487770215195121596740842964934546536527091725313243700373698676527585725127228223431015694306933643515665977654375423378222292327251893819617952560650617824052422735875364653470312788249873774845974967457485784312948882660678070947148568009531562064860727300860445725270391076732284176504630103373685187399102388103453690768306167483857333576726719057344828728997063649805663201172077062105939746973067589835487028350463740744706697904784137193609359926715853296610036605884178302261534894802167432152577537610310542313629029985295117214238263158933709011119428511345581585404362002955279435128744364514091366867079835831465108751554295914508194852919873611645054327640179045568762814509330663042429099637065260981962886446928665314936984695504678345571659059977955970335972279549784092045501894767611840021088042991023546304901231717711948031814335838623404828834983633250615328440412228181860233685260510129093534314268275397172030522869193870037057099402636070428423244685353106655775527186213311987782218049315767342821060965261048511507319696329215289395450334067156523017766010167935801108912837076246784907999792637110315050461608378978947600646105167398354780079499906065925488433584775703452272639048776011337720904284527884890128107510380974878534202422747422404842352613609162440435816499998943592634160979774989023686695438305803685777160850343323776541629385421775179271907215362583209837220298919977703929645001632329925112578558889795528946184547076367668000480260847071175663321140294375118466926082785572934734315793675018707229276693041644484834621690603265517192829023613412734023086957428121878925005844252626837930623016623487006665685139491685724194888257816546421661567147546546536107674599473329047029064577079069514166446890459747744857328751821056137389739555561006945405672727958730781689773389687272358214738920007893884684490693784039882847841160259109195155520140055741781148776076685943880869902595196364336588813362302659379852472182928823640830601720554652957552018676790474364059089988316524857708047016010803538715096941789272076460532463505632579910902778631732144881475977461874105252016350540448697145430437114048933858803156934476541027638203981475276961643364154921410360021765644322700960075166835139406245371585967503956781613130400802832310620365770071232496675829374979892749928489769127361363093066337395821910254214527606761846486869416465747713377165788548716365397227784677851501239558560486444316602957334303178017381724157764796708628638490421670264965286376255859271799438612488349667563012632037495595783384670591294576387164205360855142294641836356450201459564423081407760978848324987494069260813878674560367550738020995800553932679349902953807156673382121733536303179440444574921061828499463107714404211372473577482872527604304897207921629209773499484043488067839687925183034581259342127818451866518170111897784359489818914620887478069462692907017186004692957687626972357712404826817263986646035014467605346243988360025132409921278767523596278256303685107322797185573611907057784795557215372072492838236690286654012793333309441244028527866437847954010326064221520379431592641865562973326430117853455196347503873472645476989958679247456724184239227203015502291287069258068426205614014897709478138194098073017628346969631946889169138804701133222037153440144620971505788497925958434273922500251767221729716179257534301186233699969375484616550722668990821495183532223974180365211145242885794889263926131578708195663305453061179242111420287528951834489955726727138333092829987266153230453732332127190375740269338949478347645016940963832399587042389534030444001428473465516847469296414480931992617228463931486470282786436803271594722967863480233663679365495625592899045558280784553228794594769230455332946356233962245825237043092046872136841876871455447890532460864670333295374427941299552571131313670515363076093499392235113095458793221022312323850345231601401985440539515309963198231186182804457884412682494275443313242570198371797505003064953860179337112744809444047114394898919160832518999343319693355780806193595045449381639416178949622992131724471757619738594358988967882539973977349476887008186919333525727186166334039342760981482816074771026594663551307163732411600559060500756958668090967571281861206913338663358974331093819975163343454944442275275091177041754507176333311989816168671307758543402256964352024235384644560896214526074873954717549605338710402956810628774988686429148260654319795081927074227053926728356493439715512144950559663627896221251496060102679777676076796393205723261267266181473025186807308676582536035377321993015702921154864084545953811758566769259710284909452366738563469759957737570847504055356160469104170197193335508329698766308554057977599739840731147791029649952263599584682408409558559178681398859564373093561653815420840924294292600972267371468280616601383857395320357323193023526148906589121952072535256168091191410189739085880955091840835426272845260059546872724953432730303212939402164815610520683247544701009208833698713160997008440295267041951240939493733604375003570320803276784845291769685346149868052308420200726671658647381878102490091638748786851149173558383315033186487439026101614694369974716172618489412544126836338059134813708839900771200664835592516408745950267025165586276900747028039690385117025472123837992733573812075683005300269828387053130371759501842683505659231009824764000143137653970881427540572634253965943153754351100316464857902920374017522848865905764687250749940625442196027819173774550370211279949431805404396158281498531323619411510655616214915606911650390654572885538636855904546574775986677117251303672736364633146138220409242340190075490793159465164426032381961900579202296258900295470416569768518235532682567305153871253023685722133283094974672110016795275975192715156183783962507501911693650745176108947795644875315186338699891195656064066971577865550045506819331305344839550012458165483037155598305975959220152702713334855697722932040309185201399491335847983397184485467089934720747959145496330928534267604404559071181910146806365031725373894946172978063000157530983556405924036930972275246556585360835752073456739751619688763978396479716907943121802241322469944058603723249067121552551320128915123346881984644140364281635546074161926636318629786776516344496799863583520211870351202155770746845320964412167400145698630462178065724938937880416140370446833424891422812119358831333241298169968459543056067171520874772139031837969297463048459816609963458405898910496234418198237939348237655677316980989618511963141122221897354047983886939894507713368711607186377271470798095498460625018182987711814010326488904427198517319597360543225449853669774769581568468950856461893993428743053852480791157013617094297544576469948057860124729708213813983637686544688766254612485986362028616774568231398730679464035743248670452229770205688090466504497819623364798018198464574300283682727647630022162064995191721198228942111053367363854096658432328158695543608994545015869844309373699423525386663764537556489960541295904330534794191829157433282094063165517126271839985281657721087194877620381212697321787253159870079454115454701434337721692345207585431141981262613431123947215113440970104278811907877422029855594212742814316720245769371652866906862789708214045115856871470071638044755738755038792673236829609772079603594980740226658349010265669307041462942940454917573198805304062212679982452186254316665095303862128727691792554781838507034177560373732023639263339875115101366977173959927917950964450379172189937698117405581946311948404848326215489939091721966001257223822910740942919808596920826965481121702318868902657982442248633224963494310594864701331840333342514170135835570324095915621156961957996316605383392066757037655630785739337422455361461958361058813945886331892569315494448486233670294010104211228479496277228421649887607637919769615532288482162325512532536461189113699807808672733279876825076095803845087945345006483794436137265324791566145828833222188307618919113474086889541461143815081254592863625601282513523611394162886414651202582941992342230647858920875543944450912398922675996521713159008310868838451895135966133665197561166628002658814406023028978254906309932600648131448244486642157342810741478688538246484543194188860950424856398582147732014773758619404832154981104923147141223178600303937316738008007526696204096319400759309184059155812099888256005658606792392418396754341556078457843962130449490471581497843875355633035481587133586313656564290541119567908761499460001166063133119243470887530317488998473450234110486557036823209268618902598559889266533471395655919985947349292878879565958706455227535134168425689020320705296781008512424824334351018095421389642116892825898432707681366314062007080776823882467129106367887496259022276281656097552355858067202079210510071643396229415844002673353853362485214473916744650728494371376083584154875342352766796931020069094446073139879892624700184420111895855531289988427171108241176226866162058444419425768229773301918881823055764729738250631470689562727091006023864083869910803413180046428188507132038841018628258141859934866093930216781334824677103563295642014066931747575959939199751458427392828485114591615607194876604107195177879019577861302307279289537151264524825251093040375074714661117656903186617236094664375815336285312669127488694881212997361041900110082164714689018721782898692664505587962758696104120861762414284614982843099102512569283591544171531932861041975318780192169340918449709175540596988413738049410756030978354824937235498570363311677970578566936544229202572465381602290502088135640606067746584558543991936628963340866220452229689135319315266094091653369210765513212244331585432884307663685835196976862561772021031947960061241972475872888251693996482002803742137172582969640472395654429664654458398409531127981608733534812927246093751
g=7
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
34985
16
*** a(t,u0+1l^(t-1),r):
34710
13
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 26 Feb 2025 22:45:37
end  =Fri 28 Feb 2025 14:39:22
elapsed(sec)=143625.222973