n53-L5-f9544-r2-t9542-ver3.3a.txt
p=9886151197723951115500764211497738437140142004353758981789340034158476478180319477953242798445029612673123228656384567024885098842072284957347070105932538030679923365615643352961655428633608543681275659466592659949133647957349741628494486876861517571381545342361278657547924905434488648961456493199755422700103631112479386146528880984159118788310526177029346802378085318367318624643768317334167897191791008305255256119940430850624725520773788336475313797551481418048131024799356220502814295335826605792539871447322102160534047908060604874809846900894472048635876026370100887722422050083878844037070238123882855254241633717809253169202900168217139677418540972429866281925476758575278033888931030891718668290049060526835399810173382478298687930897643352044463757620380369146135000338004383666937995054326993233995054690451742278897989388681151739319771618161600172819094023360997647991983119376901633335391301562682891979540171755095142188857066387240982279540447347811025233952501922298461718470131463882232470244651225611268948584849471743184793691258279862364953199139753746663328362224195416320697736461166316986031140011474834448993942019606364925532597040058430932682718304508497687446625629554933341748049986341797418587402009899684281926771492993622074395831328173913698316111478941110529652833666863632927887859517832481833364458563455111246218076539394506429683317827279473662582529936401265437329687825388950431149669524743850762931756280133103980295890325646386040651924635239315220327549887270321941674170393710607371244008765662959807907930372145159403931311347604025271264438589253900191366819708406141019539329957346736735600876160667326028119008063847637572161085522556312599824783426252978753271122757706664147438705621695565517439458072402712769154535929763572763274148444200702635878191610892312980392019275738247591903473955440576860598645346583372732572874971714415290593958127277156455056825222215934443463292798367720855295981751068779286828286112458101449111038977061482119098169982645118550172244605865038203833756024048779544290810706264743071409987737894035470909197580411755342297568447007481920416496274133701689054502678199743250674950053896434060731084144706595930060183988455837834342333797665400789059704798444943253176478089606817648122439036826993646105426470931849718286023667348049980272856681224861938953912722588065679295983444089221227287929513250393121480839239918612491968511577056568473445738007260882075799868038276887409746554857117609911265973060891335257469830901483291001612991918587883717722660646997920586550022580121802570389330511622551568660187606316352979625658791824850150716400241596100245256365760695347834206885397296326865643549930056902973676869924738261325428133030102926626051006611238174826410858309071992166324558094913628374888821082209663999788268817766108608586766099412463126696088128026734177780891017629571945808746808502860870789816121125604914398340685609254471536820679237144173734399951825578993118529021215658724979424650896679155495024290097404268328045053870939400755969708249014519150103079610064493022281250100301088810296007870595717762706901551946367951395146768958253119595400110449999968469903507948690214794685969141861178786665861229947015581139231147401859565408542771189840878719787896171358042492127396984694300751768684609837174607632822630700127696511805111867532537472412504543491967231380187339562428083662244892900825772422601433410737880015315135321071467845962277965513781668666459403148704995243152727004116207367828497572732855514584367231239797837939006419966829802048588107214542353596446183664093271926896494677322682482919197867967455579611805752401249062104889824887786714089917828453938005161042852480374315827690146272288622588727127711232187141445516371636068075898173018365188044381152914986531974583019355058910134147997296509894449423142479518432140917599337057732488558156400735761371063589938168980281375551031594018382999186360130253101936829255793966507638921233922641126361386119184587191680957612793013825288781091631942576768276638833735865242667184814681666335537346846758554153883876831693127667649319010178202773654624018657674354250996226202027047752519528968278870975288988082676210037066866307017088105837984341235404175324196847611307602798887786523810913808743632195512451613614129462649412040488648563788451631578490799893919148234374498539265518861779337943510989256251536698427335946900527885227488240334462443197032826521830505347634950111223673472287702882597658923215930483717158737662132718126669776523345186010504912705097953328728622944208543039089044073912626146357911018039032070598815986535186128814245931838903111864044808339351742331129529687010173437051007326333289299718051269350824358842239823072978971635158131715293329188155685141856729534348749696838828206116075629637981901629335606065469992440733500382974078968722632837303219976700743358253359122796056981954705811806405437578149535082687130061776888994473294264873125026134052456705403992871972761983788635074429839431716922059583254850171837456276607416526767347719350585627762674809247825637578296109059832400967523879196750887113546124221732500941568037094807890363380124804569186546600820695632423407680053352878973710182025266282567256365693713414731597489567097970426158639841517222473372421903809782393708736893875176649428942526760912314313986296855075244000829023182817771670675651088747688332329540998261579162904279070904468573198242953284157561641763850936723566343499974746091985784930833494257146464963291370759422795694082236662510841319056001063390790288445253391752425360707724936518875574829491601282042894025553810294085690214175764358620250242609611711476533676837836405036002101492335217705780791096238596501186263459259534678110896884778554750612828773103461834727269334463917307301884665858532405004696877502406012999261195065965147561922525649321365962748284292506601943582451081443826717639343914967493420158991116561316195324671886842879226609975318329805196188960975212910058158274508642835801503239051448717717578124215933732460367108092119598336832666152962412179568585940341355964518120054485537413272578221751070776717057088610452174330040477103517355457619085521882165562770000620249285444953574479815981020708428422255655365566423996910188395379977485179871216387561911190436607969543883487446866226180780772413480068629816721678519222903591828628437326379586212908366908396439657119159364343385635958659757671955178338951559054214350457775155304545409689938788140598900833500464688285467642393575522931359396968323666812980834842644347472667964748209212170908637764700293626725283074749502381753813460077418007188043702626600861549377441406251
g=6
*** a(t,u0,r):
65644043952887035406925074364344983222610542908908959639081217826812283815117\
32133360953218167499662814953823827839352504523705631135997211678454550339205\
25237146911476878718636653920461271607300436703788581752620622474224368022844\
13203392862360476673973461073278890286118221372085004629104071114846376006728\
68811058686312401295176973481654875438189381547486276779048651395899566763462\
16270988748373534922951468949006364044608481481774579379545541960836157418366\
15839590004667725304138686921029888662462464746410218758345946078109522416368\
73738342193929440294221681509746989447688241255695552440614638114258215888816\
44478862534410435072571169618074580591120569343121119851656769398461450225020\
45121011957445925761898187054739551259655903287861160351857575239350599325651\
13033640224434910754846828716073123507372716314459956873188264954084284754908\
32835445930251475187843151170243826667679126626268453469982423762144027441467\
40453831744134010920811280122336148570389465207553444612764061785810641672920\
17802360242448413805882581860340049237474703010995497828610328924228796487784\
45003251686575643694329701021443447872467696761929007413197750101862631055364\
44345987981393013249541936424644645594180244757389207051909309534859420349345\
73390363199376271347765057398832001907478695681898022016897391689481554797452\
26411753871984076793735400048613419386748880282215795226930972303731357051195\
47998777704402503869127160582630862833805644299169065866861700083810429164711\
76229200330992877957798905306297493125147493769271649141423843294506021820400\
20531245086576710438584421039073480907278011958722326458972706756828638167763\
69741150916782331924389817706831044826710213543948313479149607869773915662836\
56195031977892172025511117224993899300532805855503579800160075401278718611857\
36301231481403456694926655022311922963249581898030079909019640102390670641254\
30354375005101313594944283889812183717529543881965120318861577319475513804704\
59626418116166647916531882709669446453981978672179362209729880768824127081184\
86847635871731437041829438536734561399996838961740909830895978939941623185796\
16395526837071933934055472855854488129679951565535260247779215321897783246295\
18448166835787232216325439872085179697559962168334676322003309641649826123935\
64398616744232010918145149892691835329952045312378101400317669874821294191971\
51191051869011768363333083274653980477984756110525330068752428949191851967982\
61032663277255305958694667091687165561466367970036821225698331112377415853240\
07171242512609298108060611243184661095996771858490522507102663394235478856784\
66696066192694692149932008769067385154597173742415903645705940583784714374377\
71700500075689760419810562850226865101710961913371903804761038787317153557783\
57452144163002620552008428033198834327969786838986214808473680991722380279843\
95065750226492409261771985872168958594104949966961161016126900098755161262025\
17009751494046511635706035772017007880845899618204437904427401663160498215244\
54496910044893101346373135964156801218445143070327008719739338633796819539495\
92486961286246764341698219157703037621019638862773456407156684448610828233667\
94750066599922970036549226075556594437382630492388319726377454588280071411345\
67333879997906401592927793030262367148351019582271434613185668481834587644948\
18748347514312724000700543434699391630577817402147725915978370156991744065809\
31883939468194226784884790483838594280041604881681903016878666241636444393469\
45224755173060888614831288860735178472995233016924985319145464971895256910115\
10279945290436907401168414534107307331616922381223882946160616840198415432257\
64391500262857974988560262503190456122788040265952957932559459272465742261168\
65834738433039050486223901959442937723764684372549037815570543809341483542693\
24540469685457095862571247996453989148128002581722619198228707663492023963868\
84194484861469085535551057231123124851759116329074270204882569914416966606400\
23894156928595980633437240261585008854555038622371894420290683336588497842820\
63114597431264880596860546258471937610722436993246337079039603831385658952761\
55854894561179991750644843609870974135688185600614521131010716948626446796798\
30624767995817889421624423677131914782275832664170667034838869577122266149419\
81459597076729672349371703275918880868970034646123992278593465022764216025803\
08372415266706813908248258461490251810446769005771777820267871439781963199209\
59488446264635553188336811789112956231442762466703007230452422148039449129686\
61510203677557510687419505157910521915820830622828297968104954555508296068738\
52519185599034714044845525015377841188193401807656124836108731611501203510975\
26203618504101027580563495447257795512526507798376118165291597791729487761381\
50593635895326592987410316662777257527373295569078700077121747551622018688646\
85304095012786042848947374271247242520458037165744999458954770580935374934192\
86841080756979870098192886107421807961998268187884242747207498064704425429478\
84352318282039693380645292935898802304575365818360179246590394532105518912912\
94904254361019854292330267391875755017353010831252388251266989913957235653689\
42141338266003624756328122051410007096766732457377351888564878885683441607334\
05562233519886164157287142424358557866425890433946264832303806252011766309524\
39201284402870233939866942944941899929142699555426311638543560864776811624658\
22682062570738178073307255305236296933685476743572231928814412969550942260129\
75331172952208178377692457767044869011117699620165504713933910003893286323229\
28465052666815222845688564168441303080567132603633320980680620930131197021984\
44805208398323140507856119407344018674525273562547018425673634087060514390719\
86358531847060914847515276482521236104395099293578485333816867824232512764816\
32967730035272898302212707534123846161092782176420418361420323372943905395390\
91058455663844528790242807678767893694833102626563553149296035440691830534069\
86582589068380840410920484514181300655169231187266615975926315094335238008579\
81116557031149386999264860770224383690538747518078700940512524359538415630985\
57010139671395369558213286367180646902361137099065026947008754137227861709427\
37388429721981507301619485644718744793799983536837597731674132956568903255670\
41687233541064386660360440031716178396842412991939242710995740125906837340243\
75514687679673552402385907278652975793367928041184552553544917345459781139775\
03964723777551627361055339483650945323050501594344876813411090304499076917771\
38635664719174184038432882550765570198303194536764007984974209282384716045245\
37115562717523593232712181792400806227655007909417823841706383521199832870396\
27031222181520341193553253576701534443085530215505145493341472264226395869669\
14763819274335515846721851528592810916881483335475760994968145587961633669581\
484532137491405556772861018544062972068786621093750664
0
*** a(t,u0+1l^(t-1),r):
65446320928932556384615059080115028453867740068821884459445431026129114285553\
71494405046732570609603589607577370526583370473935433451852641763760410127340\
17631010926803755589966061589375544885591700448656688434088632647494776552895\
80633503124823246322545830166431664712967262873976314856124841984982380898274\
68603796461353629002119211513336637861568329193427583174292480759164929514174\
62607521914794096564749807897955140056522311356829475224787874665773397908069\
87478627384171738179728630635123172130346613948981272316302735397151361204271\
24118648392140496196949929457006787672243397155527794752540497638010450178307\
96152118972559801231991135974646645107412374857147863466561417683405843447234\
24503177584080124780687650346743347792006337314102542398990534350075446918043\
74741370223758901987512952725964469520904726205079053388630468975306922451429\
68881122297931440624024346498044297069282502750888126802904163449607449045559\
37018729841290233779483535302690557761442508987048765562725615816576272270290\
90037895301959111354660043963170350293988333423612981268885599017830516980291\
12337579241736560430190153729210184475261468759634040523398961697941358070257\
92405186812774359595175846254690896661667653658722372090909582698911048601305\
53590994635522728361777813250040339251130868285265799059015170630175887463724\
99826176300080510297368727156900728364499636666907916325645035640165901156462\
96348178976377195122533404074851854210812253804292050608226574481148349558793\
95577907558911574108528426675856838025372953125388300800636422079763533802868\
87939283504990636009552540252811211386472957705834608608192668483464696486535\
49350364317635397189677800183617698306147833382671360727706386159322789410840\
06628179471934665483265601811665604423121562464372544921243930595853180302785\
50348516928748627006086514495136284641071119301951676053871990584009975850166\
18817163032194381927489632432312749429223732002802574775732476182971069486015\
72699832519431206205939919207531887880325406447263159311507802814701162842988\
52851106848021402592908265529093794648792029205832051668754725991327341188248\
58514817418887982325820366009903119189530313157205334765105181540807729682300\
31946816935679439348203977703795766505699841800357764646334624974054495322357\
52457657055243360282849531971328305705464237946979372179232375688451350534766\
77844090869406311229708586035874902223532994796939410399870644524646093377717\
60246420315576826121469683154664011448329421078560806703934179512641339299465\
25221931541185776125807416631006394044502805678193864306780065010517902113240\
13483126234282961149480406333015977367986941291384530441953814256725121861201\
88050799774256959936618362359714133580320266244958133010168385056030053697669\
76857408789017672899743342406592813742644576637663967173508398820060565881410\
68574588328219841763995564227975678598339573611638988844391578110505898728103\
40753698025690949853670776628125390387228893896462858272185150453331701533873\
32646015737528965498944301217276810853329344446621204476607593637911889360160\
09377060800444816256331658256625618833004519468608476116773682387018626943807\
50187566399320792415957210334365158911968827388495583823587161050363565172154\
87311789997912707612226203292219408211157191210035677280013422492431471417101\
95800310323004553145276746617124995872654390241297883368038676270976708692117\
12209590252928581523484535090814984056306539806737078007791682307173684018790\
32739138440611910034666134376214891790847657013861958254931171402702801317012\
34646571961248844427068509671052767249292775024653931491503506548511070807461\
68715622250018041328956165326976027038080847373585629746015605479476387615803\
69250898859445559370301540808962687911343706407571480472752560243650695941661\
03683420077970779308768322550681537373585448357078876369318380230770662445905\
38157754485380323229721084167173958813048998508805974210289550125518120321441\
20207728745076113221890742549953728707402764409653906786494627061478291524016\
95454613704062275534821809673356058280569658568567884256512376109001967208927\
93939668975152341173082660345985820599134907933142790645676347319263114125723\
61255416284987112646258085051598384918473797023615936110035138042251415950174\
57419056121679281770006125856413101107316510445382654952453123260647456338978\
37564064618313118685633052863714678762824941388284513429242968212553704273910\
77080348534922795498010496090952977447613115591803299377348649792171860427488\
76385172943588963968481494600205972151014141373964357311574517945401343369736\
30071838654459308279650207168945980220759084332331859399855392058454513138954\
25221077484510361834838906605549187694717693015850888893709394183923073641618\
30862932172750308068773538600539976631206508534232077486528007348153277668500\
32637516413349940310245725553562762874312079222474683195524183922559063563909\
15495173887229930730427244884206682034401887862017121534113499576557725352884\
02772943829382947316245758921031637237392909897220540152474158403996767349922\
24738880100896300514341320803346008767300742726338977443281245968433268076419\
27255370379660240344411471081375639605511410974071998419021008768557889072372\
20605720768320241976090494405008080282490872691675342347869156233180405567628\
23420557642620624801493849743300508664295884195319605880596140500726279059523\
71408923828055231753809341885642211701957508440127737254330032207594463518382\
37453669419219599527157239520758589285180598115285488133470253648459872810207\
50969676002156140849165405842632744938758195457236835074112305806847669320111\
00091939698328191289458962421177319823095980569888744273789074948244067058217\
69532150727039647031709507577453401055887885139079754956305371234400487123958\
44916622414684726921784356005406605660607562952997465294066647700133833391187\
92591412122688370570995088378530641002981195690941373772340324490569264779449\
17345894522994151132574338476487983484521131093329065927806055109111336689276\
85992711979850744267339364201639370486651582615915813287077245671708480644145\
25211916359132130493278908998604801580366073433103987709216559094645850077772\
47215573005951442520590511290367182309481308887630255569831740989832249932611\
16862874403892505977648510995476069425767586446782799208854186691792660119339\
40648679584252848931294383461548599360255374041060502696455926630563817943570\
89796155332438520049726859545447177415450951890747452485659852080690344758380\
50868689825441731676871337723805432938669751179725562177790552025510063286072\
94533889335844305301288349919532129100463275957883432806038593209388990000304\
71528116090612147394777490764723517773076236449795792645469961805599207930302\
67430193312665830558026906192663314498457141518200231594380892137395484170576\
721024510571250720758484931138809770345687866210938162
0
*** a(t,u0+2l^(t-1),r):
64259982785205682250754967374735299841410923028299433381630710222030097108172\
07660669607818989269248237530098626649968566175314247346985222275595568856149\
71994195018765016817942507602861184555339282917865328522896693687117227733205\
85214164699599864213980044725348311274061511885324176218249467205798410247550\
67360223111600995243772639703427212401842015069075421545755456938757106018449\
40626720913317466415539841591647796128005290607158850296241870895396840846292\
17312851661195815433268292919682872937651509164407593664043471311402393931686\
26400485581406831613319417140565577019574332554521248624095654780523855915257\
06191657601455998188510934114079032205163207941308325155989307393072202780517\
00796171343885318893424430098766126986108941471550834681788289014424532472399\
44987750219702849383509696785312545602096785548793632481283693102642748630557\
85155180504011233241111518464847119478902759498606166800434601574387978670111\
16408118424227570931517066384817012907760771664020691262494940001170055854515\
23451105659023296647324816580152156633070115899317881910537219579440839935331\
16343544572702060845352869975810604092024100745864239184606231274413720159618\
80760379801062437668979305234968403066592107066721362324911221683220818113064\
34794783252401470445854348357290363313043903905472461311721844274341883461361\
40312710868659111319168689806624582231004174975060642917929415658773165788067\
86444586608225342642970865028177802472851910835029959056415820865175871923287\
11670150926423751012905554893212907426725709262088210755911894791308605697680\
92387514015474189435361255535237594261642632188508301503512438843281046399166\
27005644722753788781405695044337619182773552415009644219047055896616031898861\
09227064436189626229792509331695835158654102117586335647747061763299950448354\
34632229612819648873045671332082454708000343725481252922986093473725807103637\
49593891194752791922761723687316143699388860727827301516957869363944403573882\
51140318939018555942388138194706536438385973097765941922175335089963377413810\
48871932705761195899381227483249194141563170670378902695907208299641649202963\
11230560909784272676409724934194905548632482707225781869060978854267408298331\
12938717535032682139475204694059287354539119592496294592322516968482510512888\
80811898921311456471075824443147127958537393754586996852720610570231688591538\
37762324871773568427961602603200432696822426915423892386579937977371541836127\
55528962545505947098119779532525086769507739729704719573349269914224879976816\
33526065712644644232288248957936791735539008596413915104844474708212441651972\
94205486483812575146770791716707530648325546585196291219441056294367566782146\
86152597965660157037465159416637744451976092234475508242612462668307454536986\
93288996545107986986152828646956690230693315429730481363716705790089679490811\
09627616938584436777337034362815998623747315479705955813979646181010323524572\
83217377215557579161459221764775685425526859566013380478731643194358921445646\
01540649893344150414371292735996868662634552704386379017817123662602308284145\
10717657885633127744132292850161106104913803103618594374475670017465419204644\
82812565195707726692405115887216545759486008765139168406845399822864527737010\
07179249997950543728016664863961654587994220976621133280979946556012774050024\
58112087175155528012733965711678621325113827276198828080400512954886496449963\
94163494961334709955083002732673322713896149357068127953269778700397121770715\
57825438045918038553675207469093171697962200995483795869645409987548067758395\
80846331986120466582469080492725526755347890885234222763560844798387003058685\
94660354172978439371331582269689452529837690019381660626752482721540259743613\
89747861417884612674767373906081189036817838617706136415844658849505970335467\
78541122433052879985950769876046826726330123009216419395856415634442493338124\
61937372228847749394741245783478962580788291587196198242731431392125042611686\
98089159643956908752611756280166047824489119133345980983718289410817053611194\
89494711340846645162589390162660782299652988020497167321349009774699816745926\
22448315458986437707709560762674899379815241928312407733670129543083118099275\
45039306020002451994060053298397205735661583180287550561212748833026314754703\
13175810391376938293812661339378422537395365240934630995611072687946898218030\
12713960727950947349941819277061240477093975683360927083093548849184150722117\
82631762156646249356052601901993104744635234342405052258726015656966328214301\
65634988539777683654853431253978673562174005880780713372391898284759627175722\
95387756987006873688478300090354814416153179480386266782335354740174370906828\
19325831366966367360491373555297540787864804320699513264216172537084588923039\
12478709837292598556952870227116291254205786325152341942965566127340831547621\
16638044816733325078035833247455884997436331562852785614940663972301195342206\
87419732668730294523833397544915926468823605906814394255549508647677524893315\
13296697113442470929848554831828646834298174370382705587776741635344257971978\
03746634540154977846407641272167531266987134096858512595366782295289462612798\
37939563061599933872911565261169434657979482074239877601757788065804573862601\
10866644258924708888910606288905214778880766238049807441261256120192241116251\
28736197081122969971255290533452161075214992034679371332911618316423083668716\
63770091371957553836821861368077700311589698619460769207423747635855591067898\
10188648221288126423945930043040910929557989086005388650688315515859391732076\
85997416014201648870026455887781396087904572578857919634702415067146503108870\
31812327498358495979076020504177126714520222613939099362481720115345383063204\
68573864006912040136874894147046390764844600212087372691236391695408333278811\
16609976691155698639214246833103162657696247612459746889944593663273401365970\
01789150875751421255508772577107124851869754077208297510606058789833870251725\
01925727250674015462497462250328080460632530529703765639084495197767928773459\
15249641672058887875786384790129291263328593202938487366465573544728870723103\
34422576485552696103672644787149729648395691437337752282463388839153780287843\
06178432709771053834416665164257807403569260992386202598777389189412329994255\
67916719580861221881376936778035415599318627175844138196004866087107596793913\
31452631011728628104745240558922340761580050040316203553921982341188038766346\
04784744661759876181755979916224569969853653669162906519152422737837951802035\
24266840463047017507502068762044609380869091037494887334688608484262146731038\
39043849045768577712745358682320066337312884248677086592031851338523932779755\
38509479545162984602122913892855417753020473855539675558240899053836080294103\
83428437542647718825857234177086335987911090614547055190857371433998587176548\
139978749050321704672228406707290560007095336914063150
0
*** a(t,u0+3l^(t-1),r):
66434936048704951496165135501264802297581754269257260357624365029544961933371\
74689184579160555059899716338809657090429040722786421872575491337231111186665\
55661690850169371233319023244804178494135381724316155026748581781142733902637\
43482951812509398079683984700667792578722055364519763721020987634302356440544\
69640107586147490467408021354927825744673590963721051198073333942838115760612\
30924856082691288355758113153211259996953161981554995998576211141087195459551\
29283440486651673801778912064656754790925867936126004526518788801942167264758\
72217117401085216683308689720707796549467617656366583192911200019249278730850\
37785836781812970434891304191786322525953347287014145392038176258683877336165\
27592349450909129686740333886724365130254167182895632163325738796451208956080\
66202720227138945824182332676507739453244676751983570811419448869193733968822\
88652740459531613443118369859041945061265622127789760138295465012290341025099\
54194239355509119486122259400918511806177290089572160812917845662748119283437\
28860220004405623610772733449018845011420181360525564067509248549821914517757\
75665941465931976750887890190376501461292608771108874972392903717547722995790\
52109192655867627867006297104459641324230609152056546895908216878652907341506\
52587837454790443291714033993998652532870005268426913848426275926704224132361\
32754064159598342779202091615464183475745854743447310832074718957993180630125\
54601172616503738855502186613746897325779206278677126901402202494458747588382\
98834371419318093354880819828060113524245656344805042504573528153475973890525\
50899091412921008154711944184122558990498228970273197862092859850284404892676\
51304297313370070863237887799684430908959734189056124484922494711578420670822\
54462442001722198194493178878307078810177779420027719315824654622980871848144\
80112089692022775450287217131014476251963432282343695329610238175913449805606\
76503222896729040264762889719809920870752791398615302491377981865493291079460\
07332760503108414758899736718219680748608267571844173802618192585315984033970\
22833751966571574837514130567297628404816077985376342479460990734398751175986\
47918364509807740366995900239659963890278505198854962178475350446257997502274\
64453566436218403688811288545242832465000443640242323024678048312031149330248\
12162455500186613459327621578145953827903274773973018284658846620301068820790\
44578895867433596897831072229770293495791801364869008744279566647374886329042\
64177635123969225307594602839779782014014155535940879312754937511321722068339\
34968486398303386037073389691897729301972636579677155308393056929105785830962\
79547826026341616151738418513273016301038103546541396460714445892023084427081\
06299301281420962352579364812277791187273744587026986983131653712465552998238\
79831085658942411161068770539622916669270627644275205348334809678369637873577\
01030397819582679252877672448942078577166455388249849703068188051752211397712\
22033965367468758763847072347583477855313922505170756433396406502475684940729\
41900487274349644736088474951676762678908337565150225692266318617336540256839\
24926563229454556683164462762012712773080116439433377568688692694979633393109\
73000067402331680518917289040322336539037842907959263337538628739946096368108\
87422239997881177515734151982434202897126333071214463945874652439447052556333\
10540496279545407422395730704996974662271526045547096107737145701051885560578\
10581336329256807830485812055933035174981865181461203053226601979487485892185\
95167222102856802935491906798816325201585537029177093576002639248665079282526\
12813438607189159297568033986325467660913511807503688764789058006947793931441\
47095012314217709626976651208048172461616811835422270678734874444423160842628\
52170096727413014949913346561363936973448596232459267186842478072104633946822\
07968668115402362077782949779543796246298219480297590513870017394377470035722\
68341406365824134758870949486919789006599587610147454183254649070012351746236\
38639869662675450279623231108110129443164135473243844955474908437029323118035\
33754532340075300845015492598935454931333550691960148369148514720920425928096\
03515796905290594060893576665411588281901296270501443072348195466079777481097\
08102174839140996523089778179266034237483975226389590734053795716605666946400\
77621760896931234666834012953941999915584131449089341583154832071231254773101\
91605817860281594798709080852592544000934079475720835384367484348694998900404\
89120837183486583949642074581752871366761349966301838642867511571509803938478\
02010326613431697563171547388728720975047587618284060594226700995936106864747\
42308573377336337105626796401105285057930671708953186581122089823687964999059\
30133782582463690563461850814092226783761766928477035251620412222955144240434\
29516450785631732661957428911726381112040443708465190439496708365496982769232\
95970409410530453003753969141985161105041868938826264512677117214440620415327\
72224708235979627569255451000282311672383789491352727599583492017291225735858\
10669816092666677638243428995367462573305189502918735623055339044540525164875\
75565751401514069404286053745994740017562083250906031483209965696053105962770\
01685209811377162403994725931547477061788018390598765766740359354185651747181\
45388284526149852882073734501760468202165961403029954770042406327337209277109\
02324191443868670493359315751507464988529960995853134670333242320978941885196\
27774617541469963351298908983612637860597349957350210626751936017376857227119\
26841187084162493779833330752189987914866105639685571035788535425626940375316\
38446559325451550831781197471675535647802881189219264606953881423265307829478\
23658283198302937381444747352010814080242445533180115033211870642326303720728\
53664056327145986110738352102792576298423955911573406843862854183560615328247\
85172160517625583823926113648992808163033659070112230630835026064184193412202\
84926629828469161667233684879716904462240730369052270657118879241182093552552\
63529367249927597524305068664954569337761631563016816168407355035230843285791\
61611937236343957926966847044564436506087407126730251554253639110858155578346\
84203032920448325817950795841484028190341391762909183898177534307555908236046\
98079856586101766425735383062124994731074682133666966379043700823515516547907\
40984670089751909391208156176676614281141719172565016719561953862363546223861\
14978720061356366286752002547070481525818144041680751981900880205043633924591\
60638997558004056606369259236466016953448700408734574124416043199734005555334\
89703564294103993484679061858606119236836967964917791213708838309883327081935\
07442256244240744958407509283875514736421935715555387984377544768443204350762\
49043646545153116388656304824613601123122705278342556884827514098735147627135\
04098323121014257001501632872310796590578850604577878597317159390226231665600\
538562645172024900830365368165075778961181640625000672
0
*** a(t,u0+4l^(t-1),r):
66929243608591149051940173711839689219438761369474948306713832031252885757280\
76286574345374547285047779704425800372351875847211916082936916123966461716328\
24677030811852179054995504072518495298407222362145888323078556347966712577508\
24907676156352473958253061967785856511599451609791488153469060458962344211679\
70158263148544421200052426275723419686226221848867785209963760534674708883831\
15083523166639884251262265780839319967168587293917756385470379378744094235292\
00185847037891641612804052779423546121215494929698370631626815504337570295002\
46266351905557576926488069852558300988079727906785977413096551209868693007121\
58602695686439555036341388300356161235223833501947286354776555546322894280630\
79136935384323632139766675656714873799378082117292177045493341019639089975099\
11933395228828967742517022651779374419414652025435829522813938816137139727519\
48538549540331699852665381539540769057257181816240576805991115793631787014869\
62781994112618562339441621450032488828544680640833858438013960585834042790010\
48271382355628879738829078191943092370136105328981855466821073315817613286491\
07330122578029684911236758420959659954308178776846292196889874727350905458556\
81961195577414262002921522529344013655512086898723634298407533968523836711607\
02086258864424300756682144365977809173739573760007471243131828574968392466679\
49218008089357259020118773844745911031368963781717008085289560616906820366956\
83727669436567010721986577883194418883262682515869665047990016501113946603177\
50462603349521352978057016404161751273682007954513413356542081190332193934353\
82378995366886194227291646149778232792510864602492492489042955533694259095747\
02281263811237407700017931607717797210365684592248506363530548987706236300813\
78379573266615964550106967411627816003705887897855306513115016636544717620824\
44993876073659849672387568448953572057409588772539704967479361971865186783327\
05346252828996369433399518363558506591517321096521666349200734706754401876182\
24649224494947019035379645473563577182749698134134681048173387470623394629461\
07825074525846660959817063086399545282828102375148487884814123105934456169855\
42620138055267619387583667354538386240652601219679775885160434898983131412261\
80706941186487885859114943965966365444650744560184602213849759981019476334193\
42014854722658240047566666381554777889122793187469841337372082086225927963802\
27946298366447239731892315326717989131921204648833807916484027708739282804705\
16143242528165424900657062682337667296856522764630915617165316510661913452776\
39841763826862190992706376222343396930707552030418800809199552888399727689824\
12580175922370943652867424603401535767563684674119829470094761709672065710020\
65423552035002963560559866038559619990750483758061413969613288040683302648523\
31317924093904780291731484606137968132583653147580824435748015107524173869660\
17258302565264097997318726559425278566579896276555280132406493022375367732516\
62674099038357663218935220207312521589356436809524705514002034527047676644157\
46527723042759984354660561818876738591697834124414736300095681107048865705178\
82701314443959426896580865014706259743117914924845828294646197848960136617760\
84406317903837124570397328393300925352572350667691103094514362584737361966085\
87477464997865412467488126327541600240110904001803857278805267412954843125948\
67910589257815834560955222748932964057080093947671702477586380416089473994808\
59767209367420920983986450538492060734319527868823265575944061815644386828883\
76381263933979249385904793010117041906954477036834661236538373171646218265283\
01896871930159316732817796143961817866723880198928567401431833736166155493431\
36284707346317543775986894148584245173384794066340591145094508926896547456040\
93629695661396742739719249437564561504501041144903160543887436986331602949402\
60111292134118153462290263393974925682654605041906947586145835976180873830631\
33433232306046040523445882146792704103374882160818194169737198542259467458633\
97855940121475118808489475387188329811044821005038814039965049124804838915044\
52904491658081813500112334061725153256715496753656280425466584026879655287680\
08303860870359720504799034825124472123284490439180769285684119539488109158783\
81525554116217938461505624743099858896989064327776418046063124553782792444513\
87723113284557211115247956502706449319717941950942684898505686476523153990163\
68626694481265832855247094847031476619988648519438996361929742416765646213651\
95141081507768478175457863827152818326335467153551108275626942461178775693972\
64822903448353064360516573782990095387064310740443912235552792521203488612252\
98426940738774851518615091017184937476516465397263850171755438706304690929111\
82590135131440354927773322918363746328283803884790108430575921242471179539842\
28843210092072444958549374067319583352457411295581746915981058874168835319599\
27636855909120709350508090936196360220406763797002055171253583860381398841037\
00589475410354475988669554058320126491374740306020530632318488237657975927345\
14618252224308542799242264032535375241261329305767833358345929364812404072352\
50979187051822953849258420217319105642692753513189558503174325559863024905945\
38900129527235623433786353356633395789926322098862149440600034646999533084586\
07779566405064658335065354550136662162003505758707260981129031374415611131849\
41776008344492693339292048755610943150646999396119899065201793231105273298032\
55957464398177329150043692532597850939917270715961447312962887922268054081487\
71534945916633940906171376367905687229708859401885612486947676314210474157870\
82185000987099255823089093286196931002325224055210479373374669231474127084161\
85441454948290310427437639817427561208815678014825800412923268489367422051983\
95730009127199155650252774365462163919691991297820232787641595658140679430392\
55299929569096012274996992470785909414246707128669613299219215246209373422710\
31094238681359557215352983130310036191870497708107719099508156616488507939104\
36621103613394320720170433759187862264381881797860691288708004998290596584048\
99421549864590564756780588466026969515805319382137470687841835830432993045447\
63698591201106423480286739262923641495329050927811781992658021914010937315184\
23511998376176928378307818948003900941871368756685321783649680740357149855555\
53045567932681611097987978767276886708828785535456125474915837447648989276122\
02143740299908124964480812089831422608599529041990876624623356992283541915101\
96060418670786824884690459081975436722447574667728134943794138759255835953812\
09121001528435124388582923926006462385920576357513905731667981452069958979866\
13896439698438964786967088966047207554401265594391365573547020547970311525991\
37801411772423600885595711854558642798145939692615939004506290245303117475551\
22432388025188470223238996212134537636639705147766702098785293016641605413112\
447331712472411990866305586678208783268928527832031927
1
result=O: not congruent.

code version 3.3a
start=Mon 4 Mar 2024 03:55:38
end  =Mon 4 Mar 2024 06:46:23
elapsed(sec)=10244.929967