n29-L5-f10406-r13-t10404-ver3.3b.txt p=1759110472815158488385680348990166835418865749428467242442238177876938424607086053909059970163291036935041441310548184768724463655877902040818993832710976240304005990858373027590708471686919049974220135748380086188699278224371764107818660815769561897936012147096916588549399988923577358139820128059363823925817570293719170415384372437471842391769822263799716820402784253691108725515112802266018795889476187084362338343972739495377884038390265571378398505397002356159373579209837244324796776932648664804746524806603953704831734472376167247890083967660488918667993558529772117752230222959109582830665921412919625905410693443386402386096782614661160544553325725794175947696292347086013314670322785722903019478291583225023476992359727780088434060571982484279223335154832548478777900079345377580563490836899809945383711018592716899734564086785369987751176307500147712629740582619088895748741726280779319158748383417715904478075810709956130781543494195608729722995386545481725021358952451750436515367865318802949073445083310497031288135516039165872374896556644679052249709651993746143720247938448115932173974794474264823399960451617123426216879017036767632850496712307606291441375479110684143385268650558487793874778747729934452441462043781439751955360843282632645029261298515967540549364318690062775125442475503749765647486894065705499221040687762015567524276017493287705593527223683416696828681308466892168378550380755997909773652224969728502695518828440936623058886491386612238978570000448229664448742817178925504612994676635697230509564792092241751299901013162044043614394014278073424509076149126190817545664377537229590657351289070320837531978378883988353920083058095732255871389627924541019264578677111618519172829195695845089741057858024204688880646273049744718523325891914171945409254424688405222885910195785611380338485713930001979941988521514235922633484980558500757113139824026401624795788317721661013303119134464652816859213271646247457032499984314569102280685092218955245064337992274219573969368225814595853112320212807315766095421711609069209438088328665945145718678038893670761314057036280016073667878496625801900435569514454262488814504337754262482086420434448645138821152322704020711700931699076240167670009196593767215863088651894585319993474647279952230530127288012037922359063560057753078225470398761130341531148115684402326306418377824488350961928176058240226359431210093394585825001251558629586467643828729628654060264051859931187026587163467124484883501559398100151150609117954883115805640931458743717541766825705782475699809787863842604820353991603672163704302390938165628402337219269067059903855024478671988472992765937917312021488073428885417864437323704884887441350210173260132188438854969322373012788731741771236190127842920314919629829397722470671312821599138594848233491289146247890509678160241017670076681535410910253467446977832929715274930892912391741446452987121749351632914521011634028602209519319649313203972430819893781071005663748919309066725729627812679259995160309062144461383950214805363386858711147497153595042433436095539613222215919052196446925765125072386616195072484877574193511191612025638568786643379671302056677358136320086006123292809797694058722277294225292160562776985635077885535209221771173816721997399535474877302883359899039014882237450252724297326658913154111538895938434073394051757768642020541511949814456463183392984804390634639722713986254477834411587009424233623679343860405103470779560743043635694964279968808727385117779558004694787078159542587302456750463400065410479990810239811969933494190635937084433810684481013319390842085039826336732203051612104479814457804595536690673351456811141799607819819022131379009594167282890515394921676685311940073366086000379770625663841243908871007622319155993791968187983767393044551052376433965742646134014508647224135394958371951593734692060481118409451560467250121545569539804052684085675434491266330372841149137460634719317041189465998718533160207939436085043699491675847811516415797809678084159121322868905190148643210871261672186477607995796805590426414551345358279994318314137178613955582749309361053122274824922498078171326521364487122193014724394896341296749407083254697371724134078559839566864459110997837565381878953211395940222695926152915198051391849653747103633385395339813469404826033430972874680219163114984753575893401815461462417671063665791987562509873751875864051660218777795897179327073756188712677912072281521006422566949363903339256325043900167239837853906655017722686569329099545739578162280192458198367903465141685479277016884489458227644952114496159417167231188854698708580061427545673113844359822663319845523758071803075982236748431401848289475455163791954926280728097262508028451838389429694466290311025762043534405506146065072417097920548841096077646387118513088646123310309238202640441865321913211224050086018474376782842065603344756626183927441266780381263666479279564299152533991967535545206600829594029113337219746083868337942005130722331438097770259368645476908186150884928663006125669510726008030037699822964624565361017024983599594196365708901568210059352413335504922888165531854730849010775763317574469851524514458881829903267998596970485095000054316230083296675614040117482827589640630604940110056787268131681634632518547882395286063207122005651454912410363649199673533396098635993054413087517763891091512841443164152726319409294000738405249873700932046779185806395425595788676352591912436078159715337330775521120478706103907438894532250933813829481763418253490963268994970812434801105412169753731667980407621908983881650583532160548157274980397541741744363769791389283605743052548552940634629961002791066148113736944870664463577507951420439778092900871253845315282258093900682002654921371218931505478742485127318361962707389362088160421530221594086743001580804958783243415181925753948329243146789205515197031651911438846516853272454139504503313660924556922385250591330479031337277264187818813258401331406078952149214374477004114257001128275588977438742275953124990440679583953302897914977120774739465712038629367745429244680839615014715526034923316510243993247795067936623328363339471934261055543283258700763249038259533723342835684800283979889104877057606957887736871570152056522476522109741104308839520693221451501564809023344078195549356619705673416645712997795338826410034137908483700313060987966403157940377243841000553440110900679542541521808990185350041853573865295346805100523384874425886553965852088912755101613257935339632188275683864190867722511532045122412307513078754500028939551478724034268584437632567358909787626591619460736452171232286927337380253733632623778747842534087984551607606445014158819988728362672004976231858354181214356107279862933023183953880741306182277620417069453188155915046636441722840500051567121313177068634768122417419130177961836689466462028987852839804511280894145601376977178207899872043837878038769866198579110357381046578241266717085080762944900712881491644460077953611969572565434547715944275092015339884741960014970963906186410393357024349813770318982865397664557210309842517742240215742482116363218813598360289495253668710666647519073052523862027126080869510054714483308206585960440215941211553809171521001727586694166917822295291310431822250379708261073044561761946624756092205643653869628906251 g=2 contribution table:{0, 1, 8, 17, 27, 35, 46, 35, 27, 17, 8, 1, 0} *** a(t,u0,r): 11656 8 *** a(t,u0+1l^(t-1),r): 12586 2 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Tue 2 Apr 2024 18:19:52 end =Tue 2 Apr 2024 19:40:28 elapsed(sec)=4836.699492