n83-L7-f9927-r5-t9926-ver3.3b.txt
p=3223675432949031119051641232833070716743784632178109185047173392317456086116077376919012793826263340052912452734519628469091787140239147813354362798526656249452991394196090407301151132434670155606544657415070244750490027388710480180980298777584438361624458669739470571765504746033504467029139344852080940609813117020839361730017403539301789893163901185440828325616129928866023238894540113965462288699668711793093491968674214902957317172421679276880802642267258281857955095103416605492315032378039911411655040037497726760374314073678763181963731497860162969743779040274325908796418597549595916359932560588533921461175302092980871955473111355898609601518211333629145357293111621755046457721513755897334177246839271808958216056200648256112436847103573042337879798077350239851973719668641535036511924168779034182672138994268928801323075406658927306426875768356630533878547549036373416211553923994105314130730875385997064641244140540088585058448740560932900457240161264980978301560468267281222951574385182937158289645259694663342508742553070440069367413077071349342160458911843654847679884916367819613079082219151640550396003456463456323660677453993677158927018182479773477326323898906399756081048635465032564621494899784065222093585928089086579194563781349855302081384507589894732287776849867276282740136260509510335155391287265488910225000921536340093736687533642016161195726268040416896780769970642982467067101206009245308321170042474073363957029960830547289428005918137427120990508087971813582048110789621667998699562925638638179165613537996391687708527179492897538075231119451004517932867743228944111368581395464451479381331289158963627712754969995987446370723890407465015799509707384093295078229500602281067721458421665968468897572727358000481224412333537985261691621840981940086891658916488717728454929340885283418635149954849576178949694133169025140561904698048671699340794043336387882527119442306289745428367377990135119062951508320676915838673302103883013596691484228493749799085994633557881642828323966901830981104603919409456281161933784522773860923624283767728935718824513097467342304075422197740653558263635213150020100367867494064614809963989697112375118490020344166317789408130149333957824736387835881058798534560426683843072981365620255701847903297985842500668241114060742221682158104057192658428908288943232963930385396672427974570202350135740146789577749877297285420534553081238356851274359565877246423758651055668377681590976691852441919283754622669115854435087271023510197898182385471327448083558333879073192095301768819569489269324905631157631130372633745821382412788218690116952820553199614104158180305601640949874314312065375163673783735200463634338515322047700402472506101351818964924032611968072528667701443920295275233836977683663295567766587608114700615206218804365470017810724817196249097372848556182940997749243955397459746876169473757557563960324395222568203890065667314469427125989420823870003849835057571606669394534760113414214668515851219045044453860098426618322354530871183680342600373445414653880644801366992095348406302098756762753478625784796177097210651611859468798228083226589839456437060624472494625603645940691102690053289217285027239708989633760348336905755357250621459121437852714497751980255981775057598827990116810091080944442950087032993958270889466444935441775332259968470823114789124859926021491530063367748761539756287204851533972239374896681250988283735068333299500310986917423033415408092776746279754444080361258968084335743574754415770589654181299961710461102870917716908679862070213980188303125684251294712794053577429768417706627277953876817543428412454459396416629728574791762731297955311363151773494924327153457510968807463879629639701707442963265391525824909208083976178433103855395426053656492204294350268890745053581719865031648259961656007253482041230771571714112570434245737778569003036588217949424299264638472528748989721974823703491228394530363777279994784502166408569284849463682207946449002939353918002884898836274938630175779831905029893360155929015491878605141897269143315735698686067164636192306578652970273604543321931386366112284183747917858347359050774017009463701055962423413560689440610012523836790012079473730200458982032243386638172115497248024949508871933261421913655036045303172329408254817549015098649518060531362888127374901823240852542254608482383117822192903777884902758131702341214231256686120242936943773933362512268372325199438178981070446248677474129703323589837117273121735395824443299691854339328981079076377342061766988543388630753534934924153503223029665071185339552218739806610255513388895557291517142273101008306407462344736422413876820199844293438489790672967286803849854596558731908616080037388160177384360240715185255697101634134918154763656456392421232641003728169906301076406527309091927154202704292022450707069186520247828939067825450179604438062582275268358373296024538747065845307764064207417053220250601393126802358584919894322435456072952668354829725082543837880566937533936711989084216190740423280647944180576312734972707230612495901103173167150252836707325153363143694129364786522737901671607311189279801708267618482603952748944094978344543518815252339227320982061644165124672122932297382386066836227023750767270440111010394262221437646252614553814498242788122248032650482085213780718373525445840688401538963695330981190026602079472841060862090720912469187533040662908214480104767013293817386220637390815800909306403422630048178751782641142933602504983676173480450976503051878626518495903086978505594695942065841836170431602270642844412591229360207761769512794160857638722617505665500376941675201185402369312980868794560044112255039897243834049318078183731969974608548014523113498298470978943260097445648271043553968708531815217423723680077635355429582393918347739932746088631510386166854981977929063797818454985097524426422669748523548930287975247543561671237216857156301340416634748133154178323186623634049293746983814968548345745575677858854888000901955657677983585471200467488946820150492761784018022320830967051987745208506569815273331319283628165354744849437607245226997750168998894109314165444442045689065848828623682586509950485806901532850842493765787766847900638064499057129411824925041431477220036358169376882256234466995903137009385226965482411722260931427169883263931391598208051647226979063846506992995677740688543889895721699338625784701224053718322294519570154500986724631460268860681943833981608477782276628917832272243300327459193069440509322378271675710864126443176586025087869324306179276910716937480032447834164313592241444784936862696407572314209422173261037141617602353028673484389049835742916500107136032451211705768455863203008095050222689123765972038056794205988631921214557909248711797098310809527541304684234914446057329332541814560797920061439965246240049022379735432643475471985536112163089518976899759556357206156304042415677494681912810801556870477559586688769002099008068468823415122809524173905826120728339058261891728327954283713556094785726411578908235477851510836872237913253934190003130460044271025445839446542776069406934449395877975864252765180096446569432049591620114131623931931940768704309585685578866098858969663950287959706797358381349220442202770695170577176121047632040856413150590298496943517676238049594358506256269995480858968028964234792376871508875951707186532714872029377193742090658772225431833360840107674723619170053738995518382947431365690986198408108205107651529923134625286955884171396839023037087349469478704632817667148435781529115767711429903872463255276345977642557451154826867781835583245093587209240137241860843302861024336619046991849503645891548502794703302783549710072567435834354299901060122238115662498381112450223219544055642729793532197196441995925522495097692470968523089005413054402022759552519954998133420667552917415762508191896563337001994102723997679323400814880960164039486808889092188521286293842444016044087161527131297740698072540829484044893631683293453151777664146285488525211381820986247447581780095294923713941296562932656995780476716952928452159106267551438217630715817908232472252536666181714530929249801909860945773907170006797825863407461324213155591604953901260196293307419421770172088646611699285372461768248490161909554095214300264891034327936396765956557386641271425012126419711303770813325049864185806379809172084377457764838702125442429985149416874913625607389052299244879470388543714260618884139
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
703
3
*** a(t,u0+1l^(t-1),r):
654
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 2 Mar 2025 08:32:45
end  =Sun 2 Mar 2025 09:43:22
elapsed(sec)=4236.931373