n79-L5-f10689-r2-t10687-ver3.3a.txt
p=3083425322151450799852924413090115853122311464094452001071698247220549133435326376468043690711043280975209205103114275940264766542672647283692884197700794872516414979587681339961655482468914337345241156832630337982564720145310997175709148687369162027193238178635695532968443092179292204142023597790221411065764902169212407111322254897437294539928035194162929898169298707702130428740487592935765959457767158056355046234910513236141900215569631247730716986785898670434675011554366503236528538121325887740892628167004425970294788694175047816361109344314833408676674310411494135973683721525884052943719114029723968111812622681017672579788902314207967185947875147135974745993017546679810565002132537508304133270610073042341093186158698081749110955707285856976339750383106544397882012869908261264909407957285671094834184557738942229590692014139860197040661829450630187599242813463665414523585441961801608307620522134942354202277875431110476777700302708561540844361644043364161447535987079992728811073293053131143423378727219254462782252844225294712949891748290462440522765374920365996683555066239777399189089271477387134131672887285425047710569611105077200510392226170558030286633786263337637692279901633910316502492979497589555206950265084647439076501996482884600193462357220955675173215005136575833475909529002998328310516019941662189898072487607019598687129073466570384437630412535879990379434770685607574377716626880432990054755215790074166601537431962549290938815976241670189876018043960232643883103403418482383334868782787136218162529837699467737663215667745485820551537917064595090477431769031865700167999937356917277969688078543548013318755197307451867885729610325810186801748375414695506255796498789693747686403798351964513696002783970623245312876122648597137312224949980569412167639281399448131943840036409907451637354133252506650681494232457103479151709345224181623628459529141543110505077540015521556282132400017395858864550994645972229181694171789954717508909383374275047754924936094875634531569813754140596632648289223929874745260805416529742304775500027698905372239378334829676868505083729934188357368017460998488404864666659086591554298066546902245678008405423500644807911685040971124335044513368698462815191215445005754724040116993626274754863138955797244514220971311527098029504645236165968351420022089028305577630643880545427194174563993013069865134967216505857870623828698132189085141373007605282494362686815259907578744126712358904122006967947177972785853138691573528451830118910881589731396630078913082052691514363332039350191536757818665626160452686864530920432247992911750794078599963104659665857727981974490396015144881257283453341430398038370448929372195222595423366926495401478169789117988396282340128105091532990335004200686843715216310454253491548028209975875412550998430622483947185839574681617234668485519054776559088140140164446789860313690932931134293904567844284189486644277864865268407774830652012570992471349066699186694389517547452365824808466881178403232916834447544954956902763620281477095555576947071085726264346478547124470179434973420933253125760692748790214078646042070151426447288361310363526357945175092821536133734466712409965966606425023390627253031716654451269615014136419152349568587270824543705885913492908666902457151770113194692553189396680957982584152101859618523784809831938480794408548327764578846815461763841632954432882041985973517818521806750795946616782975089444090002742249353587275227269193139244277477623350555121762671784738048398004067539093944090982828902376202986543986165300199585320530117268161390385052185808940288891761787748602166648872531238200759551949008151498803720835330635406785031995571118275286232915760327565706874850268497309086534892742287481433782331605697159159926758470603257955742592335663270690420773842565802557845062458226808654131771947048080061994402783333460658686646113946510811589442990893176711750256251252178099754474366907043602903890318040611578560074551149619418857610497939597730170486625843987186882360827354557934171137748184577810662607123777483429539179744284744281018345064011049974277761769667065463486084710340707704302888544842215262812016499456901880189255295763627171003606993796137471819943757598074017248801420045448209689143503244785214284816526137465394442173858046448355994449823482630168204110088819656553808437621048306889542213458004652029266260258358580195506653038379376728863699451280809167838529658219511865156754025615589812937977302439027636763249227060832770253172061015572812881141634772282860269529031704318212856475675566960838061681174239066126077015687932465523341734663669250384196478939964744248408140568867636557573807713050697975663686512408311928598107557254349112225639108065960189193452366716424140136564513812981515558404885251441480301632741616463099496683603246490350080478607208931331978461955419424639413189580026899574468002295177325540052412526206677304425328816715443924221534119781475509962650272809769888942835887471263161098529061435372898270839764979281633307795124944933066075178377483915823752725190440380221079642929514814745040587019798081617555054861713626446075727693072182181807882117687083272766964231482638496189918959606109722814353004057053718078323247945948555947449514112438380072689052629659788943985570701911602887176096699439585110162437993544827233103394873178536348743807944448346773585189254873731587897449904533245594510742848197254094339893126494743671896378087135286641382061603524863965719377102351825531362171121658762454887970970677255895983686162364377852333806705335910831728044349857933709927918113080722477408387861489912079440824990617345938564064719152961749219926390879777286770556199818948359465147928457056784686160252373430473241607452953708072694410775257331789707173705621043069380802961447856484791666355456961580879838414984801895866635596924896752167086588367070980261125538325539854671974590500742633662280485790829735752875028929028775046284140647404556381798600876740420134985525262674386919833787008021561348388588885616984309932362358323225445243542401154683854940472520250771232134233896054731136885042326326450089475301899204044721656419044671699715696524523059596050723264272375325548552767105366980906696630562889578419868548949570638273273989397575035249498256370023001725094331177663534646333732827439322634751840160948609639843858026949837241517386077963693961324880164386662185989302334250294846796973550353083935335686651364389832153598843161530456075668058883040118693011598294151065176126068090243729501809568196303967120048569542208593522674288374293491686594581602724580848288394351350765510167513286511679587338866749564212702055677976069240476102002630699319040514862061341097862081968976995296009187311829621235117999894732206548834690441134209149283608349030351965872825931411961125471648034107775705976070885014775922784994713703261802432362048244954434737102797246573711293779117422412669135716558489075089815858146920454211703128485078249001868215445966252496525828042586582025875891597910940478598838735261339402170675778118943081016621977065555424213975377047324991321782672421770750023058755222441578893144596019798917844008657330070901973782957023354528407630361063521685433513442444211117596723966119898904403148474463500260397230436936991757347366374740588942908497300188141853028979600384808759080055303222242894808876316275320166163070711516919894650763762754491829132823015932513083731380391418532395266462140399335231655264522032666718587279319763183593751
g=7
*** a(t,u0,r):
30186733903862703330560130004152234202067429233484685090491925840289176016331\
84522562214773206111372074729811795948876145519206445276521690735333629549078\
18019357026501634003182246071733706713626099109253914510088493086102225946623\
50192565649344096246221801768843459267761057872435270678550411022366267614333\
83839223658946561984487544591111354589546455085508370307743434840385689736937\
35348411487430915404773717159026397739245818292031104266899152837193006339479\
83555468363117248066685614388207780440983338829754973330249185981315973718122\
17526048084221907094464149892852759118236363373840487831901012635099764781464\
55760471630145561333536560959987504296976904611927632716417819953454313708775\
42206297464719272615084519302292493654220323796256374328539798366156250613069\
65526490599640187778346310390182672001842666682026424442769287481842923132902\
80793103216695365965871438092844081859014768060377453316049117010856476403004\
00470571567653685963516817484866300495184535140571377313513128815060407538990\
15389411487773947650119063825534496563523977944021576362729271787302047038310\
75320040984874207380611839677636200431490775665243112170864764927187057929967\
39894209763116506144767518075473007420236995981998559406269281401745476043095\
17869842855895454556744023589399647719315605994577490028707740972915428893935\
36341599518352288728391021296536727218711469936292377240636444017387262651058\
14666405012098153157845777159438972636053562584826091029051458913357558291008\
40740595115888621665037067758361558231946694253284836538348606357581116711107\
77891517228813872283061831995562080623859357740570188219652046447193867242201\
51323246288941335050390613381639953786601292885089681728789116595309869006244\
24772315110178984989318586573258908386725507240157161305724072976597428668226\
03097745451211885649005972117301939564529939515296969645420401101718285357550\
43060895234489744738095322618790295707051844709116751956036002076196170305458\
28395423758406812368878594182365668441222286323415271752071512436883246206406\
84766530364410336267515022734737561032850278261771637521452711722835942235138\
97982536542664769716055704018632890943175201483625086592457731316578071494172\
98518770228909607131266945539655110730724008578587955795096072199920660633874\
83527453676012298501101303772550237942233091398502897088504768620648301604020\
16251587111605004003590539732230968981491597953979671329049592348553407282954\
71413114353404174445571561981070392139449519590500051399367135444821620287235\
35735022277905048435434168641375307634703730084725590732958499256170206652383\
75144859044736480110831804403757711031707850606040274029493638794618128747156\
94353026097698826838750880500821260359679564669501855379122920919476221038998\
04712822354651063996041098541488461079753796911247241999719676793471416822551\
96175663820288874274635794117842949369436133032727404473231546262513472891972\
20993407273247103423339580473732571919554221507424748029703097771211559208320\
30700162945073629850377380733767895586614248748907667365676502558092414651090\
28078055842555660765489098311825929260127952024976348563056668389790936548101\
19718201065619582994475186678246491895305722845892304428326415872283874926042\
91144935668130769009789942408071805060470779295309883955435015022764693813722\
82880623093095575848975055515829408176040095724193506578649498849077205665347\
85328825467772697725968812881522691032337066800958662389791519104268073944332\
84880902923173783053261256576411268466211716194244749654008332014765059326019\
34642056556772585493816459821207729712650721894954263027238265624558288953940\
28798984805530001186966089906952542825034790205881521149246208082198543601358\
07898031732884269778869206324254632366412479150522202452936068682703047841285\
88655957176599946994443236729026419775188175682965427205895386719978966143420\
05921937591871920704130316146604045672395004736160070380692520324883457984854\
22654555363408454606468808442000080350086997588235965963040520199568724290862\
13617587354103129855754774110616006774828661778369064067012634559578312499801\
12217553543855472701676638692374178156277518856969654764651116959817666817924\
81792877250405708875287693142355284251252788540052874229296415296830694070528\
09345525910004125312469264185849117249386885144628865765902244937972856714896\
76644724784835379088578621158888207027472940518566377189494934671823776954443\
76617846043100629244486182697538655433665166879293305001140101332457340981755\
75617628039121753139205353969021159884621910776624268662797790878080563912209\
93292555282077855447734245783810637660442064920203868922038527530386489686380\
05466046238586958004573742939835848588374735155823573219612612835288222548461\
91915696169214161898647577510766333181747490956477373780975472985520077808689\
00686796575025220389867015379233193696659022908903731678382661161209215298454\
04251737440725324757831405272878855645754377400691425435561672198551259884633\
46834041742469786017037113118631563370810323969115644196018128819032660645242\
53434617080764721275036333834366634715459951145230067407152129914716719008331\
42732108947168759963155675359145391796144113223643697042799500363539473469238\
23219035863987096176402907081374115176663559899165932156545240388579826215030\
87769930661454381418635251590971855589998678459739083636272553074316077174091\
16258252443693337616187371717145922654539866875135382284902679568038586120822\
35808417870854201879776149314913399002805213832245516034565380474370260172483\
85111758358755370838354054786554147305445621913038309850841822439270183202437\
19520356552810392844333532358029303352216802875295472591743479676452385670426\
17554185109171020194318327060273053828117163986239257725676658143816738542193\
60050749552486307936671301963748374519622750443916379821959458592207750887073\
58843330353369644168020316782814897692782212332305780300116492380609925745149\
86110413619923653876813618082701210560534362493894739203715777700113624896756\
41902020703517723863124100227038355372595589222311302064653321519170770312173\
69380906069778083025832887131215082923215822479451727748085310856007242851901\
90276394237827487984377108934280107304354939867225973255050362594149842375817\
83010456437473594637596320559320759782501634244733594021666897508075344533658\
07572265544371203315899615427430765600132106889727305130942162965486953523562\
02259595092587929862525186888673502229326004187607244380630968594220515175686\
88837407137008383890659445520970326456388137057680934542280083526985231038655\
01423710579566917269363723168573764567837326745513831649807902964649627620045\
83547299738928074274206603486111822715672641815838105275495818222130586981283\
18433328361176095389067364650474338069972399434453995507494934316004750547823\
36423531250873857178642610386057545463334066404995805293480697824762847839479\
29943782811991891805218969428302113091619418703907571486525737007145745894965\
86852309941836743425391512416150573396429465628406509824715493304581282445231\
81039160762363850439566335660975595654200308386651076080451292972512583512467\
32573627868916057728289829216009611940987856536922638033324978743548107285482\
63121820851274725091586778445276315272915547178760305481894129331166504025236\
30091356427257452136277030573638855950338314056928447552613941303233351492586\
40833110701234811877300394096601528826841271927628313810274106823564997667549\
28888597761314930443071680871036575107418856884190874115371028776727775139374\
14185457579401788991363353844267364622657506457686309772373664750072103373259\
79303089730214031987432149658664354509491917905039670699807174969464540481567\
38282229
1
*** a(t,u0+1l^(t-1),r):
30371739423191790378551305468937641153254767921330352210556227735122408964337\
96480821023035350377631760581067026567561801160795044532557574437490934735282\
94942866875489386611986223065023188062228506253948014088291282624934313133221\
80735114570586245967853396059561600999739164457966028210798932438233680898997\
78428636674221004652421073975735121829114666250485949696759227086598472309380\
27904172947006590065068550972054138685553759977171233608677901475623198411019\
03781548863810510056879806100495059994247792387444993595807403668637624220991\
15692704150110907546524195755321723934078465702995792149563327319278108590135\
43334080240749109206877949484767815865701992893512480312228347961340652710054\
94456795712715509219467059767883663176105228742913716765691216946541273599462\
31913782676859637345935766837926386028411671789372858096146831633927762294085\
05190200887073478525417126171043330573166033237458418300621430291821888924370\
72996438196260347981679331177316962193827136990258229472737928378789071936573\
34176272028046310965645840519051561915292255643372066105503914923894296560506\
73330174024618073820125293240522632711969779397614367199491106693850104250273\
63427779996598323342794693875731268957031094016617549555848051257118788460111\
08377727490354466535641331190560421862641340045616780059527195973770886067953\
35338585827964253725704960140029291430470682213736457182867106595634784179052\
37432491253234607620508774772264952039338875532230541025143704831110515747337\
36598045137027877773300829154224856852367205147584845751045329174890091890133\
97572159826743272930353324326484830862616412027029249638771466547993829656351\
88001427573653947931189738693478400898674436661709230339997221497834750736619\
59551307848341471107741376685045990562742211063896633182980808868180252541575\
73086087098512469217845640996468243586375883986279382125371905092127181897024\
69269644337050458188992740326362044199638475013769152887329379004140171349209\
81582729726282645743968759213105396746275742623660922038601062053452500013596\
26654782848768315856488557092662408189333528179617020386752728342179165578765\
98072317154775074739851755320074971990835110787916966592002926809835955486987\
11992838279342148135135793009765356557470018845668167985872963347213330668403\
17951523872188063354019187146028584650765674185419155906207555762347882614872\
17576928809939661842223372457862619455331178738171579427082582700025644712676\
60206248864252412491203256947246513031008965062964811673520560176863427970303\
19406534161119992552505266712721836588542568062772938582190114164788205875993\
86637064513856417680458965615629566257642730180745321674209636580897708698620\
62244873040074917708038424201541308942067794892195431612294256492016422597970\
45599724228121857033810502618351515999547997913767654105948806579743968917480\
77868262372813627334541631466879780519810613929761484582362689549107018180380\
61980088012408985568937167279495999326619926644344613696892289381658208192232\
38242758427883069869889397367478424058033743633987796072718442308193083178063\
25492221659772549391222432928650194403703812813689176031267434488196192543288\
74282357558360867466351439099155050579035890708073462575997466429213091728449\
71172381647710732864803976784423624090463450057078892437286506432505846176217\
55502976247905150368989202944935614967721648915557307436128453898203317242459\
28037684459403582492420102848110164113229837384008460116388811356183915051243\
97964953400741753123046310242865270111561328346609886015524215561331545900029\
67949362317079669776720340065260075349296180864688405599417458263728206965915\
40722165509138969529276403021806184558385360932373134149139443269627748158669\
77302922632166502280067587568325651563755150115693942202392265222127172751446\
98494502368693511531692122755966316117017725278570935442090864064534506283216\
30064462234927315519477386521353406524319795367842358861064486741583458748806\
34642223731314941560134602977906107400240748339542825815725140343794886033196\
32700024048816734328823751275747463404705037642179293264563273790791254149442\
39565158570681961809143502668016920821178096092048120473116803069888050884224\
66359534312205948153379343968559708873834521666958203386983625196504835198641\
64663271727634385528888891954097426446012341029069900693987447664865438063506\
96113436070544278245403413525541250175751630654533076130390715681048437487361\
70550131105673258228619908025613458224882726635448320149257405324280368607793\
07439595115970303209517133462191871794027152313559657439076429024422222118004\
88654920278699374480100339220687924510250698617365486096228753439663628540433\
45642549075595662548013418586045261347854049160864371421162843353175586527308\
46820184603346220092102005973549375060287312147221872496691359438955338755422\
54521444970786355550581215677778034516046105786792825028811972669858097108250\
49221615300423334919779299482927142810079736199878502608813326982199173632649\
60808509822607496656569516263383135771448589488844647122653582111079847533773\
13210518717623340608693349159194213682051125513842304796777168504592408808178\
19807075907008405070182165708639643431258377451776344828557209252386497821450\
11103932917290387879220493845917776760994490807638859217770236754597680103989\
18747070175212018076972137708996197912307148399226759327608237771400751804371\
59871684021489210982578714138292884386845524894799133351000142364165482460684\
39500808583035126508252816215719814114160506256140789881559652469105930817054\
74295282924794729597322516817932415828257341761330679471991006233586445816548\
14839173855483388101806465140611709705754393086992891218454879960475587216925\
21236846100647042789993413845116402472620435675633982492126157580857494856037\
48365667322981627495016580627468997856821664134073170709530200932915867848587\
82901614298334115940245160399461362847181286156610003672742334009091702613863\
75197913601251071571666408387600298674286360629710233008845802895415649155572\
08655250656756851894971643231494157346278503967289716581903495093343420589878\
53769348803607162186358931383296074238373427111603628020290123792816276005233\
27295452833769229483770635648892651373635971163654324470096636522203876139101\
69831766691431553338133172370715984050831572759001624219961076655213702109962\
41530828969566532447559878647619309618110444623474357052071532707869917487955\
66114097207557825244726566992179162099985816266387268350277327952305625585343\
80495246200156545589682894625286794238551905006961920862253199462799236540424\
09501894709778767630565135159392398467129486051410749923453303799979451691261\
64243197387991984841770688900735592824246733594076132478409990754646198341740\
48679089311295662878683712135564068436080504027515000587214004393528783748320\
74951152484280642820186896047259123882925490713913042098139415073944234036656\
90495021521769165912298963112234506021700845171960120443542237948966863847335\
42440781708589573313596159070386429821739554283943219792997712875395876617521\
28011821604625528787510562437243066107647909868081011173896346862027471664739\
85275815578020752668401922142767587090779406219477832954877532239422763714198\
56154232419311138115641447158934801372647409572092850765746391615116451955932\
33544418877271287389410495520974742707950193407634852747011983844417621266800\
42104815159056475688601520107408075479508327731066281004208371012473465477564\
91271980382936880987155879119480108764869840685319725233544906379036627693854\
47367390925138674317153119036367062465084416609623100230631317445169583067069\
35253874754096855472544093374652082933452031804355542021767178084701299667358\
39844735
1
*** a(t,u0+2l^(t-1),r):
30556744942520877426542480933723048104442106609176019330620529629955641912344\
08439079831297494643891446432322257186247456802383643788593458139648239921487\
71866376724477139220790200058312669410830913398642113666494072163766400319820\
11277663491828395689484990350279742731717271043496785743047453854101094183661\
73018049689495447320354603360358889068682877415463529085775019332811254881823\
20459934406582264725363384785081879631861701662311362950456650114053390482558\
24007629364503772047073997812782339547512245945135013861365621355959274723860\
13859360215999907998584241617790688749920568032151096467225642003456452398806\
30907688851352657080219338009548127434427081175097327908038875969226991711334\
46707293960711745823849600233474832697990133689571059202842635526926296585854\
98301074754079086913525223285670100054980676896719291749524375786012601455267\
29587298557451591084962814249242579287317298414539383285193743572787301445737\
45522304824867009999841844869767623892469738839945081631962727942517736334156\
52963132568318674281172617212568627267060533342722555848278558060486546082702\
71340307064361940259638746803409064992448783129985622228117448460513150570579\
86961350230080140540821869675989530493825192051236539705426821112492100877126\
98885612124813478514538638791721196005967074096656070090346650974626343241971\
34335572137576218723018898983521855642229894491180537125097769173882305707046\
60198577494371062083171772385090931442624188479634991021235950748863473203666\
32455495158167133881564590550088155472787716041884854963742051992199067069160\
17252802424672673577644816657407581101373466313488311057890886648793792070502\
24679608858366560811988864005316848010747580438328778951205326400359632466994\
94330300586503957226164166796833072738758914887636105060237544759763076414925\
43074428745813052786685309875634547608221828457261794605323409082536078436498\
95478393439611171639890158033933792692225105318421553818622755932084172392961\
34770035694158479119058924243845125051329198923906572325130611670021753820785\
68543035333126295445462091450587255345816778097462403252052744961522388922392\
98162097766885379763647806621517053038495020092208846591548122303093839479801\
25466906329774689139004640479875602384216029112748380176649854494506000702931\
52375594068363828206937070519506931359298256972335414723910342904047463625724\
18902270508274319680856205183494269929170759522363487525115573051497882142398\
48999383375100650536834951913422633922568410535429571947673984908905235653371\
03078046044334936669576364784068365542381406040820286431421729073406205099603\
98129269982976355250086126827501421483577609755450369318925634367177288650084\
30136719982451008577325967902261357524456025114889007845465592064556624156942\
86486626101592650071579906695214570919342198916288066212177936366016521012409\
59560860925338380394447468815916611670185094826795564691493832835700563468789\
02966768751570867714534754085259426733685631781264479364081480992104857176144\
45785353910692509889401414001188952529453238519067924779760382058293751705036\
22906387476989438016955767545474459547279673602402003499478200586601448538476\
28846514051102151938227691520063609262766058570254620723668516986142308530856\
51199827627290696719818011160775443120456120818847900919137997842246998538712\
28125329402714724889003350374041821759403202106921108293607408947329428819570\
70746543451034467258871392814697637194122607967058257842986103608099756158155\
11049003878309723192831363909319271756910940498975022377040099107898032474040\
01256668077386754059624220309312420985941639834422548171596650902898124977890\
52645346212747937871586716136659826291735931658864747149032678457056952715981\
46707813531448734781265968812396670761097821080865681951848461761551297661608\
08333047560787076068941008782906212458847274874176443678286341409090046423012\
54206986877982710334824456896102767376244585999524647341436453158283459512758\
46629892099221428513800397513812134450394499090849685668409760488021047775530\
51782460743530338801892728440878920034581413505989522462113913022004195799083\
66912763597508450916610366643659663486078673327126586181582489179958434950524\
50926191374006187431470994794764133496416254793863532544670835096178976326755\
19981017545264645745308519722345735642637796913510935622072650391758019412117\
15582147356253177402228205892194293324030320790499775071286496690273098020279\
64482416168245887212753633353688261016100286391603335297374709316103396233830\
39261562192818853279828912955362583703432393850495046215355067170763880323799\
84017285275320893512466432657565211360059332314527103270418979348940767394486\
85819051912604367091453094232254674107333363165905169622713073871062950506155\
01724673037478278285556434436332416938827133337966371212407245892390599702156\
08356093366547490711295415976322875335433188664681918379241284178506978918046\
94191493160121345081727193692975429974405094999065579782064981765847087380665\
74782977902745207296101919408134708172086855008573650049289035403127034422303\
72986420354481959942350364484021792648642299882454542186402207094468098608024\
96882042866848050177208656058133895066372641679908992614314918141233522173661\
98988829970593679582038080610461438345325421716111786278995233120615533992947\
49724209688969654735309023827020540234615618338714435018943922468485426434652\
03485115599285084348970056559439846119151182914462884417097605160292378800546\
43193199295216051136729483116526229225515798680036063728553924463841601461625\
63478807490834088356290978849310684351069061609623049093140190027902708430659\
10157991158156383359279397923194116059291983298690309845166280244498788763424\
24919507092123065385668500629959751117123707365028707258575657017898251169881\
36680585093476947053361859291189621194020577824229961597100943273623984810102\
06959898243298587712470004016107828001580359980914227045368175637573479482577\
64285413582578489266519198692499386788038358765525726813975828090717673414387\
75408480609995979926819186235949959319961418712268131099153668667516070867583\
38157791537436241346884975635377065553531031743755528292494936729625309158564\
64314511429710970983164162363505195442917002460082675685142910450257909902385\
56653076945389512038670024182111208319161511273269654418255255802352059686266\
75489392394761861579220141867807853636088782357221408973200902450252881452349\
29968599322527720626927947095684821970645628345167292319923687310390735995000\
72153085263304707288706343729603262020715672956242907182226315398613242042193\
17580078839990617991766547150211032366421645357307668197098704635309275762477\
44939095037055895409334774315359362932820825372314159681324163287161809702197\
78924850261415230368300059620653798802188608620576005666933074471052816948818\
13478773717687428461731181708460702302516915022830278902798132323125620233834\
51046260231546440019378956796166898951782271640012669400558738890787981799704\
98029253475342403201800805724622286247049642939479929761279932446210470789810\
74984482446887207135454789213510536561095511349510946267341400751542359817012\
37978003287125447608514015069525562240570955902033027876430085735297420142914\
49186643987347551139696115872593287472379271965425396049598653899066399886628\
36997481327285122642543960468310629465562072758341257941410026385601891041014\
43376519616878139499902646118214622132175383534504248198142635201381933287580\
53655363004558831531240077367923642422320824486448576351718783981345480248334\
80549324270875559642942884228466760307511326761559890688888970140267062760878\
91204659777979678957656037090639811357412145703671413343727181199938058853149\
41407241
1
*** a(t,u0+3l^(t-1),r):
30340905169970275870552776224806739994723544806689407690545510752650203473003\
61154444554991659666588479605857821464447525220530277989884927153798050537582\
15455615233991427843852226899474941170794771729832330825257484368462298602122\
08978023083712554347581463677775244044409480027044235288757512202255778684887\
12663734505008597541098819078297827289186631056323019798589928378896341880639\
79144879370410644288352745336549515194502436362981212051714776702551499732429\
17077202113694966391847440815113846735370383461163323551547700720750682470512\
99331594805796074137847521444910229798104781981469908096619608205248384622023\
62071812138981851227987718063971097270914478179915005712926593293359596209841\
69081712671382803118736636356951801589124411251804159692832647183143769768396\
87515900663989729084670857429969100357316837604815119153917240941913622433888\
01124017942010459765492844824676789120807489041278257469859378078327653504142\
94242127091492570978652245561908518577386703348643754112867128451500961203642\
81045128604667583746391377736798717689997542693480317815041474401128921640140\
73661818517994096080206384313374893998556612108885824694720049732739596530222\
59505518291018020476456831242354892034232077677514384530918256281223236390608\
43293080051277964539158446590366959505420384370443565054390620140294976538950\
35505754776362259559485970332780530728510813500829110525828662832593530591053\
33638143546378531876731608503460622138791323374329799359128330511485022837949\
20621803466838001755256868921580973748963786665201510882262542038671929360296\
27625386060421706155804742271331039156156902979286072735584896531193835920660\
15221730692868512451056551141505326379995579365605972238129204014080603781557\
03754809058647723421337578333081476866739427093273387870104686219583115229350\
78088030157295705289705696183273859582734893241115646712046654427059032473778\
98234852819957005947176504041766752784207369962993752732113816182816171175251\
22718178731636673514787065041315442028766833240286646990846137117357624379064\
69673407434708652591659634699674933663252986526642789909202725572288628354828\
14724020386090023902552413436501291816225125903868319925412060894292974821518\
09747160270936724634490985098080315586345683801154799287410148155997885662648\
45547512172825435878532873250448860199343577054266446103257091238731285779730\
17356038526883885535784567003590677709691248607472928077410417641446938474389\
62074059779111039483597974452883826215749057484220684961161656054856460023125\
22127948847250835199660083700830748429569428399765047273984845013351872672058\
84721696935669761418854438746984257053320250251627813733423636949851112040043\
34262898549678902563157166918087967511669756521746502240099033896593055671475\
05451907249210058194182268605541006846248964413347585421577284948698543568325\
97586162614059501824557325242040308661414867113589137897507499001341427298979\
21815641222548671878004236145202094758775642454857969419027424113250433361580\
36985659180748163199970727928526669312797161153141107954878119016509638423567\
75923194023569734620266877159179483546441169348903704786565640138461983210757\
48521664809570653387705397029003624131747529397709936218052291336391555594715\
24501140651114072222301637721698320918798004930117391023644591197548987449135\
10065917388770221282320178373417913835774723383663340626548628056682298646274\
04252874627465101698011554520345585266414375620166827161955929314197941533425\
45784278321147091444748801298456269837336392987882363288604901636903798137694\
62398144690361822396236360024584684409855271036399381837387592823866553963919\
55401635391870808138891350835997244269493599144624531982490570738389547399117\
82402107482286130196534524027647148364198038288165318910816232465556485266420\
13521411503344584108817308418143000060046133679303350736058284507108582926583\
59374041461084749716919541458895179715665663595895310781002492338800125288147\
65977612336663860401190303888588436225215123214325015840277703653090525742807\
29519617933031133583312255081558887299725641664877588398304833918922430541168\
85007224399544213624565692005409797043694666552868376188372522051542986873174\
68931758135239241607030735497525638103404232812473981860702423546559145010622\
72110314091362675492818953992722708246574765048329728205973247210383341172071\
92868650856259461719265948131099076317705182298538626306908085512844327398542\
04894750261911153397930953804267657759679800009422484291237854658976530670120\
18802600603162211531131836879996753142459612057403759309696656000031945750372\
39427859445929121308039323647875043368615926334505216567197049121450772064757\
88946465269427545124106805978343692554607496826690905054237804933527692530834\
04336103197657543726526267896418868080530675282097789377405378363382795264300\
28882336904826166357128848961353894379481591973811309470407087418416616806617\
75059968990473666559454650447919094949358843066680656413271384518257854674646\
91812765142584544883314115739257873704675545235556479968214339895738649719018\
03247868444813570719750513271722950520952596452406931898506328739613127174870\
40294581413701797552344417317057268158739333413754236864264257770911993762748\
13123116741739839262084229385160499830272668989560038040899404026928037789162\
80250880256252411967249323355992140858589070075978813379052290321886639365991\
52602778758523232088180157068101724098127915224855174839983898564810999737374\
05552076797671639070173371732252078262267957518824910907060607136649985709626\
26098028830454836470827773146036037741122055119948617868466142267867068714196\
32286037638371222225560976343514641980164794718376654780669646579805053625842\
03956402602067705690714232714309177698536557060734861697717907674684035470396\
83646514361232407568625700850182227300621845185713705561601743876131181688335\
45558566974173370644874353130020285321448107185892633110638027071011406469078\
10349996937696501955857610003450450655327694273740984041324132029531978445769\
47529712331216997222997052730751523683998018176459980829028466164314645543594\
39704608347968982326271257341282575685847159672911644641589321636681437146344\
71125609734445605900538381196457227362089132614249599267588924200861537178554\
38694881649105226888043697068816780006109916339956952520245380130690642513911\
69204401732033977592283168110921218948447388334516515065216637750806090160556\
72138346855062842681026336974928218788209180919923931022002934725958107183734\
31885606356298518639845653107900716274857943682081756475591013473496902290129\
24822197354743459237031566494255959483914126167094596877845736994091147679392\
34127214446481333080510007998298297806151051631036461277924295332560263114997\
60304795819609068297080987554715780041729153262004833073927492713941444881571\
18529882278712845213262848437058860812993586662426835964029628865747336337127\
30403148403472953561118964164912440533353940760618028950706154458663344188607\
16509369747464101665562051294680453750854539508020434798284009613593444255473\
03516378130915249062853191307865154365406642954509355324988837880441656972694\
43158784293169970178383239988307924565814147939051967134618773323443654309412\
57315497157971735944965669039991720356025432506537426551771014567791460634149\
66302241802268981513888251363085428248348213515850451881278976754220242971098\
08559531082752865053384665772273651037397151763826619805219326980988720842562\
30874749945999889229808512744739519821961343385131583380515926778651818934774\
41837068700849193429521491504350446158013264917633635154255041995986669784767\
75928743916783051558358769421987461529458679487802896801440510898828506469726\
56250984
0
result=O: not congruent.

code version 3.3a
start=Fri 29 Mar 2024 23:52:40
end  =Sat 30 Mar 2024 04:22:38
elapsed(sec)=16197.708610