n59-L5-f34300-r13-t34298-ver3.3b.txt
p=5533892682970254123082330907465290387534223620719126800377637819990970167281444695260527854381396311767551452725713503820628753375798956510713660440547574506532123930024552522835838181023793847068206451283695258811764584151722783508974183194899752355589582193535136650462531924631401252458988895427628010663531840755342322072351501105525986890023911518148711158064353429062663005136663440413820622329206005995105996950202403036735160609460343337138914271357528873013367035827668895854222948654229386762059614595477224416027139913040007709011824264194126077206448416259500229398243333556079633994870483050596508865412561643795144976117408895545943581160923931615042629297519371537002233916892024806869972356484313997817284291935113735443344348305993664407426031650383318677121287475737007530508246293385967979207934873149006611820830112936959752490845503128905770500810897888344465585904219715007841588824818245207578848519527282600597971461683809588777856123963890368935220127058131876546937318357807695947399302843040755165475081335827240572746456429074200905219892541168348696806514101040853930347228295367040821259970345072768484149437757744210011219013101139148776250976227366284858702306777988764965493068089036315492763782310910955100978921134745074380425575612478617613639821374618403082580441046051504446538326362683171351124687284894957869077121196633811020309934274846030432225910360384607583152344113671588331182637338482541994132868579993366194820339999869053048112576931768735248455564510259257319986783631128968657370512051337863371998325938110294743408613263275448152455779995611454053347409810328640051634718760270706514999661131772653511640300810766905341911114760322271665542108979716898987957945159430479664266209810139585180628384019092877712712150162830567396561004786365160087144135154515668702147764412821264600442980467136157250537084458706721124111782449015078700040631217143201149431445674389605300084232271663978392434331932072585871417286217490243306553098933838339970926745343010486581556495064602062056793906436218598630790257911448987881794083668755309544378782011648091273758305743899257920334198591771295656962115365334756365231262298220261802084320254760238628060147944149865397335663021818283485880187904698916437075550181861907755642382897139537341795001703130577875340440736387266400023897979862091232027433780421800630567634886417148820802470321427925667845668450048481617252796896411578438581807680695215346800893249687345644787114450692500175844058191993154832426888579816901979018694492334065941417214154310172631776088545505212953353008371586301689157656385322609780933465645638507659728058582072144114530217861563504136325749435376773538533829063790310651937643844392664971978950553453333442567986581003459318408498546028978012343010083282155835652502119193028983303659796699449810020142436944789277220769651461691123404041665622961520597891346623919050277895913948880821286991561730693744198207902378174534298868724669875039703645773842747943818709816417355053047209057251883825416609460495774742875046388946355923674049204172254501306074298627719783196674461678041803459475958310449219427413976083369151697637589620388937975908013993515826148817662929996711536092675256551708959809874647169422387999754098999248723060455641582579149070748269265519856590666989372814911665139414392767591817207069501868449899724853834000576174929316791299296430952132927720470901169326562970498580557803978121024540895810483086196982549037661596136364606307393968687827393840232785868080527341680790577245933153781343329891436475000101170156931393980125435646699114693226310211368635101900743142511807395962695285184846107584173377486931529296619426307006194792663892305629116853425706041708249329356811433807207141795567346967052551209876785494423447575597039284885781240850635782316492916913801610819223170659945848165054149861672261768932494454493472498808503108889356349304107600267401161115286882145065143260513698022210571520958005838426807122691922019407488038552934249532870771915458940642189462427180582366859852996820918144477541815460786971158187095073186057764000474862437172024941504541130903996896781662528718398210212533344122113783273139998845713550256235279383405319247333526968575461197993459758912366721199415582902533862400742601251527992494584714665008386158514278165834037841102794695106740744340885971704416344383819276710073543773445946304804913305966222798813881424396663256521665566531195844908413909872599103144287570412360089637277265646300348585297509034517861870932607621166736365124768506952914409760036206383177093595454669066916863114882266455446121365470967939885941299675486208798244872145635584765537680461418960965414796543357924621400761655797704108172759803511750975480600915845992350573048237493777639849582743263186419805138395300097658712667789003438935135508681124131636492250328236520826650378458840945865417985735620871064331407201616834204683718293175512865355052864111774573459269582787798972192193065891911524185279581509316414239759179684164980310331097004290452015670709114684996752924500865837604220289868493885879196608531674775811019171480703957661062639682721854473154164120528851632491245128582499902514743827495821979047424586992412508663158632651993313494771090995833734001733069312589089736576447958264392525154751702080880860403703502949952613832185327981547531418997908304201103290190199231687650477761981851638836962998389696109182024079633336114977666945322588359661855542685371407102147551934648855630273664278064288233236591539045854863885257009928366183955585411891158444455209374772952286427771525222634394120903028018881785625163768283754745876220162268853459200758891139267599778575332777658049986588255270296328055846054072557743279370479997928665570958861559796857681457373086669757597350264047254656644008927241727989251006984182785938687554553015945940638048676477557883871178661463962346771036151033018254807029887263712292047916860858587047423767689779191156116760281640297629070322473896814916105510086799470706348483682043948531420354322496090478596722972320942098934447715996867832508006513744425168333329497495900285106834676684998945328887943019499617096077390340663808957609350207418443840728838756061956576656655951698740652822561565778455387873179719106643337959732729068874826711544249634071285287891045952185242600946886681523235800599505223400906705735057519843921543423948162245551990320249713735286277969198869928955610810793451324182645837258748352435988258900775946752837249147923731867527648967056950835819394351396225518492187336281310259374814419306759982279556730196292753606209242904997639574583324957614924316138985014403148385445176474318145314665473254342417621399979749835536354430381832419028971532452578804492916739242327469502475318257792722328765603439697499653480403029776071130161143597412907842003337652900625109174929502180097722617279924128091043669297738048774668026101223085392363957158488950139710837678120008314584826675400829811644246290619563522748238569121809058258200984764665687768318591777692854788799076273262785774868370168329196575481424076639514700094918729772678536784848657453378966432723296198329798307848620101116000343107337419203373686126731671456063414366799476590632378826391067535537579390941021302407818127399012251686522862649191554205754475711276738177975829493006533549309794454863532087225271619318912224977401067826792640171484349553150929490449440739142632114945973341262071521120095563918722650068424182174309320204740909042824689778915295540542209001070406259767070197451743971976247957063582804285713511192304635671443741178545917620726525570575077075937115423815505015349442838812374346433010428581267089111687414193981917333173815117080332357255785950258792276921574398395268350548014585354266609246443175602416006808806588930575496829642983094879271185391342548493177244082151399706398577912864039420783990454578330096753620907504604939896073396083256591436327823321666236105176408128500771609762242337366463153016614231170131251094663507366885264235746350310671820828029081842627863881668613675846278558621554112992896688577616667852091738325241228709114943385103064506147857736169534248578007914775061587858849344636508687053198349055181714804459857739322296077602333079765282859298878570816334767369275524566701866756769043458576438044056309767471970972989715985061578009615837785857881840420888947583429702298675595696207598790566361354865791676315561855271438566354510864267613781350752950123168570989783129322594364955544153780324135527173316958909472248607199767200504913576210582306905541041283014191542871632586111841823638394077658623372610672817181797982348090370410097001582607216412690700855757200064213742833980247432954305361538357506622486028955871881475973663327839113697028172101214390235354699774300365999011614304996506815039991118326538077337103304408802212308827984935102385944929275405774885359263718028086070458662849994324538936788259474931949986640488146614767627179070914794956934013468726520770694361650989937054538611647673380164249292794365876017500623182409306827681953654736102965434146444514943977597910948038428077842840666960306752071251798115716016774172999670576422796884503336051182944060349012100645719070624009772430951149335077965177007100339030080782043898018012121619399638868947168048641968715839073590211220951429263174057553821897806170170760179864841625591001414699695458204676632332221405729057060342870038779679252540528859324769724871235249180974270245358695489149437882985401891855826374109253948288291931934524795412769162349036490504601600391378223283692074817843014503971580570608913871390154911465709313514681622655615195531756504149973905224780527194736574104880505590841013714387317838448986317779487980709875165369059725124892713483185875480008781052654142692658628818883379000551989664224133918725136264968760216162388804649574399098984027566882899065547062353788557796425687742781476684799170753232573694197434770764801592960851418735526015331926114286360615932897292328289986856051998523137278145939619647706335844267061638639377427818994909454530703507686527571337096729559711438320277025009695950370130456660152208005469184934781202584033941107944184639983952187587296443185908197344432567191691566635497012450150327327902585780209369368081436003546035165622107192831582522409573253172474559639388296724815333276374916685727702191126650213185387761690627320738153276133378159052864008001398334619624492027412462849857397724855173926140508414326041487437020453897080870859699684106757013530328329103407048197208744572435820620561391671027119586136750262825440373551248394734539474026459760802287011074948347090858346550881215333194231502776099818793171478904495883322445657015925393663551289525469754109624402615343887887989276603458548004461319642653185333882110140711622467899656943617843541433524894459733731253804662566523260118562459488667426713460326290284505753321045915821911839068347198922480645504684019346458900252604391940704507401413354251207277923979814444973473246077818687413276762901264373425230779618894942032565201300850147541076392160644639030147352911992207194686528233185423101410972549007323188610793974013140386078516197752525666464384148327431293194471499110816660583648406311432915683939958269792217798226928705061253202068042894383933282682939878653654248246214955271152736121395332987079138698936711493921140448512291039734652685481411521551928203124797078918648703266795401044412115278179083882916836312282017604631076983433608630486116194206746162031126305703700526802244119489365597326827999125053755272250498261706422723741617591658535816338478324515435546098166834365133459054626046082991889733799100660641531643620137790558466365682196132961461656656051157592358560189526579543881576261595019577705857871594543093951251321702589208557431553720639277763404575201615041861818416998923701123228819161583988549252736986582272239911996349201898580740843436232398231829420057909170961682023181808234773860683091744589772080104456583198617406812986331532276030692314947539917588145620772651517683470121303348276004192993118942241967114094377824212431613683778302443042453299571894018282056557509698902021478569107961010488759074106880771184706458834011810670081593406129835828759844884779834027632456710370638872027023974598241143613837672878689625542776878174316085930605892820320321317813101572495041049889974770306287114960301463097460262402937855465658321138346232688836539871252555780010535762981581180847811154683984457429391159243824407582277482801868169206297220226508104540373501686679309537938685833894598877477350517830585562059274605479355944631149161290997629455961241201137430517076719918854292050446115487301999658749380733040453870256662334646926893670161456968247750779189721800147896483225381242491180615124634655765429878582816188577757546307787646122258369335528990825313028107733716846270465503406124168313695460657526267770087606815342463191009674099304618322187755098610246026395323556022167274156281425673395511811785235722841413639738925707298485886545143645944722471968906177763164586852651671162407425195703029807216432855965304420362086451622565824571809812796724708475663480860067845072750230074612123381123936473215695681668258450882175692194506648337673903295702143051335531606039338969104044330038211816333676050553870103517812665860718270785327850662187417895583613857521821352270758030670144993347900133109929702853730682912909266180836798672343227915021098608378582891966384972938588561739178561552485679821775748033191597910707629957143968019926389372025164987184970819176396009584022771030681020133624871477777538431854055454765597393005790005093030802399051851267100245437215593153486748084963156786324157292699500822468801148301188294766032296948926764246213586724037607080504047138798815166166862272105907856952509640771942241539374229739316045600990220386949685030275739146556719694878418762946266664000026697057989236623603547835259551383807192051386829153138790221214135948447614688317671537096356326147446371487356506643139430928083452582000751490089762980915641700527700557795620754811250475729117674097191284254765764948331830808319640868225185019627132522648823629013127873935080785710486643394720987692467287176529112518796682673916950087324337892807433635214193612746662720054890089644943455336786153205218299285366550527566731431328904270694247313761037217864884765617313912074919606614368246649293236274149659677110048146108237129904131983682862685231766270880608187760213985316281679539138569534709672013979812173530231655150953905989423376056658503824113129519654089840292442200669035812327073860352467687790049583303788916840029589780193224320965015007997339856684697173586547362318241089335194225121408075478840911288220159356394872317505169368053307657532435668876156416981498086249034803428950398267820714629530259355205127409369144858523652771580300818952222790477041467967367399071102917410790661858120205986542630313622878426655914376294560265725163416844461055717820490261837006979818647530196878387312101888559503357337974192428230149985571289239753420673389699224393368700550400660720604306924620931246113560195901743253502421878107155269122104107382732519285742520385063595579391956040536155396919672952270080657139142065935005856003175682991119920335104882181778360236950354119305935264911710483008511332949688857448597589018782611022995976993608270197492682371513269716852494845438777822175446375926650461062991588755700891289061467245604621331291161808149062426741250260418502706332225540629563870031939693817569931906916386566085910869052164680956751252536331605303013805785059142633191049174618164495516184603944187579791168572191849543803805131133792239195611619375545640291815588330970930471146738989414249061986835669790333079695498974287160805526244792435085234959587959204610703087444609782642682115568022390532910636637731157651068631476261549267212753746790509743263423946220264213347815196590258368786377986714206735084532809585705064396452926235678609643684492882557402706477554323048146363612056198929498448136354495958715572730967898794639275088473473515924817029154915253692901849615328408518854191014150490331216129908138793842256704189224072565372747584885684344625983433247671185151614806757122875858270786708295428575692281157611992353388121600746244584791920667784015042588420902441814003784493132656130970370495070764154556327200859981287809318437033647663010828272915927490293512131718798556675345587193183205015732818340081989106944022142168312863861064246127334510235247378964643169294472432925541701190776005646660479311311851625437411668459267242333684314463088923951106659228796443130078537821933795923287121214726650742909564956589459295744867074975443723419249908956401059743227264725342868387126166630065993857220074557764741750786334188396424926625719606012656004484024624625965584198941564073750983577034398198252370543723640787810144211046017494764982746440830313096185992069946587325270588742483916886856691116578640992073010818620045373102318003361389354405126733689801996813153456330897345900973553878374220510020324140089569266304302596555846147517265655949903081162458388826667973109937917160774602634140661097375909796136702171430706277016851480343558430100243931966071734213395407875785669478219077947203942862596541606933941609192367844099114430774935358704840192437952141039995857531327794938192974238880488378250392692691809914420540825991739918258252869126122255248156646943892744132971514594820411528077998093674269696266965324969299431409689945805928540026662109447433035935491577993882053774587529999824095665947578346007736021575839576680866800735013839037959706827448414407268812448095712090183991636936093806679981020277071108805359011874894282412764137679393471429904919611581787467888955631790184000897321063285255845958824434396329158925758836814976873007284811073852866140343087716429947218618870727619911620624034683428602753360541820775937874034246937372445069819781151410061547248855130899489234076616140455285631005527124323366462182636738742647765589676057306982048696277363940786031569679892457504563001615887801126610394063361788266391524435793261851723512016036119324490488477787064148247979966159488785848764342349832719635549818349663696957584186669423843631373856010946440316540939116008943559230227057764202906910508322550558820235783877289948797913917728355658301881510505459557112963630435583374013685740456944357522987475102964159636596344417659927718257415353044290116431653897223564205583332387858389301625202702402503991724752625791325718980831448913633194153926267567469159493252107038305317321148158800086419161430465568504053742629672444216537428164747409048777812999679076586706440283320708560380858358073453524194079530479568131222452508978701953247618542516299576060661338603186598113324993396031727358541593249628845418812922155739703154038746823649486365371520436024257001736479169973696292686545430817301556266481457961067374956360324559400505812280833077503023614304011144003813524779606119489285329560438397113912142749719231131143202588181067161559543258456609403898534038545363934665320287263897478704150900444386962758660221200673351841551966729817704470526658163319608914248045057861220545440008620208017134724430351775616111119686771296181245394051809208842478900127240951254115047878553312926933834051311815685554678310414650145328848675182531384759829314561651902618965815855102686844274520357249594345012982731800909312150878227422557682064076022097798563598545595477419095513252894242189767351174974651294727581589905022426714740768804914833640037147632690985717183983213293100914683957731030364657590941833854565493013616519055998330981446060734682297756948429895111819565843903196353833072298489168415793735304267874401157081835166835788342274812366521844789627563370361935934678020542346816767146113174884591294047724615892567825552744356879414878352168534734718763194260284678223258991143726858226758829515917349427424925339680085602996499487041949596376803077085621978609786401560297339127278779068369046277306676983782561431520278129634322251914273778170861387659793928230057576874720132954670259512750166161936252699967035558198572794834884168155438155224819847015026026732539079614520609077346940436208338196738476351910200705347095324916414386541399140476611941657748504726388955066442242326619582145931006178064322230388070304613102979689361721176001653011705646514423592488210162329673261334898376799712425370702149337412694350543289056012672568095955944266458824998868565423795848063703528113189632099889236440923806395242542968310369171732100672489039810824750144733885200055852527683189392379483130799209643417994644693938062078975938142036611408146611431770097135849188258095395908700339772316647540289296543235805373017502137053278845044143732362136850811858247477283397010813749074991495451008943704567067716786141944852250120800335952055383349838887801985986516505092435087518298044633977535899715410572888734145077661620307874430074703356313944764430951474014099245573408953010745857286020711747407371953587929592603923452778559926266520582663353901247672061877590627849248670879635563024991471950016135759553896595515858585197280987671895072557906804911052730820641901816353465465481329104209231853853409290272170877412109184050384036971085288501109266103466826842362926403065155271540915137513896977942309561101837440640411043799051174220626441972365158504739378137243321179981879640586235120866104673209671625494527562726366558979118206446796420291871761721827402006364580494488499562042353759435866419512395927561174372966970350972661014333851910946143447296428802341427013627993408929995619636859056274862536691734881574136667152775905651582380517435881539021434196614478221121602294587710918698032367656588231626336361122285964088102029345356462569218345464209733032289567528513560921946422803537110408563381613661138939759611593951755326611349181094711222695123413457109929410876468362738050776467964232596294707607442758779557409928340398758081742067582369667518740224976359449025568213425777637160014685995918507043929243435690972109607746539417234378506885038054353525714927487207203976308740150933321887325463515547334248492118868234926053590137628051528438265391764511738075888963356171191029929456228473300972587341708375497927377896578220607560211151618269364431167706167381833832020706614349324404627533967679287923293222902058650759309449935499422186652095049975742240826709678463436455337802373891728416718949587056265752004320837652171203317907112900215167023904289432489811707907157435005565683590048246439395605162643471714370763396942526487332792631652278881119770552657704455487553473710170749800799207158582058804458063260557516954975234333099350640019880458067973058909074953113105230557690568378466877435644570640587233254192076279194926988725251920082613816087077826580486644509930142556059860068428199587822274475324751060130361817851966088628966687921894936996683996801451719478931941319060660754713211590999301691404392716462984661522180853634682504301577054084604589337016291230298044368437237485288932950058626707406227395216582783773326736718787094626977643828492778442223612579961671041910462759124256465803993602719101674368634332783460042708517373701228104705619083332503120741380003957654312913513589507864611625280265877779204744585592762113955866080460355628991165249572446830123432199506727040083155375449972977028078585219138857801333920462285255854245921094814411298064748739655452108803483025550569190096434965478976400422429639196132526049415757066245243711912586661304748235445881265564251538414090869196037807862329132672164569280232990751621452521313755819497605947296148371848317604728323875771493759904771012545941139408187870248991311940758684056398564529706897863398210177626229362001085997281456186242775002085423664654745368712909984181405044796166013479016303379510263370977082713120304805280859638939478385196669331274826006575803939300483685328688188143075876723742112517356872558593751
g=11
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
25323
12
*** a(t,u0+1l^(t-1),r):
25776
10
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 18 Feb 2025 18:00:57
end  =Thu 20 Feb 2025 01:43:37
elapsed(sec)=114159.516155