n9-L7-f4909-r3-t4907-ver3.3b.txt p=6943060268018412199712810845890336576122202512133797035621565141461446474855561377769342401790417629322154602721565778862796844525305484120277526847166885812608450197744427599980680091805179427857547967384084539898126100082708231913514335814785352829412149235814366625538837983020281497838136932492485473522610695360136898939415150450021021846782668911745775339214555843400731539449553114825477370324091163908564269406629358721528633200726572042562697763735763532813302333012260531166055595810852979767239825541909574964695664828364389603469581652090009476123223519537092862065264707232717100150241408572517033973665650228190440113932828084361280576912766890137435033284937458776340001543710178545715279852607906471071233404145306631164315894888074066003897988342855600174366686153401030146870533399802543659711598361516827692658048222045272284023110252508243431450096235136419649133027246595172414913290219799411311956111106571727347306243757900350348939097660390516860509893198481287207342006978094480369495565835531412598389892307172291872454827528354375845667943925377618135932110157117816337834046162135129699798774397773261941262642850869823835673349676052962308569056228028380905326265338837647553305423094814497062950644023859089232548684786187793059666137550089834682179329724171193693845444350028165427829579737567262238519447765442170851241275552461394121400729901493278785202219364377249232173351926960826075856785708515758668592889016546476706276571847138223833442790294709489612059217169330103063586828211574208118727243261063571631763292529221895406120233927585237306252114411280190619790167515599254057856504884170010166699210606508002807437944947780955017438775501910486097088086678634560076645602923709628088567224778986960014025670030399136607406198893537625725210304561814792195099922622297642687695253239506018392132229579527180938375031323282001110544329299243551308393356694340160226551332075122261602543236452815588422363560325200635350894256458978261915374895919519863858114163907393457398093923015593254909763720017184084186263501799295207725512982574470237635882584715924044990823520498637115413704110889984565514030185941128764149643660086821626519828621986901303665693594049498314385469756504988295769183175417573295858671277610025025687751934485177208521176762359680955672579391495438418062871141006852860847475144419022494839354522059801012583954253598546440162773798878575209250121086464621408238915310328972398994249088005868876407454054265624381742079494274267900065354553556586432805269258906641182478067618324953859005361779504820208022677688948994994183992124856833734530925935892677024054152470265071845824991162933290310371066213418145101964008403568972740137611244348257295925839490865979875715248828969898136252129308138581927622810247947930617400376455233243196110841196538075675647459131604477258917246739913278991601922781313726230103077509135670181094945155496093180250121175626490653232997526534551888472836911225534959872048673293903234385211845699833534405125975973365103153204099940769395965589695905609061761018447298624254125436653192643087006446262857772884232306013782005486101064899309120158632276343376219708556774004038246710544228821776241034258913701052723282362216823647909677836034027675366965584112081471689948796927710858478109952141999120465359890843647812736876425220152172505854789856522921969867442486015724120824926614738676426003804571863247002982432988427546443147891290990527600182756495015688698138059482715919628023999943640661887760401120263673513136254385816826665834701368629776851220265455372673964244137541291739841620192660840596499284472317074199954795971723310966480744891086255416901002848283272233157763888133329194352169327743759542986161727982092892368734450438128606856452456437459950028474360993772508539469013046821504383507358228935300233854449410771754700901418522783491875688572667921129062227084327893613047654349226062578485277964901333146620601125796583137209654875468192365355033780387966801290557749061615697616886418507801951966879311047143522363602513976508611855977639426184171822649128636566563128132803877344174950483832451321126260222867366280804927 g=3 contribution table:{0, 1, 0} *** a(t,u0,r): 150 0 *** a(t,u0+1l^(t-1),r): 148 1 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 2 Mar 2024 21:05:22 end =Sat 2 Mar 2024 21:15:24 elapsed(sec)=602.077684