n52-L5-f34263-r47-t34261-ver3.3b.txt
p=67033501333283186721154388505854810707489526218329306884531628154732772770540670810922629064774924389561815813403115225660144834556090469770356889548758823677792442248106910874898405127634265127712897836543121054405033484317279532253010247874233273438336181836796877890854671743006691371724444101891198075334358932975810763413875495016492574680972329691076018668404480072835192632949942960329904950472893361495838917078722343290370564035734744286429463226048505150608472746612257973138251525101305831468986124532980356108140568791647570798062146385609645311941872997074901857498985742568994349501839454146049333216189446833875294795506687872907064559753712811952711855343308585396647491509350393624613796044325829000474742980587561355065335425937092395904048234566930304991102887210991279929643893401877130085535836730651681654141184109835058420287710954143480935130388940548524303308524329098119063885703930505120233982812246790495703978768130740196750602543389722739759703267272316595658775319216470398820988234963043414823302737209303623106454651751249198381188218356801320500156001659342751127822600002606533937228193388089682426536631127188910754720305185897523289077746332192867331233204489951764907151804190906247717068237195310889144141010477171622810727924638030279148115254726395980876490101275468830347552324945981857608543596732542139652077148884136753260687679658706720508486157724601063304380299108110865088750725821514413930894064289971434337229933263294254126367288803145684014901823576984508033669197455848487753979644094591989365204218993273289226888498309692428910434834044786732011984040786814684516024252610335356019761857986515875452800090006128783315366436544722756970543838660073461237932114371362800784708035827310760807152185966064453795609510908871311803789867290552793110812510774027530704019605795479792635540915384084778568072836427792918971635420131411559171911411923470623525369423436268963545107648537348224229495196894629585921422268995579182993240951605748239845701316725012490128665118378319496514212923839643397063707980527950680953464784515621482251503920139377108623402040476075701309734320259547249737022603425886225106516466900501630867228711413502475275447357490676931960767639163968825783812274489538373577847818600124463855183473288984424745338355257650272824013809199104664499254202737969015237953146837114494767373495710805537493879423693031296854499658193751668303675308789160000855391221568850068817666766427753448786942473290442371579751751310515928470734537306585651131226819953566756236198405834733853421928820950928545978178750587510445159003551570128354590422014025641198791182666245735242087827554397117607919693592419631338569331610260010927006976878960490026843150435223274559126598238608422457331113735876893102862559905484938032489988255781437134997283044931502404073868805051273753457371310540952876612200172241342011350616267520877498645658956931760196005310967765086770392819027497827636770043168327442753517589734334503439327705784881366161337612019977683270430204582118928538916622043620902493218110237384806091463176443483938391630636486060529406427841305107339130481382643276085837404957507745071276271574143051516526813674026389167584840603299043813205477163133108032407583600748293911033134584078629781461993583007423758681410477221276662536516287309610293210656667159118200714155832792065181505163918690541880296852341530844448511577818370851747731944328290068059944550074387762325128135442106100283258958182182448919482888791705376081844422789401786131609290111794154387180281139809402701587618623500923622656930768497731038041877906679219798154126568148045720032247123073403660042689082338820997773963542161683386057752007579388888996161244383282550249645346428029728695270058251747548568181256074486572697311515308914601036268002327677564992490000116176532286672861164176057491212884268376677137987306886239613865687421321138649217250544492686291513433728559321208305944948032032626054943194462947896961488618660715951012772935271477275288331026490261598832103373515493049418946576764672041201374665848431457652070965771172660079541376784117322874369769897980822515120968779232239588747450778248695734862999123675885261413043976305991796195066918798307092204950885006388820300966537354347916816494442043821637566518520639454511757881169410745866186357626601940884808603213935171300613086267151815993616016157375581731544475976465382441615233672246643492412249027299386658306057857335483869454927706357982370635754423682095107451091370235777246106950619551628550371941194271253724356994925447221042218695678810067006446625449494634112973260064907004140598227325757902716949122049051700157640387720827097849992643861036867193389026253944373222654769691284372096669940854152205105711491540069502005709331593793149298965605347646347262730218740933612731130190313541158853995765430047213470360454809857666533803345715929148716516310644821877446729376460194116334791908587441083802133676444593806122134571926644894053938964990918202151949057042860598365416898739612929736422009647441786601278295604069203883502438134311631826039836924782546581437607014660840593736987112261724931459620834327982483485899805252676333548455521119427573737525568183118827047711366312114995503450972189685911317105483415918758495363268618153153085747851868570617565233894231372335494077844912120752410989751033569706599539959387930718957822689163787980831733993047342859038394164833719499434882620508643706201520470187092616405591633631465246098285789531738425358300093646444313881578683928863362612244918295948560009848702185962147077953623678648599061682393533023299275111430963393626474925798190425714333064002925899002992985326247624630379635878158608281402749824802458051184930697541432356021144468927611853960174186421247854453884014051788890902461896994047752341175255189460116504646901630606416708937779393888206870271838984019197843287960113701611799922413222191077694022440580158934775331342249795067724626245620061834578046551617263574397540251323358725211969171057012369242663712423738595426498080297395107725863230837596066660648728258657829889693080360187873859914184048907222878184518910661668232785195015258722995126074231782682196485961949057821822812898638515272137330490003893414518289950380241260087429021798672633767353894870507847996214191593071475696009623249053752426757087014991463629612449968255822090697910821780418356191744077800429370924130786924163849034910046217720390341059395562977456168544297127147298018549012381052132193790471666323658024725958320449748819962997074859571322285683714035176774834540271492861190396386909698284149946595883289113742518083540040278224910443170507857547983042436312623929243705129501480759662703005984721880876693805382459068762710424527800820211502747886068873575082077006465366536831051209163501818870090303138057126109616693520617646473930373336525118791345547259153468119179089286813651870308047834182604108718235484237369453215624707507431882858907038919497851978227933245608586206978618466165568085406380259665916202461624206635389235246156347339905668666868476810288348038672981008671677292901902272554685534792244278627095525544985811787567191840385876499009152440515670912467885282392020144357424575328951845149162838352617410477611109328889874192191207946426614238904300344404750636780969019756364061713824366646662685771839618158606989638723681064665581565850072594967923952897301896000058532905090112253760973667560087675554535823302006886790148842527384107753351586798460784553920356037520181580696929720131734125622136986346441987660735865694677959105435965182827672527113061792389915793195400113850543918045734296395466860207102888029071748899865109192807432546377969789318927956249101066828899041798799697542939937236866561674548541561162541584857028545497821678554926687411168205990583263248347666315411459264949033661884179042685097870441617591839735729089370265175024461035075128688347416930091431949234262241300271704713146553398656969984730526373370385820252046711466947520839926335035592157079238196942933301594056995346055140096439412379216254614284762681304829986339687840536202171251319759092008411296443305802786478647039309999342749124248148851992253236695135603853402708951547116605529200297830647344657946376903610449288323190869050512158878796795259212397378741640877016970142207693502705568039810643032356205854064967267690244364098504234183059907297447243898450057064000926098298796827612274306167268827412258549234372322090263618472320053711717978816575643823038119071412687078749431033214055606053628695217998687698446010996834809993508609448085800182766123622992231170241364756133873806344649465455636942233055415204247816528920733147777887512435098922036729241388360170548637612659387350980090656289891526505384313209810516584201391857316963089896614098065992381821861508876194594346258180448971394472246928323908559401348466014770703217552928635538312664660004970866550261118800096415323277698437569287699399385144809696345213581777380147341240670147466963260418986618526404995026405518247540737860815452572846617252673519832878477036628906870556477335554542078714942969771949745377699468581654147807662976282834437611044334345102479469066425593675732296449114329190091831814878303325040679275623829942348476099519164423896582156291629482978766622528514068416437931649626170250053866948831328876632632736545712929454366685780116992157141485234751929086175456082502901682804464753546991470081486698190734740325391551481716846552224413916540585509895612229897749545241076915013891765298494074529875926806463225439982502068717234291104865453835229122375768652914104512676675300783069299166630835428889852182565682304551187204310044209338298251292027988153500963612895959396989567953732299511735342326268261069695643974890425271312968326869035222892576737842735856698901743174463594963345252967572104913042882317865697157824531078425720173888371212828265578414429102472359412151583082239278401159058440214787633039682922998392801562386265410734408856891707444164004656416870686393234748411739228965054963103354524993051742086809744937215439775244923010828319845015370280824459487240382148699887139995268025915408054150203672771621769668107633830511926657452743547883990958315275934145798929581567452274615608415778009946650144779502947948325552568096026151405377823623800431945195227891257652592148606871391534817416131544409936873353695344817576821115253522563365934150635225712671718613038277371344363337411744411103700293239374280561064982965276250950182003574220825830113734401749870500655200407386058524156004689363922665221966442304903747950800812606537341753598558012945235954000412082420810495655790006389121709220572802948700228973899925736553966877280966523275437665935057246754579133609069557956395724205104756541074271565361791690172708937014033300153853279863966796670074039004189544852293389206414501299361892414697975966209000624865048600387622723376327724093617229876559379176255189181746503449927573652833355236620226209390411014888918516936389211762838271455443514514858771481012468473512418621300277344105322848440171188712695173106518498604395107720548761831817341115361253801479815101759916560766425828625796887831472545346223021614863771455228561776142244508585899022559808375080313211997876102956044846095599134011779863728890420441079094000243307518354757782298934146215059728024939083191355694844164732394734601612154404323101521250230389234135567183771130343174081070148643931695185225808008800680672458550286652584867553001787840926429607608507369745693287349004350781612873542287404829411773268777642318665446215977454508265014675199010614088153539108867872644111460378271384144416782728052885408809583912407445487760707262484560947756876559353067252230661985085126646209351220408455863788143824937970895292634594199427224329537214263146923816490671614869564793436272022492704820268649459237946167932722251254833070828710894421281109944704017267879260714131009651024653472639059105262805260249791059310735479002741554534563356104211702313321511009315468236842697051561886004187993980858252596129288380652013784111019297779364590013692090662961097402713208284228468391372565888643739258467759915750762410606564404139733881450992927339261543411688347048300756970214093416931847833942566369996893138287494892727015787595034524189668852574486026688700786468684171458051615683426919017353854806967888035644415457192310286954866974167851355672737863572702414755426061812735886923305049012779668995445605409700016417027465808273433137638175874588383849424498500931448552418988829959141488976304372935126742203720974632332781026362174582609783804262054908017160321004789250047444964206489370059815152293414160636751613096242663379038722732762734803936345926782545965725785673406958706618325183491259370826527552479254136420467967129949133370099557482497385723443063908441357333482622678746155587424763857643783767155251811209280898508038441726925350670846627968241804841157574825711596726768250042676995628669227349923803403088998075999976316196515209350970826757048113922034214840496210122139221458659147138596312185662854626920231455620642913807611919826399928676787391474519116483996115296463275955751413914049635954182541283252409548231193796943511161053632948136118322078599260926216720310869433891974350778685371210336548567291478923799351342025965520139550956178051150018823998860560231687933859176588289348127490015507546205740638488516557022375297081944516705049761335319119656897898023620643074043589753942249850106456740715773929676215068295606643010296512399601837624047260795832800873917618766179083283014455115699096529111397549635327623929883487772729694419623861529411154379793042181612972210632573969588542508690666502155997971472341183863720755992091312044586724226215799663872609309899258208155765486249803977559046245793552232570831559402869496095042206256203775226764930844454554301387043461845653105040226642356261977660042346496547021806421715544113419985591243887483351767282166614465334464921125254928753386106731580823407492963106702280933484876843745275656638191872954879243713540786743949357762586279272309059911191295847612159124177077284547255971868022323807001387276992531698578068495761751512173055742990997008009847658641713773629132315592819182801786921411282006617850827850149503363580770935621140398666137932261728923386712529047115281042097301234464087822006934470058736941818956984525767330659599763468968024603563207120443732283779636936881673753232794361772144665617079356904408798424870682552250398938278920616355598475967773349692811901961234313759847343798355121628720736448272732144870393299685829095379020834012293427887426519517135724425354182389424027141652278408854336068875895783551404432682998227855871700843926774519670596683560594875846540062309421400180819814040213846672598552542989123970128422630435589475976104321529286053907915466861557860111872640719868437766695439938999055070362160057726688232651210065949676946004343391361805912859139875157017688036845230598442900942308359264366857263943790198561048100107493476904568278796979280526652669021092202171368657946731736752185652467956587006869862814824068032973204790112876769629831039282644210051261810854667026092312666250654072962624189709383714597017621088531517186701717901762293223619861187515815331625390884604831760642508438669529894911046958697211279324344651829222919962372463295856537307662531239856361394884946664311840634182645524370960241786990758216745980783645635553499920617743539793719057021391803098448022648284503031494988041263435702865330112017206502081298734557684173844903010862709536121634181826308147646716359614798017831967211721186771432062764903579856699412269801170238527397205950455636370717323365982093768033297085139287527376812598187157525210640398007279752393009582363648339978173090059006396915018511057756905834468656404793669674030036512474152926314605075586033105628031519377367086723721987539505487401408849248418332483387721689254751894546556750764423359952550811424727997748115139878275980599229845976684752752314499635281458833672369370930161782935465999276455644111313591936863259650151344825516240143888646218781078464365591295582281661654197417408401173244410637673574984610288390011872773146315621808837100266457633832273002140557555051642500188361481916864406128304323668825332268361584169451331296186813729738884330131490077728702418710188977767320760556762770430954753913540213494353320867197526546368679896213098151680287230530040254458755788596757541952921683890081207530654618430030824862991286962303695661511936901729378455371082117123141626613879538347964736135059954444513912331074710325685722651044261199177958518350131451970078271356888537786742310814343335492524716723766134723327406409659800593472854723769140385962830971441968974028192642707114013499196674199668623516346857578180073157969928655517061115534151126537036808045482423512964546891046393074591251782067053075999191403894362933308710241930317790846128811131443036085121173926529784802527462290925115590607758635502856549858018374969953412947604365912605806061496939149036614747904083855663957107552227368715246240268046149128555320433575289873058295287984006501607374796026225833697982275667415022346984547117472719433012504714867730649473616713865760174700484045947099598836003740221258192700376809994871935397250256231185365245389478630954427100146874851567265902925956589344218784560209504777869694538479112959452321908228300282561783628507501150984133397429480330043970095855215303190401589518743018658021747504850044839392364637344114867101997074746159340729065701436999238313789591060450162550131629317142119648027876403017205501848034834237896702932951227420045917671536077482069558463310675017736576547321745271764633084412253131027584392199718143908075693570055439137787695041039961398386454195203805550295453531223901081891415678549528869566172661207281031268325377589513709955586207734644641627041042591797815500354886435832006799194370756039844137086850646812830435474737725835067891159978600482063994517088778428613952069638091393459347043845751522642287928396782563836286442116161565343204312509584655591169870419084091440405662180690334255901522591397614291977419626636844579869610027148903242032863714662075794283845754230589646504168011991168365453790097176530414107989112232189317189590824513291705138587357876649535328433311144181644076428612430256982246916329059948174027366126407921822783687908119542467081326400627191120781238282238983270760260504117137315623259117564957555354281611690590335637795683481724631451993016642295896474389812255805768074753981109295215624973877335440062421872990381458915953796800316764045228351421041627608517962966358190178132350190640835645334221690137895784209057817700602017198892291786958177778272812797386671702562481800605179361517317134956459372439688110257881039744719784467961364446583009513889196947417596548693285479695860511134847542076712184848457658799632650357672814943851817606785143196238922815612108287296420701026418225254540310046499272316369870241545404718582553005329698023451924875523169325825404309557526188119164233077077363114827743228724698120569306841021531943632451087770336796620552159981267561199772025255499643766328586589145167304981428010964271231203878748736569889869722487261836591944734574872209576168486297731494785776502145573556606173428172340744356753130620766954072546644320429944703478690596295648340548364168967061830974080471837128660582067933466847111866133339774438842530230592189889059205342304929041177968709027320317588788699599873575495935743109537147270672288713576162149748699303849439039025765790716298565466702784571660004488497272920121880432032836797732149668309775755630852256771189516773658527956888847916897147416131018391685563593132098877511784979827313210327574501955760487918871069647575855897329278892335676972130792705381835250321387526201001504925503634166410623773452180091183710032023873985040380395691678340430763684632729453979721584718964188260597420982422724122254859687933683411270120353793439953570376657838352630328385337775382861449905647731556720690016942580866586881658796927986844436649764891768607291262458156819521291180259127467988606890931695735273466629644035553642362793679798667267290614447088655669883116866679801076948047140390711629756556963614282686014902273754317157070626229845099301905822257729755787458241300178768099028176487591226651676393535740429115403799074716391300419636368845627421776297054607903130954346170740289575493170102209091040814885254575611754623851198694940314580080537925174016991529089831100927235901049407693611563901923314363937099290673083521725122685186204240681586150366350029106449188198135110433085913504810266999897588011375438058722893379281310052251209859283621904883724272215476785091836811119042697163300587131625843787690247915825921731197421581758421219880003269063998650643184597748647277212068573644168225052142874200342328921153096162026900108553435583624051749099733955104973778852224362259821945384734879622006932327300628451543835203645725709504992355547070761129488702394123117044522906637321690955846418641561236537018863631661163345036982819038944575971459660917449882550798610696888439810991879536127634009970480049882409300665430336347211978954011725356252905801780750386384873960000068427164366667250776793028958506298209937845549262013394557816600613983650324681018994932238639399903253348632979472043648026089127340883966440526522158869582851151153456277259014763612033181142471680820494512416728646504110833896880306277649788884388940381075683214333799266633346435205776532344166655972014981435743863382086512205495850392785039471515976138200282325815800505787840177366394261652202940605846619690226720693549853006172675868732242440206502202704495106373911523792066524924334911553678529697354630042155722216282281143140115494829633256456553313598903710427676635305209465804135136904657977900401694819383573768790012640166672225942905213414226811725304421102445493850982842080966032778187268406428264411633824128782379384522654568284674197494942637553814872111298891781218209099200238699791571348409644378079002345250837072319735931985434726595257181443008949797998690754195708915917459978104629887332620693274955712462007053813896628673915367543245724616120829533789705450115652044784274538312651381499547475354405865687334491603317836413242458858857163069676129428150248485838634942215840869772269671098001629362197310395418224971887547214043716642028547421047276763418625149490280595018686444321889549312848408718893580691743556014992886194455624729977047312702662327051190977591511242841948261122058029453278445359045870448304059221684702317295270781889720187360109433993742615401752109385484497709905088511517300529982203583784952890425764598461996388940728585144660796674026106046197408933840725213122060178196681858062842675588958024419654605918169561773046083896203001838675641169164961013980428052865506312572060688851243484796441371599066820622042041855357030391619467140797108806389491712724297525203775454255341154742776621716870306239335877357221350755261575628521486254883110808464227675016324037723121149241428168184719597421486711964163284642456798754864570107365942795342325870282382916741995779762037137578519853348796182065262582130070728944415041471823394034893551520979339377282589099433963895209437682700740883533695591411765225189529899939802493010877097133348541820653571875894592729826485160789436202585544651741445219789476306937676594127100964122091934961507959724136599521193264596569332394893037793157079611571168532470624470600440708488634355888915127858913779819172783852068243273284316179449676020935658254788072399098735654404581258736830530257156269157390952587317777020159370323935212054880112336934618443249457877598086011282613943493837467830381542654372054769508848543058862360722621259451081748754040620144016093945038680614083503679134962036805981348670529772940704811463942286615946830607981610228307545185089111328125001
g=3
contribution table:{0, 1, 25, 41, 53, 72, 80, 107, 113, 134, 167, 197, 201, 230, 267, 289, 292, 328, 362, 367, 407, 416, 431, 476, 431, 416, 407, 367, 362, 328, 292, 289, 267, 230, 201, 197, 167, 134, 113, 107, 80, 72, 53, 41, 25, 1, 0}
*** a(t,u0,r):
270982
27
*** a(t,u0+1l^(t-1),r):
261394
27
*** a(t,u0+2l^(t-1),r):
265159
32
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 22 Feb 2025 12:09:30
end  =Mon 24 Feb 2025 18:35:07
elapsed(sec)=195937.223938