n36-L7-f11803-r3-t11801-ver3.3b.txt
p=35440413854307019943653180525049263868244862175003206665973391060647064731409930148260801892286729729597450990949728907245703871631845409004083742095176137007386522598521898651239404728824575077219324823906580070397229089785388818172197977109200497528024659516871381141702553287154123055518952806271927133507530671211931944418379532361686141342820109744117574196313895376297001501083192610981908310451024277220524801446981248194353610415778413599264982734392726299413409323991239071224243546136334274379547545557966063441128991763317114130292194771753324609393795587424033453624414815076980135668229300064041034597211931541318832489828509221906303521684666918886193990154228263749173238500443152124520067777318124685049841932871403902235613943561536296078288787727670968045599856150809366348637055435021067591676896305961278045879100421813167912022937770104773797203782768708565307899412621796510202306298642389829861332928394529067188488117701492674538040528272445509071798854117232780480824657014601190697320934832725393820583381463024646971136600447642256470851522001179849859755541376539779647369139154053306846632335335697296283406051147307251263234969506967033741675430594888095534672492004399725976713582191960147522882363943610279746488178470038853942836813736445142613611265156107686847484302443544994290812383865544531065964625405483713701113271805707660210112526287008008184402174764769386099980083167946993478382153710596530064669809353564879765793940698852136356877960295360812466219819470373402761837651612581080016769172775849620881832276568122292963778640173345615170946353939552419772639364187050950107026226437021031694624922225778726973629074336351003079679751233668244208813540349672646236461859877676546092038311662368244433037259684088688858207837540976554971332253145352538896895594073643987211702623647624610808775755833759887873514434561030702823649361591184491595619360899125045959280617229824244920134395936367968617744316129146693872261113187942757440518510847222794159443336408973501593967019958615969320745929279343154054317117673678557285336202379281115332326804055576502737722798870397853164685215233215829366617313854255250952659542730721870694272259911909967336340907719472658588402390962377371922997580501272469097303610871467963623565402521139583917492680124218285230427826317270562717221299705540278035598232258731370364903870495537811507507832335926758339511967414200284630273166302841427162333335157384022202830803364030245912076292979883305380983726243689092591955598975333641322214460457847503389392307963916968720956793928612886314277819437795370694099489211085605322952458455561226738035987586752439274497184269477224791901128649506303291636832231380873432773980958864448405576862781487181757331323637636595333986541810402497974797744869800643856922729056276485759789685146928841091996382213552156077053066461864489245738550487956953818135816891220750130761265298142952387714333333955799177651576051719723441851320802306715596996953012262148899092074750231510606018950693719810377249611395017362226472084000807269978505285017984348054743440206617558634124926267763436288931962960838925455786913548917153736213762210148927985065883504470952823596915266156195768616659267057958630399389095418845463893205437309480520385366901678520246406786101876437514674837538628743616825270416869040179730153800147146442592889090330835743716969262211352853936529623368224148839667291156085651642546668274795514413059453768562135745663911781383689334573267322774192443015765576452843151673138439785228746807291914074207249011045166388027221145200324530443542916871546657402062250055632390497195951039508068777283714405699687046986663503961681242734292636809591892196451383523246057548970880698781572080886936033425705809406824539350455696821635632696358428117509556883093805903692307150002055912065605071282983368516230554206182705578400488631996292267814307456770245677813078131442454017471343327999889973270256793929608869991660587767531510545663264129481568010745073350992323952153037484712804588348185452716633471966092054052119771053589937935393481622387462988548998508447922891527114643186300179841794553371690223995728092639395929978137308151942105803968752607879130717423161943223530284222830483024989696389899678105366263705296332219291874305510268219957157213955021211626053394097524419494756257523178800496143206903976455610843009645023837175958845877197131697558904467079707636726213066335385078679182404726837551960276912098053455066168041312600316663740186109452440521772427010523029227311727575427738169022341076967948905531320746551422202166147529663461765822994155841023533297170504636904244398190466128358294869177882211598812159951919402856284135739298931156623007678804633993298384891296748712972527122847089146581938376621058894200094282803452123660688511069390678536996202688098914618692976667886330472016084749117461323419587067277693827289198851454818933338141272545760004923857781927632131247643996408701230742702615795753649061639510900060413608766972377222341795972299031071470998621584126180519282007652909094004054875337815809239821600576939084948508147213595394785924115214156539408980627518400621433800044496103499207671402440587537285604395464737079937432559923614308344740597085449640597787765995814707866248404828776958587078168690466745325458119128493127753543415378378787317821359125148477294509489825783892326234647227112057421223503257502274464470786996546293662802039461048848828561141775108806508246743508321322043686657518012487490508284980855141168387834970612229063567347314296261894506020548899755459704458917649099867735736252246605672636862133747735644544622795102491771316118819810811900329903028354407314788548923868732112007466606601705165854187224729588296321983554266369309091760485003940537437070168106846946656987280960316193629112069197681873581039857448601914868282099814734225422273259490781188883896284363022537737483063721914735224760565360015895258139585257141866519861840218910084754166728002419524153922346202256562895586245976853282202909068533428656788068665078185557371298998142594288536281924505183163166968146353780757571017904861682250212246967686862226241424627523792621952560787315887031638250769718695645366409541394951184735971946836807148793665027008451393864068455219796175195244593215649612671128830965668006660711915510905598367339453845889201095217912253740834322552519392810211070732199316076092782088487600838185313040217582525663879905269838306339225014758212155563309929826647006019181806680419618151999930224079784298354597357060582075021146587027329227551224797026866192095649980553871979630651467636423809995813470661930444852429411830336920884472195296939839709074280053564632570447372617520240011467060940497461451939572598567624568178808024234288932829714735353837796391244498619663418907472809064113631804159282314910642551429377564688595048549315681181145495744662660907617251141575712332784834904639463079521817213884005945161144142533891501832059151672884591008809528058086372316035790808499866630478447877699962069136543921138117468856238869001579990520737663970719129069785769442603316976876392424548776649356487910699187284178863354032870819359206756999348682297694834026273415589221816847786842165610356344118381512621837822494305776728437920567554404253362619503060974353677449414285102502957398452408039608933684089579356635067860300503207521984240818466793784007222510061818285085262349085307074143262727902980968772345159507235651994655015943518427192203409993342142151613454692477068383872250858998121686400767516325598203422340668625180847165712241865099100753679366664988708195965860273117505105986847241151445835777361184864553074191174400280339701069154852945255364746857695878683367438505653250725380733182704268099918370558583754080155627402609823803589353346418147722254507830447339949777045526061552203921792476979716320600224303755568492572419132738771225533871959141240266987932282397550307499648117491126469657947296814466787077925841474362118897631074741362295048134998594360168312384926834621952613270683477361346599469281669087560990978650003398937290979688320955274673115202844887157617981826615522111872250620247295469099913202311812567172988098813004563794690080297136287841402682859901518464669437914177945081346353388369214225348594452999403201576140078669743339545964357171213042797676300156350807011387264110477636463314449078107412748720828005229056590995825763988680401304191544223071694878756495719319449530940204632237209032743282532434961343974857947282604668446851811147700034466463569369281982224729333555945716799409907014290870480218340796536156469258726806873790732012736463815532312991624275119251575935842570918282169922176474188818525641542287081027647232446287394749251023850397156320508345460581199955304226396233673306569983206973625426925771742774030523246331241027394279010325538764327771611301482359384405057672077549540516838541298512959586186186726840000077328749763450782807763916163179827834149572811291198569387851976305074715103566997938280147059932452177935603917375492422766262663158075151974461279378558180095941156447479051232176349855212422957931999240681776929558976208369153993852866166142581916531310999827373460613074349987849583747601376172064043589745347490404968964472366969865393883296403942159137880642315878320533962659933253839964846268800610087413890959812138161624759284845403982685271078653699508860842529182808263568507323595459401399416766047660743386813624296870610164428026308142725189529695926991570466761796880852804030305582892460357500058780171375246113447927196375322045151580337545425339974977160363622695991802652416036084856466990846105428756068119067981746137750139661465424285806647337729288474093713897979161493558950424091927717399211839620590750122942451609386148121100442242861340982077482747747846053282787134773600723382301900488232344136069866802403856501697224064482540860197358004574474917405881699529163540396689269747758845601075781250543847685372388930431704697
g=10
contribution table:{0, 1, 0}
*** a(t,u0,r):
560
2
*** a(t,u0+1l^(t-1),r):
603
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 29 May 2024 14:32:36
end  =Wed 29 May 2024 20:12:57
elapsed(sec)=20421.183261