n83-L3-f13527-r23-t13525-ver3.3b.txt
p=1735084702891271602934247434705923894126850968445848501119828977517109835389364728285989277103280893290500350728499148949341868655364821901901907496048406772573493207332742312619574891817915937391321527672253449777468204817970198495294057313431466550476629427479551701785728526728746352411788088275201120187530558600831080258880438489457580249499454619707684536416181521997234178487914492133974011416048868643225962867633371529619677521585325023842003011997504893103334278825982889229732894528231567914833203056880428620192993085320702397372764907047940031519648517137318657055036787748263153960623396288019971326696485405118729898426534687305830420875018266840313933534702169792206723473999252127119813047958396288483585278996808414680802171750429321534758676037819491204868012207191127085398608090959134988124141495099352246212931676905777415440328222607527732779665496159499678852423606651587057373224618318610786618716900154967905840005131267055136156817848700243299737440511496328359624334474973662548916984087988730444891507976267611432111513602583466139948795729691268764712201535613900907749716401940621232933247447096860883387315901397417982135964579546039046346028891178373761244091241500002180103210368805683823658084482486927347975157387551591721748361406751373384005957220204043324803054024010485867784695728858025942241046751593052392938344669779774776127677756728731470035871344098870710667735919956774238743739449868454063106826086901824133349435316003547499615333837793002389127429062295863383555572482358264501338872265604066199619530833101540124334212245742868473996717602271622658215642922752659140274321812001114393719600079880394906256137307918269831564993560123791553007547349372467955795364947489525482877322974060733349787072769629811927314013292712671783517765438551583250452756682390814757469792200994342981436649243616209663687002897010922470748946050434415662667492793730266584081791980617072189947978033491585897418259273208947737776214203298719791460109202006646795579362978912091136641085896378495750336654887902475430310323411684689832394496948481102212053593824017979814695729685456266342198670748127846353282210166761346158892364094431670493194411070100720451407616233324899815745523935276325483996559794902269581076868340706574418402995668773727420506028021388771828594665528578798872555040553994618275555777485173695915730395025992882740378696581776565373818977313288044067171205237925116897639316829583547853103164417452034571756201632970554641811559089083620828147458144431399063095208170882922952079390696355982615148260021462486073698328266172926105918748319965215415329117945765883675893117611810177484578891191715432926466959909964631448247601448914810485581151176990738903023972857444027108192957739719329388831936898515556621531723934302545055832088258664773195173416584765582666067227966735109105593438135498798763616419354653683143063379862020844903167852053527062058148384460136193568590851380385058396889531593082743370889642070384690929431432867748295829009561084875431747365225516420812518233669977361985502753368360307859001271635885443859660632418209654302080541487724590603152602283291668774779473947821782213027644540002829526435873512573358973613967310120633616644942998453773305929573823690412766841467551479280732975197839773703087114597750278950806031769086348999994371278330037612824179177112369343571609792644608122287784127479869903470745855679362114551529875960072271016204467920344056985079038297238743383314906799785599146845534722916465312397962378681219659153692209691650327967541847393148425176364066026440880590678093797807362109036340053101319592731988764091537259560963396416310756922323582202464172850833654506088502958546213461359740262891106111702976285790203859729461206336927787883014978391982342501219470827802843076258216611694112282980181050882867506694437285154035453243322560433138014758040907534269833418384516441086620753318580256960918805895364606288922274868468177488599531037023753324598609910147711369966952091286716060276851689258626088799093358274240045519196062746973304508293620627921711434331773273826541162447026302257600519364630613633588427801627307669289423955034454047703666190953094220840552418888792758767215595249948653150871777784790887456781364192983429909299770270517539339941896997066663117756899717861119589474933472036729329134932899769981420480142959817253227764974392014194569863624260966969206228723101459333280604305220355806925684852673079782623486866950896050267018871958433180099430236744647575253327854350240542375827456519167161294926566837268077616964643856593882908586762643470098969782077538986938723971712020351682648837116209382585670261478045427602516472082667654951907092148411487281911565843685829713419246352110893717309628096320970749957013306353929135162797319184466208676708239934009942359533263008648149100217680577037662176184213610134215928982937092753859989089147850489655003918502294251913283233888758090341083675110161978825458656598844220489833529856654338389492664778424958786264150456260158233793329574902536822714108579881055108972925001907451937500357836250324992310563317232160432244322420652613595896884333173719465860446578171371099135860045158363182120015737019172698120890547480386542002682166850306118580548138235552072078407413437792331149433157981473516124790630275360446832923030055060454245484529114155302330740030481998445410020506453540061331582881956197964710302101285513769384017490060844434837134061399556830999633622524162085011162940702966114143881892513242961846656837634708643402623128540527976189127693800575227628909746730772094059290759726417840392003325470386334027846378496688617883423002133175617903114319991512464251181503459771955250819224098075391695493280589413953247425985531137546016650550942878956063892845005090712720131025467741332129347742058247109415446404344589692643694984409101895858949353799553985560616904834274822835254108158070320110296165507360731742362983408122625206248439493210382049060596137861779160920882410091584160598734022784028942269430508211584637337838433916918068048635331042906827732936279733082029315831110223504487000441687164799912884265769108820426172105278061394127548333723233167588096349110681961324933004840975149739814414878355913195571070432274113887482754430605592749146117830405063373439477605357393479432940334668472364088270234162343347721090098020049960823720406686336759728088305320955745486191484810782110264272560346134073666375609965258247843
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):
31724
7
*** a(t,u0+1l^(t-1),r):
30583
16
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3a
start=Mon 26 Feb 2024 08:14:28
end  =Mon 26 Feb 2024 09:03:35
elapsed(sec)=2947.521904