n8-L7-f9332-r3-t9330-ver3.3b.txt
p=4560677843572465612207689407983035376464937879478774671678793417622776451792839969636011272425946318012457643258500786063063860783553693557581690115419093924199022757132652407964739394787742417693596151019855129216707408488156970244583573596346024072385060427427230430365488012895742169910126769639465413789844570558648373153469108165107073678868831786983946998201672503797358692699794551838267726371500452330206954116661240617709757925590918502337469657119196171182497616353346103868629571694383063865349252950831138004920132722782197219705032832468480570008184287440722767831972277881723982050324279154873825956009786944843086998069582679947231506521261420177319589644837226111206004565452848124576377666517728197469287755608918463840878503482398247483074292809518528515725676412083837124515810856514417339409633471292411869177244746399560499695240687415483734714330421885950649403145721311823326977812322821197539315952213839586268736719903103840965528150897591098601708421156054080875054506857945831936511932001790768638606128323993681500910334914643681350884582017918237250814337349322948946814834331405328966453009481308018844166487526322520963260258055845912539730974888592532524235891995711506982006621902714286690320546445489882158019857427905316849469764393755906388415969632517138975715707105475791023556495784243022075526197508011484041388893864428352674815880669025194015398642346874725117064843077241036918455349878625430472986636816848891783981017584563993765363760297201425665834292802846473240778545128030994870709605916935315634722766253587534628896776894631373854445493862850223101455145291209542826182523747112507441882298699059506722493416976298207381711744664300812126701457663004751256788892901636503793066403717620833192109502254783463941704591088000935209972086972107928040475458529337616932775499658084810674265406411392744417297985853666566875445788405708868447293492898558629380413561926823775345074651376878195192147839557478822755103909884835325738127752572286137398557543174005802651820898705074406727482681034925949919664533044483022591356371407147730728190772907185777446358258900564858964788337340333094422805645155148246028618843124716481049833556889727896625606057778762013347318884897983210142656950119996660393041628545771910148878169233728445889305290282769432605298157031025219098534930862999779757640481964872406400563561607199779405971756477217371521308914886946950366756715239507321716741318499958792248278233234012266324253509559698203903175468042544217293386327722099840778948591888648790713016028763570893677434285030658301300538814702432825546953715416856510297931071739745740555512100765333305229251622875353863253298027905760174540243624490229691488264907890677697870608431247101861513433300885554985959306274342741150944712843689791617542039300990229998706433529581354501745086085397146733158324900349085187654753770510204276914423149285134593135036777188532151495064347477141633105968393102777868611662950315548056250313798417785804850765466769403516979592216882275093949081302156684841069077367249849260735103608214006347728661716160991006047194698911108072781116998399872671818949870388484951194985646204765077140357019051028106420679311519483088554224774300614871920059836161237947275670149575828761748146703516246662098273886648851568730609741798186830702029122053539393627826851466913417247307067286214248426601089580396403349995868055697608531474646665421676850173635895176882205903367030047134233030803727724650107660699562695130699278564330622353720239556617856648427839093215202115577159533014200036378743510307951469733797677338977112533252989091183923987045252761404747627601355231112898145398038678936456284096402367881596319564022901620117322773458124370497578974160832903150791774949729497794899528042444482515629733999298462115125559781011804360456598483432625662330774470373194256387133034202279387500409638617355561221040087910169819376136257407259074952095439924463665860394602980278996366549104854596985191169014048941754082735855430877396935955546042369861472001977797394515880786066341233185592684517356243673751609760020207968458932837305107468263353975246533197864023873689914097732275341485331538093864241556565154078667696621508496611541487544302642717918196056617109583988349552637210988754930304019430443935736152655671372794542399153644741783512292708143725716226466216739143429093444107959285670078959677862448290872335178430529700278766191591612338044859963457456311060019280969076736205608468594822822642964614277791887774216046709643873144473351289560222659632171960096445255560548756050170463061782923846018583410270115081971153802041632306445746140502652812819432987046585523312787732185454450570534440499822850002041280610429184231352130127730858219973442302862877014668817900827669394049435206359331822808334165799814729516771977549102507570232818970730217921115977145814585196397895088040977326202629406266404192968074107176955332223727105848087610266717144885794458255271951638147881881556531929498783181353507596027547617593215208818738458783442870427569329159825484973150212784328763853413758495111785740081398134276967481935104267023242848966300994734381365649926684491818566408865668273102861257672652859184213864813493026457950835824424649863411581807547417542666190651362992811245094917766153023220792929634968993505538326473177497234571731859076328587861627085392319225070356718644291606068534537509521568605085644667747147423394844896625287569696092840478831390775313639916134243973713177336444773041719826671448229705139754451261391715101756196691859743655089144390719854150761203540689652411182548506763812936782861927202650516382520845466083804283107472374931523269323403098407225521668191202009222480331978650087985921664409330443848381439667414056771746508638383410997925288355620137293446165052743173569414252231107344260975133876477252644100848134233329461018682831606739617432995520709343008368164571061981946780559723840140286750685699522022969838184767878433306374789251440445489288153281912365025590360064924022313826965932656232393373213623251623459412663626187557571813559975006553726440222614206699694925387963778700313643623520335136724401600580918331091740647798009053486371621101306098002923380642763701688130831137582366936104887251614499883771777836245672893030503889811247405668722271035785422082373293763786998088801718786271537691578444351662877184998355789804074884271271244185115314641443204766192876371532779851643939752865019369635211789708510302113634736431832955184005939875764879206893661799369886858276360913764152155810821256549817385510802479738024951330652086392823350479158927720830741269840230232354693423038859349985749043172123345527656660976846822415454015189939025362236979112085983752115108962985658191644794160869262163001251969034711218345573181954220967109322880297957319491158095587897889320149159723838699021146320385314645923794617766502329821324071797261945977236595286701252674187619452954478816848482039719646705942321353628869148531406325063730304804112579274724482607616896595837888809616893583173176523026949234227812450904295576742688992252300913610685267086000175646528012507259446262007808333974304689207419341820126940721925360536922360091928061384384748143238470798528619369031119992726056790542116834468300526564636539651084245453178477925081131327090869831397748829502135843592051984554742031139466955128542979627657043095702889984114330639399018753017172926366959444964504258522700286941333239170510771197280532673429231419724105918202524350208122027774018587144174445840125342639720741583868628144628397856350730906362481354246896246531577174411068835379339648050506664427997207861136000835158535389138059596763302049692002193787584268087131977151422629317764665313131091721793262335002726326882474349100704856437572406552476576074090623674297141386326643094980717794378744699714440351239918269375110018541685077976176764014067217
g=3
contribution table:{0, 1, 0}
*** a(t,u0,r):
119
2
*** a(t,u0+1l^(t-1),r):
119
2
*** a(t,u0+2l^(t-1),r):
138
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 30 Mar 2024 13:09:07
end  =Sat 30 Mar 2024 14:26:53
elapsed(sec)=4666.012605