n32-L7-f11306-r47-t11304-ver3.3b.txt
p=30522519170105183019408355336440748333611207179845173437027888141703103399018777313357861265443052035752373127804388012181784319445562713233597756074693420272529361384401199515917631930478417873720402269590459563123855748431908690474429881751843632347487527814766947955530692123605887364401552848575128595120426148381642172187783040675122360161038088458334890864565204073309661990174984637024205380358553611015369091811402854247601664766416537831228988272559338489122376377928294971643438430145197716062563072857933015304422757544234434053873117106610589103465509467743749088275867507088048036509086863857879635996651086500227408358034686389381817084607737342605649076930934464472271059632589662850659453129525228156184127844263922934891052051714259769151348347556029813987703960216784816094617581808403505252485661503240121315367413875964959713716339490020730374459397869746440407193627087905557255504108647474714034595978597120603523146119719688001978271124644492286440786107293919566070585154445823461659276158284132473403090922828326253616607328733338469065328248154094861668287580891314059706929884986927054636472021984597901804773241917858193041581929213131986404975728821775440897667693814019217981988909725576518246195473511113708357539712517438586937321939705997062444947194277383842717952736934827014100208209354361987343866156367908099984008998423063478259049820231060351336356275362441010729310548276381072981991395675669675638891181087039590900495903136839871898099941851224581174644682643916206101320192920807710919397711564769699362716817834138798915033085053411912751645481733322944623135059795546718160502226600318985947474536652097252399687229710165912031005314238093707149371496339046769496624672278121004636563013355881905896775736747384678189287976220373054785102588221574407874543228716282822600846266769542682153829955861819300421694632106293882608321838767615099271554588672934390096507977601270416489818025255533500025684614707127460373061039907476261969766190033851941871342736799462545116534979034789783661654670302206667876967075633089321892101473259065524249395681170169478435069808284319438878161220131099928707789891187448616521635727480164411178089147515808065101711938483812927123461311075601124554618662283952878696838821061557572544711039141938434646275196078871902064805175130650982021902051471773754035840281692672011943153149794558976929835750295428076437761962205833260746271090671101813470766558229939247649792780151330275626670087779263909391670883232924420589969152065020778606444284401134568634297188991544186311044510635867859268535652971915832433149380224316924153534205393129334625365218620736773829170970340751191794028661564556271710655656252138962939374893434287595897434877972422969233273710882477685878792113710944475796538141336887910319416107183990420617580812207277456172741668791766883663845233644998467763814851327786782210277672890492694562579528836606087120354342465385309392143570540486139272395736241261753297473916308656963238515178363884204654620329039907979431434051625561653828835085353594071470151050615822778384959170690101558786480071519255501820667442073753732582805809057725093456195975206099707456460185110614474895554863594056833150783369278679339201479070667838621690211460020037826657940423748529512146764478821756588919425960029014889605557530304496815103110704722653388349649635755015888017066898105435964273796808219643760924337049450301719692480554317509428795339893928387582053090332063469247225192291114028912641630028451848632364828188666933069404306251464445214200260792589079183224588602404495958408442513338910406599098150401707673829888591183136751462341272148055730620867468178833262802054229627742467823617760017660953662623256064876205108200287859446052405757410826739240771310600739107179098793531804727111947018285121173909606831581275977717262081558894237821794317937217438013804677026820709366030473613386367072632288116599190824970120218194735743027228411253889048392838586675194843195268825452961685690787346667174579230238410218119974068909816199060268495741182780942118316652239400365385780427175177061197588404731256614233229114835074039947901705318109828749653699170684835474442427932374564852564466754894263291930661005738877394730731873592259010113591301350020048775614597480854768106625376807997961578242053779429459336762574367266947972493188978336833533678841159068290643230403430974785244241888496966771270405677409181286423342555060317520592009342467661225085433684775559415396682544517674942179047196227607189677752704169667823639391463338563044414802430943817848719944125962583936422092749441172474114560034254480751337145102821032918041225820474997971985920005884563122047478796149058146535302061994127714126812245873283865146795458720047671998753193240831381324925627834054127474796510582979803443981380499461359124710556726449406476385619291789540185982462833323756250071350866496426290436127951762784303979717065746616200167662471695270324970202736256906210946328881968352244531604335345234650725122711345961880755754638340679316503427259665359034549511487422426711821142674397200891721786515904083787112577611869979274312247516486683930345918649146222306599671072180966111368473903412994287455672420698749409023861455913404219562187135822848642556601572842808549582174784081266608729334474105257577383548254627457801788358852604199730005574127341144672827704889261795566629637702346850826407674524578723513188239054831833148652041716229597738045327653853450560468383426070902129310649745316189815924171889576409158667401385239908453331924193814595780127976654903672548167838675936194156431877158041418566774684917495237035320624286219642252438408317301698057569199902572310780125537828260239229560115349375563340000886651868321180468300846441269436608587817374336203479591803106960938371667917891935063612771563137142754555416498234581932885817056716760116176262824651629170384811714461779365191556596428303810832802719648531875585790980462920921354188689470362065970309226664672956684558225055805806955143031614202635748230950195982350169753668878065446683986809373321119523475310974181391744150356232846602638048769372968933176290998449364372514219347126095202907283395252798724710396576058832027554194206436974519401771927634922759908138223225919519143565394091562510229193815114890423260551889903083028409011726830869975591768290892571332656570589017419332106976157170138263976167801217039060179015403318568720983334704940155786696959736541031582823126883549538358778825515218218367068615545329201427381247114378713150263930146206911755765091194890399334109216320210017219577415569710435373787222012722875959627949389163253856436865500044531373191465782295131562297850622284005158625980131812181264443694689065110631342662516462618604943229109269675470288881506991335794425800634794375459747854133655620736715818171981076724616937800192011008954102941969295583226084584557185910890200397159988971212957388606708698447681809120905955528597527551082231848072817939929138995497309331238249666198427311205323748370875245813201450615528443745002621025952384860277996311909893267595941538376868594634971304222077380095862675283917143100528886542404141824463086463255073800397079682346712839494150244081351656211318284867802650265718109462054042101705854900457288629004493979633223101113231630111938040136711165680642215711677881225250800579026591264912688792256264175969859253555489732194038204248106467700102437297367406917016860802687355701230355433959616752459851985883386157517503241033824177170863931123165808706948302918021627648998807483770745342126130604178182648486457839845110198857988674647891564475878712307262074173379887953560476119963706023394420397820869236023032368615745380574922189836107724839161934820983870836570590715166673175569143663198802323358001960256891273181383204989530057465004670179822756425904266190247685510850379346106289596124641776823246133137979918765700985363956256188563508403580623535538192378563916626818887630352300299851156175975395571879309618683954631210241196654909178522176969651528034847835077915762054533640436603251185857095631330857042037883997811389790174948427241149098448028935966512307215010988938234118360938955433490967432010223280000496954649419853366599045375421217014005614839263667166993700736025795258670981316657648824667462522024918479590942954160211421235275599525584586877695810823071776046780475023107745257037386918826548270795562116869262486317487768436188834565142916864962866314136247573977999775095398008245823981708845001168788321358253980372880560919310760879970721317716321825045368759308736661904569253960725834343180908557157617507837961599248861430776994437868665508142527801656723333232495783564960983435529712984191049109269432616924444643295690347057420978862137372616562957296337385872605665205783597734056893346173311001386106554805410840946452387228319278779565773127665205665214899878016077659567128396359262892674301402744298127885580904688865864886686606454055027542991980802667782650767551371447703432118174781785475819494315861918332140550309775118605232058404564523269994146787688163918569650841531840698023793618485736047634985096941250986343947122566524683848471120977278476527625553082441683058087093144331814950461702334359070925632595406100222418925210167438005006600389205131893517612591457322694078301642575653407656049987453883170276263046906059254785852710645127469865117892783309641523949433376976650776010756448935028772558158060373874098891118552032759317270289664083647325995561698789752452033255466257959225908447298823402468998114150165609537
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):
327950
31
*** a(t,u0+1l^(t-1),r):
329574
10
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Mon 6 May 2024 16:15:50
end  =Mon 6 May 2024 19:38:55
elapsed(sec)=12185.053344