n99-L5-f7896-r2-t7894-ver3.3a.txt
p=23111036713185781455423613579311614882576622940273152378151142282235944777668067696177763206908412077757476255611337799571480254459554336543345875158863351310773338623737225991995929779049343604850119098070387190557438987976041754239048379650389194245500309669830040420703959473754497468914955138031452424476414415918257997835005353139066422320976704820282524195186404945426608130865986287212827801838780963978997038198660414570196685299645958443206844684446170855228230194444501804900095151939410381251189120708169629700018485940825092302785660965357778880442801108562176770462067048506183043862520109613524058700819932412157023975025468987855752220424347644004591114601096964320736692194973478249460668641542007944148339996059175084279679317621981298110206282643361336096087603679247844224559254358858471092401564597880080594052304087598636110473700447055272530339520111630909265814885632822971386587613073843624381054886879331723912824341035681877235591933130286500071695370527656920717892423478006410027638889929796046788883292109001940065630024917820969188966446216303094344849927371746260851837636392967470892530364670369431984848598714584262408579373608717888240532481942239952340565805007913408818389171504837362115614438075301770261274519749242989954468312426234087672101116513516189460106683670635392676667302408394843044809283762847683863548039231955637575235934733395469976130393461499165686907058032508333703467655957046117897168537154599456399350290427500486699025891680003888087029991120047801048229871502753306726794633154221867159237777702296909596129495384710837021907052574585775106650294412887287003041022978584603361863206008399628089944834605046211325829844821945162300513912725664641394099694607294768918251477321511915484927276743727351636518529912687173004845870638300736160951700844738131835033610860813452777546787024484210221277182989770499281219040022982136085001985483782719960379746143035789531536770832345609053284360695016138279172883593307033709105049716287605768561674930983576335978029351376711249823363253286534273662903814666622640942108117056514342800280256620955210659472168495181774143412504741492320984078790702376725003189770857966997363001307868791192290958953162460180048220651656153384731149732630169608142938043204913157144008297707783714529003214835682282626895059038950567185751035597213014484562725911591093101096198877081927139852191100344467746686401558135633657995231899184302251157365385700274612336495531011444467778134062319094181855527673283408865069934899937373211709808389551401068559848207677546167626086930506288391966826347418481043383668789555139903650114387820973025642301216121418587170958169947721550477083396298414843035505406861663760746822356971361661567855554286885958294811989619940102739058406278715962278037061988608588401163984155040606740234158531137282024712527764861183012315391544032776290528067519125553513184615541659236882034084754839517634188578530325993181827484854687148437605202230172296388506161282074508916862547577711404385651889611977090716092905613132810127365974600279806202927770612941169183360100220267925073438137814245736264838476510246114837195318434111528242492485620766203276010475159060375257945811493251133151739112956401652370772733381197728051727150876055574049412919316446531793654298962483046123986454853471807438559502810687150319743429755647789286015018751093704147124048412437339329052574836967135635139661722807818146534096845631192667945916605678990525538152500301011683329964881174372594064545307619625171926049800291860263453440053146291713351576613126189319283195145331287666357659919697183437485726498285809571976204398017600037687670740263374615941902541225991520432312927478739306999365441990710325206835031655218417106751458288400419727354049288621854901849166532659563766502286899461164501051935479702741842693077766483350919160869125513351359677998577864021853241240079977080088350224487278411968470160146983965845961635393343729515446184275780490312482764735268486911797491660370607568154066960620703908986982059597733887219895058045817664261136045677459778695700006451629933464006861155168847719668482749769562904610220589391541865000197073283001791903149158187982940664926490228715566715209231128705468338819742784511669371635063708163979065651462988700658653409075491286437797407491261992341851156432677315853035833438298914178803773684371092827334306689884652191805312064674347618104515051937554804290574246721159689380140197525599384724430934858563626590613888927725585701188564155935472764966029349445982065359290114805560964983434113895397956488796700799144031575832769592925210712262488118672714265859819880938083441894036666604551677528078193235921542992755261318997462308322628999317696790522215198955535680239498180363609694002616221116630063411133857760396482372765149153642106253250093975432131926388991423017724064188275184092628577748151011930871948956048008197945283294610123099046548474304832137667327360475096960943594843683121657119932799616034388792789036798674197515327717872124847229135942443849078944439366291582337084792789320193417119759981314031579147560306042890333620153294466339908171118712358403596630295553692606509034883402732366244071106909946970942585122804647936404045795021569515152680175967037093664552666076023877758798745739133029419210177055710706465988066144133687987396676362639831447574077552148088630595677147159927573442567350294526482357948454169242182484959220398927417559009189453051698002355415060679256862092223120952461101751396199688315391540527343751
g=6
*** a(t,u0,r):
28657685524350369004725280838346402454395012445938708948907416429972571524308\
40394326042637656643097641927055695805887146863551552984737731374888519699055\
56253589398934341602300749529260211860700141476816072801162912243450902917752\
56419990766482600864420383990589250121672909747455576861454544371159001006350\
75387573863991731540663789244236367801111397715033000203114213232899408227382\
29961439064742800883953339563273663389140670438897715609884695764874087132518\
60483005441111182238076117988404868872751474509678130340828022922566623114455\
45421959704364581174907337461709919537296314014766697438952493592076983278901\
67161910747097290315815449411327533261910785656929821053602357577134983217671\
13029331229115512089850743941595113377104506802353851256809656655790477768056\
75914862856226732683845347540498450415457794010137129993662485706862230877698\
73885543485379376210049384223274896104581847004845193686402115660942325080597\
30371337651902182884245527772133997081555260088902259454294581690186605112727\
94843427222351294709801821528221516240568138123089809800179431839330821583698\
76139099409653634562786691272796639067376521912580956612122624060844853866384\
23274810181418260277608377540902301598209812626934802572665998329023361903213\
37419512398040448906130754354070740853026871340538447676007493053228775158788\
69190674549864096053755635118659311279907995686476249905932925590694103827704\
01687892258965451764751960310333792299893386737186192488986071703325935194360\
13010060350679210568320482122791718898885927329980504066341410034122534511123\
51152774548443508481678992005742770414379071647451924863611322463650719802358\
83770868493444908168710375450415538831531594910257302044029007579212001252637\
25177982415532868362131304551345863183187867477520130982316222191602928297709\
17320945260088795914929128395801090474752834754416774674086814441580159103604\
20674383706907315419108711609628497848745402461999890572750870885217364379019\
10559583210855522607260726182001146617437565570072179929026164819663115301647\
69144196346566127563957071219497809704340753024993420007301866120747682140651\
50077785072347518209984461217745488934025399937831505879450478020257700470947\
13900395531586387907673012162175730107844078910192145062325979360805363019706\
66256684614103140972431735740923148585702891576518060159639863962460304573498\
73208298703310331284140544137960857780130372955445359286607581589653416716964\
42714000589113793208818573591408755498853479143513307826834051929725445845419\
11400448862372756767855008543148714269926867192759223427825201624030437373250\
14211777520157247856347793827797606038864670798916493795749299048373480526141\
84089800655179645350799055904809198813073517472259158341141003440536402670450\
84630633260597226444884603441408873157385882855668671287257273964324237856077\
93224765956865874649617443340352250352357890356578610229710643534428427866935\
27108551460064260025480372371568635634892327165745373372226509600100186639383\
73776042315454660812198120640626304507654136475217476399897723910569095589963\
62141438208343118851592487955202960284684557933808504346959691630435560047049\
78736652427313222709106329088966471296839971087270518239812219485829829502069\
06821697500920622529891972348653198528062516314051081565000659380489397581893\
92685182784141667086308911821272019952393699424131330713478977193743204018305\
04122381378348525206639648185289700325871465862325135619314243382003142230076\
80251927978392481875731805362816945017022800885826789082529365910419482516673\
09100373254487329156452656222016640036181448335213188301752361906726682265665\
90140172455595500027647475591116198021079670628349830042450746248230085787440\
38692504934535418240467327117179265845237679591511202294853360680300736367406\
79213148068480803256475439252470837212371808277616520461919021117891100078292\
96650049785907046283575533184398130439999483139988493941643043935513975947771\
56365556860007182365513870980191376991715793095542783642252308409029985822601\
17648992427887746224599153268501967807987478628271732923770628889658859553384\
51104303116967284714385775390119002015266987197681390368380869664005012558266\
80080000211174953685078324093711723889186097142580017166735308455119126002443\
70870922221959904956153098846424508847883607302726859446599594780740136481052\
79447002082747899812333404140781410598881673022725360919518286878528916487050\
38954339765198716577644334634906535817166793686201551058945402954569687178385\
86960196191046449598664402567957320312065934238014831373844931743237058294359\
22461889697236122227037972626947381955335998622855787639331301776104551974235\
88955965794583012302934660461079089909385991540326342952272612832054852671541\
65689666176652363223467948605466589644080134816959612542713311016524035556853\
26232005995915394402024754684670486424349697774365087602056324411418462127862\
98059836228916381422287849505162117540301165295358435887223493645419778395934\
61228274859436407707254794281216705499530165452151285316552642817720108137991\
85070748592698912023157005760616707085482871667152388264210305840563035600491\
90063701614348105641285686303728578911048142015620979851430587570398372285023\
76829399158142974779493184013688990085138261486132187203324420459821566486578\
83207120325541938813414264817256833424396880555227776344114101678582674619878\
93234181991259961440453059342696084209104447165249564798206195490812760178252\
02018725773104371878689673390994991856164663629901938639662478310191068783514\
36521283812385608316986030628134943329466999777317139492178410552292071467524\
2278508994356669981051766171731287613511085510253906251240
0
*** a(t,u0+1l^(t-1),r):
29004351075048155726556635042036076677633661790042806234579683564206110695973\
42495870309282467005715758563270079222893846220771934674069236189907332437350\
58950205399727902186199548918727069262240868994680783359241495859299099324015\
70005716461238438778102888635636700727983469139561894323488268698229472792717\
90009197741378728293171818952836001282576454945456786495893820651039320423681\
27904520988913076701097936412829393188202855968400510556778462245900789799444\
23311428894027849765149619415683960028470242346488752885273523199855735490839\
99600451152401249495571539124553184692989414587525972004746273756497269366952\
90151772570650886569635797589690366325562932257618488243766902225245487046917\
15203073139145135219969906166695054264730770997543615586529128308884717418476\
80058994261745604450182186422036738122096396357033950114553564162993628831864\
44940610543670255760977400967911285976814691928290901674544076737485982238830\
33561313510594547999780755930667876078509557589977690012209435500954991464898\
04458468680686189403872004853159679743478236568127186531633215289000146038340\
27866588515415573690562336731741759701256076613136371409849913868032493227671\
13878940949741868264837511140187410085284931328067078410238570889455096119784\
50372167789952228529995239285773209492378002848690122446281777243388800664741\
78092174645225355280212356511223738432487527892361043251569210980904113148200\
43643794181452937068357830797958797851908226092877960946514129022317781184614\
48651311080727749405840487954922263885565999031552848873595539994212726460854\
84432848434110163826215431425167078121004624933509811051477588461194881735451\
88816483838123677219138323540541533252880767429332995213916455251541178687144\
96047070912494959511673215493499240560403849745393358373231337782630383075504\
04224021210815676510674238819943845601463554529671816303208832358212177157276\
83827702864652161976597929895228842580786677491782147313550276581409509915862\
07864739459373936187187267224525354036196890960032730492683739394094523954490\
20383843883016524268359777726185283208828746005134469442874066114143823456869\
05925500214351722059298789377637571461453126549982693450572862835018882331482\
78987900316242674858169056664137533294632515348621888752596051691782847249783\
75929144508628582193872442221660122157304136232685617338990346187812646967532\
99093882961818117549674502333178126221019046821841875729590737818560514499830\
93230702209143395546022024078401603347629932520249355905384463848230189141936\
28070615582482104631982286872299706781256627682994214033806958095288870083410\
42609500635320440370739097785391931918367066010193709446504330891700579080893\
55671532114718108802623238032689955250328439054584873966235451062800955928561\
13880197372620579990588852676587206300418776599890469730248289375182998797885\
32658936512795703778443460800114575961458993868956577288941014222344900784680\
45581638776113424461272473650256965904669250478234228695277636732359463090666\
60555591214431934934926323712891945287988662319675752324090035086906624972100\
27812503993121463031248848696596544481676709844298123351156784674352119241167\
32511692577643624596716486295687839901237228802035887412068012463480996794432\
80694540615851113931463246207709487219934240301721054325867602840737253197803\
93403148704917574349449745432013213742140397401036145197916222885603000841107\
11833539217602741237365127800434333797555394884853262259870464068075760886085\
79609814203937552221002754621238117739002915412671467982721253401271331095503\
81387877769662579105925873837605551004361062629590767192499366284630634067266\
69859610025622864947336759570040990739076602127886319921996521404458675534869\
10128301365195120880472980267790305351430070876892386193581425527239858178302\
84203629698341458134577964727299113468973080151942526757829331857220427901820\
70399848775252696037005882376144882017902702694101257981259693660540354689075\
25192559563958882152193474258177563003712355108795317315344070204300509844648\
77136681852418646380541884961266104515342165869742761951074305852033765112498\
03335403557898340577866248479515602846096829784750116864772573732521202226310\
35080967955664973286107497369038881839458509608014452858268396863850405752473\
26970167248838452193525918590534482745237038036227587585066525362765218777194\
56214506140200495374579372739258605081932661002838974156447943574640153380038\
90232013230100313955599709650651372943987359738857214983045548958052385007156\
66641166306260721166390181631279384670679635055410172075947894627227829160823\
24749735137122043060429561005499164801569901832003236683355470749202590909408\
09790110542098129387244353934398595029257596276701258391211394438894225889342\
56403654073950577294719577016016588712355297738132511081536455907852955341815\
19694489939414370947210538007468919727870057021635633016597328335750137072958\
09729914892975853778202621878208433478288679391673255676181842358872437005562\
85356036248865073929519973244295939840250288421330534735704489303418335252564\
33277249583739624668598421152882231767968551566351812315793495024118233611788\
17362859295166832725656077670305940752714046959358330414149505968427384852987\
76549109631830188184083827368693292384555256584754753984009796513771020919884\
22116883877867042911963630923917198344853294432911983316018707747275206974151\
66136208386315525490135959254099665872924259026119519211087722049169366148150\
23010887778424182828835112988466705467327945851231397574819685709104670422024\
61963073535922530998239893901862382160065390903655653276357988099295604590115\
2467361925740016795338682698002230608835816383361816407505
1
result=O: not congruent.

code version 3.3a
start=Mon 1 Apr 2024 18:47:32
end  =Mon 1 Apr 2024 20:31:19
elapsed(sec)=6226.491785