n51-L7-f6746-r17-t6744-ver3.3b.txt p=1096422925896586502493305608229790320692216895488886261406075854486159994758888199771535742442936440126308268099862686043721179625760833458647502111023516828484437707980164426078305608589349722598092286666212072482241060401488812234987514252799738547219711405931446841652104362319457757189104891412367334165435921701181875915861133912541066651352001171902008549762728629458261044858053259256254869686754529751296855543598717559068029281587275375966050508776687232161969283283169021628474317377900065017598931760392099192678858208600793918339019438056815928622140717121852274129192437903654435923234141641049622495365192897518903765023794513123959406028390402991901616720203609786607823921617379979675098328924047504975757679033874665765763274155000811880733246268812283880996890092884281689798112273500474556709472317604349164904668469945482726041918741334129493427248824312335598440213396409054582543417328918985352196369038344220343680917293037447722932817097323310195472233554459734572743534777647286604097884952629586446594666481666670944965791504609641337929383778589430873389761095195997054910860245133900589704933240838755187588053654564326962915657116307300168072411381079054486849042367012376124747784289878635921165516330095820779761284094327881387807162471913732539562534770355042435671891881373379116609369046631860700405973437698937849477914185616685845642290378359687656778368662050200274062833718655126160439284749080299744722792132216886624997029495380681028238431055136680311799717047090111387876212154725673241029828029732793707173877709658629843561997752436320898482850200254361158308282988650766424704158927050997251690575837437674953980346316563695128743610895474282443561837295133086979418729862615669608153659989594087783216759622390481464338828803935007298549131509158323929284198358996094778847519579698492818511946192196914596297445403417266572476037975754947158162610831327317740775168140641699927036432640479138002685582513646374188349997843881184147371178706536912353948060466397675775754848077826232641986775712336774139283116778903747374854285823323252470433810020724715101957525536773282122854812630187315302007117647915941717807557281817227805787393221415542931459994829115324724515423396811778270872968515830466066758831973832541755067796931898033488687226986718622273243918767206503699069714761759574527895859875917434499881464912328130342274244382840426208271511700881184233588010771811982172618532717603357327290297773732146116003858311887764338525642734257493879014327326400491819074538832400480144020690861916408898306689560820527390459080944719944749529827460147092790709035750189852151808687359646102844932624635633871379768473033577252578761158175230801044656744691289034684156703360896686134717057506802956142602525796101383462366555359516567497629066070043727518194861899503730931696657603732207858203026995621898839061192994466362934471751090200819192586403586288064763924289154422212795929614003467915394579463236190550606697465353411986577345215284372079116545952291919149898249930644760326565164130930374469146110444592882639576744790394152578575904124741979778796659363724975439078062986356555208118443075602116455343757043291464735777148357336940876033270259524224638865379303026232544277338596992479471135105223364535606472295001534461229153558024223308652262715386613761408719414800045438386077076439251545738294682243101630249690101162987320124918302328516435496524767188388176537836268211110900841696948708162778258654744594382323854027695386229136565313440305904545595939889696690348486971476525838518404134847997326813638921631321104228301842913560816756813244798269472414502011418425313463563482718508085634307927513386418963618305685963479720560001083931859153685069366712845838833353094192687378856933603307908236868422910048961312751999048854273596648746677111904374889296026331535438367507671544151656289513317144318024299484506152704668433817463100824391542254796722312773182867717586765294423762283678920768727510712882203843335612364492628465323356617299783252604068258507625874795311400108389863580787545012477951699592634637689302337724809394075047334894774272912243171461463247582868011709740704201377608594713616839648198617453790158641560321664060091072834235394227108448826622517180120755993071047281355093859738789923388951400668544056522351956011514420261227004054096609747458636297901560837899437610518208421528454524525582059182473730482904785574078681283957230056380234859683228292184426852296243945179181201308559367737144843085612931289407252029013720135874524539976380834609248657002255005800322459429325397077983932626961542205730544431762351148420383280899162803480455404614598603478569088122104018954573009833870731725395094625284382471079127287507760445257987833749867455949278219822794142256495157409154048058783174607908579480918100332800242524125005821145152325754851962584335153360784594436808079410406946013263266641774306729039314625777801727402325357727027090027039386356885438974255962827832491414291567922262492713615765673405768270993682674935315424286617713241718470805768255956157244801697198265148107075408697517169494444315439039837004743004558922951763019588389526157175518299089500059940596267534610405505967339380206276223364515538270121591108304400058800189190969933267604920127746693892360908529856667903243911677893471138821471616318523068848184454473917981456669962866647660047669792342416242569114996313237699546062622401052570936548645235979497738131800902511504832151358899106131640716915672472384771905454879665746295254523501467043277087648002670758370392653049612688634961500398756589337346472162516257066388714139052530962659598841877857363714750982872644822289463097205005498924466541062312199 g=7 contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0} *** a(t,u0,r): 58031 10 *** a(t,u0+1l^(t-1),r): 61018 5 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Fri 14 Mar 2025 01:10:13 end =Fri 14 Mar 2025 03:21:53 elapsed(sec)=7900.441529