n29-L5-f10558-r17-t10556-ver3.3b.txt
p=30812985051669805711281156605405551847754235221541331382353836845733920378573790180005086158021079311501021985674624350461712712651076461828611124999053389370471138777608149538260026796214843275351613292958644595230466225950708641132893447615294743515125740715852546385453200274581503056903204162623388774720958877235888166086722077815165885856821806568591524463168458851273566321362615727995123230069023099540997424019358421023274820600746443780303003267274066841160992356991410188792894696959222306503476995858835234686114237972288290331857514892216213678656621395197058916434929719667647654412292295236485811026194842874640664527704117125854102254201206410258377566963087108219869296869577900308839122475208910792665001217662345128114337206052282292017518849079607214816381204851050548006456373051669215805204419410083591635980062678329669278458964860707148385145665420639662131605315342136065867080876376025697899560893204513669215827704454776099134264931381998193280572144261534785004492170222889614176914055453991806784459832520722271835203213613330269335836291386166958711733539367772973570594750573623890935045515849287011626579490373363243045604806032313581551218911455982859452049526523782481805353960671057717930355132333469644344811258930576916755245270728936260515054025235115130801814348954823394172197506210516626527180819232956788765009605523360362355069219523059011882908206033674621522161707337741549436482403326454849310155794561567010369607267332327051774586696182062271814750218150537927903855344052079575285744377781389320928548738595677358979417739988286502837157147322115699374962228095532674981421205597592163915345386257023493184447283608482390527992867567270164930948513942973133256959216183485673028429946158456956512229353565424130180520585692437286505516549043568720921611512366282099469548902094781414732956879013349570558768650197990500551847152788770712303933583993428084376911422873295108986651613360461122015757634884643269665251904828924914174249299660054137472003460286857651880378983307550266690514228416656080144991731325641188412001971298030089338522482915238212147594562024556144081791090481048498678822639103440172922675304143137122347791922039110828514359760801313549773496730519197357814994845968125189583796065427380245556228632461616636746871789988228980122681684884043095768345411571617017440912602797918793739266973071263099468189199389632818703311146806018149913124852703484282500668474091258755800475166326035239390517410906334158251672316566252898646883094162936639323415374599655555753250805153450340139563605952694258791583587993942478496907722963673810753908183756353168132962401401956551299254002923535835509277461190561883537414963984530731602225205499578875691209282230049566631407345536634291611838412303551511871934536842939695249521636669835625690262766767731178751534408402145548914843408344464253143630271002132594988199559340698964627796720384367313838759324507000341222739913832672109098592104569478860119591048948697213939160229325422966957064806566919784745822346298928047337750357732426079527151199016400911789328520101734489506773656927735911451647810401342274273783856019480558912921572082266766324445552671938270716421842260210215619923274638886290887483511048117145421892890016923541496266790459569742769585082170121717355774137213448266948135473623944142605323338664419673987497369283382523187846226124190030322287949591283395855083227958577074008831624581070047425280659874609831461209365779019075208149562426508326617663522030645934206717707871028428764972375218782676645910593299126053588621744256047148332501647345444771343948581935290934316442342050102869368540064002356712190388330548426655654887955639045053312445745630135158498416900007952145453997893986896485828162670103211165160095346822318968441279527742392634845414005841575800541668593505991818644497338282882897800418091464280564936023083689453865654592054713930119439042024927877155959663745611923786412290406056162399786220120646632610332976559100156538694007947403547094720935420688046887835837548604575001644956011816950625544597136978608596985860922681176095584927520803879654094246423298440234038647774235463086415557098558354513598850016600010373482054232345289579685870162738180369150779850199397931594461657988999693697218649124924704608849982268510649952960444211795556982710895053148544511824903574568883960479116783514928344608926047658248960523603064677343490124678368081840475268673554472168510175549070248271097981384521016026924106028052408933017279687859756435683672560657501928396933674943721982672600946204414723444215738874230630340732651620605344068952742028247443579305157517617226443292010560511658083560825721137198828681005123672757675089986474040491869284328405075611693623539611496791588638740992127208645767342746516833425325342265734020751099768013671994237214372934629077544564639090617448484986719907801411258011977912689901104178629623726965264145867506063775282834210540053034244887261505869933074059563347598926660949566539314171156112210721834593374048710593455029730954330364710118097940009425620066261137844895783411219758005364340083543895048158033618780188094086523652407560655350703690419406714370150726612750656892732542429713311648115145300434190709956045039279092536614796594373477527878945567693698295257384546549238442016993609366735954571863022363330093175797761231857250966875827332232198519660702521515914807076551145408916127781224869801036075397835742614745696215191180163040866196499132032559830342331537611986996907039559745006220908087961272679058816981510318410766119331884028554224861608966118821593562560526890053042317394668380100158771534540502729586613878651696281555405337459359810926708133890341639521718722469222710386976434766092016168391831885893561132403850468407781555221068450572044556082022926108553628885698711212911992228805703557997711326802801115311705018324813935464084710030143969403211802596644961825787742229239096858609064339304387247788173179876858136545770179782510374562447782450435661529408628759567920387244641644746285011188324111735961380105972340233458859504945878911534661865525600762376737123376414831013150427071682097520538276797262337864467118248871850644049392066037366641149617627029693262876728862095970226241085587715732687662172873092558712537797390265038314321041037531521311723370467707943051037630297864698561162610728451522857400397311127801704846615846274952372389301215147954093226486760389493610126466362360872582773979131611524500525396143057555611238207766596248470828205951073306268062024179632871415224497252785899675104413421093553167276483287510701165822929550021415484396873749284441066721091543497022953680069314049450618094372789435280537993881545511244597987591872645226443197004586973125392798743231278686740973234232955279113982133764575158438509086894352839790417682599658029365493160025165876064379412289240685119654303978692352222213005449329580455866307873070648002292098476000740432289726941012434577253171295476181138333042868896279247762858932730929305539793590779879264052106109820033786029274881508514142688151581040515642415348185248575313147967614577589782609272924492480535299388508922775857532862464309434900889810590428185753234959992443254269712533072607010665029905201312889928862357570561734648407481843395887565819465454814199123448547465904247244786049624905047056479126879602326027907110983505845069885253906251
g=6
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
17845
12
*** a(t,u0+1l^(t-1),r):
17744
13
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 3 Apr 2024 12:44:10
end  =Wed 3 Apr 2024 13:48:28
elapsed(sec)=3857.665611