n36-L5-f9506-r2-t9504-ver3.3a.txt
p=18458385615592834274671408715472187116162973227348893462849848758253047025254765536012980529664980362222780505228747623015318395612249425863882181517891408075660975794328100321218697818422093087598872037179345365074915133516797540861870003956977150734979272213757359686433815628971239499348727306886190535064653766180251703487346623744867375495426691052970822450045800487866852683955207784252899463066879690048793184106516868141608762712213731292869528153184149644163180300023585780418355618770496989273396464436196638914037474967501650814047550788732541361011677247281758292281736968654529363450663199858624402773427984369336257987680473141016615697900177322293171683536053000964837935671124347977200378099726327053743971165609712181418537029856003626724230240194716508597978104333239545420665585845774375272824673467942386909550436376192734846933853100714875240697895249734564424478255727633905882172879763618843553117581604190536888205355404160739406010149470739925717258264667829752331403468537436341283883304121054011916543473031518670668954474078328652445256301253185646066097748255852688765319865190275620189993410013316023941747366626389289217808220595730174312550567798832355129724328159176194301314936535812897778292457170167030826718504905102698240725686128019457188774495717312258990515752066229787090269886640823331962074819169042431618363700252329942789697891663430136479201460880908536990290853241692454894320368186437763199278798767197158163371205852579558059313194768919488823193443046047911851855023430533628364322098058150045522197399095386668488033884962544388273864193486626434669225911048896902650221629458017366117701943941849834816669775421424202853126487970736103675720531142731077753283184417326519077218761191259011269586118555937601853188973379406417256979772717926481539954014810596775832499688256641275989599907030781360301346284423694661603695474352876343475865140124818795834981396449040825467787748560140324192602832190284267749536711573090860198527472838595296069812588862801487491540264174704289322375683646656844262061178661221608056075419023849931850827866176784295833701051306117689732323073727603484757648009731850181301383765188649906473382369003193993627331948287007202311197855587675551292749101418583799612895125426808588253024294796188068027421147297669550015441029478703177391423192461099612413551086241945917012638742159393127708778059366142683002838075731791961126270376040684587945969838009765544646088802361461574934113591201323992708885994084820900896142102743266458309139801447917901071709102258362465835140219655108208815215974052843919067832563381478850738589426934343652565342115747092081246218772803719541397995086534746286677967074849156220194723537957944577148306789485339294447335378364779699804521588961607805496773531814822877238755310015119577776212648548026357482726787698881310212622028189902643140361147941198854692108020712785024457048058076777898522083974030597877958604397601534085510841272022917966995097514060304098993845285884931723420049111047257151366406658847585192398703217420716225644959866009483447685788192049096603003930117608667875254120151033981194223552001065371153479788272059509748303184664798214870349508453700797753442078292366467079760708086540504866104990421838740611936516744883128622322168157690802213078162804338857657044803751289886017042124394571151850075801120052839325265297955969452791987977272265908027490706092371242290287414565509717448325041173269626044092954353697230390960821596629412536218111457750608012667430581446295038165421788962741663938579121052905016930602097872236631406067076302053511751089601117065430989134643697561660779682337273756431086791082050293189356546973246564894575952722278611654996118453844003992074795752971053697923293257203536704632051905212893727891456498454471726262581518569362948937287516552094957242334401505034005046105014094595538183157234497969915987006253278389406773803079080661792462652152167306641017645324422816517030155688083635097974792930294378830835221329136145674441613542497596517354812557308496075188904675235051131813337851075973004347939280823189050994201441413533427495051024828576744092198508512040260893107399010103089031567975431255910808231909559373179761363783689590316561619634498972171277569043888633448159636511028001853239947696389212680273921432165603214381711020262831170703317957227779240979964692682042280010690202929422700604371051376321352584167203670445545375983091376661427831177531462265199432214637894566164577359867017825201507944523926490841142663133739359639405422606847894346461001332446862743688130396269309360988547600458174116236142087363801367494781922476450575714642405613564061022910030653603318084111857431320050492576405457898841358703949280449608267900881540357720990215284266852990458405034504047476248028146192207895089658320647983453752507427540319233007501117261007672873831094634127346418097380143649909420477118175701133770229293376362035992137076636443618097217985812148161313284062455377315960883995104580032165597724603210954802638790974151800406783730607290171007565451951749538641865012978574261256799340695873942922629524443382256857600771819667364035087231349375162668497665375068132384978757732975628421259898659712147600011120375864216670145203723554855523623594867094966336669910674443683985729021420372947209688874407248071954426544529654765158409389087988524506567373916761523976613425888463844702024714758763330570718208719308201972374514498712692537936293108782090633444968730247323476276444902656903372361983715815915548223859284791296007065329370287598526406250660271337592159998854575729616191764541478875016086369433625437295653464644745626162460378048149693921301866270002729563544177439708820431332869691465910332148881641822557501264566470164874604954771215449201246528765102361993945104528412486097464029148382108372304561959134157028553507892573823659278871312251793767744588264138383952610517200672269328381000563156648365590624282020783080007825423403884797891300175077050494687997006781016057126788444227102636745937444864206272828339064001840721521783382758430921087383883190214232130839112216090966979820276161760032082314314908000892064448992733055083985755514412917362817313760174842749126271206263836966431975301083237172621346017333875559377706977949763694472625501897268497341712598215617848778507532966777344025677831421244803192037470119539572134621417190577339121886096198532684414800735550184032744253982306893511534770045237177556266019536192835071473079203592566714044587974080470138343861640468270866522159334168686382956243519049197307507408783077141975791567691168830055332972239767741484683938324451446533203125001
g=19
*** a(t,u0,r):
82139815989388112522287768783851232666925230861702575909681826974226059262383\
70663525776335700916261189137324826792692241816686047450994509427570775461676\
59366913422847600464294232052919783142398149805654480868745833723441497490568\
35321517608548320770657761351220250604630479548922015772101836515643547881037\
70925950212008051869247566465982095464877518572015990270381217100749444360067\
46399254026106476146207171296692740000632301589940693511042532694002816694659\
16526152335104956722861682503528711602266614266741075043167466763605382346122\
51160100985980905650196375040382440065372951051265566735545123937087859234175\
45304435463480451781054775239398556557890842046139917354358542935288137365033\
48498541682543782155389160671686963219207312489782859216138922824568866488463\
26100256428291597712196185701369596996406979693234362174749944187405767006885\
56462981811948211056338613188116889282379879708811756693149481038538113732381\
38647889152513831548515290356745165144792669441799277771842397874745434991591\
71871328070333869035302861845499025808447684740964856250338139054057667612499\
41349797385444650056734000967265098454706745592563065407757814874323370192465\
81650999275690850026704803980327273260308334064640851467584367395113401434407\
24328717889734682770700717122930326968658449004650594203955250779509669472255\
25517009955516638272312329453022388207017184661228682454141556179022641073324\
46500920042989606794296925531424279725638429648046236790654514027353827001866\
04397903336394371672169172526321082155491320774075485426587464622123333635876\
77025737784259744706747717507880833225278186956610154876342780553041675912167\
93486251088177279223773650541231764934180500625337702696412871469775661356956\
36358515329600211017065710300989362348730110260014965822757392232824669093153\
83585567935599885947728428527953659071556524546236127420536781537195862869770\
53340990965685441244136444860870299728467599873555443641465667214198231673331\
65548109262444265708260324676499148543836650025432788344725413174906751066602\
04394666193373541755774340874845717922276229569661722450424361558495356146561\
32196736184004486690116459969678312223719308837678087835507171533643306733306\
79115775508949208380655154206421327164162716987718205028483045736515620325273\
35013126979082773833081492982177259581118430369027220241054746294975687125811\
80229139391833206451893275240302333776659330706242402609299418304062364179334\
93936262943700647422701190317338104641635956577914345667367509517050850400845\
68054808458917675545426736774530089878323572075357394756721164432346597691055\
05049712972966373977465231529227711084535155439851854907047580885786722949857\
82925391577241507455976154567353897655195922107813507962097571695348307874517\
98665197439128533683099652132097598602906424337232696641301210708791547344606\
42216575961803712461129567282121104146286038717290798134205260021830446168025\
44506676197460710833833490337988069217189335883386385844166164842327368443616\
05569157895693268266805232436605019849531281839375683532405226115221879461692\
19218544160294323580509631871754106174229317522187204120071403742201342201757\
45461847988336748902335857204488083467210121631429480640474090163298505781066\
48183799491717583520561730553126189685500028172484010307785049351509851052466\
54167207377182395723117499514729922369333648301724069848197824479307916573849\
37669323999277583745355584162573283731498423513499743057590406406492434649886\
15832907223336421110520281917789948165182426450464332210498358962136468739526\
75239775656105000885786170595986990205656370066087436012919836126960884200404\
52667708868542732534117933553145300975699848954413812729234872497094116790164\
91644541493904695864008682161183362203151238046926366340309472137808629896141\
39821864732727119605817764732841100721188955758654994555738335612630978197377\
08911698141812239918186848775763366512277092944865682255972838808669740132245\
51673127209501449150496935159661261421778270888328601434237019089449764588020\
77144514552528521693681533500784192811972176185987828539809985797216734914655\
84825126518026411430450222891588002280753459062580479597753656935343728807986\
93483297996631912769241964142902237523529770604871665112102833628785791609743\
27925594958746190477490669088803096631997539210649938068837418676908699207373\
52042616218518224530441884431038247407460824691776724893199642721895037313693\
43039986140401695987096297649096636176223608428824350881460475714030359310176\
89451178624630018999544056333482676923124756626143353848740015007080137473355\
13863081943236925140822932214671035313147288424308485094514015039535413060047\
31298417514559293885392094121802633984266563990368220388748172508322887689160\
85351779555020205061930158704980360071551949636408534765474297765569374224691\
96500428764984404623257429800075679215892285459185840645801498749580753990240\
35430112693037252505553251331489795268835263691986580525544205868833799718114\
84144288548371121866691560533341639242096921123175881870045277520355524811060\
16500999103217410053262003686405931784411407792642905602593377821538114313690\
98744842887488717426198349755118101876012024412609836662611852854469562993077\
54655462592757066096639046005701383773051043016323434597519769956138179504719\
47387481461091905318911315547191174154647460654903571905682004948567259576418\
21461565698191070801249971585726001981811025012743937364941453206596150831154\
91112253920197198123156963704954921781441548934054224813929588781695929745203\
66410892400998067649682103969602880092149877706658951927148179381650433408030\
33188301108496005894694301798168232200070108275353808241895961738173212672314\
40715697779813442507815438207452285111994902861996792053352209580993821584343\
97963319596565791766911803642294868231426613794979330490151214655777158960670\
42509194312701270233009780625233061103808806273207922336919920487319087489455\
47053004705510873055715151435563133714929710300382256755300718146998777063110\
12195351528379097733952048226646341777541580858911680154299159851129545250604\
70852268782780549924847060348231341472873506162857790928747013615866801755214\
54214208576810606733519421629645717914086108834808191210771936053275017598838\
85828019645333298223404936160480306020022891983214276629870134060396968679801\
76620951237366120391374822645370462327780502336119068678740745006222900898204\
05418164989777135746239230796051876448440403183483442844813170621062059499427\
06435852170215918091426634982453937420456674203195109599906530649806915909239\
31280834704456458632731983189457119302212656761263297267013054401253837869360\
58116068055202455986921877498416484658092115630184300083805356023609037050654\
40415528365976892801840796908469328179227247622570129374623172646696644960684\
352554380893707275390625445
1
*** a(t,u0+1l^(t-1),r):
83616486838635539264261481481089007636218268719890487386709814874886303024404\
08787813880179938236104086919568868622673225939233212348989916338628227604807\
85827442203483062944551207011174520816868228903284224345037893655548310928601\
04271117925106492829456103128320839379545184799239714932049734700194443123842\
88156079654021679768020556424921099428291046995782569870747621003684265831709\
12626656345676929649959210331240025214126814876950863282027566989625339241978\
88059206759106843585295150953030351361408485983895970774280589761602782478187\
63540507295841236538289793018636506403626846800501801643150429535956854456362\
87691930932486841925433288052691114878032699880677264183200943707158485901932\
96336717712791760261553460189380211996181825972745247696429060762988082065783\
94884081262957514075561510388135791998589577080977901270026347678415308885661\
03545462383848403614654812975768428864984461815936462431453291933612956226446\
66983132103570259980848149509225977102451863499179938945268778061257712474586\
62601599136766837467398194193283277957813036376757482879557701104467693097667\
94227995990126801068989893119485594606701473603215884561155708175434801566712\
39298657689635854072128710568737651206561068160184956662507232426935664830980\
85664964503482722011522303048735815992814106514846559942453322703635686002093\
55189225864829296937881989308357622152311875621430546408373314492353385182507\
82617790515672566017565184866820671271267884563067292732958415403126480071562\
51218539800868877230320528436906629699859704068890325614031733649037910420341\
97062155542179021016082507934988803260788806047964944177490515933770515029690\
05503981444818668513189806056579751719514082659051638924662990507434549651014\
00607657178222237282541048913141980098819640332105122511705839733639494604940\
87110701741183704122069613759916870920033945212235878025849802328875788494395\
62165098668439336817064740498818529835945669084765429145132465725914154939369\
07850097743566859249082982198773290540130342610159669932945195883669119625102\
75484907383366773967114104306303618469193555045071371393353338844940216481780\
40191284250233780832860126665762416713134487423523986043785952145484085281321\
29526845630458407632442213158446879113181372574014262646972628581217024735615\
34294261846122464149181834429047862000554267319481642177972584430615699478635\
38525393583147061848781244233386420676015004067253501982050868520764608928626\
35400285648306501758390200480346430118339524336618423791724678227469742093445\
15345681419976869712535532042386810595237254269970561404033005590680918548422\
33230381970233185195037640185932928362459382953377281512118099193845810104012\
57674612099978433432712804537104080084952253291774200240067865119084906667767\
74820976269494889344818297563685870038464292639924520401144827979960833589003\
84099121147633891561554368491687326243297922559399396752348275932335263177787\
70025897342583600017363081175524933382891616079042770308780388030504040235860\
83871524779211349494073641109622638183904877917386931775684421191450587407070\
92822473044074895689822164579560921566125574915844502171668193022960018016620\
50998240761160780343276726547490116428418393480983269056482613132526344087242\
95791598134265315359133626832732952646138230926146644200958713160076320284870\
43455606610929494972072420854320572659119421754339334025244077503655025186412\
96099334318365720082350740731788084337907383936214345179974054162114770553704\
33645633645328985984417275750019879817590200409124365149114059797410832222484\
53671052521832731238789068044903610254297383460533951716522889360704001219737\
64176341836965972669562750336123194026948385564830240823243589306030640238077\
99359499543233319609878501166328231636016878281477851577888069389724290658319\
22110797132416595913338084098824760958873251592518455132021271983195130614408\
58734829793799875691996949427911921415868591244998099015630777483881780404285\
88557138485177879697022722758037194211383273511040126853279482353979198558142\
49317899083809933319635358822146605267018866993825811974233536103683552620986\
73990522050934751411222361730088460748722060573817881478162711442046537415770\
96961649421290464010037325296033064265525811424734526507376592435595423818457\
76517515766993313002928703589275961290550303960504318977940113844134024136944\
28034393588738776881550952016315339495684839517696306464313344164086408771018\
25611491509217906252032860303462418399616392400578496515284484266192702848337\
37800862734735727206277432627118320553203403936276268075234217524061353427932\
30966238472553544019759074816283098869338700351037626399583929916650656440902\
09613894683360359842882289072306950999714052781206300755287465497236557580201\
94751362108818321107987330097429445196433782438860823030921026714163879828731\
37111672428175135492889024043672545359099337782047608567523772884404677657480\
63033350674035675022507017647561521925353650454988586467576461255239800611923\
64758118454858692596879273981132050734089674761345335926135979138698994920023\
04438095716308958998039747572903117074917680292285924130280449782374754571015\
76924525456252559537231129076558427302996510244746642714973414254100476485087\
92941403493301013352308961439511745728521623564931496343093159078945158012669\
48688829442414905863970395377253037959674830734092849602862805037530266490151\
57577728677034955220148847479401975051146953552298884553524670342894508598906\
01064833765953552246719336086167594532568588016014750203842929703614058819274\
74121650017195785719788748535348549846615493485655067916849719685140778278287\
05695057083480203753475322954090357722767997862326460974334540825601045709120\
05942047402821324620315491029159292484794811228055161348693372899303822871253\
53432323094931019484069768651594551255811811346349745420311236492285512380188\
09565539378997023405738046344338374561854807284861098468819604451136059848816\
46775305913699832571323513708562021512052042170950926539665674877731339347390\
75335942117653328704450062576788298483654687930532564291904538005756593255109\
96170961255279975541473524354491680195981344475897930990387409366264407180027\
38784351652348774944459096625234854415912375959928338468493678723895692072525\
84899085167047155270117833889208041858585101277294533288384653324404105195393\
70807395304554724802905156535624313335920376535420085643751814579368481139070\
64391974697458522456283981012610112429535960993523594626292957958069916748854\
96663912433950136843632057633823895845992973964151426176983501987331534622214\
40157793530603990473320423336683314705398502276072525083049244143298850684989\
53542873773048792274327214621983522584529726697693231321267025345381783784149\
31479178314129286380300856178733945315033580164099480015065836424614786892561\
824060976505279541015625453
1
*** a(t,u0+2l^(t-1),r):
84908573831727037663488480091172060734349676845804909929109304287964016316171\
92146565971043645890966622479032405223906587046461981634735897385803498230047\
71480404886539092614776060099647416282029548113710249886793446096141772686879\
64602018202094893380904652183283854557595551893267701697004145611676476461297\
40732442915783604179446922638992727896277884366578327021068224418752234619395\
58075633375301076465742244486468899775934514003084761831639471998295046470883\
63150629380108494589924435846344286150657623736406504539004572384850507593744\
61873362816969026065371533749608814449599005581083507187305071934967225275776\
87280989467867433301764486764322103408156825485897442658438044382545040871720\
00695121739258741104447222267361804676034525270337337616682931459104895695939\
55069927993290190893506169489056212625499349795253497978393200733048658029589\
57242632884261072103181487789963525999763471159670579952469126466803443408753\
79276469685744634859139401267646687565403658299388017472016860724455955272207\
16990586319895684845481609997594498588507719058076031180124817898576465397190\
40496419769223683204713798752678528739696860612537101320378864813907304019178\
14740358801837732611874628833596731909532210493786048708064739329780145302982\
76834180290512256347241190733815618888950306836268029963639135637245950465702\
06152414785477873270255441681775951854444730211607177368326103016517786278043\
26720052179270155337924911785292513873693657613710716682474329106927551507546\
92186596707284069593702964858668983801182039451853310778045469047588165106749\
02094021080358387786750449558708277041860597752900384815994784391908249257521\
91019495506879884141428942132509240156680966938551333124381844665386076908314\
44325656295766510264831970198775520630147979145184009614535731296852466927754\
52695193821069545024618150837884681287451688294985659805498695521595723415942\
57386192908348995443376999182023231179988979644574166460840914423665587797151\
82364337664549128597302807530763164786887323621795691322637505753836192113790\
87688868424610852152036397308829281447746214836054814218416193970579469275097\
09686513808184413207760835024836008141372768686139146976029885180844766510833\
98636531986778956977755889741469237068572696212023313063151013570330753594664\
58665254854782193175769633195059639117560624651129261372775692799300710287356\
02034616000546685321058217102334996712951218258138213933208387460379073084256\
34181305514836624302118084372978714910455146125484492150537200849086272324469\
69225195260903664608755727901761441222536726190257082220430866604223449298618\
70388467342841645010413497760549993480643082027712029791554802713397511363897\
98080180057373243662357373260635489710989043077739805983291871864854430611861\
28957282746065450548822112316325607544577427404779866191007993092233959052851\
58246348185235298274426069550057770578183320921244420543223414854026978061329\
67355215844566128052951473158369689527881111250242106715317833320158628054075\
02386095802289670567933498698513054226481774485646773988553716883150706859277\
32225910817382896285470630698891885034034800135294637966815383643623859354625\
68342584437381807854099987222616895269475631349342833920490070730600702605147\
37448421946494580717884036077388870236696658335601448857485668992571980863223\
84082955940458206814907977026462391662681973525377690180159548899958745222406\
09725593347567839377221502729851034868515224306089622037059745948284314469545\
24231769264572480249077145353221070013447002622951893970402798028275900270072\
59798419779344495297666603312705652796858270180674652957175560940229228611654\
11746395684336307788076965021228850446790855098944615405501216513850098255001\
93610087836395865387514592795829992389774313486710401160769341985150493825224\
81613612982144887682418363544060463666847010447148983136268841307438763979311\
14830069989289056994080787498541906956511152257613963680331473824692315642321\
20830648351394756425232786906616135402287650805912711594941637710442453281998\
99969610548681168492344955978338716165184721450684047479354142621842018114026\
27010243142229548894397983213776361908194586896150608123520634135411494947582\
00005206917866696345733266305022537664772347142114530228241131391553852001082\
94035446474209545212686983777189717866783973116626902273404972115456183450318\
69527198787681760188771386153432795072880852490375940339037832926003858796177\
47861558706932090233852352626032477845085078375863373944880491749334753444227\
80106836331078221887169136884049508729522220332642568023416644726419917388187\
33431500435705585538828199592693654481006185786925625041520105434126494399150\
03139937206061292555686209653998228388230605473189621076009346862536018734862\
90475996843391672648287355065822394680705386141006575263186914544184072232265\
85146510633467025003816669006819803234405508564551655499030762752375610866315\
87186183907409294724841563174124282749807238872615341666854684718345051394006\
35295219623035316985793523247948660789583334194743608225215343054749531265365\
56383055252764064324720273473588154204110668729473565342006637748106814796174\
95331747703920921384384810982818712051607935347866348010789780478777525790597\
01441601781276967201020137444095812439558381544963550370469874561401264207125\
74827508926072531340897090228557168789073779553383467587896005115372897539668\
26679371283523354086685363886368451486815891024409463343534985337155571645688\
22273341130990362104836411919728683189804747212730209920017103010292421759086\
93368562931368789031132062530376010881772907292276669407838567450694830039761\
69138468561591376879908716465522217555128651250927532115218297527100399616325\
00515103322953221468753037248152923935994731048356234482116890802825073997299\
39467701156000593736582988034731773902148859203798858484201255599230321622266\
05739841312005807431875278848555523837645058170057627584231827919475910663257\
34032319470865172147480830697436048334534082557698512600985012017122331346136\
30583958883268280803635825133162510601503656618200837912309243891055260259052\
05824817168716972956021680359969476578700702999808053544322755647862311926738\
62783226843444672129031312246375348855010359694408467319000203560688782237001\
96586267498546780185991619401844810717327034409614757864584857680410349646536\
65720533863344753662994198689596432968042766459808475488136500455870863849828\
90994058191679735827573137452098568912994574077308727435087771877951791842104\
38113465164717578251811802453772609468337236254988203181925851907665575996067\
60425132503483080833835308465506235683186117101530599422080910167588236898664\
87041328776164336525806884605104680770162636381763546154045986001932937175957\
36159872018762630761453408040215485308864121137937661825453167230293161082954\
611629247665405273437500460
0
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 08:11:39
end  =Sun 3 Mar 2024 09:21:42
elapsed(sec)=4202.805038