n83-L5-f20254-r3-t20252-ver3.3b.txt
p=144070780767495562517666190330422185965227009581790742324576956477717599508386996053748012379222214248435424056950021437258215879718739576696787595934194778292030393074469027955509871127091694111165719739021727508147974170006445398511777256498045155595505793465575298101498017151206091007934053124350161930451547705641093289737615946574410814466421932936997426589801473082237452484571644144072607782453331984699358880670776971574376845864245631684349748008641376294573296311340146574809250288106588045052523742554108412758101543137835050988655232060945711649929242418502045233642143673901790197746094866925845086693935453679203208794906499319062637507616392616217134640753529454199552305256512615117978741328916913852927509488866035675873116106519583304518743785143297075528803423636137871335706936908069499224547815954906550991390735352243409894574818039669542802138303596182038540360596648445324213685128754376446723577002254107545700498976552063313020647853907552461025676693185488712529989044340245568045190738821620270293231819647072659705596710683026367862167419380183780203471386066654331049373504435254173467087477294700795235948215800796021503978102774644021509743513244854542993974875715871157618223842647056097462787494703322830787356347551017567269425297515640873117004996660871225979655439342475314014496748704170873179774572075208330211642408227042585154647898185044142179572993261063253376621105433691696439910765277390401948639576893267554098604687856251159776494283112787487795839526560306566455913355737172643892502327647233375116412023605903429254459570957378003697622756000143376090395750432246536145075262052579152293542762360054118014817010292249420618157680177441661748635195902324013104594157592497778123178829129654839772934007620394919330005772286006611592503039826686525895811441746802693723205132957995512251525698937483506184165523898263013113253167892598569624197400596608122941751632786308316188201726388808845418398646227052339814602843744848144895946176195032644492733572680568838918333377123473046134734459816007376041755571142618969316258699127191573290898152704739703886976260366324335746414256672970434482297381785377949026344641317111237393400701392198757577833655307906120371610260046631690588221813453389125938833199802321037690937048151340529763317025391465809005207803268881204425760465314933410019279831680902516750337888607897869456123868414215841540793818627268537996642234210964382966378593044039536293335152892961202357157659558067619168182747843110930055340177390771511371285317214124506814952182874634882766503508850604885441364664243892028057366549187712098239654093440209698988235229604331119918314363376918825644913936285571977681063104275586160713204522235155955090283440825443830622510040542481893990587587480696912115241802109983174349394767946827637853878078937050953071185523472433650870316925323717366690022889260770128147827500756315602903497854883252865336403816689554273736905754297651932550398132486731818497743848025363076499722791468477632381747895587216716968124245426988838741867351259905726766635081721646181015123405782474881565345659027500143560824069897515879872412886764074885506826224540913316098990517452635480272570505893498029185226018733500571957701804741185348920244680797058288240351637916631755604240339554005034916544523758973384680171507776466594658776895139632719722334985665861985911833351475585838240955947557133195781743214653336769511189766527869190360439055846288538683633231180409588682454626065600111870290206559913601840663324344132978232475513506991807029620411113692774332485074145229869553632865534254079354757670234756331080870827396974937966653647506099910393718278861437778460718495021591343056342668821861888066653786488561491808574467062248419941013882027781354707411447986775225901549362540449655770400702017061944189496151038805029549794897641379526887769710932240517131869987980502586774995687364608587261017703648683950013221005124691670481964283172947615713726444924069130958511134617726696041748289890390359955809095798734479652688523168624040456121562684615728411462110704673761862524854823182046594942510660740586291336373818953737615094771939227105364039072749167449179287233278361091137047182412034772831536433264584313731149880029466749418799390949315033001320524840300481983421303632324361632869463973194732405386839628996252479648795699065481461745345431710294568183571003451130710707612812030363121506876147876552735184268726482083122259694429479334909961773621041236178843971424030338208663492756814216846576425509907928045277525024872142922565985409401816559155925284760766448894126445314523037706939580821111628410414732706507674043619027674494337791315409110080391045285360296958940433096570649068810212252720122038614946318476290034023730800437617683780953397727590554868688632229547522338343125878535493084522084383140937529982459244901988195546042442749023285278166286463713957974683257801175457215004159366846221207521244480091911210903651480192050190473951222697581406951542356105194563448257903487926800686669398992120433497978882077809895471623391466259698545185976402225623691447329226412015106399081227971566626124576302776929914728614347182696199830535188024332550120142352496546397758358146819371873580776723149738956750073028466371318251859630526251784214098234980228642809919372236792754805082148359597861152098014887724490251668224747840447396377772313929751608703870916942796127849880449214530576385033088513356487515044814098664043041281587863593912380965332787770091063003988392921638640276320081960752244667102941116901742458345517840230850864234090209827636718418411041231748767094456257956439799210409703859452748665917716039149874360177045926707912720867555080124437994558729636108797942591435163246889539895112086461543788081410865628812826967206384430884121041522087148408030353487674339278014989638799846500808699726379060885984649963330341219368088864238424982267284091751576216934753989981325178460697798838577823294060832043824529114694256005041033613965362286335026668591600532401176709310320776463081939054598610863570693141289846446870665344316038906469146536604784650448454858658778531552497861627405515046236807650857286047669343217629053749680252149201000204301819133855854464937724916170677191190010717917883782749142407827006008687939325934390418121748222664534127126748446021166353485169815423387258334136538886734996623230389303265655654964481724025822478027474348483954993836273249319538993669397814395386966376767382939378502547172442172397215235721385281131909820503913949294920176722551324166028740718673913719712749417240467994903720036749614101425966224385247778546918556213825169299390196923404121656239561129407187801345176382071441497538929716051428325908567125562562878711043488851261270513477076573530076670807772554457425596127221560438106610694028959746907869077292084502405000205756960579235353418378893388686190439906656439262570006476803544014027570811744708939694503140140811773701638250292664134023048748685353436264695111682950665741824778808133231114251504946605117785853264566043861921572618121071392224504686876309039340596607704701298933330131912829629475407741689656929156993758530422254153418909268245363987698138115275591187091330268480941892571395660645748099202067527381772858715498567000608566236858884296790885617993400880493802402624815330136904507561947739617194922451811743086587845773572940079621932426862672396482967478655859962677848702740959065728890389163935645537082276212024093072655527975356269901911087082360296641120204770839994707703214791676227661090935660325665134021489864252899062040945364243744592572777722762487158575685935876351001274530821568703539592325405746598585986906910365035029295002021292173236084329720472146327138804743692772241009444465355247917223304529272922225443360178420365483198300844554255222599744326007149246121580295622030868137394668824191440398839238410504074239445008358288470181248174121133313999141655605406294086215506616905580258137427367847422099778453074623147068332799499159085387086572744251454654787728985262538471383026491301483704570433270247989365425051034442544856150878035198064816140949929859943424037298882495642565887841912087538254305525402694097550007992213965669976911641483376835590183356936767419232734796816542116325436241090735927538227302374976004086239606160345685031577546662098832449774312844566929980772712420748095701894731303259609599484258441026225156925401974456002019895913911343640772705802612484918900169395725954774456757695080894256551879427579819309902344218134564461375947357085221838650468337114638780954277761314559582810187268408118734545342070632177679030945545877125883148556852199590544115544753130965397828795864731961099620850485295956011622657314506297635980746649670347916609303826637904405521650967233891474044457040989715262545679659533184909435145076069360030195367560073504634043657722527040222255823342198529863806399929646381077549243855821315740643924685987155370010472265261816245554068730540231812432686099993242326235428531856589246280003173819540770050255937928788569232608251809714350128795213903606167935214408138435450059626532381903098325149885108183521183274195437919629662787346141453066838767482387168160849840257606790818695987618205673350130228427692845264541516186637659698824557426009715683010121023220403868627545254312804288172957540091146726807233482174297186316712022091671521318657724167560955968014838958490004841704271765336007541129863644760638303329907434240154082229510586295839402183024861018829229885091464521814085063112596841735986257677849937334279489822784907434304284535666390569205159672710877712575093282373132881768271215834472952314240627099439131917605513136720821100384676813675812375803231065213421706537490700880440199630402880761260722523997200717328036039611335436690262594465538764324756672019971550445903355917239178175622796608643078890703940243281243727451774230652521734389907629818180822930190049374349715412353979308401964576381282642829845479017939373332103514327709264684457373527934810444831654438217169107848386786997681104445024847291022204089966695510903355861470417882002721789374117621628874899479390242978343044941539790092285903889151764709328353681580620657150804603471598836660540065979617194061186908072957986001880062542550294113393704224402800919735848592110398818793803978490052445628175560082685406941926436749660215455390863557121600655489416991133640912913596618450862086423751630472187590395235344145967262414360157204822568363739334492877035357051131382125390707997796383921171898796605566437008168777504625945669655106100382590753755767626118391670569805428142474430533805313404223495756435553903575746353060127480470264043930920702965867453538522165070190373080383393141320372710289815664808960529388505233701035876605160664302405355465989968315587077550370766880954295786418373348412175832213010718534606293571735619102242966319485142989884913743470765344568786831690469207857402010338103324599676054375764829617508139532208213466396413336689836754565936766528965295872325730838943131061153132024056106906684685280192705557680325405375662893118474594826633608367172984640250481131158418825357555465844939877637140243788665477674741263330373198412371318656536806941246046154140839108098968744942158425269116781119020747824628991651029284738383432306448495481378793643882909160960261391353006857453265910195050101502753700483650651074263486757719036703844312764949787087597620671106636162607832379598599937712674496218511635522461959091476950323701327819331982409215661862958173499082060653749199155884249076020293564913881057074400322235581265665941156223441980453249712275192727368867680094617866086815166097564680138564716076741661825722206787402808608963287960123554578547563318226252506707623585642509614756378305774136388951295583296322360167209604551373609237124284779520859110671147328627351955995377469165319476743509234846580521425317273867746852180979164220910444542649304395518587570167711065933080133314700190634675986260394316346882892451630170398287468448503248076611854695402155485807416173289851842806231284357281310936655618806801875132933135902367772577159608557385373720797849621163097461878434040026557334917525415249502098072986734048605221341558893817716590980996042131327292193929681867821193308202878403747080007075803773673154119422685818992882395506378094615964447001360028009112904236328918050288003547225259060981024972155436136023736504596210805129009916791234679440355519716089754028858032649663334548631278517250137794786099651263953491466548617025771331449039261350258490135409988895727775910281304805943109474365658832669519943738057412793963790433058327580528171333507364492071460925116374210326035303712615494274313431685190794340999805908904329859003987425970157901362062879334156528957177275247817789334486589336829473142460545205321260550105779739680955078899928267986609048809189013881306837991243800948379454745394656913625838065691079033717255000925534266357214495293583961268184736150734861222750260575006295993432855087242161835268695468773534611687400270710492525189571194259823933229713093811334890761300443617549672136538483183707841322224170583150650895968142293064991959136367646728133440273430676503858986359975536527170586503906648504496079385051638332746487629440624329034626933189294035702845942110620434242435998288757836135832025191670249226670254124758300608056657364623104335484349625468508078589504952941303899044074919176509972866514765791111699179736015492979896337334906558595564798535605085754038480303250907963068740984507443825053554056729827081682618291649761130329474703259805192553856556741410109356476768677834618545198906733336636998669237807761038312842691062989331446319918871664207087752573025247412452773480725554576791900706635146750177014811754283880413155996684973644353881221925663719351498776190617276894887924794530707640307763372624394811774959005443692274768551231536330797259963280074641782808789872719017613220633133414164419803498151877026656726727855392576766321036036518896608118544036121257044191403467595474874219521498366673261419368028053479221828263360845499468743889084562659341770540777361020445823669433593751
g=7
contribution table:{0, 1, 0}
*** a(t,u0,r):
718
1
*** a(t,u0+1l^(t-1),r):
656
2
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Wed 7 Aug 2024 20:39:18
end  =Thu 8 Aug 2024 08:30:54
elapsed(sec)=42695.539418