n18-L7-f13713-r47-t13711-ver3.3b.txt
p=24306656089129013682716034885053037763284150121940752821365026703244703450497107390340968024456522396385005763160522191650428549650840187827240146241111748386563738636176342574760730667561845859563283461174056171935272778369854921920312788183312795471127017853261019687343514108254989032946209143317428523931461533329686308800923156754823279831909593852837491063335495783694299369969686769786794325113000938130371344459198579363298439773833879033847652592898857023208456673297187414249313394382621026099682469656881800835907270486557330643963208472792853030565671726606025601163265224999890150702148868112347535464393182814301305417343846128761008668493891257051247929560170564413857651142498130777325701170625592276714969257241948739588253483125556372786578282074469877736310377423159055752319952342192310323118871375969387283922556683112872861437652105795337225721676973941000499714646805269577708679573615329091109920879246724222397486239101649915446146007080485872280562328971246963007895918153123152889777855267861707604536792513169404120264363656230402723796896842385202827868716590518657188838559812644882774446012430690984771904917535765250545379266583776886504902785013899314125392560117536001815697362122119514184760845050128834348336845218899455017962622192911012657883758474282689683845296868127554888240722233318900159992469359541782082412628609952384738956317215226388133614367284939975861365006150687199774689695780051355684406080915340133078029548701051942793776050095265426844098067880634702628497373287428335407635967337086417156235123449851618720563618263008934872539320319327734973432309541413743697430653276978640537052933693447564556312472555299965832268189678897937987025488924289895937048161739687424212626009194620228825244473260206603254710213528274237142110633000310176043056039736610092914613182060403976554646060871325832882805130840049684336178630875136219645704880001399420927913513004587753262645283850310642536778745467921205136051250771933155204191765898394828103248937698217425728283991719064755868923667862979079494690498501422365085583232212311836242746665825772685701739456810064015526144933059631013879358698000282698469135347313112405572277495927828234692871714037424359014211819185556413541941169316807564464033684525955236653419604771423478231556565345955918002805057664208669329120869822369899582368376751254743599354731835577285297086581762995260744568130435070415035832198722391371126189351705858655535692674689723574208893059268157220801418233879649157165275117730764718249735751787561417421242121029454677534573402440268924407559921899501881231655656651972349675701524518714975053395839830221843292893005583337848224617874959597501209991888097101666928115283593025105398057415304767274625406321944535274058081543524968206567604463170495461040465279275347185482827244382380020908526289000278456790367385924795473326578507127225430082975699361862257895221200015768556040681439987776004675460062617300412387036777935903332238898120837667572963891787041864095515720536459190985679647799588747648815583395583060316340537344804307634518984717346964835377746181617643345035946000435990212910323585414778518168653733813719048146468485970714797022262444951294510688450645678592952767458757234749847874796033851360350932861380895181353211723405846677478234814709429896464195625029274238106878488826108620604350997106543781538728096495760555702573536839095077113009077505499415541839029342352326248830265376677956666851793375583129818419525360842308917168484271086294140438607060074579098547277554037185725160755955780252995297971287593745810549827466876657419492994398798834180233521082289348942266262310845617425934251778261094634295435913478428283493573932314422219879225930092047500742453946636065646341586745139095164715968242146512786464890883525704263245974322934030610894407082708709016757602169623712990683394192167217565606689289973387887413856232608835539830129904531484207979076617616669198207919990135759112808374773658292210688957491888206406413285118609175537498416872528139970031720782748471924827965629323313774456591596745962867015642338822138292482609482130517402403825179606574500594444589217796537178886132324849487870707471402297313089113295288980669082359460614167455237679303835438403024420908249610179124991987867357396987458235407445474883603110961987238880883618018737972751687495038957326168865008441098414155333582605770731854546886986539372291523826486883543729817880418490760423375577454270328290753454222490861666768382512455993882692824141315708514493961096571550883097638298244883611871478068217879162421727334886470819647630015304529460858550115726583446618239162521340749764961943634340042988951678551494331047592071631361710142781316716581561202893291169650590866824349725885014719305810324051653986259226704971373680656219882380005518156161909426453343595809619965392902637726394014485689206946096131233679260419949303803997799900979012674641243981414918641149476305161950929612518942528529029259703595004050463233016469826206627178015273308202855422696181255236765563786390487220439350984229903393904313662276868578167479753556420216531066365313948022385337722732682020415026374387980674454167240832848230594355975310978537507595093242873939769719943611816687425367395577211132698233009841743456070303263831265049910351502693410488279484173639043172804363753817184909267421783317053461310746450269252186184306959262186499584698913960011198276751721894059872414195300734621422357350141656649399572502114844062448505470021896049737934323040443274125858495236295531404711863901822381274905535710066124862435270474142371848288540495496893537118608402573376254364575644171342841232504923893405138518342663861792291469863583559121149914913048751527945055609467184352172246183446504753750321344345753200279664775293476992828055286829468688245130424696024494139852132876832501973891412630367627425122964365323733901865502178616774427420347910502410238951346820901359273650966722838769938503620666216873699038364440406883445081324962674326818709130280453872503007771207377054961815779953122825131812954046463236831495525725119454766014015394934947145139174001716035488695506946381446828637901590589282265730089933101054749535636961172880874401698083353948328366417016382527716030942467450156989383654819926635506219288841645210805610997830584868441856169988005704239834174127050793782540976476801059147886188745329011900111253455041612902180736153442755513267258201291719298014900796765242543211002098358906817500039912440704701923860079950410492103161991630835283609711999663061414723718555069502053569586053764382547180480362521374179462264052569242482369819577796566217417702617649255750977285363975303669779445513434028709164491625828788032083736344512355798409646592352939729449782425300405150885036919542966507404178656014090947630351504754395548257079413996467121640331466647672321867063827619585289415224167539996121344939159280671421251306766028486554168127818415398896764773773606372020269246931675666678827591602341706243154401923383288111761987287706228209210950966893804482832865730002576066520291625029166531076722184193788259543455211669859536686046073378092785192381785777671428863137435218292728961612162225768581577217105592403034203057995843463146753545442466903109150620446310186876351910803891289950800921765998027373731855549896576659850418124416243711550503678748156809065023784436306312019232695536280541479952968699953082772889459611159760783807774524493615349491373560009026231202944989769358547529110364093001126892353532571664543414043082698092191150080324107396761395798811181485756869294194370762607599421796062944019486684772284512632959452727328046349658053814093457980694903233579302308199971339306936297223430135196420124813343207271312117833627823121679076079303809342944366479051832290447729529481752270078100339987026904358068597840169032957477911671891115649695490560415404652297542512787190334980538545680439278486491041858281594859529130322035024999424240763470376670489527004373817078005585304522389456420529733081409619266379267604496821270893548910371019374917831401337156378264113239016412657240787998459615730382378914492523113406493897062158327127253679801502121152610335734841116639715126574200336875534561748916520610352050464553003645035318916895076088188746645755669169629277601623109005785652050503987193044783696715910484102621317559999127643433500913401144913543536934783544489378207633621465804358732388478333066215150876735399487785285388912275190208867440579002628191519748856506805712387347296465485230804737422910243464339528675163893144957050990240465416118805444840790396305464789562984822728447651623558118983912629842361709307895334435405297865662275697118905577885437275744094876686652966948870902907715822701103948335964604485599246409020221932508202928022602020225355826267055961662641655468491533826735232098122981828620741459180692135396360848664855447072641094760264578311140184216121767238516785661855254411604262524561924447149773621593489185404501796144345464381848874339567879208380345704834049942201346151978191824002842062740554351620569147642052408693907826519246608346690069151070866444718486883469110194184854424432939844347678131909627829492387914551298587979051923426075543010082264827391023249857607704577565067329193480055838246088167356164397081659567815712714626880773415293088854408454511942167205377019534520724801678551219400389990185442397096258750259772870237160410688928729198372640042977688234069401457777565773588132238818849950846876816654137658496760830618342896537552772800452758150268902023854383838914250109382530929792570629028344673955332852592144006672031108414893700453784467033664100701064797515949919584509071339312695323314394383786989616231620181886176042041858366397361656745698106777311453858509932911996318968278098451083232170517052464115908586249749345258877779960434248053155305672242589389090451238495887557046042363149680438844724956559569810889969331618438446582422178065871004045951508237329402350777441855280990707448672798323282036596391173828606299085392033597760462233793304352441712341034080948740465484126241646059116107888729835695964506446437978972469947160884562662861055395566968060837251804740829605764462768775688112788221080096982579241526944351298434498162783171748925639310307571799682080692700615180649948249953814534014466320682827375197350936904453180399968286832488533145427500012891519095198979719943519602338633871546694828393923330973746182958586405325531332051942424445038408967937275711115309259802891717296766510867656530658223603326046853714308510172428411332075410965529493574312929960258053162779202880761479582225614171949598554343463822629503721267874092948797169854825464913136328378698434208256207296597047049567277447371417828673413154983689804821208267773304179751620498849300786313934974288894631471131958732116389246707825807065535745497869719564897116435417211445496354010731435057740002170592969823621703308024776519304068492054980247779983980878319764021136252430768746487087554466544482714370018528042981392309957595026063675904690767000198725796516489301942830380103519822019529469270699982343853724913571873292341687894811406683053179398509387654557325774438288484966464726068153176055005861423875803990763558504095509604327239012962756191067204507762367432546872418257927526816692808903216703550224290732359532644725258462133464338661938602283912198799485379942675074866174882772707885062539012502333948278352566278227819614250753120430339646292008851672322601999282676866414242225969589480702368716907876945120472806279995609818145465982702792362868014409703515814653
g=2
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):
181092
1
*** a(t,u0+1l^(t-1),r):
176278
28
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 20 Apr 2024 02:00:25
end  =Sat 20 Apr 2024 06:36:19
elapsed(sec)=16554.500361