n93-L5-f16461-r3-t16459-ver3.3b.txt
p=1034556751907562677109197240681781136856420061827091647235263626994746603524493376230740801703497101084423838205840845924325346874492947362693897250457312736541734314116051166097833097942883059867449357051502860100681914492188958850033524763170587376173227612517160898112458905907545359634258419628681713416383389458796686802280142510348526152112997319464061803320398939563049801417612179570926905608729984479586740886055989806350307977918547088247840860909388140151700242510402292574212041477850160231271487272553856502286117578102528625575959390327694557029412927406442074900128214275604991169593496925157089941561494406524434374383269464891028210700487998814925180721043956491232193445829822988543623125201550085495644303918301276123574440198953855903230524278920079978978033704950627497238111211450288417379788579001814493201501188956306640145324020183595770697337535856072389037934405226467112733882589540449592938992011793298092536694369770570563124076714537910445355205983552707087864958836793427591664317922561098154478486282147462297990158426724242365672944800827194221472044216105907097602034352882151173844863084359960668930219353680339337650526511510209787071831961643755011329338026878199762415520069502625447002044550542745990381603110735644776808572622482361345554984146185481224734583355819044304824943123167175988570500593368018659804604035994395829970814107482957675845200280018429260699539802652623807397122335694594310586686030297475483101890541504127489969487738217805880150099292649982278961739531394160088604327378241298454678975756992916777178272406057615780780431277263001757302594402628071719636822586953487505604816167603332466689124746400216186021804652680739233965266319645731448746345696945189097397782368751994776619094106614043348154848641163398646264606048215369644010570911283840112917307045656557014154038174902455904394150036658812639151593245308580568585306853475775540575273766856415240271287745141872254951770442281054216188894201554349142160606952324523121415479426081688034927106481728287547783700269009231994458051268043709261147299610012777604765842995616931950443363685487901617902731438337700294068848079684988885195431417502224360539819269291099892634070751096793040600233380529910613586226864204579078397026755422307411227982415641494677584538262719674427438067376821571393638809495876492499158987608240675737319502242647853378770886394679102444590545304350926042393600148159842897719732161722029553234325794507063409321670789919685588851169251671209109682214827540226840910165721191790501664398221277734613777812160788352173221478945056916560365594643250395706275961849637322469454810692539009187523988896479046148427784491570825077060101498495097635532767409399370750564158479927826306033941615863937778527361857989034879944460232010474919765273477104327999360612192309784311378596640257146761502514696620524028067999243589849315770286248013670731000568312512004535817753045283088619674285518404879794630353273844504398504702395689479096515871275980488170272200686233472297280501964918040557941650547025225915978534137351286972186502938373390170587941096371338194019522137022269332265872502512407423266937202453399593346530044478742615173410490306176886373757276023240417896118780185548437078789423779506388001336280673549206552090086799283084912610589041961628704814839730954816901812958173388838037612699762827622030086875760758353306068614800693588116291512456622074949620071357270562415476657733300855236212493653398925673422568728037320131163718804705145635735187351300036151574630051404393512194946299124876176430311024470967957585242181588132511907510769212052611230519850594850958650172341175976394056610861990558274928631745060796143252616644271746151699954020655602650998746651688344090498933887768922259974238988103097025639845681665482594035077630065926882748554335266322825430568765034521083350067491183108673280373058071970522137848910892037893968770029301991038055368403454349715345139290749669276308423596501145966017129894616589063176022916127551081866794613733047686890570249798855178669271799185416664703226728353869079324564999406345218102846983025257189427161188360156775935110047703451228284723843732765487035896854336686608106003218019765783390681605050779468751853577086642843652023022690708294927624390065719329205161192575011943192024879773374380702460208287442772981293582711136397576310339268331650427113745275521104593568327843550407112204812214761019981483512518171547870499865869003315564609009882156168976882027011374748867226208300650908874309523580362645640948615169829539949111614134088356410497057486935870794549900152758005337916644561681001568426810156864285039317314111906770918388473026164051628140381402782678649345693659021500767703424554870490417941838538292225473983034807368248558375120290772454283028281861991152209684035736035813456286777026201598659010659248911352253059248596883193465631777302524261462310879247201043725141062945269340494122122988215772711664960477086529925914809529808417325786763639560575847791132714294761361139569548148721574533635626855391187358168792700712910446122824144096405687315347167210365125938804708545584568294474521204388834375854818891506012227117969260109050042720390782067748045700055293336948894907861831083041199475842608347284326314168120860763238268335442405959179356197663947830199479763036573313568581370578011086034089033544290526168482272979901912581172640020536804457930548426496328097537319485220296688579565113490482656941404200152454596066721813838670095444323419115735149929050607342945313766027698148785421755351227177255163838896116518101670655889740287035074410049038158112907896446594757023889044324228035456978493859004804192888798700365394606263844166337729207975661529431437023851244942904663871288747440011565883083661492826963292764194072933118860694347677484273927402739276657674134046623041393669064057387079552798346780718956652968982568161356844713880711877234635886650787032981590394023605101156109138600398460752829727591914905867577475772236745893257448592511668023146258844249271319623995274037539856919531075516465700384603704052189074970698554839757074973593145694762750311345463936749422419915384403957352084851682319089398135281597890967781841572867518390961844828886733629563372976607553078062249447013143157592350406939742541135434935997438647355683065824398048952387222188236763803111923281105994390441368284401897600698241145469642757931776047201030332009150373474715823091845068710772606431024562643909632215067658323787503014786834271648131351961306371431297764965720854592593253589469319976821844552606327160784686844577155040840505166210235798263802711924935761172775995051615121452329854326822753318665421038249636565057237085869223880307805243865789242377753622249148349159395939538375567862650220039792794273790150018379242798882764422838438275709602450158919423267309801246842962318050481485129754828734527918541280112952971583437552865582227992630693565801561611660578708690841700401668259841933053864070969399610764753137922176776132111188817776558924029599992845203938101095000531739616646594549962881049023026423007214713038722707483252053658770523806070801469924670493479683874761323246604305801772674703806978528187676593295727777942768744407392178402072125448418264576021333735599625677834128892858507680564239065394484441922155962914072456920942920809705293252096710584393239964907521596108058807639737443622155096339287558080706983533975099073586053704983493217204409494804155321474381615834521746527871683597320428972456148553499139586146683861880194038333624596005300530866830422008896856328219323802358261603434264327437509153597452776931623923433466767090925034087044807653049310799996989698795965980635305083226076700395260681283171788573986187047046612102311766037484981048332691740522056493709585230616894046604236833722677083403912192836688505666484760853176950954736235921341544573300818504160055554710230255072660317237042048344013827186847070030851558013164273405919559617319924547015376597949045195086096618427235985440332049597065526500218015176339189620554748201348308848261663753152672111850234042516996597129878522987820847050435896534040656668465584231670398200391446971768309412051579125943048829754147099397985856520196441238257189138969503532732776753729607577522535192745591809153186730552580842477058340322122267856102196936953580621927365257426587715519880568753606970497327247155353686488948318403686023458039940825061403602502253532087849388757960468494276165273530124763193682135700410092078123473655708283687536493781232461982567314061545302595884044521354688883356383795716884390474355430102780113842378848832533928179155441987334241353465538413035444573200911014142438067670324906633213167218982708090202271673503792609329277589392180360648735867218172205399630429346069700301649363552666808254676170831851379373790363136082655098393275871955484547228513357285136762643117987266772351939396849338368894327789108330676185866567926934076883133114463491592182651580588450121184346520752635270829460280499338527201395026531992505316813885015384519736976462963362640918931543300827694294249705619899142620196465550128480557584730782310184252091429018776901848396505228910491306737325339437481129631120815414376856776213937356690368452385155861983194760329522106671981864196385497871589806929009043897896346177486997374459767749725038128131536286666639112236070800860357192192542342890387811198898027435541141327195493339934355461538415376386908049786634836625799565831644433825505400461985983256671237388059336715839457089268767054579179627981232498696313122245203915055414848464110749560922679998285842269436092420167453206687287300997792799309293897666949459108386595430506943199362981492280245235476159948998341710691489900568963329654287544335329956064362159469681975031219772715231553205479366897625820511163283610100010470099364142864775044736036839070764406271580537822237791393731827307766617750318464659736560554639577856439697414365815621720459926387056678260104323141962607515939323167615743303150784474405911714532802430900237946352195445822380873677037209012529215535396417302276482110890561869314341713590404970565786174062026968167924110998581983807853848263575181286904609903890457909705651589147267467619273136904456422112745990430509562647017227000689655849122198001304575255327206076168347210175820794512479590941063866188380526959718528236974199004937550835378323119477689293945575147900925699532884795422648232475050292376024428416088342005295485628937132847446142512108977450030216634207683922266081305043893023968516108924781289127625783349625814062271162133055370675166829269880969525296916508885700772757657035324040854409726076986324840285602079694235715025558436096381092770503471616151794399045414487725578856046689688359019458930677675237003678815422907423091766249200068327832338727587526068969167190206370842335731288497699867076847301978018094381123974755360972941410561036992659324871390133341875512873462541958298345123566655942244896717639351528188689946355865920851610251280402780256487795131202809824330019040846114494144174434604107526706764663239725058869622014088197080215641145154026815426598157140402397044183058024037805330818227120063550955805327011578078186350124145169166843414108074242148860561047659520749760650774920992647504975942696378805851817265854757700520421292712410161949744724026399881829672962681182348734677608346880688043398266512656680562001585923027171307144088640421139730068407063966786892453275648051658208714798092842102050781251
g=2
contribution table:{0, 1, 0}
*** a(t,u0,r):
814
1
*** a(t,u0+1l^(t-1),r):
765
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 26 May 2024 06:22:36
end  =Sun 26 May 2024 14:18:37
elapsed(sec)=28561.572636