n63-L5-f16519-r47-t16517-ver3.3b.txt
p=24314882309710716127648332975407942104785017269622379756597442419494002522696228049642640587713059558637161428513612242914735964110022792157003994854347403820258137034018880180612461651278955914681271145930880391279560330145763297575024472962937366360187839759213536428601280830200073536059473117369952935009610545376705259689081092460934722623366321621492491396867925713588905491874724433799887559759835842401789356156653515633475075091505193639594491608050370278056370790968451122597574459531257248416849730296822392855078339473650277972451898051135559219307516684152249443275087382279547176275440755849309402726276035907413124240227299179926466549375279961456195531720319101762157418840803344498535402950107584025489874165090839473561660343315298737425895599607594552282180028340799893811094361994811855866893556479911546998140721485526462077268475297007082435561908720297337516356393133550934820350607493076903999330305244011719647373830934081522525328584294543365540228606173560969497399338508081155356534496153813648727130480243354339843758991779599896684146170830488529185222539040068820067763511052014499010895706230366293372552374043250291653340715540279531801028863444022885280691254245875423106374878044033598209934449221027461464690359698395291736048943921822913409742376139202418088222926164806455122932801465281324101885507429202990794338363133461613916723472059997597183792125383896632943064433926857723487164009962791236210151767313891315727266289544910004231085384597783215135416261417438367899153675218627422807660831764548919392127561923162045302740868013389975616739019395834058620815968868290998203949526786612459933124191600458672038713156621230844798960681574291311165275331513642342631174796562289254727728400096290242882404838437054895367791963100889339837429949470420262553759172721455597074642235444203633540926016486756583157324158435895282719727373697558301395644844535543035500234073743175142857199873233887783599367111234104126822257732343953167150632897796223030469618930677903586074868251270340766374808445355928620612684238493350422625202422699551350244069281583194615919012213308492695817569146588673233743986746892805100535859402517049430467240453877476351626735347796572144537408213033705344809346088507653435490655791032983159428620901033735569638034491383772878121055531847915213296514573037713769394034154546533897346939799046627638633411525539291987009629581837437716456014921517777198907243096608203469226463307133871125093850077875810572935075511063475552784699893574825540303079030197916019460781337572607019314362786240534160967278648576173483967839244294098320308651313775820269598651540769817893206916185783519766231159485854090455978947956341611964418687557322806003057915517412328190578072325488104336898352943563954211485875911326628517754659118978201190012498906964753260897187382935165682901954825051528771514646922076874297228691229083000712110687439471002972715430991762928197553748144576444435231707294968970532385119043171372081262836594360957716204560737677447416638110840063043510008611237677883503259153640561735924444810236519903894531760874316015471362016278451708596617081429892658650581124993363887217326600698962980386196614886919724066321944288473426262826869330182681657910206176872755819261428262769351112952456428106879325369744817100838314887349982190644812997861116866681596165765832721658680070740446601755239358708654317106729923772133608672186320385228456115106891693686412233626365077469963416882266206950641742690472835027994717053450721098831980220458695335933542282039015760607049132871230526736944378838483477040921779281813805827623724035269787797138703938158109899422983476493078260051888776473285695215208413581210050276658776540520824888838989586512868850722266203252149739204623665945151300430574137085588047305638140156557530495020091663188879819217018141168939808071889369702365290580076317081516281286598593476330421390496531628186675622731443773299741260104304655263855889801398340792633094359140991312324707157013681916864628856925443841473279692224798670951944522988772062053963235694272515262919912346907253538871750813825248317556779870449073935158139053748506993335391621685870678426183874043543787048518294313366522902582440536664303646831307532455725520188875276373910790636332923889599271065866850463985430366443159720669507868698036370843186216072463563107958060046534257399985551608034672435692012609210545197804360700486817730969029455675723926774538734607111632096717672020488602443057554962858419361553973183542421301588547210929934209639865345403335496444415707862710046521054340252232218872765170033091048022605887666828614228820366192351876744290310421517434280061316783163528186876795772137787350257341630771055632983823709139391914751208462761813804169269749706104297300882274785780271170259631245528254081986768235056121018528822271741467309286529421134420025206838467994219298004244935712951589793918883437535644728354805516751757917321079642711956219307154471051584740438011393138414079741194903843345621960492801806758102694043391046320419320612359031766192651160105413265728544314008964789946596995246901978048624849748388631911891608492925343393424890008116492304145002159914943222638588159529715222773062301769400792726039630842142416621180973851114193143159772782097048071071399873698321245802171309278729934543033636005897436557129907061264123042746436958747224337525405893808932256307781065142701635095071081099244389198121332830191840881137379058456238087095451730029884868291554207221169348557266288764827087680758901741771280271845017810519791435204526783887710314927945697960974923222158078598122593124514957624235915565655800874648590770955979550870355728906355211741113962005289480426250200276059305711522608095975049323856371041621073753140116436233702697733236342225453041705601668778725380709943010760656296047776975366309018787715375138500398567547072428671653972465624697258746224507138447995532773896533091011479756692290007056135504994176933114476879134760336676483074801344926056889679779860490406502785387183608083443404297880926090464453927931668312348655582464608907722677518431447268702240848239713607505934299013396314337430731626938248950122444516799295431519068567143769732512505745593480245627551013071188852612767689473539203220054629484618702674042114217718930402217910678052776898997966491914037932233367979205883705711843875564569808874388641114976534921866670334621216207813898744839106822979973756090942437823489359588314060858695280297269128550624256584261576847337460671728677624423342218691791926523100763905523568861045978647060027883800282063062809514200053873638618274823869903575977289120099773919013483706536606010913247077732424286614583070319499580597372628704753490517383548201964502555710806421945046289431620071509938562157809009554633708209875811061282611621854301067636570454651412072549671113638682643087763094874279171068309909684390122697388074258780335901104895052165265750544254349348936360386010727527735386342234555911508855943295694489020516838882952349467982735736361905193325480996011328107617397661954569156564925401049684848142932945338836237224477409045894482496573863041525196655637200954527270345382781802535043353535810914985128069381621890631341639298298240832473995365893048997804310812317719376361619992888164296557429881407775449973790802008834984850956143096599371803544479036572497873124388108455854483739667877322721680765213994690851547797968572776933794640835688155892714377265986771097008692648701542474921435412357010982463881298554714821848199828315336344166095573856273395257421208412839809288754344371408506139487799209460394154695053052098324800864676616554189472254872037811386504258776833615172722907383459149126301116900287110896662732557808234513255833064422927459428000700074767474690515509864684330232437601274309745023497970974955678713469687115603213616521747068059656538834507704912650380455010147538646046499893833816399783389751454947891618636172942058635320099072993664975877125167933202301808351103102349246249503365283435005036720619662207562463975513986315539156593183189572827924711782204002415033175922855848166897161346124077344757222805088132829221412505119460856112981021275584247608175617347342889439196847112913576909699308309210335102608713095106803755715214007009585003925056835573484307995587675330920503905002471681571286087638836880424125112531925065154287177962096966726857634721048773224537406743192981977040417806839755760258087812655583377204551082240640244997581550829412719326552888611159618785589391209112231583808229960364677886028389591200650430327910164756235966323257282502720154839701263760741384349418602982613996775741277537991211606490785591400229962718856891928061762492684779393330734016729455085314404884137190227465843405707270211294222384474622361311968115023382591930083726660554994039406726752571171783498881894530487059611669471165140366633720024731966490836358719299153141899394348173496768027347584006753441959841964005723745539670884303752682683754847288097158572951513734115003317121844409578454709395466039094193321667517761737319994570041514959294164749235132791402887125388662241066019143826934060352029597235068447103140724287606085171978721078575135060460310534973573054867336654900779956459500553910940816597371524503482014930451874213858718218891847306457473162749250488357545300220557526516607318788616599858174589918636479387495801361878896402249332527243691320902045926855079435431898430584646278926392240499825095132016685469309399141803166516666374816560521620293389492607434575328149880985468845151952383652337909915844912090060505687573238125157313701249945853288006023269087363996900213164256484836215037103592565542917045023057511768994654997259622648534341695809739836069321526480408517786991723577763690795314026728753659510355651010459271452487689507391228580958799745995202882182319133723727473649679600642421585623912087159074580202671626685574756988521639035142309408498635989031185578328245164623797381754384617569210962998041251721977819363403196709269578652725551194103733752255073489153784710305262265317447406318200478499195942468481103096365066666712769762793438645234970357492851788637093285193738986603176938199643457537362848645937107610379928421723745240318198284143506988319636319629430807062907049696366816607867640842887749231110194486357829535153424100904900874531840128154616218223771909642566164036474104541399662563990396962689097671843486029212287401766111745048491739351678130039670686149535618907704679184231041868950201317028482516707565697590351134417755863456856561102624690586374629282936554031413326749254985026582546135214461802166993224891042958453413637075923923635970907019821871966253117342865710382438774208814908778444362643695288388481279390299527996930087452441346887183725103655785966186481331294037382309685251635313834694950655089941497050976445675958873214481262569378468904939227958185033717013797622908303136738664460726500652955205620354133585581226584019804671427217925344958234210821228498616207618820634292371920922844225721983179590412809943835463821948120163132680932538250879927842887859554888705434138269395565592926627329632026821321648646692858267422052708078650908782985458988172513010783372008224534425383055754196000181536233854303001110241809810264006249097804153847511179367930368456747170331184323194686293901607881728187792221672837208232289890412110740715782287961985856730095078729252124790883851448594943009424784739941634439937568354219061894738089791949210372718687615144858869603225470790164308709790930151939392089843751
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):
322450
30
*** a(t,u0+1l^(t-1),r):
325431
3
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 7 May 2024 22:29:08
end  =Wed 8 May 2024 03:49:03
elapsed(sec)=19194.602085