n72-L7-f3743-r3-t3742-ver3.3b.txt p=2292589322837217404856224580461455899501414269133147068076064148497916401382985568762144865255050589543838065555654121781356514692489140249657348635183058494527219946253889412108434275561365760766939918851554438386173499458654442421001031820742334015384164455695272884759244007893950404671077116024178105340493702279579236339175998611188781725317864190492247685756962291225594287922598437292296237379462605647528777092469526376981245407920311531327948315553993841837585264477630208438475354951965069974406426165142961945835907118812697893459527600018528437188727656435331445952110673584345898087761899563900582455655451625055964258174208607723016618061503980469702387318288493997793460018796690111320363638347820292469648648345181571897806902243016291164437413545081340127288335923438375935002269750978051772856614603833353973460756519467596314233908699134608805681236533555768690135413001234662542304250623087398017740939676772602488881257951384747482924214371774495044921069852540428073482168987512138114033422018896156403165456943829963090126660339690947079008576237564819700765524131930490294083458253684455322163615527520177693560388385938890627724856103870736540106647274614915614260204775899347111809310741091093766865724363732665617794184032107190896578986965800900473473716168949333871813230864312646315306359720425621746316507000509203609278544933820797416215456509850345383406060322891392034747408185374662094008465639859164181651624196671070337348788048502844996517037784682813100569180305299877915804105953240364376209512321650558575651142288468693345526611001099776255012639335721840451406910781927468289230340558736982895941066242026565360826099887317994355835769139562056550901551137751613463380475361144664955871346530057048912931468143098211430626940388059991818664721258828030936048159015323409264631854599144272295299395648479632102816307495667323690811091977971892089990859996246582694533986303131812390446383190219526874737703143975501551997597814802549114618129847903500868570435445497644975016232310240622986081008281923638724976157161343297246405819463067966314316134790482801366070082135213642533657147822942553272611793018904285536096750194268256088878090400378344571681354679455089401592248986287038750545467526465719011271450750301801713839995454413717959881173608816455419493024065596619482893915252072389306563611418915001229108273800971660155895468725284595703065458645065953185851429169324967124142568873986789385357095565172106506748262879585795658565406703737969861790438410757691507444017640148398101932278109833593280051459190516146499673094570748073277337838004906364830840050963387119012219927985970921000671899822483867766586527470899738264330792133246173311324721262689631167696745180322124655012575216939384861056005417996108453410181886536607925799513757534484982702483322010629533142172991972945259051076975409922006581356439207921236747438105327497089306312125987309634765639716912989645516284720154205412450910357268093333449106261996057015331176002392347707597462844676152233627271613335093917544022591880172752625292225121737930050246823703106555810683045756333018077236401338152384553554966075184695950678454874097393 g=5 contribution table:{0, 1, 0} *** a(t,u0,r): 171 0 *** a(t,u0+1l^(t-1),r): 152 2 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Fri 28 Feb 2025 10:24:35 end =Fri 28 Feb 2025 10:29:49 elapsed(sec)=314.379682