n16-L5-f5657-r37-t5655-ver3.3b.txt p=37884757107373918018474888505093406478474111443595816780749030608725949871186874471859089782641663222030507939478412612813476704509661826686737668909724183272476102552143439214528636622863279165983808589175449925446185871632743875162075017679495838328062764068940791112972689804068666397445637789609794430297139045408000596395099650608730771164141846294416341281263451699572880244184036206749374030049525087808083026813222645699940665438295274999172363643578908111493501183207840479136403523086361297655908110877126852839007279832030605599120629054346815646848773080215942391721600325162221437608209300185697738129666267988711895785853272284099353106887176948048596477542375493826535165704539188560359748825894583999623700090035461540732563609560391179590210462938466243914183375781863953468505737923124557704382785405722213908181413221906338055119430395391334587295446552384550430413376722564869385931133215166375197261112091230514708471923672420851430110551760352146993647673954185428084204331220042332148763793733290729046206098887620672600237233753460055887373198306576300612282358470436579293080626502637439371185202491043517455502454733810014002892872290291121690782721705621689127091731637815370643364734686873093335262306699886332448217557708036799541511050200309422816138233265018510238620928606832934149547690793214760363586062586063566478386533849097873143022555628530891700120018225086386805480851691823640978571004055760806791188500801328100521635818696438497125748219318793198782864441217951647692994123164472655795815935828805713578858891600864422307837854858333925164200880573707350863831322609995511679124306351662506787599803200389781801331556393168202883584599679408605484185433332645492028732963858031302597281192120463837228455490413815321848770827644559069690781375947114151573148295730628893441978172604835383186159406700087956616047091732609924201195858401297227934590014311610337179439081050629842124109781204046688566447158853737531014238269381116417648529260446328488463470568055899904447483362093964322768238634769853540847525295744529777417846239066611940081162343571826298696413454407112425126443617091890353689642702292127864722074611980758590820341801745432353322443310223853322437867408891144968911372061704720258852518678378221011407071100810430469565642966283323499497658234750290533860873438795971301346143405665158425125424663925496192773050754077667888244718489595723191793075309309526968449262228693239205749188020972131888544805960885382217319884980104492562524679282110436059266545157671283176688946995085511799409173789101746206214045412356122011624345913661486452397252925813321205468168664057555664752830343107293859343602509788585188192275697276884659447130420842849861154548879625979502753295353939262172529172216958504797359792057220083655009207970182863577196390080715352185315543878635185151121248822194483601361642246407904691054863727258949581669278378222877868135929798064472071067318350888592113359562053224989793544454026474579368273417739907903095407880555492063230911396428971578007112651653580447245441020880197342276971408351803875906996651314615238670696590571961751029927381937672512098978691058308554057186913929957136670847981024853881982036877317699527290921738310899962299497463853377587011796881274402972659822334410418713865493822588750812208135441563763145745915788099277293733885733986660530132202317649505038234069628949389836761144452683472192910738409004662979383544143367173763620482673514645865294701450565834012969501957165230478240993901589548077530261871371635188763857140065731326160468936807503136829100689325688371599783035989344647200785374883031036160267887750240449543242598642918231146683475632821108832636446195486219324022501430680390352884900197178112340755893298207372151376200019994922041312727628401270900121068956551023153379690482030736521333340728628640251039934214733105777838463997498053614217453068424065691244143148225242967441772634629160165786743164062500001 g=3 contribution table:{0, 1, 20, 45, 73, 88, 119, 135, 149, 182, 208, 235, 269, 289, 297, 302, 309, 333, 368, 333, 309, 302, 297, 289, 269, 235, 208, 182, 149, 135, 119, 88, 73, 45, 20, 1, 0} *** a(t,u0,r): 67407 30 *** a(t,u0+1l^(t-1),r): 71254 29 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Fri 29 Mar 2024 21:32:22 end =Fri 29 Mar 2024 21:39:55 elapsed(sec)=453.049547