n52-L5-f17893-r13-t17891-ver3.3b.txt
p=48676677111986080930963447714821770957694590397909193472673465446777965475077331969472940632608192472126980143030348891701127714226918868133188582654561799856063667407119963203965752680796834149913137734769454565055971225333814721036563168119917219148754122593181263033712849336453622355642394589107343430153677160282189588578830750370699363389119564951897136796979930985848210108195225083415334473302305441901544589379581314448796050263210716263298520848970878236712975162617081265548854579839731194305575596696716067033313731295852967419166680756037058045184406154329673049830294254044322878760361005532523838191348486037931402441609021683111555196255019673452850186596392503878219210208421444780493674000297321677774002234706657663998941636356373111738000666808265040715987574078447700762081252413522917489106819640290985502887825223162715296407821690507560722302885353364705025991820220615968386215107125528388384641932806111243793401693643632326677960894904920938831378085025492299397057229907953937672407547265135756423292771920479458010048111970374512066421694734682471882113139969830543214768230444676285644317216899062408139511098176889638465280112097782862444552519436640664320688334932932138195951145554162151955458422301456204537737535357133481600406128850034755679961473415516083279346398410895538429203785828872508942782367601031873850954691290123858811588647155992165429804207282002195084437673399963115474597961166723833425401321754125929135184676189321401758731989227694803642521564732422770562358495958150630400828450716950532834904480419176116589158784339979499306476385915628617009235654168421475411529712304703323484784346904570292331077237793075199528500565189736024095622863409874735157193084076562621932874786950523817155706570830971436187380981114912670392858241716917018848113561001896388011736781415817109692767688179837637756612686938127277894125026246878737676833082211012488318478567067239927829342033732145970056730114874878264233534129649634632076130801949419663294371752992063046700681199882514785390458902704122336215422038789282999815123659958043029198202423454281900667502305612249661554283108673162585262844786104626666290809985317470309205355847952403251547494728301557967786893431644889732155799032247253728228735242004219988074283169520482103546106332356490746692054088138970278153015693604884580352714515414760334775088547151502971358194993358223827349218152593116121881657121212129526802096049984852382949626707594620215807262924845641124741641861038506236257455002538585273736785251887386453641819893486955469658806107201302973255851553927261705717246094792245914214153358746427078645828614989425858665151987961372724934037274153786925321788922272377395946748816519386271020683653770120066599141588278373104638952639906942590222681356974009555984983088009617911113230591344271305271349953877928988707288420616705118238366248676741574861410265290334189684450437701829351888310731271482306318194517244908925784086530622294043031576040563876380341763399201396736270595981624732014893338692264492987457239901321723714014553785694751213183666067228278753640893956751713490758127816623995456180419324885561806566971357916307512930186658923943709833658834084989107114034390510865473872855944438379298811618461909809425201342757610260682670473882200187699277985584450665645915277131503113164258212133202886062496921903002532889983502868573069365506114554671514280275038473195373910852979844800786164318891550944415117700471787898643420111163579743624975754044333225517164359139400677231961718966129567578868056161413969618940477838701760300240048530834582455278043980486708961449283429950124190931973663763056802204967344932214329328827822514190215767814998338167661779529235262309533111521553614333137272381290190612285566462297800334876146876670434652062104200680724770726165683775020557837533464664639727485108868156346775108808854053144602598222269580856492815393760424025659510974109067801278241193278546037377473475455038700891292660079902035554650718776411887350229748165603963213789254296535623173863925347958076193239598291147435497885509693092190830478177935475622726794627103605056068974102219022406246350388236498110824873681146752890286432810975805394436926409994391257679867714407155492945190296523366803979071915842222105772534114042455965616262523890282498713553549877351852454724017655608718717919645316239042476206999330010156708827019056564144337258301491000512581076114211042926358946344274042660905089519219099462793670202689019731071030393181812955944386717070259282136264008904872841761880712435244353585327993331812345819623963471347094462879741345580378507968575190399547964320863986589341461459626189251088429752938935768402057059854164964247957355623124996279215563325614646072020586322402916992474138157380574710139380475984334335807058277028065018701936945065476954015595223646149176090742937688273227789837564511346120974797291068454600667922759493479878379521023234426337950769781198523857401101074409568728519314865608773853368162042053114796753250981533462643305759071864932972148096218636989431282034151376624240256482074048465169989750116160111819242982304399821738945010462278220919823612272223348108325815451222742455361460891048623093372576869109264479798618849838964101512630674085465399033161982341362241891382414847414641557763745029462008002524002728329410789552193750018433263469728098183440032533576174447443024568535246439932165736665130095967271001255331466029157540417153521136041405932768875342939049917714106863900225956741139824294304025651776031451958243565274784396699769270442673209202105202005701108931155390578987903535369243940690301611145653245024859563404342973178156608613481660004769076396636418802053489554655634544989278577479703939662326125976623681771755336216960577034702180549076056403037287188038292435325058722113686275012374674139947416492431155744790117527373149124887280932090460444223706556205782730434514182932440646674940800691252744404037193926070324755680520806415010482280536209303229603619323042640418710546329799291289378793363960434183298821493839291845054652900896888215761987642104940712482288067755838353626887235658850118123883380115954484085831187499105335953601959157427752496900947149618409277075796916031364080976972070986523090317310789612622543981471184478671115173747564958200352159342411902075062207651025678386990849788641384123601337084366792764861676744789201203018658616801201079076729580812503491249098506628915333641803455525130773994076443469454325897126256292011196273403170904481371878599635291959190719616995406114110206463524562191944939392815102565466802153132237604603237058753882590154047594371901975650762091496761037990597096677810481328309184312229963893088740553321179031450869289779576821854400167393604508680344102728032612671668053592490237819579952988942345282312393413743319792098710633775745962382011881324098559804511444249976614065955870014604299529575725528892639740814609179487493809199055083753220657462540948583724071528625377275335294270289671466870122555596400784384302038109317146347493421264618248612322032750737131490187395567566690825550878449589505307456303413116528894978575140184501484370067998530209544960151562280567003962277690593662387311002985355388762305459304630269878355427282880263050658894536125297002507909061617603143405962308663727163231711141486312122495728415115727116194856288080043567857239947229509762048807086803105304420634990678885552533309316873156296842042123372569379088410764721183869249843202946973770477417722278509423176879488089015511061111920155308723118282222961410848166600112805382933251902908011846473243189272550867146788305276075707687362516711557848735087122537461032807486172302183481733514768733749237006780356488192677335194278984649140904342523267532759498664559462695179251814679496357157964212102996692831280930577160031587194791702204065319723236487481634898043628451261400980360521203021240462234728197094384646598101602701508545890312540215165423003990543073165769105444995658070743799498163015182560108612979694679942556693715834754985928673018854549937370534604990801153160368732663516380677596101519964586650431765566942379672928362019873374503590960572140994056703542545181328338094423521739275116055902143172047618909868184024408549391897379362582420706087235872356896540882534334958491782614040375303380345837321080327988261840784682409033662736860068358280919783159632856443515517862734236959046995681881625411419499608492816086254744090677828513886874573812547461129201925367763989131787140568924277406898369308566310486852685595372421895346320232883645844887990153470002913640417751157110910849573478670390300072451893009828327507831230058069568330121234840829384403409942018903171811875162847789460717509981377695667175644725579558319874749934481342448091988721963611990207205007298611722945676030071553406059850880635273133388315836873459533194338804130704721471015279131094979005358000787400562073494602247448751972225592666750588006354853299071904182823677249669294369966351834662483038101258382094502826960455595916583299197394991779659854441350472922613081501996539718992044648560847394894311445563766682168786154984370244676193989635328540677616380282692991389606814956764115286990202452045157899069589985385791600928068359449066542978848685657589292443145285223383455139798901417226416515139722639400002000698922088405888305311901306678136233926464393683419595359357139773358003632871948877191371660860731802929921928844308102755361813611984817912024484450979061098176120310903068943792690827827990273939685154120797681064217457292242963056923817315402878885524633514208937821408667445976721918047525079098157520180191033226142794083549924814766445810940697469200539700608988439113395552604811544884556984942872998393342706737034177334244089126685214723530039801357163270809361589317356820822442412309441880603978909838532069297196686703788215345505870028623820481774050142428590251366186318274133155900199250918225599430250530828587785076867641213794985879062555339299711816288346180616100974455705590627646316412307004740957724066481925406989549223136817129981010316412485128530249829506770498686825490788350841645114089939436798207182164941725008469804500482685914018199804153574201289534394569245730279962904750724198201656640542541711103213063490685157356477309234389665374598855655995840961379005927397645903152949910500555485124045486826909535704423026103103738810577027770582802569957800847715921383717737544548800508072812933690375599776230945502421297671247652944092483028059326133285238402414294197038562948784525255660160344100873263720165271799885140688960451589401767693325002516303612492503330180517996923837493132275503359359175855672755970690241931791886536600916154126467395174030019513239467911717402355158503989601097327973023237227690828763700340531422821998772041131640605247320158104121885856822177085674006160694651257682429644178156349761756551086144012021675820133990603543089908126161073193107321720750226818629960800401990018579593322967570814654052128019903478794339691480028967825861885172216346476131237156903652137246431426252458986767949784771137386122983029030682616019347350810337444656407541400511855767988133164583484712728658396648713485637044006248950728060621823764713773048344922173754075031682091037892408539875820361281245977591276395496528145781116190253820699291855197748787278180712025407704262780722941591855348010916787122389196938680479228432176518813218267154158105354000507859192818880400525950338200179903189579660219177289465945930139160194584831428397889722549418254347188868718366487358676258052165158543342492603236651958695427534890391226037833378998025017484471478832025006264915803443671540047117859173303275396355800844991882739209884010094165288611400540263221438091906143285272448795218361800468032705070790322676345051720221633213550964232837885058104749785482598328513422610347006410850013824305346386904598323564952568114412830134443255484928316824155169065580093039290225803232528367145098822125219537374077423092189172775763151677816652789157709113729283600944210465277297412286502186179982313151615585738843130036804431650646243506708636413391089452801509551173997034527057415775027305747108513415055175125895972199838746323500373288765930949827373090750393190571167158958026172961627156998124213940287766561717958591344971346280272916529095228372531896689286708774720166756325223878782046661818556802558114438529377201972231942287062653280147830887693276952705829997876396664224785126862116158008575439453125001
g=7
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
22680
8
*** a(t,u0+1l^(t-1),r):
22676
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 15 May 2024 01:36:40
end  =Wed 15 May 2024 08:53:13
elapsed(sec)=26193.019981