n86-L5-f15126-r23-t15124-ver3.3b.txt
p=717486994950335121458161406725013873221180525858962594517279726749730386344322862899077025615453980314714746016226017177924333372483520028048640634874310679034771614372482381848763739091979493568832632760446439205638675902061522947645382704583376016903159472857245671195747986896986803546770012036050466230129927706127679682054223555859374008314309404189344602423609853703476095265325011411326575082361779807351580982846361879293884728844798139624119752807325315649349678121461375433830455074462174567020228941176058270244931786290210819992753370736428004991038042587680880197621036467807276265169091251814804965777399452361737218983851212743097990983578494373896320060275643635081665188673924155183372282898589625944244994489075322512769117394209245851496969749530631452939003248162128412067215629748455828132132502574518407222729337203276522349172324721548319565091580021688795620449158472147952725756898864565401683670256526758897350137379074445647544638898980802002251236861209576532680528041271694122246885482337724811893545204316080195563482573032918994084106686573338040280398575227767718201542713116933819558134562751941188995308401567271931632189944584725703035356893817656746542050415738809070662933284170823084565617430132198932020916638264113053799447553561950274446635892525800710881647239280957872295427114096632013409940315791431988866321722756546451125755305482187968880407826590339394681947147903147653074654107139147888696682284918751906387116552732450985435463738567070185239378276059443718559182864574363506010153962829585917265377749649707007234070516869186049267796284342600263498324901711864228890541777735354023155133316180612614540362876597907384316154695611958169722528766703479634216046225590432178352409257141196011036968609541433458953517432575117063423748420289056786750144676929034081562283693773524793352292562478675963627680236432635298439480781132707939109015959587582868763992314854581062503764033172274189037415463116071339350259918043045620492628825689717879893696964685990268776928463221276759873433453788500921216496827209641162577555578248769490336235092335563917373005388805064510817328249893513729439875171827696370112869271912088275044825910148049390281718414950273278228690069564187057297788432858807791166430077757632181585860208122779522132817865926378891081496716322948345119772092566201127489925305220617109368396039780504539319780513126175196534994826952111787427053979981231799889819415073487678929912364758361147058443872079882744287970125193692117645839732269599511856389994122582283026214596207789235809149187173832194588899007977636224860319989500619959305325286736508817871858783370586229335673241054388071690075203100511057632374879944392198090634336841787254076096015573097752519202064663726209387525227129920316546107148617475639217199112997050817444169314773016116640638806471994366758512855601633740846874973263005163561000339559535927015445668786528615654107755028259395277714655321115610445593399794050772229860469738619075268775481739300758287614122666689723967223233720832905857472575276477936791041832364591879208849917350076245037734697915998473847126770836594651220309585859898162809287639320579694724614233883040216431542045151123907031679132064169348688817679212805665426627553698412303866083992962820479990533887025635914778548589058595895048431332374924016222589116170280687902139022480782557158844984230379601364496767166878706266727455775355327042461409273972717412175749371099452967135102289312239977116896646051948300425516888049066005299195846610215816760052885250543314402177504880407965290805342185675549071213741281722450836190036647242503272809456832414961614537427317986069102658187920387087158839071666037979715112447973837851321477055258938021515688196491654416080318689405782771948434511641643117345879299344384714631490365358342923099905360722668732435213223475430543802465034600459203853784632923216027506518232398830035204329918811949905292307758357456367268690433384658771823489721368808957980079702218630761610978687474395897650528451622289879254689342377926675740649461993977145838795050346698055304879942051370338693379323112107050619642327499082932987085316484659977712391602478449567912670096712175500146089674600679689815456552722494746361256104018910298828346431880122821529669273354348791697360378001187830139894618466561159187174105820621502837965164264178639489428920762334210407047422112992805567923182504873931534535036257807682160829479315839137724314715880432899503015218107842125475925499898197895807400920356907726431632486579083566229164803673609530915384078652323099812808430565568727363739099271510627925841827545092804986964841423633799337529332281463457720299297067878193855516579909366489701536139319376945572082848427397833029334118329289878510390469935215299227013097600629774609739869798627754320597232629417980630887065153258266749878693881482682611091996087756950285189119304220526890050494162479967477983643299723204645772583101987418274023111124646928415493493804989959577725737935496201865411871442192947787613228002173632887197760637176898252273778376086734435504911691598080475500918529431539675187807693373517367939078707199039445759941150001884068403275585952356805029542173604489093323575129264545224840184688477167702545192087978447545863092957473148886165503101542439684430689218231623992028941795807031502061837722426715786538264878205171352901845875405683832570953787588998887199094816019962197276741583097079398580053323897221441465692883211280331732193300445487212118788494928884556869281002948758483213508764099638525987931717693897218471497042438636036951245444907541814325867044420820528983883622754123361598341532735789718187609125398000753304056118142501920092554408250895957248609699366021662975594145234558622856999712374240797147248345876379156803041714192074565010447797905052281896739738167924226666020536975331990743306538877137451388444737017740916045239111268265349379452557798582624433007846445855876273116104328542691756693720360948381327061250418657912216238945922701610521153524275245018267079518862963609262012435834443221204868982221553238726959793270613655923824257617298564526649604747038039135860931992134115030814839452657599909454288580991744524167838959947338110786182920788117246589752690098932899519527813403025464054035098531712210049941396614871969445203287915596327166575001986619306088915567266451814209051862738010749730351823384920702059871539669522788875452794787173427862132129020468198354634406836203187428570876540074642727742948940794144917790732709347397275725317183943217310279334487561243336605547292378132139772232546647897538889428817967598544098779764579830534678321512393077513264713251422276064853030605649932150202796921015193295841660727744438149784431619762146196659301420789472742764827671763325674602634075135525081323813034266040130631471599037736581800278622798403323842823263373953698004204204985543952197061731849293432856274298589379140405939272286330035031043723631504271621363023512232990720155085903777723954157557094777066229188520721604884163396787062408400507103114507652223441755552302340943655532201838918176231452569806236306256355515299701927617381563705499180608936677323989999350181782764602770709189963910397675093769012308056527681798237839016113695327338194305723324138841480184552449036222351381036128287500905324562865824959007287042936057288375629713806954787325274490247596582260949021290352015124217194141640607514953379471225954364765490403557373505015250566195585720851952016732153627850310574459175592331983859105460195368476683444555649210695104083435870789844020567623953772700077605957259119310930474119536955696486176746026741456652753272639096056254053432772065179812545633718459387697243144280239138725080686615329163760190147789351331268699330891022115380141016106304326767173689735592793965221641715800516857123333390691057092949633279882697047672600124121529187216316938443684139858759938602369814613590349883197934623229188945203894472335098103100071970211182328608546728039442354369467253079674679726158196299093519203999402765664685496745606163837373603993909104467978720500354256469586949217896914088042729055358530995069347453685346834147621297077817422124259981567615569757310771953102070621197379961108197708833344676352572995617265226094442536218632459342433476370109934272384871808877536100286325237157066309862178526673982135549030419179269192683794146675583373086381921747871636975059128378233262981270348729628917711405443053075249796918577678097957667126408894059670625192670408656598783882015368136627933869003748860599946708596528377808620845992748128475845521762826910540863885080115666246907224692251480443095995880257337398569439056860571664545834682914434033337838705142479670618164233837275658041530308420355680951148401861657089517037492929390578961812116597647900929546618995475923165774399854994290043925737585195179597065533720861509679898823098684628803655341312524728167631631420826456940663979311336695572198200594339145356190418386695338381094927378325814560088007157789797361654344568265702901212291833308110751692615695154976255206247660130224810630422071981433708722853608137207556205838229046983809094111716478977772289121903144648701835133820243904513917217994142292181308747160440706506222562883506492659263109688932391039217390450949489578723374727452248767353066931840584308678569093906005690230495619218726273381065568016839894476971984363098605814414500659706359107718609371934143676834661825370091367688065411066591996392136170150611069917064468451485711587664382781952762399783499977660519069025974228847239786628019965651666628422696994052245657172999979466938032755507248992911356436903188794845022000163232929494591369640415287809461420099945508391327331873692829230330034085625178758186451912261283211129752401172469248410293396853731309121649941711145143246246294078347511377991904530844061802768389776080543910374903428107975002184060881132035058731814534223292003317094486148549628325144192844858272144631405886050260962160512235738063725997533760011991904735189230649444983245221645439108682623189267363891117598619361970026825586238557953347776111855236514092415879938195516987970365340544488954320130103235744912232939935006385619983161418526414386825030740855320512786538780839770014515515158058436759949356642218469443022730468765481420099181944992235861098003627088112401695079193373494388765133405816497468357763538023881850699979872560285761146403044382869215335092497284515699463496835831457969491034920874042457065032174962950314292883475925860951413221423388771880169656469661276787519454956054687501
g=2
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
88990
3
*** a(t,u0+1l^(t-1),r):
87887
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 4 Jun 2024 04:09:12
end  =Tue 4 Jun 2024 12:05:28
elapsed(sec)=28575.772705