n37-L5-f8849-r13-t8847-ver3.3b.txt
p=11344884771235133854705961340164537934257783429009449640142408598783985364675149323239428226738535267224508563202660999020621159643685508300593306787739536033053297125885875295287715313097058080022785239590288317587113703370622722849114216986810154828853354422988421921141308192153741459186783203272675058771526151848228521314052900803344401857480860204791134582356726111426999756381498319964109866885818770145778968433522841869348311100132228857577412070999382503129130227803263621616856389919324480536123322521836444640171172306286648423058813983319371993896782910689350117280025567791438595503311139335266980693918059654092183143121507353027897122360303006041876208173236748429406391560023051367043002844318560774932967705816706445688878892157173942014364437664536696498315873004171092236163739025513061266261490553237075622753957603282751494961570648374198085803469971728003023651990889805183987708627145764040700437258851103055681389385311207899801735202825409038044741674283099146672796393409958329797368132173720355200742573074131436340775880948794878640248815422936498596367465348267698684169217245863016939081770983195959404084448935158760108246459422662134045096952507502607094745229983021292547153491946063491772954185314399671483532480076960099981312278956885157685694562981144134456460319770338222163796837003500199687864530957353328306615788425761628225652459162867299990081413105766659240918393003966548338605220664085339620900674998349348331207559645001824436908130653698074866160391955833625904646960549500268768720820433814554053090951820887031649323772998046418837806891622391560268345809749744864258176663225326864085443340019262386617103340977532562212110756554227941289387042917924801900161878706361214421879744563256662887766940545066739809532863026582480201280579481323458100893457148751003479192052567927124248023434943969711464422203426753418896319875346527150810808220426219373926932878777891126018831619956422790863541054141361266436575673052511414441113158723943352419517764621625022830307051984763251398112582297502492259339256252878184865577048228779365978585689063995359645560710874640385651457143130767237417536921635134828862008639721820276833268147477076933172924013024296503005953705470326909202997964702571510953565952798987488338110730546554589244446614437042529132711882693529137223913091529982186361247569069193618964802920605536917038515637059051586690417787262272382439814106285903675897913960633384076471769276008469682037504537927134163865754011716128029473761926704894865216111046107978330586054040541634004873276626381448877192655357090172887733669868825363080398747560501743424863919398619462659238061676131849639489499981339041712594934655815661649398911760632617124451752723208488949179041982721160850244082172248158000935395993165960996649110065499747619748765192995062165890931936394497541822030797143375580991143527800390374673163185363770501906279254642890360883756268256255477238185268368199814854865094544891609472281663120808523802455968607515233436112673758156645309930468067460958643918366636679120266204588898532100099264993210491175412097364488899951310934525923957959451929053512035301341180276320359069905827671897340045732445038996891727830204782829083857729664396240783426287193096845431802425599209470957714825370366681756855101978162406616591649173771749268276429685513259744487609136265184462815787877074863489593156874814499462221768769888080853331370273357205015674648689844381888639963778699816526657952117522458545232993492503482021074215727852580577724311073769213620806791261646516035450519788228354142405755863841909556448640093526321798549291796499234867329312475253657488929175157565540790980393921854837277204926192752983618842396241744980306447533217136840798686071311425001755987172133732733619640768362589164258489370177202814898057105668585126426047011049094925874095701775929777538613069985411278042444569971567526823680529852029556807505696850555211853038109459154145455683164779560206400986920363633290464368392299647953546282696367187424023195234566216218292211077568664981099081663408118370479503179573345870152258642706442217278002598643314866616080465317540070397614189519010264365015123616937271620120693507891887737858323586867037441025610322280314437731751695740596628500552534141546642993250210721346794581307717926151005806640869953540471878935483005852697135272273371892131058312155806102930461810156264189971059427461057727249629768378419987760474295660536388185966804926371903039405789977324490687352306595118342686148360359734639555350689311508406841389060805337253645825654131753139070924018097888150642302168826638736001696632790323756588952209425234294711226747173264546506046078757301929164445842200873088733468121234485450966767774255770666385983454526288292733278969608070446293372824504003518388961885301162750806807736145735593708978062250765848291179696594550730582623813705936608769426488165918257391888902904785535221696655674916588778204950866040506402449626223228674673970984457451968998385445295486735794295502626306096614877311263109140974270020698475522621142113178505563874741810639385838302656866410324442738924202421503876739063885775977806079283999041983915374833995163452044748043643501932896926764560619474221812616971126928071075167928109154597397915717803181496425466367052506812264145682816193587640296179697485535904109098924106835101687520103576131284870812919776534742096081642923438048737046264549990092941258702469513518713004442152687627316042574245609343962881970214971941910305846256014925947351442581083893760544585392120900971901547334259845175337191166616642591263882620935871824384798040602090950472883453004023988671971228604406467171988884996408090864329351701472995675832778955399991002134361033339947903640242723635127040947083762004787625908205411968345954190730524819510822353095742069971150982410754522010948525475432663902308783884609258377221160296402045063499380426700576190780149608634767156583082761089182278862494730965747503808162130635494031072750845709849786955341618829496251304653199021367301071815079621794796340338782612649067939467938790828787446049799596642496446433991587201537743548183283584518399322860204847529530525207519531251
g=2
contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0}
*** a(t,u0,r):
15617
4
*** a(t,u0+1l^(t-1),r):
15375
9
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 4 Apr 2024 09:23:40
end  =Thu 4 Apr 2024 10:22:40
elapsed(sec)=3540.036636