n33-L5-f6211-r17-t6209-ver3.3b.txt p=132507623957327251140550964975908276050840554707774954473350158090811050624572485119412813944642465759711264432421538469853954714880595855960224761311922271627757861208203543282759511083641513180747557427337094741102458559941906522540567476892092089154808365496656149100179741200049383602759323329001815385343598052526462895565509965412671217998578647140164788772688882910669912929291174204525638558928546368962049854365378542235877580277545756232462611370036532403568771715045631850701995766587452810356866159741776697339316622497891553133261687255564867071537378887522706630679288340114212681916817982030416442657732082939050972087974491407635566713491615213000676674436143795559695287832965399643754938870386055522158736519926274906854365525879556299629534196620910410634927130851036027616305934205656583165887259900086582387181415381933175104307259710372342369361969659319245117551398540508225649574738226232831429821746982069338248925176077540806839622911739963327757345407906654097664233662644402083611209413445621402529775722235259674194887323967255464025600982105575513097785606535849483917998929825599055454332458531849580673792714889876756661398362870110508628102642308681065360510751873547728710699656060124734967539382940704971923296516565384954225359409988243843679849471582694370689445355243246218692113789692608885268628576179591714769104795675091618761438282464619033334804619605305822352853990966211333558418456433793633663678682160160252104914975581998851537797866736938040791660454665775143284384151048665591823133631661461560751135022450365849748851737759018677651541529140156565735945464521690247631029790628030447060286736128993902400226438318102421488203275327569714568021003577542285636277626647326268594555545074073291622298861069573404924424239587185983359093208404818428839680067754356010089008493703694444681087344723321310467808888034914977381826578326959013463240322687328209402505285268703559966163419758319386296891356239725123027735532145249179472845399096581583286434468707663977321686238461166272872182063989815310369313123249964148127981599736767328373815953086516494975533319201178497548573835093252447829036779465121112216811060559485868458514888517969187064281667593606065819889983027436452413159582016620162428593211628403363008755357843832375692115861494437000934321635584715863918342721849064705414681132718390274391935189763150141030868672643399569289652286246714954757223659979225859428696710082347082313918718995855268570536165440928337247011927840897275686456654215803454175011269750928610789406722251437767255135444580905374985147076812074509871086748398601031746370238388266805536259727807199828219995129963107859367711535240982111458661481033738799584038225425792169369904219419494180901242576247280787287816859921531083596105377993436488872348662270421203796200574641705801158328994913454478833521763372871703965839416243937961252598596197441838985180733682336979089698450191564900646538458879176716403541639936492495684231900322673790024932487131643871666238427421097275757993687348813985456621592298860657986697109206535286060010870963438462676662570584155004015149268434359594415442052850628341373694388285792189416472932912504887895721392118596749036737547284471195369614467646331230288118133114310075899402576552950295394027563560907591937927389926252433635546149523082342276670027098378738736090175185614257727390278431570827330479912473224599949658584385989054907035456284721001486020287868668327156305245667481018639849182799972365736460731239918332486231636548506657048699097281876946704156468905427993160703215393016638852725118031980881409078787530671692648062995776662777251998920084643083162367320110998054408168329720528801224689503844112734613211979521856061248658662604669456428343720480869138425568429798446192852078031098404419358512961742816512813001721274693273359217618058365023553666338990103872770801343802088291448728276649332092556607350751461772313429336822629797622324433886926897412178781135058411748797067949126563738838814962130623748571328792559910663994379171211737990243731667420712973703795422829351913237209911997082174768725467001861328291737092770414107432022357450866761296323389200154317507046525280165987898093045201725447987583002463184218230800922804035831519754643505547566279149170817918067128032501016430622434172370560645504156127572059631347656251 g=3 contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0} *** a(t,u0,r): 18882 12 *** a(t,u0+1l^(t-1),r): 19335 6 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Mon 4 Mar 2024 11:56:17 end =Mon 4 Mar 2024 12:16:13 elapsed(sec)=1195.753128