n74-L5-f13612-r23-t13610-ver3.3b.txt
p=3547813135139985046432216211848750403215170284352866531302489063443613262640153822446834093235479586998845956497806318532608658140690569544344802629915284196796713657824896847852877420861498816569471198157827977375317813392065796095901883186244865914447842536189413801686565138271460243495043728846946795045851992555812452505593217863289921417860663983111836675015786603501411021103380725676475320397586019958918140823593723721011821240188997142752479525908726335079998320572495796986447016032220926730858159645581033951466694528819402527635737103231975905974978227739483984945204341680059591772448202728982352615710622264567553939742563137898332223112661199769748045644042037638212533530123789684705742988716399898448455334864908426318524214220090200731920182502177509660202294024401398553334366099684483666591686148121353058375600178883583343586005056546271496745948114784133889716084055512912788211563352101084889915860427932457935346933688395674592825637347611860554001737954387907928789057614876166529979056485919817401458557566600149782511483057722791306365559711652113189713483644212368819990007658241631911957797912407529757183676598939578422347419116804533831812108938515326783332142780939518774656340068281130965115584703130032538588598457747193250784060531112005851231775170780099137942641437950224292437525654270547389202629284206501956407745114417020290008672557001640322180940439588487290228373712798345324774225482665965884009936214007366431797004021138356961770999047801487017678097337923367825059919120976335827379948700242135769113945227907423975357751507479988443629484180094772718624302943297709983000462895623096748537561226497523830463924673861196815220953347429325862348393620173835387549468066453382716612067472570888903388836313879213190433461344195553557744669684847710861639052475198032804130368217847005446900331455976309721298407861722873437252727585602823341452891372983971390081979753438814910223175680350284681168985643394894456368863353123441555119958772827355953487653197718038234385279546943922637961455189986838249565441893102957974298271588577907099253527202930997002292183912591874233490206238257396010017062132361551033970231805342703915712563961750112065034882114641300352767219762349003982868309459835571970413288286940882718525385952952160475788507542223758728030124557808110373898204732294190361581648129840621500443822218644118925980838235578711007009906191838354897918383418365930822008994332055957506890445592534959041587193351859458421687637030780704421283363601443857149538610873366712787854247395835166269649787253400820749629364022450372562585544841458126019886606570537736831337960180560681807562687658569374959561472437652022200645845550129879255295449189915926001399946213550277818024927688776600782421201048547315532307123236822279180808221044826175865084255423521274641995369397566036057430921419605669599162369022050680424906836470079146547815046893496644661645929600798943508588425751936190219466626388463145872446185938346293668473009861368961048241410488233883273252148997326185809258049854131924671506413594823095893605784925179362641916128188229395276596032894134765482576926408982799694853873517456945914635677095132021601308691376143094282183259317740864637832797560013106889802088069265258482020871965435202013508506058030361822510684011307555550093897765182551853695171717424531637093751205706133782783951534989824431457451477118280958891655897804274964935447648095158459242545102875381307189555179799661370608368837648652583779886754883292003694791781034929818292109713392514537843060447794586667522696557025482144719649719861401745022377835400785271750768724094770258844842073693672613701951907429095041437204369395997254823991377026548050147855041923415564089158755408710617385320410054013378959650149773759051453219012653725307653135095731118146962304497297872937226151483775872021039763625577248140034784257358932112126596384654506065790596774040791217152401208885068066080645846295171069770883582942270644105103196779584519119087980601052606441001558271940780864695416400845806011590725033095769025750139842042236350710931319582045345065647195253237447615493112380167805359735158096335777803347585568275910574883665788173546476548664729729272898436003915757885219281793782230681564711523893406937061401727677685616949361929123706301289444259992953766193125957791088522415091580498359449112221789206228474775391868735912256595735557416280280728500654647609237064466742311288073853211200606790777700483292763561811704908905232878753509539782424095507730285022593687057622593528336283124699143765765567587725360094702475245952145771580354937302959655951924079901687989084702055366716217336092354708539278194453433662939342722625062775968629863389013534758622256227699706821255046875098861913340233749423489609184293046305648132346945671035494739290473518156073734645543047907432094363648487047737002130674616674393554696672571202258170079659177507549531107924729267129339822183184330422839526604003316349790210540066203163080443817527972816110691335825290831066231618168225160684908595945456019463099710142181940998744735512859848890987918255802696570383615356018928050429602023130947307593940889077311660356629355037253597252431496925956571778081006990234736605339975120382375136262025155327429362895471746886867851993575253713131206243296012173409693278470918818772735833629993031815766919158793562324864204437187427668182781409933806585344329421449440308086378703163987138858058486071548461581753710529430553951235836239811305866007663506504705837758215756404691925314454818821912278923550681911596833657532905082167782788501070050508132796641276164321197209825758851693225311964631025863609365800576595308855084098948617656288930363656624577312905841462229019720126291736588135154457800850844367221373048775719941515778179564740427411061659811662838919319689864098415673315556573611763714030548858643192739142193721455852055007448563305013400816407599897139375783537035204537984630526242971672389631711548723451805070204683714522349144593431652086483023975842991360870215798966144682142522036549040235165361344954583434415476382565811011143259288787234368720434908103879671423195832847164858203092067098365275864217776448623165010595615510385920062593649248881088973091411125457612965543889197098651082909343949041434485923390309719091700624202161900881637447569990103827325549276783998486770659110383745649843976058377597613659382704996614473479053001560215507776657132254855780044065915279209144830171456343575591033518406322477450670410972783221347179262652537246588040963106013951125688262705859806749239737437581214109785712513170730694191870092122997871785309083002349330493908409119656227190093168180571635800596847470782027851682582929178386501387464158978961648939130991820428271695833832697920070913888451406788803784117787916603890608902423819691667184983471639996647941028504509700431574532232890874011944424570715507461867296282661849906335002638829160319088166195678495585432606879350565820324021760427500653525932957038683424447985402394989336573928223448335006972350709231223968374581527077215115137065686757443710885975422687783718682471061769321033907115149454352043699026125824810269560740329633563866729596460988938575106951443816706467978841274828533144904101588425858395198371886615430308499379786741123263410358552928322021301740895849757465667574790613764881500508809197956185746696749240083027080796831809361836337619216786905424141348068384664107904714398941099115927695604184538381631950289843024996795798971976586716131218393154756142207129471640018878237981789859404228758721222092923232061542232422129198803374102952107431596806660367679639378929374544829176335523725217919142126424816102362169106533955614908429698184781083139548131034986695570157286783122940718327356040765881946505206282242391368538975222599576141421600764436789606802898980147796687580685301648653372841801098427902565010400672999672873414116746544858389425134163552159864343930474676461065694237361877468254714311762993155076587431013765730759538288109885146896639278570569799540010007306871465392550401830098053256552103619106078518293429977376858585087204301156992178871178918625380288642703772689504616468679560163462219368837406076745149129680089339688435769098072727312020883989690172623456278137025214445162028422933820373475269401969617769823844316204215673423178674834608478923651999169477566660569222103169540856774263569023541729968737079027437217275918155896021265871608524090645869429311013233478686254317380044011950765855302470339594437902455849029802095208745837388735295682188156027800199061975115073770859917746883628948504302869591173036711498030744616199250105778938393477912727692362561849992061584100217577024901900838378147081403481199829040651994629316498225339778817748225011492443900275981346689809792618080111667049996266132474395251832874342721553370332863390413960431672260087412579162693826330395594869773769437316708522212214651808212956904512815630642757646316645832830484864785745172546687410199148797671060420982752504102200873537229507218165025398696036697424444613565774307716668932462791271841816901156049207614047112035551323583485438317726914624712072861943231691333983100951547494184575546845907467802890710016029349572733908902138564503718006806150863200251042994527311122746007863476554373589994037120983294335262034538044235501002898640416398834499122918910090196549223066810015455935163350708823785639769060770910933894395637183169469555664588499885321430400014763861804567568469792604446411132812501
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):
74949
15
*** a(t,u0+1l^(t-1),r):
74432
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 31 May 2024 10:03:45
end  =Fri 31 May 2024 15:17:06
elapsed(sec)=18800.817825