n59-L5-f15896-r23-t15894-ver3.3b.txt
p=7926307790954983846823080175593293912213067394420698323248530366380664787071069940526290084123861507486672777851123235091251819056926977813824190312101641622494012233876179307285657286506517394317846546606506912862940068783087461923619026209445987427773591161247580738086772394554274239788905336139040330730034283649188211405505483789528201169184957473236272403473165720753728103814396782714308800615616310686156148484765954202532413477913410120211395119209288759397213262604261863174200625208603052935331959924832159535260482129700216383956390164608198074898302017113499892315558197156991713704956079348141744032542048893913955115515215202737120283203624095094645074366120819065599055665353355582335411518094818700059521784155431837593438102223071859539157554326359955844653510289963831620136776513810179061410365877190733495140894333975483436921961569550615220656049519415379720807740321856964548274095071491450456827437013307526005068346745827846480718253312574645734910008319343379521680946017826785688907195856825495434139085385028074425958807445187706368116765566027783856191921199728500190285464574675961115990966368029132880732966839494570374845358778928288996396287356763859487285471500960334841414760243337547459326748525550241336624101132386672074075774964314465288995058769902186109404881440010942154443445224073066947946498750999379779569934105502323176328438398604021423827918374434151824322746507314777548125007767971999841181952554258436586389498387771215711279171133516240395999960966276517145392955410275886786972067693578536949070397200307389434814473746609041796940613431984860219054166215186495319685939231909488538361890844357751849815844632390625709597021101198414273828619954276387939774648651714227501273387001607048333536244441022239096367796371033705823665189477939121669606808350293256777948146606228225509008749014044300132454910207235435752301904940549104917506085199840528866418086492130105174653327100094098058396789132600772364603230214204272369675193561471385980057597192732597125527211965693398018747622235778226669773947071405866210726780729636759248436564038435184504234637029340682022621286213239223810174339330850090497933492591338794880927238410553282040787174237128336070136070729698816978361304332216578961178042099038081646712154767627075917470637489011153497769828558019788712716521498050473489614028774056290010440670854772397336862297878264669739092388785319840236940904946295348067998061102762385507936239203752442254448687535523756814945553151388320575981281772264522806214927483113563033910246150879459673588186595223513246920208172215721337749290934040160914105923984557139268654835352320907350014969381603282452643509820235898480136672619294578673490624190803213354194274047254694586572119545063321292127849609478673776240167336947346511919547687656374345859766101650962735810550030165838664405620755123601475539170498930388010353341848995097218807850806440191774758119290701153142639407722205597354105040026990809845047231610296267527072519001001714673663284995449161031402313322216246558194341650152445430334876230703115167786723177229827440337615664514394995554021492685432078481566545549275931854920036952128202990461630691008870601746354619385398472994671241386723686961463399642888962195152081667888161086814483226338923735514459022133470642619710434272204908719706400273454930112030742037893749684945520231567743343069314863478816716381850575956227902207273046534905477357278538951240053571429715170027751907289135413419661850367472728708816214792578412725547817764810318728364927754142505020163888474857200485540083995149320883557703292032657945119636203608852411755774429368294110437465204605718595638699731504568153933156881321204172117941831453653206164760230699181156905734334884791567014734989792439127962214634335591736380584137626489213687117896606619661102915499982391046301687835967583208912533544816387026927022003122783204217766120324656217706248240489919157984111638584772711870150527573939729799527322450580646646916245417889579767818101728170481141767054278382594076266179602904527378283614871685602239501114469380872676443785705837457699870307902918697363944619010904792490959478123759179938658697425147001599579714453269836254522663529531186272193117117299486420174751295147324729110794935140034604368690772763631870449672894251866112003151844539488968946520981931915565257672237915644856184224853578232896408202015114184359478780935786172215864279250992426223568188491075407523996312873998831394136361566112916057073220092120777362577538326967014396235704858337404907353284228995621726366629292035439080710732960479208697516328870864291361713473716428441115045335948269513835082009251703609141008207882314204426228974443125578917828548873611439512221321254773855869346586226736495600897454873587136344686985878323322976054265254498033079195727769953222051424610746470753445317594979984641650014407768376151348405014909747836613472154169060184688384786379549908588529349183683715944536367590030756320173526552176923848733340819073404929378397781267570545805517418566827776731701535685901792591406193093726958058808002766433702179911226221547521066267371901151380306674235923019221105004499260347789955299731906714247881235062763714359651042466520411270905600815263618934341346435795769723833583500870279387965736742383966129814588765913881561706758322135232740595031330194614956124968367263588103777800736972973229067937756116753522480052584316591742556035844855893842562652148156669712060107355866860574182876482331356026849580751207697673516421539584971240578859899617672916388374909819233112496456661916167880461408511180089184853332189229270018581656400229434686860666303606109646029023682517214627920810943787495675146509882145905588761533862143054967795139783916399407227821340359946443586635701744445863365676745713253410314390156651631005493533692278206013857052630915858916661468834292375410169226773136788063403086664422492306061162811104244142696569501680354208274933182442386010764295150130227240129197833338022852691702828247170232377156788527436369740403763412446053962218130345197795522426612098891605747766004547936105603168235517730132600940084139692337197148251129193269634172231174186404561179506788376711388834796497952372367510103354618086540377029744665973757788177699083959303105315444395263888061794227261701260657285240702989802824998495100350530490551810405454291023054235181359343164672050653913892571219784195732413300072283884130230417394842938720226027791172960703946094615325609770501651913581153978229989696429537908722192709216622437623681756680523406458889956454126887720176798247647961054863746048393390632791128078823169002827879575647890314160038474507303458591736785549465678666023347423718655396876859981917717867098218367263295663957865116281787482056395584618683640474979230125334680486348397926481529322083277312335590359667276024052093868060140159976063854587797223937839311998725427807042927386885367992644465491760480183999328992227917696656964951477775983567743987774792608470387589696511781900503592712368975639603973674431781453660423489521131787606862868660483034590884795931689745376207269813793297303760567899458523771334950353371747582185260815203087103052885832743410313472581003708084529449008841657273935173201325239072614331239914438005037388931641806191338165306248261328785202291974739856129008298374015135106869177380796177642478958817745559073952339969429903349230752456209626126264032732015974393597640240765447905264234175462853894783609804033776872539825722567265096995848069097429068358613350478006061694017681868142664098918253325102088299322574388418823575920609796236627963295077515119191065947054786914503088731422494413281525664441016856561044022223464096971680175922845173240202435578532668189079407241007150499100639402738153301606814286486226484521854578685330539263037755849815948494024628070053686479604732665429652252650177255057232580430636369020560460755897424579761877350198251439916806873280952982163292007629472764483891868321071777809497332581249747656024829555993336705211998428774176411879829651724215059259135016993040209334694098549743259100440323433278823940894075924004033591472654238128942416478538015182773295837822244473074323505232061796127561990276218591162872434535922460311296714198873201658789722957234572454018444977813847890207093818790181841113130981888085242921841179362698346987737723322804663158823303652639770925647288262076547357606259825925521285540064570759968904496067576051649798862755622446998985043250018931836936969399004735459242870221941345871174900707890789321095873522212383737781549290498683028815015142859287234324200674972325278319335726143216845889476249929703833578321197495530775987246793213767412042379956381677466653885490436913891878256057850191717434587434925922898942303020710723900581213767765700904420606640252929279146051926013998085040326751654225911803781983758312390028700999165802498364882638419520300907434325836446724445058294168569292841287675034804690765016689626562185604639132891225489665969838323075248982270305008104483129449849105111940135276127750057438673275823300248144812613211347473383550523553989314958402886722423139328051290014844595952974967536291207828391530820065284187983860623648964447538295369385980533292785100458937575998216459046819157376994277042122862779380974438303873400823995730004056577203364304024733189758682507337598885309814865300708405371132318612366233801421628286090067440977900185972465510393330789824033033351162208235528981398648501312076253875899372733695831431389054233852406727116843600780257566241125645302777350353627825887493169808946246778600762910754933699296563861637432688105751353254924521564009293115521772708915897260777792271035064295501033699515434481860758873285238344337087206540019313076358457818416875164272208053473946435631540557076797314565083722485283369335727848429443355604457333275103642650484673483999843728131096279656103332375196789260249351497872603059222541008893604446761610585447201433729061348186960571761313074067998706666301786156135583016395630245194777109831679725590334026838615689271288086302092276145149975786002535979906003787671785635950832817326926947455989281499072189332016772580813513283513502985965288972470165059225676948165021474558209904421428259224896050144949339563873852222380274067022085156933641491687765225959856736160840925959400966152952775623369681090602632668310495568804152343607748617768855248438190416864681122380097680163626475254311382738358462488831199098232963386091719371004633210174155773217875960334608439104384804359287515570964228802768327426976531887519679180527278148822846848868365402767551345453339308993320875455526954649996261297744052374260609515920446618127274174001960135803428286815829235486643051567620758113650791160050060481407869540520349596647636527944529597337462963751670582273604197243469886335372432636845218384410409564940306416786276533550010352643859763600919767144021165010748637395843111313506139873770848130857157793430191784252994582429926961166562870893224743517335420456113589686050922084396142016234955078665819267787337118469359609207458561286330223083496093751
g=7
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):
60853
18
*** a(t,u0+1l^(t-1),r):
60607
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 17 May 2024 10:01:40
end  =Sat 18 May 2024 10:25:48
elapsed(sec)=87847.151324