n33-L7-f9928-r5-t9926-ver3.3b.txt
p=8971915963990676969890712346800473922503786144977629177661410284642558504732697277931228377998395560870153934718964267185062684691508953552829612126019971007513747133244540772127300139667575975242311034492544898040520437672194227973571674911108497126930722321805032555154597546189632914261821550130490328685142530503781838067879761657574861027962182817311221002618385705639173110658298389470142032405102077400055381262213778826302894781077203770595968799563092326616718397215532962273792439509966500434847159622433432308993572903852943313658096096454188506154372991606858854602080675107911526254752066216281154910018009439500980984509502689308178529526588169497982861863961260547177490767104549545592710168914117926136721794968069242915336285312353888916267871757444643443444930644050537270292222686601890315629688044290633169947354445038701298609738584221465702722222696715689869215288631839015994749383520652594240146113210418800760825321193609343373561716593400127782983861062286047740985707023822391368251904276981532917102644936858694650890029166307008410109229019709449033904258020252606393027325212337698399294901186060944708019475805693246068820978315094309316414226754787690887406291985450873764187533998194205618115883727573240961372822090262850298563853268111634736849113883365552064011704532261408282179462498293107689903315817769813995821383376762719677544732143582365098269371846006372890271088898652236942436027467608565627398480975323571371781558639635489939142257449656493222326669787983196478308422118343679751653695509363451564586382873046497967414197452929904140270993357661278189471594004244437249844428045731573469899354193603290362790809863664149622285382438623199411603265236615987067995866209696852003799268674936121821239027096955115607840537894781062169541845900107154159916731057162656261502646259882555389606980057374033824937349219870399548767752096514525311611621580394613628842805594165315813295684318338269488659440154048156339046213648876892243416733310365685188668594492004268951284761006088958848204197671135238081468353701319883679327121065813560421157496884608767205915324806020894429574014276836037697903868694959277505525932183068668703848305461181499953545271254284217934031113993776609204430721189101906976712371875443791923104269442136723270520585283398038692820446720659588997767083361766642540507538755938329590047089065785803080396772813033274289884730655145297802938842027089082643316198162838744794145582584907443814045329813315175981094647162411217396104102497614158145372378000177212015910265315831966274667623989350342111864329365711789366470073512623965191060970357236072036860493573567314477865164386058208519271472253486662877023748782041111688926475319679091864507496855825850460344325498094517183388869326285993668624603766705347089440651979246177979922186664192969617582776868377755383291584679459619734889123793191991523051266248255049995692020073536821811011697461589136133025790724548549231309440824423634115655485166767261886130511613212424619640471574533323985362005168061635845470186528382949551954169320030798649601318742897859512497498682978618581360414903144629555979018246291714453550860268792881841461353888874763839041756930475753311970566952435469602999767559507611928172353364647192567843851785136403254272549450127415262033495024700021109068876628186943227019794108006547525758433300188960269208683184910690308447389987690283648202228821500865517806321936373003246161787838834657621246395441294958515250220121000074820673256519941162828472072200071145158291800354499976169073036735887414775619111765114340131339847536684970264617794941211713752618081649363746142502131625157345509970115330707048599934025978246346639691799090533800511633181049004801171301770971040282149333128905927649543539302498522617937618201783748705273199450018365159434529638599642298378636740237366890100558036302772668519929409838864773304524174382640198964247610587894216872775656684340073621566694333972036033193477908573869632660524947049893615203679110795416898537638045635882761109710059595138331506397113527947817302809670475992363256030987200559587578617810119767816842520314637878642407331717099527480878228991548105907932911762723190957207497752021188914027635702849992970884198338003775017650997687871167022335210696241429782924636471776187979773116107677841139270246990565380250273390512495523171576150450846921611760463060382874780004024024182181568907766593651607765018360981539147618964940856878029342727737696606655240899147790881518268291257271358719326103252620234448729154850981250764295934083076228542452925721370293258552591401601431085828935350765995247535736916045593869176451270400622762848335000808083015837212489939770792617055484431253807596114279109563257887246104208490844239291653594645164456720583135363525552104716351639919674482965990945601502020228813115966174174766108322701582911668079183256217993961830281196311781794238702305359435138501066055305456048992650188752940573813860373043016137114090101854699530575636502109707387087250345727352668512688612445802550703678064965185866098714986545369719909099833027576924381134874817106861223049216940794457802283769232810727247122251279997616190352534907960184713029387571596222014933393561968687645459663810654867011218663784145255895127015197128727510192099811783002397840427718236403092227664398558532846807941481403985305811085932447371054757881941928564720677312858280463253133129869766596881075803154097638767014200617219229807038259906084144129226175344736048611956322441171198363317707230415885506738657517857927626129607897001904994517164383237717916548517728600336714593958803512570725179890532726064164643282844101711868242585236040419749615746346941396302198914996995313987551465913847171384098434914864663906428108375160577403184897275649388006548202854236310087904374717560580030164297733842648227668943158826057181395145710880790477545091889382633917983808554933317913922328448888369492376240741992716616002510262131609809737877678409517430306683901541832628471760384980590471917387530332859375175117524314532493326026748039441535379280590828247460862315875495331978002543125446634668479500749655352458898127904336108122191145149312039544540893151297404465918528052996832844093990242914169320778905638402759354663949906929634653530529736764568506746150716050165645097775686765760229561910432671235508705497180515137457017470289406092647324498673100266347199144887346404317683203629879750058894004525820163843864550041799768157701320641064744474358979491733912378469474404970576957776502312728190455105365306208227351195235932247253292766020646580042766549095106873639236309777406607512002769928102569932528853854898812544428794452298688186284137035828922444301644005122044696349407976402193473075145051121395387459801738789568585927372065678604454444396875214867815166769996068420285106559729138730386822093952066280379781437291079964823087524398863126323745347184315769799626507038219829323954774969379481798117559512503993468620515675599130149341972277148403457324839262625189435376749718155156492917486521349795203106149973643670390225983159989849865101875472847763917208147931536996331497510466482757065325209307427936051448069711947830387335422055233775032336891602426961824551642878949324729918204692244539939098775529591306284514346243819747678536751142703133603098017334772671740035447908241864500076554998468206699135932695276683692299477656320696528099674643130933776051133716160082039079429756799055026237680115430966034712184200789556936654714943467404084481552240010065430978515241041657879755778513477654632189191203069915191525563361444037557052315674068724645499553530120277430880453948624617796926364301261663097904059951826068851528355067256698042799736157334887908042975431249744982653619464661051294658218188006853255110900288229411317979856700371656152261798114023177175761897612022808692203052774645161652215392826116941977521840570238290376563336525431498438902636635996121212535154119853606311195188527989884233628939917197324342644651053539349702290621881041836731970455474484677984281372732550615546216504674410321019960292062384077997259714115304792463218356215581192068201739170977172816313420318420599427438160271505072755041751822016880807180656667002287095539196477746216442847158237339491580758473628566962386584561770135828143599415556539080454701096110859356259220459096958015745434712356230815177754192701240508867
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
1776
1
*** a(t,u0+1l^(t-1),r):
1884
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sat 27 Apr 2024 15:21:58
end  =Sat 27 Apr 2024 17:49:54
elapsed(sec)=8876.574035