n67-L5-f17299-r2-t17297-ver3.3a.txt
p=4066397288965689676718579713303741536114096467162176590694135979646599551955148987929601756275785368970219535102705678426173911150546697563804289304813516778774906799845548495835233980934145487290643673785223628513928245922914377936863329945652641664369558373225030080504001337608334263594805062129971306132477467374433780700307513763096673427667660698184149986353438899900468801179886830379156264517437604816833073198330340174552284111389106676724625877986636195702259723716394712128861750321916552598591761897850609875692325236955519213098497262854920522183342914729867633971336166858234053291734576929801017046037958871729890109493053820230158852975614013848534756301917635698876684073198383063530084428698762881449605752638065803741824505474660240661578962395808023979978336934123296878585126762267871831806356417420630003564958105323779154992039131952587598971671475580638564676773835911629802873816928754755728358850830814603007182985053393220057933346662242568464230251247103477500696135467762383219422528370636045903812237657932598432380847105258691541646820131361551155258867933577145018127867820123646005736297135193439839610775214528874725906640876806653873797456093475183862439360757381124024217069115598823569428091783307970974535065277693394320808826211907664189217220172937982883244095232697581870963107691094430968499761906713901863149427177002039591744044850388959517223869476254399396811985977224192551277308187047496842577331134008961515839952246300819068725031547416966274410941784465548774187734972645038874231745351403401270788030315256475181692360509087444876304849902781785529628251517602268002879622377671214913882600032271840030591136238990472631886849234527346778660212292580500395479474081720637172695894209495093325820332566914197881416624162601725397814288133804687730105767253268014619779219414307084494038188011393525687758560052064811485799125945156239762290832079246242203890353207466935409831338616943105674372618342614642497091131077721713497232170580983597630959452815162316604046473460784192020488998771386977202707402180423410817728913379093732552365462393662336000181372685310182745991735444525256586529369404369460287611736490122658778664220879439721065554934176416230064042352637565341155454406098862001742576530572876870210896483154835274612665463691236482030731160939685102239450704563393580046052591220407855935945912667449972411206677156324766837258503639468843026445199315108395280611237267242994357258633020627894109104698008082700874637806035382880527653112779261951985644843800919158231487814887786333132506415150783947416973625254676249366168228882663377711310776256599207640698798620008283975824317855744342340466712826456599636948245048463712088565147815362130045382810684881695428457008280182874843913182929977729824522955844305899218497723055861017684505409568929625621381165863241189562662239390976819908170448116057668551932280081314422393390796241703120756507557849330780976411446076779206029712990892740852856320666489980870051400186285238613634339039953979786982736586215777051867136689711919263204896780272017466651435463427102432394413118446107733238583443941024820331090791368423855029323135871366833754595781066052334287676220471783346862828167610643883355424297649287272818613315080226165523381912426204790482264982444909935765118426724623625705081148994327734280866768025553529111456081927841162121410697192560501439525375962077771208082884907409192487424925155202060418410911537499524586039536160017730138164696601657082532990434358108026754227854851704513635617730604111332057520850589394650323635805412267364597614941816462528707181464822411764835921744037166061771699991423592962969984487226595639974614802284371077374618586238446117452971136243601070165532336551846381553950790720023189732343119042521905160605570910556558840892945694349694366415669062454492815136842485095574600080043384671268988867664662929200277709605164105110461731212997982204946129252038153151660227024631200957687227889109537543076348519754753987640296592746560452666831425329958443891443702787881132934028010876412709183728651007776946431215779560577471080941931370653304316262839713576878063383365948560005062524009157215607950247907810317848056029730222994502911537239210989007235441670654044239184984439305780233203155604697553518447548574411808342677566282488926667166316323106974073020481958820383736707252001025019861783671135002704990225180945567426231246477891234917738204840512502477646664730788328561475013263127611237499447658740098247864454803312381379389584769737870948602241433618180778016296658914238072279575988302993121877229771174298671257048208123777449723981370072030919609693519264156857230661253346858476443498617439730642961634015443458250822066104604667509210571943721663298122709647229968126913277855383750522498986968496047838341007977606267722890787148290515177068361355244521393058580136741919030143497034012649647852777236816851886908824468218909364596609901703962384764248319244268962651561188779199197845687936816301115613632589561966442141011086521943843259397816708873058146765503710555919298076172852197903318172101252568705039782648300481097797349852821106192703909714754063489891494545811154981259148348725701384186610502349222355174232294261136943458172379667761311845768404730910222360870970699095085491176724507472882306585544601859295582968840288951665561591867163345464385931494254141670768105447586551131455317258058760174456319435435320959197471621039697726010002514190030654951478398066669909753748600549745946474159454601799505809062962235891412531428470674944099569565077065905676500682655994614175679930941235454986575972741029158728040205651258803532664970144633386826997081888149265755947718252127184463828844843791590569352933484940259663868232929428870108958171162211283146163570176617944580440860423894017067860152284973741279021849172668170306622323654892211431696424660259515217592000887442045349071411318139217453771397881018998683357852607658780514164342103919381983678292685804687058721686880125832715706558195613532379790997890026540087310110500045591857345955391998883209649861525925256720341120780337605109894563484177189186179087909944203071472621150774813060808061245747199255569722941989543739632946018268053672842110143548971604149345693019101257200019474097311909371983544122780647885001579783687206289791958387965642180749575085266046723550714374964765967451138930712405114739695244375057834989739433522145470429427878015013360322654263859451729225447525497480842694957655347979431476054748965820487261834571051039299647070004953441287643569171335505902987502903555674219843430273312632536893977586851940155918494922209558991593487357912543554154219903449089923118661679201831599873590049910308543830859462622751526090761371341050051780709371575587539505792723470113050963425684056586896899674379373349381169288308297176153551474654269186874210639216797788121326419310887344234567054492497088219878426417271883838228087402685792816881986374373114734868344259037266710594008173441685850027169851254558296467061629366875329871292524228258272920631022902044080119707907492126083840164975779948357289160998059577993094456971627470007313579556880151466653988344475508541708048916847649603990596248275119101597467776788579438058167071473474203827175143329999932785230369461931652621175714732158753393336910785199807498649969332650039998063517454033607742849086624818573273276223619682358793225073281115096557870319035277892624150422492534131391183909174951271951265293940141653552428078158718579998823155502157379219547289102706802626474067322735933190295023341702954192497884227277676683384517500840760677518488833084507722475364128519715435100297558037098964866931073874036659284211351124545208246748353063147841967474588461893878396018373467955735295473532238888773062683167073275755204819771216651980719222711519170535495606330142384575905818585914159514909837955900495487658827527782881530896108531051113253571557958920211729219815303256103546427342124457295581334315634016562745224763460976904532245015507671839896005546212899228602018345093740335183092764278886366176923084493768944978900605328593589534608678980667061000213747481196672444907917088847003279193057607908037588454455484202246958528267832789086924194012319308799074276092828782895244581376261460241765049299540956975120643272846802495237839677070211373284412437623947858511529391830721972707606422113873744935800062696145868300422591752200170494176674288815642866900582511091127279999084767333802033062785737687593155950555440996733954473787244004018822058553680296226599065401195312417610249887257384002643117229114879951704205777632772869034508164837678370757228547427774394397024122815883964558389231696445609905316691792654115913099475499045987238959674954329218840245740277795625538085852807747119241254903970461478778424128121049563789409036882101503196416979572519899790822573892952586347846689837601341411428014571904113768511062247819111637793435758608913362291602143653358460291961858560346478719462217283369552054422962469746765248669142734759103210526163895624742288328946152043648855840984663366004092482788234381521278601171316855250419265287478235733017620505804246620883034830917789811987283890170692225151463139758221754831833277742463122945368050801771305219780677658406815038630621764498504696856089486109078733354827780857181198135929844485887960654268965805659767163578683865413913371264316426091603481253621155708750503144115683232273856508435076207668868519467799968496329431799710792657038262643982051946350149544033725417724542159332002582443579478779394967418216919868988784229325057827734125489792206694601117429071227611750626213984680226848303211557302305699542688353932126480945015629840904186580834986324580879378399111177134467750781570258153334100169927902159492440660724988763046079317943736607371671934973514220624104326757308702668225399839129554838425003673698495494050450415576580511228784023580054607737643800519882481177089613430531692984743887703989263540095539152349327937216260465231864126711491528064307656677233390627490527329474712679291133520683543174858787852384444970338709453565153693158577666168867399816028069907709528308364423242201588861700240758096328911237400130061914720501883601714071434156114375293778122452310080894529249504142221689492425847933788220667681026708208374929098620683845149916187927402175869353646617043301131744985056239587820238719771133015859864280370060253028254114948356753836477270785267641645148562154590420438699622458466902989060880297737140684124508517845999244748169779277866014281537370305470090199843671026565437121318288207614355157538839467411480855204511715387990074153546506850769476463549877858121786086353366284865272311291746068523627368632548964668189158279487873874004845314706227805512951790959504421663957311758531708833728508512971313387708764885615913554376475365088830525410740187452696592423900133737965183495814178677634240575113411928582006651305697801997021603878760598955407351156866740483651636962116209330856649150131361779203266138705224807669941394874843351821199293099643328474442560914879473759994257117195889637186416144456849082677143612498288076948840975993177191328994043067097852410769263076574567643848749716440656620190351571259066556877759963705952008768177551657384346201112112056351398182001377594163585071590043066912365868184153884507271202549721010418204783149686082439526895259412602463100529888465855621250099851584563846164249799631536024461039969285340220279859780628914694766131145334030274105046425031794056780545659237209682112938660862431833708775560997135529627990474218513604730294619561019149297822154526374697667739859141663329652627720472865646349721842805545086543385512382132157004207853644194565688642004442149827522162523823386552882306250779503773645473389460403080527376507437017207053385151387742576669278924214508099810696445473089690906348284479106686256004238310135179981747090018851566284295669325336908789343673834847269305670301621032432411345292019255540005268207265525912890258921628108509864177626809338061612737209572733185214410411845165072008967399597167968751
g=13
*** a(t,u0,r):
33832425444194538110298583214687129580469282606789309234575211350659708272266\
83957957428661221453426983222653205451124450576694077254852373085168701604845\
95994072245747149634853491467213720904542581553658930605892358830060786476244\
34702905147829978647554725665232250269793291128901341073108778116921361267022\
21252855528905542655851450896432291819493700889212788646061164717190042581665\
84287545801207850808720760511690101084302522750038067573675503488873048488131\
48242800901320404004912129762678345717620283458990117074165760145971469919852\
97949722695293874456541305055249871464151690826050732338723168005594446182303\
58178127926857109822077843149216567571085952198091724319547290146540114890105\
47088570302446773707173660719861948707487131979885549173202304336967133122759\
51341976329190583002982825466206869364062888539293964162966045143629384256953\
37655778455288234443066768309128581107583147847599599101568472395676599456389\
12377497019762435644231590882005444229858169622395690375900932805791847091783\
02838559543604369190191971781731399921895740864791575231362650154349292810561\
17537812073618465508238602634287347677259921648094194655616497848802377195432\
52095031360229994834697713529735495481501410951881486015041782212097641723637\
12231850813174311040904074912943408307176605428727183884401758859087233604388\
11664130559899056656579180190638596635014032341126569694033104531552361431833\
02594042436602981475723330505282026627204116235173730243395034954559811788402\
68922281465179226247450915940309903564675336580124195497240672343360812132367\
62985729564122229338735116804394356075413708563511911444556065070526264508697\
83958458182224508083503232268501709054518253508400732297298585631267525198452\
96627426976329038922435991570127682983982299917647082516695672612637338631303\
28463553098148772732550019144799835471898816365631055270349429903977242547941\
33722151219633179231561848727863699914822259722899328735136367738686124902609\
79673729296663921078018461055382557579821056664465629697165923378353228958264\
74221504741456666591937244776104684697779396503265255861411227780035045593140\
59854835680647115270635521509020741780720446651238898450134799924353444353909\
59292964759782052103848631771693847926541705234778303413283237394454363841338\
06587425318544982367343663355601546587398482294847773766579110875304956832590\
18180050632229861967434585983157558953793361387069993393183770461239553940622\
06008599075028038077398002405830170184873468549406346171305239182673162407898\
77510874272480712769865462143855659900738983234594405205651004236473964859786\
19866382291662453374054522442509220562118906394726519664303759302558105658454\
90540757061400451846892267885832455979292827268305071611890897940939880321808\
45768620298238129219775849848982157059647623088911215187013576819774147121400\
30992624625081497901055824763667135085007613494485169891299982166697161349831\
73292714163597812832559980235207657027653599431301142473096996469414288130643\
20977237432313588029941672120842276038957645879451966408388276495498931852654\
37700812417111827696368397315265071534577258403168269864741211863185322539943\
05571349223752151714547161634054501425358932650515467538418528647384396849044\
97720568382368984695554212734661543252374458987303545205571095171301564420701\
09850862781467481697154537511386023856812444653941650665565785310348868565866\
27515963280674921681150997260536220731460163963846885013700064210337197685112\
80044870564512496024296444814953753772912811426811787839919960445558489408513\
47514749530275725786926674480413859458782595175752366181553448339518626206282\
71857347690376349069264990103006447345215631591296823884374978732246588343486\
89103892216339405439286442934519102709337252757245887951550059673637568266375\
03871697208719853546760903777229040111361894528870578790592938573094750433782\
25093623834997583056955622930817698945712857836659962138022193852947599518067\
26659609604649579873789699955709463105439149653545190416036921432119451517953\
76957434221813088844931591967957736037391352358395219684359553177167267651651\
38296618803745874525425317681160719517102601111305049175374040862237638470419\
43077152859440045593934368690038354919113068264169596254873496046920192421201\
99756188033858146062592981844495826167355455314264223989830235428540198874699\
84164807001907053502409154025025463108364527348360413910624541107735147030786\
98708237518082500242875304098973855926894043366485281652500401438432225055186\
73505467120986243970696055074515581864273064020614020250560158893631472110349\
22172549599540452071761742223226396355901307652134528421908629237064872770326\
40730955882021664607613660722226809027740185516961701649448586410915898283817\
03524998999297251152650080277785052159101627845862524009908497098558949440795\
00848957264683958999031083367663195857176423864038094426495333481591847175679\
28043471915715778871180149971863736841474544513490737770862732087664756344179\
90247386737692766330793895322985245070135106610316207699081419575581325913443\
79438217696704123854601611231776926098909064293732607612363431162528190542314\
51555607986132122398625727759181898350178238437810889908718252485599937581302\
86555607191882421371625930991633860002733673950775471603523296528826753808235\
89723462114880944407611426139783551643259937954552999504961268825265936957199\
41988357741145567931273611730500424464762164711112865903479021743807907917310\
87469339250300751204077857472444334799034263690950032194458700790637323920105\
41370823958704888465147657770282187038052296388705028508040322091806105504919\
63002719146936491511883565738862746650066622869718883314038458026165522614848\
76015534908418781441188335228485679697875189941657025431078985488312093205362\
60061729451101847324539177255160334977840061572130940189108948501585769817473\
90559891003460335370164065947029604033836979728481993065319840695978757760809\
03869461298909267958726798222004596467010981527441461785116599176951097732808\
70319911171425317335916661036544738351781730427414216691828921537803037007806\
90455373336957210538778473263046092581042033951458949963285644348426469281946\
78564187504589399861102445020813526420119360379324253118348861430708304286847\
89569813591323812489240887451432276818835421402901001141073576955465220797444\
64446659230695646166978063400948773530039137461108719902065580463563943274437\
46522556165918922459904162024489635085974903087101534990403213143800277556331\
06909378787414294383646470941350873994194359970685284919347590352721055463426\
44332004811871146320869042503139728399450849111578844834753106383871557234121\
39040611222047692495188869880775511395626454018463631144646973063622441212631\
51319449550551140911285602415758320950909733987396110270695789352260814209724\
18777527835308100578148178323623705631095966964281603472651709592389109482692\
15253767084672750729021292697075134609557536430815501971508888328688195459271\
34058401570169135080298220529083638626685132847872503250559754826912351963479\
34325182837575971694358086665827040315978933775757739893885077917020735340576\
87190345796236458126634784314594104624235190059032142148003034826272226053162\
43792502660595275633240274452915380157910883069965011054500674659596979033448\
90175501725984891703326458195038556889025458820039405504608489819132428602025\
61183026036231067010966988172444705201760785648990925290931902880980924643950\
03465930537584209719250559944077311667392327134980818194657156082823256309773\
28623983887677448476483327838884652175596164205044007184905296336581805157572\
25159632609698877603361481054373512066632931515137883973174650124335594582634\
52724558197855755620161028053858559020865377794939510663344533452059785226424\
01251629641432545942029685788815823967709502700057591856069951288369538270912\
63104250995029549284032420034475682868663387692866534631985005244638441356216\
13261294629748539004516938857600295706825487286725339171765833978822755459188\
15239500496542833041004965225444795839329598394988553234446667846396715364106\
34805807164049851793092122457321445031153574337055622978345262269715362218216\
16158710886332309078150627548647548469923670150607501780204027003199532784570\
82785290238297079347661444913215819687926311799195887233317988003345665920000\
62988157622224453036333898664927944209119149947521778379043556314741633870179\
20706728288623929779487273594106962856269469495518836880520320929418249664920\
82979770923354736884349170504953492114852101721807620330037520300853967603788\
26113224158625726311481031246182815924540031606812927285431987429557865856521\
63193362425951596337830541851154993008294614865261284649227817896959238526421\
72329150823773375607750575086212690928265012219098701134365995271666200646053\
04224137944999314517279061981434901990735346235801198178992069904670270367107\
93144948404470014151459908296138324070182815458512579840771442747441223487571\
48822443969876361520626138281444956200191007508445591112596044768742953604560\
32087240801034239503436488745967132370727883186859084506594189270043365566259\
64381478936551841408445944884316054308108123824222655401203790185500882644138\
55116261591742661298351959423896291226632220827029459256477976346730927990477\
48293086868927267553195738711577683611597855838896831985003158480596992399205\
15404945679811005425703796174535623568348828719181892129870660260829133188574\
68497932360112357342019662201593132601733227884050002008528708172931829054621\
82670737259428575238117944701121406773080627559077842664524427535061512167136\
73174756849093630612258783264351779550308926280097464976024375924891911266508\
21409640301280154968041861590424844925184861501798340478049860819720957378894\
60872573593794906558345197930672193633244206360595475468190765642261485930581\
26344456612891956477330998668478798448112674792407507115969908129700987261372\
97652101003525394873778827201567551834201951671047152923214625300402763228323\
52547086220512916428280604993758771686502664547835739713413800145966977106297\
23190650854337992529188857333231049897963831559254799862080840619963532666155\
78962556960305651714825104997474575971498534234830761860543363771964203254222\
43393385583742023685633069145697190672653594885747546408437639287070729109534\
23960951349503970355458181002072118738122960949170223089208707921482511493183\
85821532180626536620787270793661825249767664693535416321432755255920013751172\
19329346003107361456541495169082115130474575671566261074332178871602444233978\
80321987304248335587446328445657698305480911799595510614221229367941010052408\
95916473026835559861032330223398538002654161182756679133706643861484958266919\
54070812678901305195074236370328191919490892933426778487636037126192298049980\
85885444463286898652407717301049191591086847871371630477256359184523882239092\
09415111504626993429410244368493681578873514349107231443688635207153015374720\
28077416957506936998402044176734983779573260238460007490079065629947327290116\
57970702280738603933379688533911063172031301835581534186775890078307678824412\
48338309838174966211908279213273857369238483244007724122750375390699714173583\
59606435648966849112699870326685173966597916881584943587245802295338863405712\
61521974427128818330898916162513128082398161952480686163272732092909293000297\
11742740274703998139124053586966871523781185890324929073621068117972216831522\
19215069801781390982321880984367873834855985756800214356920263234231857230438\
31825413205760026879710040279682159764078626307998372507287543375322296289803\
35207129512372297894377603932527723088436328742514615834410277956291583167108\
84023292160319100496405213678806679463795805388205896863768558312852492996408\
67203591876880083076518357120008655833293437972351585254445403063272843337483\
25702604542111291791318805539862562645265524141398848535845551796496583754328\
56457012667496167606504880745498033191356051234747679322157880325659437484595\
59562805863890270986263433424217762968573214213512004096746301933954627500934\
23196987865295014769586865649843921982105761199807880064854713967303386003105\
53629987772541875983162684164459546018237888400649464707390424994426336106228\
34081772686616762964995526274032469744813578895684503148533996878680308112733\
93663059292806231769094869898376623928296002060928438314844491755952469542279\
45862802069957855053692672617973583645140100983894626551773399114608764648437\
50000832
0
*** a(t,u0+1l^(t-1),r):
34157737227311793284436069591751428903358410324162283361830742229031436236423\
25149860865475271659709934984409486272769877986085366459225953595603016043354\
09417092171187026073650159654398468220932414068597958784795169972657524807746\
69651971543482189980704290335090252676233611235910007814196362521891758971512\
81072594524375788258311561001205679240834986474685988536888675916393792991104\
93751849126219464758804613978148659748574662391865356684960844868573750877440\
43898981679217715581882438702704099041828170799941945122955815531990426361390\
02737700798133238634008048373088812535922380160916604765057044621032854318671\
88545225310769197416520899333343649951577163276919529361081398705641462148664\
17733652709201069608204176688322159752751431325845987146021557263284124787401\
43181803024663569378011506480305012338717339390633329202994564808471974490193\
31287084017358313620403948773639432849002216576903441400622015399481182143469\
78842665260337074448503048486640111962837575099534110475669211005847537929204\
01904314923831334278559202279632663382683199911568417300894983328910343702970\
41744906420480181522740896890386264481848959356248946527305118020425476976157\
83365175892539898631185191544444490630362001441803423380571030117983195970979\
78695618609454833262451229479414018002437918942464945267905621925039995465968\
77160901046051932201353980000163967756504551882868171325706499767432672599446\
80503600536954933220682208683217430729388771198973477649581525675276733055598\
86892688017729026499830251670505191098951060970317697377021832654354666095178\
85706746194546481543915262158282763345369609607391833669984488773127478590512\
24188827972438205276613840271083456256965544407519970107849533570029712940745\
78325767620332202758228645335225064551135975878393689079356207926220389964296\
58544933416400203239593769328884449274513228061454430801795097499207792957056\
15777171904437344416480712657939312414003242989465668434512678966942722257442\
58324438232208766472999407796299697556550105286239337675023288026222010005940\
36473634594739903770705872129721075896796506085027421783155566508689228723843\
87353439869884106763622401523530556605535066330577734012155326846702996703466\
41593858651703033374077945538729365695066144708189633253795576215554886570581\
70112304408146376428568121657097715304585006163067463898950063864490581417518\
93354858811385918332506072386841766251425989861945666406579768254136088113128\
04143297143057153828142213967424691052035713439304484115260097251737327431051\
64794632678946873469575706972161964322861473458003966794166879277209291444976\
45057405198313053887266585158302578452139280494675813122614372372775010520555\
43334418186990840806958539692426998825247565992038774223543695036525840709518\
15439472416490418923812156097530062415990388695535361486888707366118129305259\
92829092169553435380873669232548549845440379008855219601793251225992326362810\
88420528722863176417488441583623115268304114810448268843030621435466348593437\
85602018561470449453306495891234990231639930935985158393084317615647960043545\
28447935613430210654987324212527235683948193580121810921132954284946719872057\
89278766043211307019494730495920410092910460849078116264749476038224631434131\
94814035386045609548396080164802519629801136477566079294086201855641002540130\
91676351846673899790396408064380120240051025852537243460426994784486838455922\
68165155235296795928085141464964453623108819386576181984985641750821209201315\
80814532781478962332222372168943693713036973075146516569149960065227321037441\
48933160583451453919493277119648608107424735513980754317914539188937074535189\
28317514495091506271854076546304586261996551125828524114032430450825882462174\
26499121949188822799279581808889478696927034033757867643391887170499467961244\
02947386604957544446248989390471627035509605053186642048194793751682199957184\
00334908679564867509426350074383253743267789162012461773964714947687480282664\
06723644312386595064883831686052823327606833784829278785421891830505215474857\
17120486473945907006902088044572714268520115361841327565939933496178491379071\
10780240138397277165092868812710341820151664583529136186675714332066846532635\
00222125483088507570799122235134877562566078535940457757324202739679040425252\
01676920611106782082425606669923670649733873153824456912809372307660777710033\
49397160915386929016855395890650707945944955495940802505919007849155677290698\
40041970571140985822133720484540912233883409168086101668389828375340227219178\
91519942766380342470414286373309000920660305020812231983738621959916390111410\
27193439499536033341682528206142034782400358687251206579811596825882804239271\
85353368919348795998071484383017451422237687300778641088385592049482397305776\
81443508605059724721425561818917600737554528113611202125388386493737400877725\
72972504930690535527867920707736880432726197170423076103673173226607153398522\
35043889914905353668018420644670118926488722826120456403274873742353840539797\
01692073148632119853205375085706257041963328789261555850034125533038838662611\
52317431328403201968588165185928627311398574527326190377866925692937115451375\
23205181139844931267843282833789416603545336884328302311686697221038398519584\
62387872645650521577122334174245724041221497738763697292018712841603934133315\
08855418481370184257684612929589162716752821973346778346355127179355032504864\
79892091950195044545997396458678313161538723987181258844858627722113753185746\
55618082896938258427193990717371684172101900841824551734790034452085759727029\
50422466496769358546543308325765669605725876161673346089848402111919625750159\
24185437600272419314882446178659503829394186551158487961288827814878652639991\
53669530436384346647353607682605734310354759075711419906377821887238171024644\
93331553772747057394967438574921492044934677548786045383234996083331786834949\
61622966878493607825646412734981811764931566072025089152486377625747784277739\
89483590734475703227560709743370025279193779426743783533050412630575627518701\
09457602624996714617992782777280745451318093219985507236942661167974220055958\
89402059619043337563189804736729228086628976585607593712932621697930569948119\
35088843153671990244382276222936733404928200382971601706025292790618961058836\
81777215645086541455483588292311433326708838916390433844353130580037001766650\
84297107877144642764737467856727127121674129167465534516508518737252058113614\
74854503821360450560480163582417420038724661770631357442234013270182972532834\
25245045891139431829643071623479247782600074970403412658956701798420296381344\
00527504858139138112415860219516071941753261122267102958164193945254937592141\
78839078637644304923027224398859891312892092999410396828730117035388041608906\
81620598103921824958509502438986766344668481429582611330990941172955629730971\
53573465602955293852938064653658548954471889723553541967581052953854389381564\
19246591768179219486031112819162395519264820434957958721234935331848658877148\
94962809277574607532993395726478673613480182202178969627968983238709586116974\
33693694211014202191419222114536915703632577369755410469787819050838242411159\
34182560659661808685544734163772894091775913040368989668656910161140228226750\
53828969032331768668175277091885720351736949253330059237717027300554642293385\
91042573857965515662012289523837004551419934385616707480614340682777932723198\
93502093594271750347610901520256673521008485511000453418729325024067279688603\
40037718331214827120397199943539593510348022588201787600375013352850403005059\
56783829886597423942603359837335466138823050399323276484760154955202784053318\
13863090615561366811086110679896334298042863548937286703685944837069590684390\
62846909718988984039585653323607199011450621812198544419722846273714206238216\
55109818387984781960703048152169822275091324841404299470070623896911553061979\
09864868793058679565609654842499487511631304882221020541907937987375349446179\
74927268616573044187252678654307990857852655433713082817648197767080666569372\
65386034155163437204860782198766380414707767610324981630931731960304376088761\
21678939925242638829564162096334151233376204859527311660829351330001086854929\
77852544644854735126978998967384544128288320825132573912705988801307220599807\
08581302644434551264465881883535202569540987874188155379792199426454758861539\
09747659137822765084760186152090712903437603312401795478842052048537226503546\
31482754522168390642751574301742606729887445163744979542833016322970348219391\
22239191797617763200544835605962660308264141161440385910134034919131409599978\
53287389775535589064476041162011496846891378064570743893945756539457460720526\
64762529372354977071848143215108406402605140008196489309316546915199231204560\
39370777274001965757825099846657043725652175798128496337581052918509144883034\
32149370040624307926099052962025622202184724564991594315328532115292099889868\
58463649831436071979839330491293500263165342530229046954625014312320466021105\
82945736700355941919862928072612696163654382580642183334832545199211635850758\
01626541193351876421738762676216816335831035909809652626849902628409167158242\
90962070080172532191219463585126785599532240399455565549292288168053775746486\
03723148722432494580066882110664524796119069104212434826251803042372571528847\
45872828088820798971976466968419776723247835221963147677166650389064271172274\
43437685542116880477874024983906158410352182841481718015734801224875567161541\
74925797094344206931846774338146912722903739690627405873995330366902327410916\
26734878963846157692330617246324497222821787439453591151683316261360180553359\
20032206434181069368145886949585931276754204417406094446947687231862025797916\
94692425304177079535042264105717391511003946708546401444184955635295197353691\
67227117570658319121406209449236349341256169883293508886154138388821692526067\
62174691772631302212689950578752633048575296665411425453623464938640419831193\
87052601974713139055257469770813393678761585821730298624399381312906635951672\
79013885126479386778552533887929529106565190168488006441427394378139736501550\
08990560958706627072738750192204425377751945324247634476139310241309335864868\
82606427700308590673621500237834908432762943217857980724587049962079243670128\
41887552752816466221071848656713509813736802528879734354672616587907947658664\
37652883574018431608876048127092042956758758650604552157374176266881381796002\
93377508451594099472910225320523958184861584546357872247600377902611552344933\
46438282022368009162854394161092520083652215822254398200046911360752467736228\
59940467951404569583479466219173637712264382105360852062434895034940442841374\
42992592959785901782773025706315831637295066578744724125376900052460775173332\
22859955108506125437334565566196732226409074596248189819247922098559531685076\
82865112198510811139450099198174664587154990639365588462614593407451996491391\
05659487576786868366231496718190736209439605833233262515262564391837178984092\
59116622889790657546463602293818974008223003125368276792868287414850666975598\
46989651341130321278892954769814054164070064353231356630879504405983714197724\
14187716663542033194715089590324567536250391736738567623930667461764134502175\
74602651376360761123398907541364839100892127620830952660200088855870967861536\
77498147258158903122542174971768062006267375048177615837919585286110343894530\
74355651238883844275077169486841552980740620370039591853175116849875795839517\
59784445472952365895613437532294488006344985619846370264198342688407163549961\
76362196025046180984322636820832949761810151560959895319857615907777318369512\
99968736526914339220285080893417412733517447288115717909741146013563617620638\
73292746892629861078101417656487512920178457363092492025920179065860690044451\
06311318721850083875331033630777969831690490260547273574199685785035082215728\
28834360355016208058543024823899702670700769565835375925613297486847512444274\
03153714712375938448875119983435514279734474804312560854101706098021547460409\
01481678997196908207285197207142933766347956657872696443830400991011883534597\
06112343517845928373140585511861652001164470442113725065478316986219764714673\
85876429962662470944539248435271657037644021942963401868038409850141973953403\
61332558962449616455043560180513551184667555615835315678808362233283003383048\
68602127170621676305336166724322553004529617465360442529410304176682781749416\
76111482859092065198439717546992560410958755801047459499386604875326156616210\
93750840
0
*** a(t,u0+2l^(t-1),r):
32815826121953115691118938286361194196440758489998765086901677355748058384278\
05233259188617314558792758967164827883482489922346298491184933990061468984508\
04047134978747535763613903382261385540824354944474467546821074009445979190299\
50487072661416818231462336071925992749667290794499257507210076851388868440489\
09316171168061025148163606819015456127802183434609038987225192219678322552168\
67211597910546557214708718429007105258452086369327789100908811677308353521540\
99317235970391305326879914325097866579470635518515654421696837064662231040049\
70487291123920861401957732187003180614868286654594881006429803582349420756152\
63280948602131836089443292573819435132050917576754833564753200899348404707109\
51322687781339599016453298318423789191036196523759180508142138942226534170753\
51842517905837500581018197297150172568267729628858448412876921190996289778078\
57557948573819237013888079357532169415648558068525091917026150508787278559262\
04673846267966689380883285867522107564297527506338127564125063430617813224842\
43258073980395103289044376475789951606934931343613943764074108983846008771782\
29390642239675602962918933083978232662919178810110595056589559812480190380665\
91875829696761545470674344733769885641312065670875431747762882506205284700691\
29532576449797679098569216892722753009485000698296679560952186777984852786948\
56986722790671320579157930785871811880356158773184064595053744419426389033039\
96626673373003132272726836199233888807877069473299519599062251452319432828414\
62764760988461100458765491783449630020063697860769502122924546371505018498582\
54482552594046441197547162573493083356801517801387154490092240999897470503027\
83238552587806704355032582260433749046870469448653114139326873322635688503787\
91320112463819151935583948554198365586627062540313937008381499757690303215699\
21959239603613052398038299819535417338728779816183006734581718668881772519457\
52300211579620163028690398946377410854881687014879517174585395150384258168757\
33890263873086279218703002490016495152542779721422792266361658853763288184278\
42183598949946550408285284296053462200850929060258487355960169252990723309692\
86421697589281516855051521463677570453174760153305037318820653292011093261544\
52102671347528985634382026249707854899902831880367897661682178578515230312451\
70572178163540625926017231163426019346190595206661242102919882784099880004687\
83258775072367185826586190971644411148691397403083515226321277358437884651540\
86837667612437051356322341275847292474991453268474665096446307716847646710546\
04749129252273960583270947055398458581606201286439525241538894734176069281066\
66144435708379326770266826455654977155805237332384977607083093458130277964390\
75560566043930486346685168490224509585684268756637250950475907017233754110215\
65547207428699723894662392822269952821076480568210757999903793862449202796839\
00253663548606693276625060798412713958655221262078764546008516356399770684271\
88518293665893551629658538521409350025620738871466372567054418450501599184409\
94024796403698396081926597838365044186825505077785741456213147995033218756120\
29116052428616880950684250761320808567793085975188454063517016795180955877084\
18985671662942291386586008940723536839260407030007190268634318051008663770648\
19303483995879532030423377015470992072916091830233126178961386782740820297482\
91646209452697425155773692033279472659191878408330423181624505703667712659440\
00487238422481564659481796621697992945058115767817831978432634396324661696978\
40139676136492288812027921833735191460024806275765760561076211634093390568113\
43082214989101575372656041232805269931775906618788653255425039435085975178449\
70419326425641482811174094967699763230275258045885260666695442111686294222588\
84743799301184976189307883952111677748119186268145951414544348745944131719909\
44260167845477069485860636235845955973400299140382881110587141140008970673151\
77464608695724819142984600607175340203353697444933400775701815431885472128702\
26459501142971407401620538298386462411165136743282414261708888937163939152630\
63947895933898032088773791728535929065113967972626132554420864680257193503464\
74285302132960241276464220395068149820074277760604777265056311269021363275995\
76999113410538601916232013861611721658322411164885654059715037632048792408545\
68753898729956158500616029265033812159922899565638496105520432681288390014282\
17813701022282442519764648194946572990925689387171699550329332540795989968563\
82040321727274732807692752894076804967552275236482719102845942260594718292711\
17210230729129686159076582265786147313062935894994608584377461811491103357033\
43982268662054260603259286026615026273091773167394909178461855522008836929871\
88785915140374379012432961782256051544935492442533765902770443790395588840192\
72529656481289521250226700461745837851436314509147904899033842738626288700386\
50462870808413407346415966679932931558583382281585026685314584278419015229294\
68667165668248357631060554119343792825805237286522867044574789416761368232876\
41982741703507286573258021064482082658171912301111994727354213458526598572294\
64190675097644504748393630125052859809879344813752661470165010755000300201499\
77650691880779594682320868151033403808406055792443976149441862687354747149172\
37079777648857108229449671045971784882459224613312266326975120551398065292363\
42436098469602069876132717421641017038594675395822440625605461468737513370745\
11039188337865953510261784454944522287335416973399137961667753061602141453449\
37004515354558541131839941082046368008197897594467158630923283098610962023467\
63084441027253419460786249784396304014072359598179036064890072028951354738545\
84306723980261717127512064364497880464667986365220118791381052436436991286277\
58346798883526390171921858809360509033876536397737042695770121741668100020105\
31093528445960565854450860630906719143169386645083736457465049808629466637862\
30987778893981358946781732234678954874166397404909817792924412790450549895400\
11325306812764157743620824717737631428939738092121706322823432134374442151894\
98014625379014700829428780596744716165730596700628933738348485193518089982331\
93746978705438063587493062407786294126082838219744438245638840131226154700157\
51924638601206304913352972514178504592591735367926288781860013430987501874382\
51421682173315284469732447323684912731730991673246523943324971878678405268675\
27414007210542531798979924476641418556179788378743674231931398358288584402008\
45485219742664147145604157155965307108631907201070839828431962748854355754758\
62110419088273239864907093809699705905426500596566135733069117084910927594934\
06221067167283671972285237139463654829755811578178038199093457754548493615307\
64670400548308278658194012011761824154171332203004988381887148151854939974271\
19128360321267753263710914843169429095413648230563294457273439912589515705826\
22540222311410621594429783542264820245546208341556795675997511587810109798717\
02776189948715035863365604815552444266722273917870324628614991443811747278403\
81232127484527033665625798037224154292950603615664795821155916040045995233807\
48798584795581501391042038388608679729561297544515019344189011873841025745006\
65339674348032237630041191035910387538170430742354493645959674404809719260699\
62428545248918734899068391206133067052204426246949235481949572656604281346145\
74965901313545441832433235292543407944042722677610336829590205870240228223358\
97685939917353931583954758960532304204111723580211149891564958683836065129408\
26679093682488530340667309945757680908155778843665288801788852113988422887003\
65624465141052525144858227843725858540512144847921290622858863153391246108366\
35461326341378598829222013474614692593476893909514750440326854147041856764646\
71092209694314416809459074085894059050286490241005030174662305884389719564572\
32944789808456808383675428403334579257141308508349130562317849386675742048829\
91977320376188517154103561259401293359388646476133766163475840423585603575079\
83055125920921960308467751992888748359865586827388640278383447140516783239861\
58531582813353445028955537183814844041272819597062214495430842490435275599559\
88327267285322392304116998585406738149207853954331595845582483956322472728486\
10865480390949727675561966865094437037534136792716651366135396384113008361957\
52172751469117479607647579380967748182880449064845049275586077306129750477692\
91864715385979727885001750267544292039373983182271724942173257146630406890906\
99531646308797489581786333882745575751213295532312141060793147824567941682200\
85294080691282779646237717064299841510439478472955227892235912118736961365693\
66193956605782405208371625259218188042192073926319750383826458961121631906505\
95789715718441031544025537588800576151074223793588770086450539714959261407238\
37824068166809031388767685209824088436430126034630591124318940125281999905486\
54457787646171210114716590167088901329956038957081210252940625496477053108480\
89024006445201083437774213936278398467112418359398620109979031607193590570276\
67187154187127672773011170184045768814367960407831240418106980923528321585192\
52276927075041624133741882713936869979780530927638559130795085025150235591311\
93817131612737182712278698944282519022407759526619811188427233990023091699302\
65719739308336932292992826027745561321985819960832660600934767922850791933071\
30856395556759981869505962908946142637691670266814595446992246266636746233363\
65302633610105145887671831145252702187088347086994936236545219748184027023052\
60910855065637827373809936774862569723075378488495614928945513816774021691201\
69970294433123630068703342997361749117639502932903628642152900265378173460191\
51745226895695384500111584247995055405167432101007997879389028090610303355855\
92400937167227265696165603730135636844500220230710649958877689521051457457653\
78514623666096742298779536935159207045706820352164121037055225809260840319686\
39374971738706501054334273948873065321666981439270262310802543101765260480682\
68275535468563694306658069172674296069953094950162322607012262761328160967857\
07338339639367696583680827199475154748807271983297406188371318170427103996132\
05065931778186009580595442148939251523625976043652191693148123053257897670177\
55075460897796467468586369871348537030047256162870702910406844427854701954516\
23099113180384390762386883173771193356768571000959459076453335221954421143502\
56173663147896278938527346236384855554886093132187944751191619342111041796874\
24709106333852902707903037897217659827599165153465241552158934485008955645668\
22113920942917837374313685819049599651794450200665832556473639843008620789448\
19014235281885104349842772903420387659282567094078818588553524158567782586891\
86303598236365741355592656839281995394401331820294038534737093264685530434379\
89104742586386241938010707633239003460371575237109868076348896587544692940305\
95323982790712172130400273872532088478373901721390511773011877237873525200657\
83651436279127384251843830775690385858354478461213384345020106505015004095431\
81079898419120310285709675060847514315042813716871665918862747552124390772985\
67286486467014487228650731546714216321910168967925839048952095304320068282813\
55058913508902881890636996784990388097326269204223838181561962668623400646733\
12743261500860874079265379030811220421928508321441165234263656793676036981262\
11596434330159803357013732383591459570306871028427780930001315864156008955817\
03577393511641978964270566399858491970782953141216607887514665830773532431536\
54935770829372094378285766772097204548952861184780977146676264939934024981927\
55147966895490795302795676088585941021167609892493613718006066711400352290710\
70327107591928418750916738429747442947557833287511171849001315277316475499827\
92556246121847973678604576248554074912600017966685286982044743459701877221276\
19991945486348830580228743023854549588302649571740059255213269557765846842967\
53415867626783428456243120277246500065780382190034700442821346514149931598248\
98029818777246883724097883126943404790173477579857424534833424787027843810178\
66066327322307029670570421602576604225527144074884840512108492380650702395737\
89086501451073409758481491081038515672547294817602114437905954533189702529454\
52859855928415016728860920818171699082593721080918411080365472320314967833805\
61423065574639095808595420316279090245269901645213213991426605145546885393000\
34478472174632967593340817317295595565065953922078425144326327941170243894975\
38835674603913448351358157214789281251956804680292023590482131112366914749145\
50782057
1
result=O: not congruent.

code version 3.3a
start=Thu 4 Apr 2024 11:42:11
end  =Thu 4 Apr 2024 21:33:04
elapsed(sec)=35452.948803