n87-L5-f8900-r3-t8898-ver3.3b.txt
p=11846439446192168941974789717071054827554722367109004642445495306880124688387524428790773122736058306860818208018828130852097883390474103553582155690805043097193805256841648341215409041362413677488383278033804509056373842452595239052482032803510533807928381136967848220859621284499529086171840348019075329880577164496139665959687201993883515805738677700305334983146590273531941987283206048758735255354418082329819309198449753987695572272709557179045506686461326468680129507641040407427821125718511251479738939415625829623543120116764972282514653519006714311152409631055740883187156881186594294937839460595242297875519310769327942448292043661097665608017371524798387854209010811934555213837553580410278326516193736344096940031721783673748496890000049749762712632546018714857085892268285108479267889048661494201220308653668321001232379414458710318574092731491194149760380654145932025085226698277261429331031368846148911469018923918089006581935897035623071348082025038779933537547013629148071831230711807614828307191504142255014764630840969155023082138256049339981550162195348682523915846184236310182000900369305387747486792568361437603003554056944623415165805793587124756414969230379020067233428058979519370580931169057167381402914406372650564084315917915727595829049603050248481234592916474430314078888930277596649626918570387122537182884744658539918386295256434453266001515113002222072885106157317209861496640482005071669538407223885438358834180963254122355114535557566221066712981889305438785956489432527355604364799999026881422976652467672038175892364561517730998186023534691419884877988170037779281060731130961112693007651814272667210860338721994525866286560589746385585606998263627044039297042472011657917484462035617439398922161381479291998527496987953182482307173000092092270229629017102263529644444612745396621337274532506987636754097179372127917768851110686265407373374031621319429941546038456741438731531020659732170249042046897599658700928183890233396236705313478874031814736686623966435295588118969979910343565543699789564530219681134902927156778342372387933428122680097036580316276531209105961628785011024112615216407601475057473733906283051190835415215414281609321757907685161970589758997040406388109258287402871574126383644001012729065327790446948834820090621277557556787807612479811969300379519412872231393912242666086720905220430252148595323684419110534225803152319479089656263056962372873729942771867144922629240717941484409382150964218224837341854294697008516031072108428051524503842135185165177500416415059853283177293388464785422970953893777292510576378087648697642556024992901464833452245814743922770598944242871190758254413309157518539671376720924053083754110480875382839490719510633365726912194459206123232594805288010515296840933011003855573997935645974481545087480603302065298838421160784101321957270877377211882798521366649091852653986755670511628438118844540034796340488220864161971837745841935706966678550606357503441966712840450543170857779804026373547162500665294894589225685581726327810218520483537375839860168649086037389801626911240733747817499698648111234004643807528273053275137811020116979159050071641618900079499617321826337119949685268150686932496355988213680511300985547974282741971548119586977619019579142227806882028912608064267733356800512435291417850450606687905228799812641967858642017539234919788517329679109852565897656931050722637710548579088075919960034096539109022022873906649882201376684881869543538449588381739922417856415938292232976988547147867160656520061246855885824365438656588545739144291301472743233896926491883602638581843038354297642793962617730849417837103668908887939336028652571605839429785837004387184485836618528312912202537210349544474570917685790036837258925278600699056843820088507141747448312546453771116639326554585373235085702716464302547038207171552925055616328149561154025514998633143340253846563866879422916385249597264553462823457742445564961884331247469804413133076501417655484198660823155699186303212914298446826159588640324666950626560761275792164696002665847262110230249632078618309873521819851504901892104213627591789549188837073588846232181972018214634424000129130104446720578611861744745713930793123141625904723936949714979006777941943798529289592616272497700467861343469453905929654602357355499907306178506933740482642193541758059024467739902079178124811648806710286229894590392696802592496463430415713219592249506199644168742222392152865622621919180087620569493377786063014449217725555975619192731502737971362279684019585900953144843479228431777487552721152764555388003511545936515085984675972547626961921895077713023538301228120134492190554645364122713805264802483472618074943608893035415595111985926166621046148918450029439114036614861564249289038264536977947757180044834472960785337534907649681696194824659297061361834628797170815641538192160509334333087597848903403042346076150148754312234891484110186044963630532390915445782517705923139965530969891873867171929019067307467309971582689365759052729010794449652606353485084430142658688290777842573181073714357264597650621105813425717520256074392149700619248117221513235478819063878221128107651236352854583970673980680478491454825900144519685019152273837414460493990815873124894278416488036053004805275852126514940835331579295609601029944051379558188427116303157931295896201902653285280393609757807190966154223856913091568990110908383315961732156555692183421118993974469977524601894470748400905093265461971053290319260629431763759279488554153140348002253427292323985731696686118009415284276511183711804610984576964642002977394349963761526024027994888216256132454981173428736685451732821458406018747993812156561100253483217652344040288821317036560901146527404004287276959373242264261484620737971901051162211700750006526133720282041693759675116774869584128950950827961718736783382260061594805318329695793300992546890729605997413386985286821039551807440325241063943413277701262858561098536414538346876094686514497661667833083098254158827383678656253357703261944755229010748573960354585207746136305804045190271785952286754165431539268899714177522806084350507617290829150774841191843492620376167919928574546093770552613404569781502566337402486813080255620422853723994194297119975090026855468751
g=12
contribution table:{0, 1, 0}
*** a(t,u0,r):
727
1
*** a(t,u0+1l^(t-1),r):
718
1
*** a(t,u0+2l^(t-1),r):
692
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Thu 16 May 2024 23:45:03
end  =Fri 17 May 2024 02:52:20
elapsed(sec)=11237.743213