n91-L5-f9345-r2-t9343-ver3.3a.txt
p=1363835240427969080662322746580049751124411059848868121017811906300751019226505416136255296498556327687479856718859033184130220169323056040636974560134195976384561809425079895083435512856343200480314651427565756038705298828904884111951001188141223256637393764563312824672200382077524670104385964594429154575662639943425621923611795470130796767692570088914605111045647254204036819487616891302778337741751971714202679479494470326759169077514169309599420987665065603957256726571180511791954072446579596275525813749112297623107312899482515918422941977946949046018348730627103745673030786345413234860780806905114471277646527909138488048051906581520004295542940736542250433982233778495862335939345236918437645732544559047364566651848377356720416331157656089597516750519358163410275559516288867884317067537231298927243191722082328338868409663157871748377592040013293343744544457884513290267081175142882032623806219344754595530056808332200202020949363223381811633047895687685204937434296031484524383945332880063060593359130246608436264197351740599588884999313888173262828107486595909034713464550295275873356799483168361511898717920993663449614391146394876045068827675182151445191845053815867781283388392658712442777698720419690685588893812038157611051435555885066024910104972610223513889698901872321186891976026766084794412864167993683069088549472437122607120136351844809946848008945647156094480828714790594636098168732600254843586045275054794341652175722238607272067506220791174209141452496627391836273907935510814065169481262637825302557905065516914027337572747840145823689128192304100396903522791018232470420695836548768207301905929439033007520338461321625420727669416060076380093555669771053387577600715656783060016258936771909713922788330689186161219760193104227775543208325455433778280879909016826769663953142276864708967254484619116519705942640997011031234226091969982634514208062044973334278911393963141968402844222722632475108048800966378162609193662610361826837403229765477983105577219617730741785865273147325050549482744396043322042215425278336314199302101822953817395169716498681656937153033212496508659272539181263055479215655957565512039983688050489961301692556364821750814289509276117188948992838397896388953885466758316366531814431423746883933026942463719821684864806495298111991645163893125867032219277260508908149139229637990385957710913582858590415191941008675773403590767647513048648539158405080664356241494785957252148011705286710771278280555905042004309070889435968924170926807576128484361598514248738364118993252579803297275945975101096098758064978584769648877769225754608041179205879902385082794174986108569257425118184035307622057600291236036066986726351450078589704120858167283416084688817476105829333086458878651082662974133486719523437535571056937480221485227590788981603205777329217495354577141577832080691961001302597491957268459088261367416075992949283994526626794970770715468783867340641408138404897105683914142648250415202158112942170222973770051115762533471683232933482493043426447233112210610285155638913797090534850154514111720034988412441888492953616391842893633629656775192575651759463859633094744230059778955861052589155369500428647839969010450302763920224160773894315586222699375950871755982358081911184441263585382062347647562921097740998216358242344822779300902116633280280523127482373150020517289484369621627706328424901854191879584683291798842601019067289001345491267950204823251923116524553379024480476551208890034605555508366668689433232061715794534163283252575548681540191705594998740536958180752111487512890786856201103247032895179307372560965919518429172451910684967284986299354713958656770285086152890785859909301136532874690300250668599937716179880780754126950584281646550955965531784118682954878974402686189196351130059604777122180450350662510398248608057225232762067533186389850579314785844082006334516659842607537930538734367183396294620959193000258151442864950355017776121773015070313698488701044492166195349269569280345515760822197323972487002237656174845071484955829519502273676030236202814525270987571603762193969316175097611673145080905946048803831936546672714118421611859527075733252543624853946267488312673093684252511455873434859209823504332229781489829208940756127797563443039437904504846158068455865458875780931051590682418248914751374427180489296318371486079474719013689651469393667409003888996353893553317009501403642982570899422533518626710088288890172452262876719507969890949561578404107619675367588424687689931042180267674574375985808800172667664639142360894870449057025305630811710388607630217150647421163977661690540293157875452283012011919908266229590090332069438711449056841261635841269175061631001356163633994442101170143087238689153057180715428956875420625226076835396188584016372448827807776304760544529085476023472343891625592230915285156562632814169478591367878496584501926605628941660405393025648219434542537593079080674119274282414483614200482768519206253140588547207191408794281026217072222853406991683965536169669193421147693265714985652445465234132767854895220702413215405238310410595786234174807476437432055095676800363336933567199850015766111659027029056802939617725171781729672088937211297495810376564717133540806023160882479189753241797400676551644099628587819144762017100319334608934858350427578937496211583215327328517036324597154295744450576400107742403759009068296051965017465695252928799874331373949554392135224329766200398190839194024578941194548992148434221772147688616819553734634937440680019673907471103964372389877038193602469170658292094167952901892865157029249840706787588435939489815229787665823736190914396317216474549625673126836699400889309857775050529894697400043071743859469766160862287956087557547202957081876739869752650267655666462208864282883320331561655303230118277464847952712024681272479249712711268502957049305267627684930186855396079385609272012539325428482934056262001076976160375941437555162135363858833038055554771327418188392551639085251681154474501296846396334847310243231173283001047283390059597707862416265669682890749959274033443222331317778002854038277079662078785242270326812179973208007821935351306437797733820318430857262295375926355054093229098327090662498101446049632479155620159684971160330377692369102646452245886899384268639461236784815920375628886586789559809123229953583447974395707593129292946652815340791175424578769356251309070389281950347063649186760245366711209328795483032236399471663802248176113741635306591162970285540957374758256368882052448010044817235602394520088687102088442770764231681823730468751
g=7
*** a(t,u0,r):
15043102701920498959705419894777948754902253990133015374826465326497283742068\
35473998289592037907629439290281960901513602095632846763330812822582939828018\
16195217167579586312427702937068054655012978706052460502891069194460828208717\
54819543105197692520710453223133340456134370214315097111251377189476553574969\
55891857598460981743810403554268834764904808072809437483348921387052611894841\
43110696450652915242480076555546588240077041536349249812874848816134939456736\
11648541694080121045065253419085772946919049725652708642782873661281292150580\
20505001675484797758238649881695431477352957338990798051441230016341261819244\
12028377975231700125295941656473798386363240610222868240385768093615654109779\
63210367232429966486292431170169887602244626192132668946668260609758228520542\
41533942146466621276401725493566122716749240469456808157771855858463132538460\
48402013466255815023253704661815916459053618259888198405825993726431886965265\
95904168228291071476353901382312518289435167810459900285227274303954917021667\
09555834475120662009105199409678969881346540154243218655108899402557715287665\
28895139897568928831254982993470274762428586685601078492467343447354827771091\
69257259130440466050943589021627555773971025598243838016886229188262045498746\
78087844989733418141227825475845784789076535820337888765170269141849557522991\
52823738917729703242520467006809814623565351039608482537137335386704881317221\
23540724140258836162801120580810924754079383854381588423498216291838210904593\
61532665152683022103780013195410120452868427913881937832689521308721369287265\
15617215334274086768084352910839611142273778458563849311041487402750771329133\
26540022401712534072949333228377528390626193659142642472431919037574718864980\
93589369431715197933607259416414456835528750172335825395492993963236424158782\
97734345744381053964555992693934031593138177399088169653488552123565473301970\
31674513513794428908458691714924356055877096392675413455911483371776630636200\
44177827465915113357940609859229095001655762431322215365451673238357008189809\
39628149953075607946706883578421256361408200495456183021831071806058687219729\
80458676016797956333836490511776107169331501935748685211947597801020079196904\
27315766889670398391148161328731557259410739100752879717016135669834422952284\
59131786039281297812871753748296331840588156431381752678461577411783133653786\
28183413256885005702907033957113551376818930252279567109325693780641606167152\
06892659338691720803972784934368748910849119256910931241980719943453163261330\
75290519104787372336053226875646971825084316121635841562324955759552303689536\
84105365089969301456713790009227121794560073326694206640855323307463219750096\
77751890939905356990944307129533121233347781886359165649436684443645306558513\
60794141176567614472975439436414315214417726046923585163435160173487580204068\
42982060326402467083359723941268973760985871603487850032329844367650336288671\
10374352288259931820223060245962869354852760099162068605676727473176660601507\
56935729934102020796798039857521375594006836638068607441926660592563118982689\
93712981227683031445266697219181908599397204290652271985922189234030077278388\
80202711677893511423037410943890688637175303502885755936188314741005838372558\
97279856748581852668394860400724933360543009160363741167381154684854096434803\
64387137346764147694552619019708083210326431413063395255688950346465081494170\
09613057584472630570301259692655360080252666745173643181905670854123388924031\
21976848407686854907592004687119752658237706400196563598340570816992772572843\
55644448549640725213711821014275908301957388314512712836108122648733695789707\
26718537902389816881477283382776031934745409228827377214457485518915339888188\
24949639841762445002663853680347995915359576078340117648746573130094640850117\
18020264944626561457044299815578829072992315087661628666835752964557440691657\
65036736780748969268214687119431736560489104588005188984208786022452986971875\
80639611433738422400700328611296691798987928474104148004024158460706231563562\
25560094330372520748593134702443349162211038841868836483416531634681347608541\
13847906279960011007864661350531704421373899291478949699948155741132665675479\
02423925849183062662601098000367261903788105836453377755561821390273303960887\
84223337305201358283986497084353252784494489832816174616540089607124776725000\
08668845312349506819601139986366949904522707328552970765993180079693839163749\
14566061507209968557074121515213128956297834458930866148004821820977570206305\
44710452612273826458602148459530216172907897173664209797307045019304500324305\
21993939524835245055536712347106590452434096974024067042105309898912110785316\
55863421612951716410554386736084466594335313662386816224914765881765123786963\
62725908987283096959115843329199000929789944958484882958696375906678252242741\
35822070329118139433588949624362749441996008170058811057071977264150880615581\
28005388999531246302823069955952768858399402893488627876998173270562504600872\
26514271485072899860363004189651662259835535595335031754264631324936766844972\
14069167569532123900091971917430661807307911827413986395145120343525905672083\
62917464734815324844294394942843476177659197785638288715221629481264651048755\
67705315108007606377246214345673900211599068130496536423983508644752478283140\
97744061137878845350882998295509043546453374546297825702532946236463441890332\
36451667250486165222607365514876052161956805832137628650604335429106603066118\
82061289857693188398713461870023305453174142646618639804662613875054663584945\
25152435732119039204495631009110572137587538339722946614678900544351967769302\
33599707006170031994062767270274603437312754352349523609617986725205078783026\
82032625742995867100448412572661984557954035810185785791378897714282371174589\
00879439180908773125880734473851232247508133476995152075431103615564575974564\
86166131004407633717324522420010781637730402030232571250579946282046004372729\
18413632234435446124331205291587616253837101933364779961015018755623270270298\
30875947616676264056987187904704894663405623343835306336292840975276912774142\
26179698445791103260431338537493042157515733658319828398413115015515357923573\
62717722451410336602284972050792588878742314435091371480042196188672729001222\
24170473834510448432627594692491000890900403811229235560311799646769624664831\
69545478100073540589499274462450864903613252318984440659468312021903682721325\
00208483093257441736519601743186619052288844694629226388025431157584654752216\
10120158055320892666493310382599945193904639377991232811205052996550639482463\
88966141778455674861724517387973825345702374317005275622495167598435835677487\
6903850155079433410869441155657821873603552376152947545051574707032353
1
*** a(t,u0+1l^(t-1),r):
15643190207708805355196841903273170645396994856466517348074302565269614190528\
01712308284825083844107857539395656531311062197362534213545278610609820473922\
78491309239541056663966070053324622565095092090518741792217639497775675390207\
64077983627979830753630906479541198098990138382429207966097307013898102402982\
85048015109188346382729404240023892543377891985052062369357400572030231952296\
57432428675338978951155619047336298015746479276693190875219811053587285183024\
77389734653771440470253713210962267969280281083702318053737040878957064457584\
31114448705150555783045994029287996286966311938188980385315585520166298555460\
56751178184579111553684900344492698775302481396124777762214393475409932242898\
67454479796552286092273271579496700888281583175318378315347683517128457038134\
31586066765183331463311676465204299869547940905228430604682065883642078895389\
09806989524746527499249319353674393634210788888569141950573358843352107297515\
91570336317180289196172189379431059363537749300632371375481127494683852968134\
32330500582922392859876395034362446467728451094213029734732463839287125507662\
81634383918868142674024900719411065414782945537973197670770664491492282369394\
53434339277076350462767268003451320464863795431718660204323213852163704612024\
07766779875996582600170730571890403583926370431484640447552401365096502700699\
25919155520068875448024456624488537963036679639556599700903466626065728804036\
95105358648120476045995362924923055931939304878491098750455534076825410614296\
35247476817885246013631618436206172402030903732749395008245585622033917110147\
90038935619594177264725977143003657280315524834064129791264357253812452143713\
37752861010665708596258282151359043575746368202209076079673083532273982355515\
08020858330169838649000477380441869438215300496526919064941490549258548059949\
29738254368816925564230030480455425419156382118544089385812664810271620922357\
16528256573274895700817877966471655844144179113688757238377580623234628594489\
48931974708435752512745131014085015382501504541003246622097070901537160828387\
46829998183298025670782226169038242109279425175238659951079092802855225966482\
39878605069145290947334954321856024409087246346603573833276423098612901939119\
85613041362150450548183990067139706415724494785642387158130106630371788872411\
99115284303767587118190300588663547253993305010693445441700298541536948595551\
10178037176470626963947749726934944178795388032062251563369511120939186104916\
97466799874414690627522016608994519492968213769425963857254656187797623083178\
94250431018305635602405304828981937156275349584330290364448526070903438197551\
00334409572252755005304367307872628013019405354232325491442480356899649187090\
66528938266610557088497842500067534047733368833775125113240142390626624317874\
07824913807364509338624505016833381279181443133110926729338285330000230728981\
40435560466349618988770265966124671716999813897733965536792684940793232749869\
22574235788426239163912828741722040933831474010642695095839715695134750416980\
21944952161754322623687535554466924575091424862977962589202066817470441952081\
01349763797055699970735178341252628434731272276861428801317090708461014177980\
01443798997773216321145884272568105046999159671631878566462372627319761208816\
99165907244445498649727021649711240765677997739743618421564990411176471995212\
85541293324332255127517546704991089249541629039695117278581347277783724817600\
27222282003073533331038571956006979158703362426758085883631735693272463368870\
18048454327848433888493226995581465366272574107910660423659686969257216809656\
89867799171747880163306852858907041543377265998863174635553958910333226718761\
77285732524062665424346730770665556327427909687638260802341555657475879285359\
85691057931551699381736573138131596840360320726977438751688412856045832325552\
49836123201710485939464924649563841293492461836398810590082147461783666793591\
40976552209899426791153441637341978091460564789158614474059363162061265690608\
83947084600632792831915935554993024019437129609970496609805720538921167364828\
56498121665400980325146260656121959645563065776630603305964425915665916325472\
96993244336458869107906406680924628260485822744629515236482805652836960589097\
40779912011797799523121903360309382958880287755586604066753770747636880909463\
60384558376306398868297835136675594690675593688341026550472785838052691662352\
76467058543304518877681330520727916174512733731505219826467976021222877172094\
53315750270870203023539453651812746067881791590565460989810997850100882163764\
59458648364712673570278027455195972756414649191471304295114397676466239231167\
80350905380767022736809255722693798049811341096287946416405068408025558541031\
81573295185907179259207508237795904971625208314376861477767213478136533983361\
08836462020320681969270963099357437956907585555196881916250900421541210627764\
58556586280597013536107457134310130199428305866779198805495519421560344574861\
04099892277844369455428885983207457733983785239194429895663558242370981665639\
60844849858004185076914202906192617055332148076019294127054879537354915295723\
52255063646648545887040337070981839612857819461508469986610564854056404175775\
08854335494862355028472956481814566795806980834204095336681059850417547373456\
71947412900167474628015782279680837300729040023281529717415307720336439338860\
10981358227694501919730552171304508565532203630646968341618576004735782273990\
22855904203361406627679644828252794043304130815468594798044580904066431293597\
72188848111309235805371115834013355716038750331524551093334558580859201388877\
79102306241831856724892555546192045550147693994254052372653398843492028133626\
27324445998256597186935624713513118896280806203213874506103201064197847111633\
51125495672906853639360225948180685664526998254109788125758472963084206470764\
81694212820038406867982957789217917849403290206811821786509044285632428506641\
79177291262063060628985700104943215356733246716842030121863280494566425218060\
17606923094195336994204798249728917355531419689546149243231393030552938349983\
82606266469925362532515235291655951204828875770969262346081494649721322712548\
66208625673003078367828418225298748281659606986484898615575560220123404839835\
85709181914567231262756902032873163593760140214913692735819038103724043666728\
84064853570429269584971759847948484154000691905240193279852796187529247044933\
77578117298988532235861892845359149632315866192089894321314736073548072603227\
35937561294620385921838606708463329150476251010643447567602148266318766093192\
99009810779195887478211991848451620251503736506397048082005617214001435617757\
10012841903797515019399838117865800246165569666006392691751547810884772005510\
7714157867521405369235946514541724106095443858066573739051818847657397
1
*** a(t,u0+2l^(t-1),r):
15356784807218931848257754126491360197660868533898255042660562064946456476490\
45098569423463857374424976102318665435271365330627910657761101757233354711104\
66940901659741263996186394838747624244374083429750743904129958216648134689951\
00568273378470173869737053788982902405808976302192927785375385961333272280521\
96132576297250285986881699367277160421833920117845355037398808233745458743056\
61960692840829721272015019221709391077358793082438128095464260894803211086387\
00558710741191492562777402855748486254062420662815004471236188343248173129241\
44232667168264625816660670686118817627832665424935302453239188575158894658629\
99042568993754210644681079152483678135126934657398866399523458634099026770273\
67701607890948451734873325020499812729036671887888835207568868038610847972919\
99970280015341265237741018046922442592075833879064701709565829280715763588673\
16863705496830505635705957796196484073340321088516873440580298219367456684396\
61820574274755889829895279198988119305443335407595510173314515744563224448229\
51006228122380657681099233486218059915137084509227438083093944449029906993573\
08736108363248063339975621804757506239795637903886504426580443084063042674749\
99622551025272860175305966671217250953301337102105676887591925717119730944323\
54965470043916435926584344048778199159111676639800963508233656440365006138611\
47850888505316088713579370670596420005561727353217725600015085807279869776238\
54131328542095602465379929078869538778869797116984287003498632406717883480120\
04610862159493275511202443207644420335385176637380835901730191290680201103772\
04519478210691406800419747395834453441704691336666268652976169370351195391300\
14219460765483511664679011074481502237393557624836460039853436841622061144123\
78405829537725578307562805170337877059660356023617533449977435360475261652574\
46281843434427077755294694264161123820374966229712854968112520118889141376263\
44211697385795582004464629982778626399743980542296024978564216025947856841669\
71662949888141811097952064099267417018916036715928208976879949289564815250884\
29756388800691871757018994478061953456886340668978841416665264599838696110077\
75155457112343153972710687503408791181022004695968286082187665570216327448516\
96425705818466789291416889987444907954756565936036031333962075035569864228714\
82304978313899130858833721414851921715777211370567410259245454365972627827890\
61953330305759307725723771745883824886942987728075061255757689208524432043710\
99692778255092364120828065127923128987865918661180152836328459343905949077296\
85201382150490100861646358533072067339115992704407939799798640240485851273271\
51679638342072015811658864506246363681481996886543677858207700856032262410343\
58248983860683075223756382436857927931776611427053871732788492006840086296361\
12651135960847809516382905535269736111907850887430604618339066505301011160272\
93923662672283932852097052726988997692538614166389228591480874667247759438842\
84933382299710501568060893777836981771137087825617850634625562225563843914141\
00008732462192996751763003517288367106846507755634861268911532028310128716689\
81795844843491471810852494169355239422412739828897967593969524095664430657720\
57215098231466993528866840183881156305946864682003047311104299545215388946057\
48265746780510576704091217417240503140499935008675949732068159723613520023199\
36808627971402022034511558491560563639916193808802704494928157833290735958690\
41545152166923102467959400193952797325806439487820056412353386565496768747469\
76741551502316771193063098166542920664710478156501659666121017896585550242086\
89443018193014919846454678569424000678154142558604999685818446149115268775349\
39515026000082442256159039971900101503647625377751248180851431273162894573073\
40791744752334100700815502487825787307973601690127808225284352986841854575912\
91469463579011340163764171887889176370071937251774246490350913724471149790395\
75187094845986708427932672435612090088042367874971752308448860436339132665758\
98277608770978661489744850422774320005131829067852466593409975001591311641496\
91732244982773760981791359632775350096690507466857941867930203645196008528755\
50492060264038959560159210045964369155455132005625836230409450013159910743961\
36110009525095311476055155347609734273495382748727564236412158554349719184006\
99034884683278993134876514702612658780907339575476892672913999000564368624070\
80472456773985081304506694129328364091108402948278010047605005230947654486293\
32548853360941454755453726950253837900989448414103495269858050199837483274977\
27419736755594132903341812479991861659740972092063372830251797544639045661983\
38862353494981401570747360020708994423790383674298367624125638210494140293985\
89757219162451162899623063884706354837009576775927067152542181670777451844171\
39101879890916380032606019572690911193965075270402518777418059175811162307639\
86342385485573005441723624004562516656108345602435377380111556119160373139750\
24600242985922197041685201061108628952454875483289388023118715414916935793818\
83096164725468798950832948973298070448390583028419987085495897435973526262410\
36302704155297526302360435520423322932936272636145193727047511792212302617195\
07384465359385363349660461201851091728054629833752233085529968083321846854849\
40377320772091173871966670311177526417280644347179601100095585434262276107721\
43299920980282484011871492366947582079153671567662150263873161797151256181789\
88435700203125495957076966065050258145388362073424270045857191018290149639573\
70082513490265213179466326442109013545126096663728547978286584971270671982455\
44262595316741648362884932471675887785062165159136933715438297382538817505198\
93955820570215281981246306388331100154500599638028616123689803311496753136616\
68149353206358428245788678655319487409117175269509696102531857503428785079408\
18123525401362899854706896661429272448498783585762956697130936238554589798150\
52967419320909334148420138028043644718118252661869333842387143711318042541879\
47537397911128116351765128883343296375177313487732313903991759853881960402861\
19280432471783747351013212675156583310058687112564419705046000850554672514672\
88013001314560999339297993828846024904227303807133387830111665917924109720710\
70190530807151440629349844541425616570683450638180312136470999916995007121827\
96387990514649832216807499205571048960248281678553145277344593293075790908975\
96471630408597286222825188617152922829980527752653200528160760957990522886864\
87066864880333526197027263429581262967250443450727569277349624191695667498635\
83857931070073730863528075694295138974013258331476090793668984292036282916821\
70422371389429818580509344133144630407308135522164950454151911800397779667136\
1191056459310464207288296229619861676951586559880524873733520507813626
0
result=O: not congruent.

code version 3.3a
start=Sat 30 Mar 2024 04:22:38
end  =Sat 30 Mar 2024 07:09:26
elapsed(sec)=10007.941673