n20-L7-f7231-r3-t7229-ver3.3b.txt
p=32061758195841691794779837529990908005382097523579089948936319667639772503479989735594972462746465358052782696559329023843091979161508531260457835166752106146013100244207968217056010574954904432353273555312804829849335501897620250335578562102524382261123641136698433323181243559636036767847282983733474971639104758644030973160630498735766994113016664129196174787536242092191920503791692697253627176930630540722057055473934455450322650545392770515266408357761543724837069108958293177380102018184745839011664803622541077845455859558170292656460806679624686337389592317013606519045136380058180232818978999497302250216474091276522098250099982161735716715831854513743696311117611744901104854483699390963606713549993055443986754687938976777791304740097048858991311738970779815342753167889185339785731052496291517309163415183218267875090034185827723415406269829825164305167324728590296901744814706660396767572238881210349003012838270501031855880228984447820423010639281894353838480088442383722423264138299648917347099084346271522034716590546166005009086358563385907919399015588152715732699534701331105435299171034420614859857803872355040147535677942096315382314287366351953159419760476384887796641256832049407503034495373202611638529696226633575520759067338804184763980403859907717513320804414344932997367304630770400908818480549827394772335340860284899525729576595826364431262153847609501262771348388377934304419344518412661518667507133597812412841003026110223120009008113657236950090181870547845182461788354590523991847895153919532696230758545947802582917589050753145293517979382599634732299297697838858056978041806827258145532342970884391931171620035708327709497672652951990272134813518172829141062033426219615110610381921258716609648553955933735701075203997257822793917474527298554146901919551720817436475842713307695948173116263977659807994259285092723578840660546877032305505870680936518240170676917168709968361801503543708207312712659869132704370053862705560976160505148320374152735767275463895958149125600939527042785118870851853670970237980873948526663742451587772670787309482658557552229047162606909506873509414093930588971362826981961996978852655799527989695612331752330238236648783425852578805064713216688837818390636677878140149273770596944228620196676752725929653284232071714416302274249273915730087573818180111314907566944272402969883978256731204302162575580520836423008430092132543549187888107901493574212200895630470657180622474918311849333995004495180353920119800853369454143161662896152117521330791726181837823329253995544676179216960538023895378063928473836036349040789800267117441232904076286175059676923384376830442748879478381129141027255325977841826703444785815029940999830752160555062362150663838712205621246329018106714328928806292808466391256018182548249313318930978280333545156846712487405359767707011979703209037762206952471498061650365749624142174234281047925618235239706623041212468863703129663049283875262923442904149799276884762413471504215559094348000775769432494123587054373158248697578319769724686550146163866370335515163127378473658200357548927442069123742048656365617567094121113837183712835882876548789589690894510281926259333380955230303285778252442195966323662685473252857299524368590321851525958689185649626041521207563567890436842112245562785615830107970649757042160088764188758220101184449915526036697319992884645419422675802413994423053356363618298521062891627351225612968679155380765298416765290566842871414719929454801732064467210513370537509338100459122766771293777164731932712477738842160679448292423438812515487522928586568204796825734774837211507978293655859943667141969479404539922412749889317821834933940918501876412848659264979495994314875579182981592279468465143601765996004568872500345081142720137504306556895539658402910474778388105002926700016683031562805610983724065635293936468446869729609446183039442670554856236328657982755245443316530117537520916672090497891316457713984670651460382444192957836879146838431456886564271064301650994943060294022129138125581832958419120619881608607477842667794301569911583748085537721966824168850021635726270811011299004679216688089974133039560942252667444710720161671834540889588533887491410642297125541638007370927494773294494952717873676661844346867918622401790486049697753943701271079703516486296973769518556496103635390024158604291001653934111071398560088417755680397623109782419037055378756375258262990374188993113175789254362824521879909863008499432315626433266597254782518907785277731068368874749709879067195411585192731315647127496415418423930538928063032060475766285019955411139707726470541973498442856305685542621379665108542341116865959531043063455822389555746205497239163192272463929310473513794938733731019632215760599640685392483990535825144442132155266756267567189550687986152344233142097662388571189868419241920779088984886861768686100507634200599263591417599154310706699453512027357530532746262680196287255477868178984440858313858823592192150063187389234406010066681072273165101197963541450135122175116000855420177232544811836340092939202686909059536155348929764957831070900980528287220343004375806588541541257536889948882309836508123873223698123309820051284348363857228451331391579681218627603470237710829696954674181490455127064323826174041069501299569227136667829686386062899129338532097968849499742121623200950438896086301331550297453287762968615860237898551073013493178551116645940218875056824120854705100528850561570864820781545004099108424706856867858908293018008575329554624711649819907532668613570253928184430426146456131199859832609587138003790899265331354839309412913320274340176500321659081279795126883425128998480498232801350222176534673311710910374225529032619792390934334185404845475522074098238368357088797797488140415794006389123356359261633071785733312246631169629999783592260457752331382326842376298696831966382661267927716881718082959367742321719563184682842914076571314022962208857490795625571425035681824427035477412390707732309481224911998939425827634014317558331731938954658774148326521777438456903380384749917633309660849530308719559805477720779824567811628358192263580521294112109721
g=6
contribution table:{0, 1, 0}
*** a(t,u0,r):
348
0
*** a(t,u0+1l^(t-1),r):
362
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 6 Apr 2024 08:21:59
end  =Sun 7 Apr 2024 08:51:58
elapsed(sec)=88199.611107