n63-L5-f18216-r37-t18214-ver3.3b.txt
p=345119525009395337764970583854475519252315316459770529659129815223575973463889689623565229736538094128983882916541130744447238445784133824513824677094320016564866988458486454873623209054298494824030958730223422512633530569088366348888650508326746968247842309543579780943052625308628734024472647424052947057326332784405000662763625832655300310308899982058659887052487131969777316996854998283041725783117506646426316220544859286597565200379963115882995079167599696316999539436105353374172567123929680933804390981203629848740873808349270993550981079299775702032431364247158268039196765807079390669958771697867938406947689399448294248403834544723713729257598227465671202633528900087406460904717919636174815134984897560804471079105778947081871278262743070343842624463032614302770240600217725450649732895764371198191922009272668042126273157169368850430788109575950128304907522692153927931339260031020245255613227452951121682690335877651762529306033580719622174514351379757959670792144030645120667884009804662405743089434967508013740656774730764734840177660665818791155255701411863363715150849450796019211269032169360316556626597949206624887673586062806918429765249589567834670095542755745605698884542726054355387414226710714633087393956058887302245807666853874851658532012511417396871529507982021954870550481693922636476307509234752348870456149276914999309439865881677326930935006036508717569147833034028954236161400061377689245035255200218961376696159744032181521944470572303541262609844074644857890036818022480487680574904466840841395330971067000691948030157526412175678453086366406912972624797077674110612354719499077115714386727109261780814341702861961520752779647802839087743982076738210335079853248581523107452641451932883461866479170121502036256236086765514631177797843772313762271058543972345135870208328023863594976002911755164261064090764089665923191756282223617025861749079974723906656371773378754097714485925489788650790390770308127174144659301056984936023834663484106539312512591492122561411125138428736601167906218832455485327411346253616495965953457188527613251224795927040658646738698646662462102994434524571649938927130710658119882724293903841446039111940917944059785213439734381788134947167912319243194606262616161919932708259720212723821928152045865116385933296410955650161434388725608234279674425041173836602090299007206553297124346453574793640018448984600006164403079317485853280042291791781057150381352022979341043477905967868807805684452857428145931124753192186120866661983597731266905168703174421392665615290844061559615479893386121039572457123802201641633679669427615576432915286230898717105539518431495155974724832770845600755450408827612401431833068296354415742670356905748358350293801907222604502611588809208707165314266052208445722885508626863378834118778302959773767718608438521441706538093739175444129772291769237032714466805388014920413194605421450869576022095422310357268901921170806803458544515763287921398296927171860612187953604131285001382332526193005340408650815405252978174198326160175567733601431908814685447600123173858353694068894272584403604371543852122233169004398260167802128222877365310770842178784696843974235178261182490507538077728992735374938303118104866301753277076482081368431718056164035136696870478792538954655450741403879519335963847851149834009393010238808952053364396512232688952066517020691426662205411535749053972570563574157065532106256293499483578726123424327498147023807598603750335527872824508124716452565588585389069147702429710302871475601476140342594990925131945369173013684367773102187938175717117764225323747666324862148335725025977368444512945318583243378461891250928450736572764000617814793909246937436214666546273257031324601389604162161988560657516968725972484690824503214349692696974718306384120031685510764623831847832387615979342200178206502143097741428851999343606025034704613597526094345400662405056468371602698471816674954808362541635476538983727273265110763701911091485871826140537304579402557609798830570945990057362888420900231775340566765139151427820918941879103655419817591598312512517945225307528700181322203726258722939967143412939396022855105184303455748911237980059231470182970446237526239990247956845033329525553205675357403208844649353264839405311244526843842649163155507169076912451117723437276421861795195720329373948124104282525652760075377858581502511576607800327710800877969820196527930926315300476522716663761689972955874243337347796166998106921589388289809413128820629498036991996921751089720815776826565208573293972197815455622278616489841465733603370171021670759422589671004465187427429240459950855317440044452465351139631570590531096145820203235864476761202440376067155178514033002653536266135599037519876020026337607391250768302247196277110478659405317029634192715778241787818581271801753926076622246664981632615090193834996439755142848970600289408906548694979115911003283159600995093879154229620580378677050354070946755780805956560812551296408647714982091771197071563370440086081516210190450264389854824200936124860666008508336183036199625053460088128211747168932566549662095746419891534448068160994238597699591758139909079841327825199952393166651113483098218540999113066126726196485957476851036965388142898743301194108309872755280732625594160214598788875307459314077459318597347434334176956953580397341603450213198529955666788930247810967007551242734138679359458555246612871939466972173624943389110720361664035059629618570103574581162406152733811431768162857648488816215720887245100976775185370538898914484493956744144915841632016190509842515795065820988884607752270218666664283992426549696120942934271541062528322048912545624724054258903546869955866324746330047374514927709413136034103566862502238943114186354821287488535507426121996930069213161491642727992708659223300731166407757142243707613393417757800245136794109802613127607993638942797562135610788304461882908370444971531830163646726448379532285454726825740551185914044760395856111716386928776165286235350771832918918445752594685410175793930806335865451713074189995863679598997695507942242906024555991124841500153048922646168665421031089553795857332471376917726260669439617773498998462978621124299296697853553796166018789917764053748730600295479706214210411267825670026650308180936358534024703494029596764903870431260436140780355438178461586741545778427739511134879530822386579832715792160346634149686629638183057025691827920940544315745005318516029848986651767832056470215891293091607545313489083654013087874875881884691617537469638220552094195300600385277770906556473140316917665238051135240057670178972748941819178185521257432170348458700086331905041770292296004860663954442035201088801986785090574517365328695848551646227753976382892661709894250553167522889428213123324351321614189616067663656090604808249788439294063257955327216246114895788150874026830989718406597093238488536558824581055794775259391061943275193078617656929052368283666329532184139470463705994597677350476344938251291257424305729556387552780719159104747654184808231364210028967909611483165395081897528283684881735585824968550403110840567417099799978664117800778348775413931412402822588182238116660233683795864362458296211795644759806538939727557244891785187776333222032845609747202264731244660306330585068162884192620693957010254484230156220574808915027204965201024720653054264569543402680547583595857860557008232398556901930203655523695742288988906713545809930001725663052197757988315885854193030278410041458989072817975412703092353606402197874187370245526209494579776225934861355548296320083533702110062691628200368838918416141416873107883032012866119671636627340030686182582838741375134285642985035978307819745677542623287056779296498479685729153494590332073946621463376120218240656341050916059215120706314613827513017840031663271121045469250805479876923161552658829753123138674864579455663390758575319428904197494112534907670252848116847929844747639912815607370556308832448811099660322831454059223206791691183346970966190993497001553498550826374812699466116936562936597750934246822662193614116820559796516827236256437924901491864008958114382312770837724196571820771518690078180004544947894142316706478621180743393149383185417680922247777133774675362240012244616086257730992783738140604418156707184082835256132897133761474121780889450899618803481042955444419428357622214553625381576688713656774877471186586246711741670152886099022855306363593052082562536799178314005184645555956915628124589669560406345235777940045577210688012831610709160686053353920833446497059829006749444961092358815760515256347684766292294299483958341308587002992543622067071491639859351087655920531550313473527518700823376241882806906258934451021189164123044537817603460886433104232971885865555945281923188281611680677896908315248128222692445674817734479194571789029792020297552345216990295671365392290543279521642662240064551277954336017577985265839279012363777461851037131045823689191462601008138362460046349996568303343112379906085454296719593047673916619749620088574402910900541611517524257941855709300307498496335597906077028306600651094639925984647542251023809443127121818422395752468737500835627014450009436469741932168609911143576104679480263810304955655199502771462982491877724086194630682662195591841212736572930022475762262715084673444002966168845223300350381846367252594447817813975541446250768939743195443011156752817295824605657504374094783387115004975634640802362664446419550281720725868935915165997779743267603835539693541138824240790314773267906966656502054695273125232654260553370918483673952892126262969361346903316105267825439183689013550748334392757056892887860745961501360724240096760566204768406096265336070890846070026422797840447188075120238171708839187685095923532486821691137620981269014486179350687999825859742598493968963079800919153801122432976427252082019572604446384258054791113905328556805962382851903242305950107482068422990111310011118370388041597074980835499168636148572662471927450689188743586457368874082059009360130899421357318910507132808366542492007978136379073103155929942818598071132424343757261331551904824739547171391154886042343754103681124828829143016874573799518207969761524484189873002860979239311578883166352996730644213860659744146852425975847323349744360475647946539112039022019620192750752253951388652955043346153171548005773243483803649363694316986205010464490318731388747692491884440766951306827555885673871226782498164540444011085559595109027759478993634552084081513491377895724446203890254841350307291376477899734258335531981832619828178948977373622224858205709624470238831690345885667833760943768532669794712708249735455786692177031781271125552862021489079986020412808059692903975581843947398441310064317970283489016547543737144084884020828556255565916542300510115758800805279984934387506562299448938448083192527532803999364677829394531183533400010367304086477049598158327086378039522910925480910052947081855218462909165727827243789627858737000642612906435829653249772992202120788561746464312358628913528567779192842969859316335074533969463499099840055534012630373421348812244499147764416975820413080461904466379117445880189293485094023491448653085958488188198690122583664400733481028015009993666617569023043436365148825298257657535351217362813374093184858946385871397007107207366570502040955035655691861261094119617435067886711647419432693589106753993337083267757010729918265485645433572465101632049423556093851240721060211869440347345402699272662952763259732326567162283597582597192320208815685057555393771985939701611428435718012571877884694978251479806544917793356595819534133517017683661031080390371587074274847784142726649996442025613015648701675126412336801136992115475975669648894451906249577275780018926608914131698728792974720422538545616286661808483521285209368076916159856593476135017771983067191353222687663679218834110616288687979408865364877730489090791737899071294913609035477887056812405492326053694974573514471027734798935023900419721662556182963247751064374355204134318556988880676499989970439665672495520093623609389410967343104247419029580454772888360793930386437964692544151062410862694715581181181662786344160083977123706233555977098310047570710525046276426309240315263329334330758142305881448261315167143098120228927274863267738996861549440108207278674730115581662287254053129700572286326947053365620019464510144569078336331661047620535096613778111257739730402240572388717794341811654506888307935718146001395634084952337000272220830652947805820080655331212325093113417379973504431537219385116454026756436608328384888581362319212860940929991427352902790091392122417748663621829473342417662380781135014961191276893987486335907530697728300824226314885785665874584856899869332927715614880127474381980785003242692991418105741274757747305557131767272949218751
g=6
contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0}
*** a(t,u0,r):
275490
25
*** a(t,u0+1l^(t-1),r):
269981
29
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 29 May 2024 05:23:56
end  =Wed 29 May 2024 21:14:29
elapsed(sec)=57033.609888