n83-L5-f20254-r2-t20252-ver3.3a.txt
p=144070780767495562517666190330422185965227009581790742324576956477717599508386996053748012379222214248435424056950021437258215879718739576696787595934194778292030393074469027955509871127091694111165719739021727508147974170006445398511777256498045155595505793465575298101498017151206091007934053124350161930451547705641093289737615946574410814466421932936997426589801473082237452484571644144072607782453331984699358880670776971574376845864245631684349748008641376294573296311340146574809250288106588045052523742554108412758101543137835050988655232060945711649929242418502045233642143673901790197746094866925845086693935453679203208794906499319062637507616392616217134640753529454199552305256512615117978741328916913852927509488866035675873116106519583304518743785143297075528803423636137871335706936908069499224547815954906550991390735352243409894574818039669542802138303596182038540360596648445324213685128754376446723577002254107545700498976552063313020647853907552461025676693185488712529989044340245568045190738821620270293231819647072659705596710683026367862167419380183780203471386066654331049373504435254173467087477294700795235948215800796021503978102774644021509743513244854542993974875715871157618223842647056097462787494703322830787356347551017567269425297515640873117004996660871225979655439342475314014496748704170873179774572075208330211642408227042585154647898185044142179572993261063253376621105433691696439910765277390401948639576893267554098604687856251159776494283112787487795839526560306566455913355737172643892502327647233375116412023605903429254459570957378003697622756000143376090395750432246536145075262052579152293542762360054118014817010292249420618157680177441661748635195902324013104594157592497778123178829129654839772934007620394919330005772286006611592503039826686525895811441746802693723205132957995512251525698937483506184165523898263013113253167892598569624197400596608122941751632786308316188201726388808845418398646227052339814602843744848144895946176195032644492733572680568838918333377123473046134734459816007376041755571142618969316258699127191573290898152704739703886976260366324335746414256672970434482297381785377949026344641317111237393400701392198757577833655307906120371610260046631690588221813453389125938833199802321037690937048151340529763317025391465809005207803268881204425760465314933410019279831680902516750337888607897869456123868414215841540793818627268537996642234210964382966378593044039536293335152892961202357157659558067619168182747843110930055340177390771511371285317214124506814952182874634882766503508850604885441364664243892028057366549187712098239654093440209698988235229604331119918314363376918825644913936285571977681063104275586160713204522235155955090283440825443830622510040542481893990587587480696912115241802109983174349394767946827637853878078937050953071185523472433650870316925323717366690022889260770128147827500756315602903497854883252865336403816689554273736905754297651932550398132486731818497743848025363076499722791468477632381747895587216716968124245426988838741867351259905726766635081721646181015123405782474881565345659027500143560824069897515879872412886764074885506826224540913316098990517452635480272570505893498029185226018733500571957701804741185348920244680797058288240351637916631755604240339554005034916544523758973384680171507776466594658776895139632719722334985665861985911833351475585838240955947557133195781743214653336769511189766527869190360439055846288538683633231180409588682454626065600111870290206559913601840663324344132978232475513506991807029620411113692774332485074145229869553632865534254079354757670234756331080870827396974937966653647506099910393718278861437778460718495021591343056342668821861888066653786488561491808574467062248419941013882027781354707411447986775225901549362540449655770400702017061944189496151038805029549794897641379526887769710932240517131869987980502586774995687364608587261017703648683950013221005124691670481964283172947615713726444924069130958511134617726696041748289890390359955809095798734479652688523168624040456121562684615728411462110704673761862524854823182046594942510660740586291336373818953737615094771939227105364039072749167449179287233278361091137047182412034772831536433264584313731149880029466749418799390949315033001320524840300481983421303632324361632869463973194732405386839628996252479648795699065481461745345431710294568183571003451130710707612812030363121506876147876552735184268726482083122259694429479334909961773621041236178843971424030338208663492756814216846576425509907928045277525024872142922565985409401816559155925284760766448894126445314523037706939580821111628410414732706507674043619027674494337791315409110080391045285360296958940433096570649068810212252720122038614946318476290034023730800437617683780953397727590554868688632229547522338343125878535493084522084383140937529982459244901988195546042442749023285278166286463713957974683257801175457215004159366846221207521244480091911210903651480192050190473951222697581406951542356105194563448257903487926800686669398992120433497978882077809895471623391466259698545185976402225623691447329226412015106399081227971566626124576302776929914728614347182696199830535188024332550120142352496546397758358146819371873580776723149738956750073028466371318251859630526251784214098234980228642809919372236792754805082148359597861152098014887724490251668224747840447396377772313929751608703870916942796127849880449214530576385033088513356487515044814098664043041281587863593912380965332787770091063003988392921638640276320081960752244667102941116901742458345517840230850864234090209827636718418411041231748767094456257956439799210409703859452748665917716039149874360177045926707912720867555080124437994558729636108797942591435163246889539895112086461543788081410865628812826967206384430884121041522087148408030353487674339278014989638799846500808699726379060885984649963330341219368088864238424982267284091751576216934753989981325178460697798838577823294060832043824529114694256005041033613965362286335026668591600532401176709310320776463081939054598610863570693141289846446870665344316038906469146536604784650448454858658778531552497861627405515046236807650857286047669343217629053749680252149201000204301819133855854464937724916170677191190010717917883782749142407827006008687939325934390418121748222664534127126748446021166353485169815423387258334136538886734996623230389303265655654964481724025822478027474348483954993836273249319538993669397814395386966376767382939378502547172442172397215235721385281131909820503913949294920176722551324166028740718673913719712749417240467994903720036749614101425966224385247778546918556213825169299390196923404121656239561129407187801345176382071441497538929716051428325908567125562562878711043488851261270513477076573530076670807772554457425596127221560438106610694028959746907869077292084502405000205756960579235353418378893388686190439906656439262570006476803544014027570811744708939694503140140811773701638250292664134023048748685353436264695111682950665741824778808133231114251504946605117785853264566043861921572618121071392224504686876309039340596607704701298933330131912829629475407741689656929156993758530422254153418909268245363987698138115275591187091330268480941892571395660645748099202067527381772858715498567000608566236858884296790885617993400880493802402624815330136904507561947739617194922451811743086587845773572940079621932426862672396482967478655859962677848702740959065728890389163935645537082276212024093072655527975356269901911087082360296641120204770839994707703214791676227661090935660325665134021489864252899062040945364243744592572777722762487158575685935876351001274530821568703539592325405746598585986906910365035029295002021292173236084329720472146327138804743692772241009444465355247917223304529272922225443360178420365483198300844554255222599744326007149246121580295622030868137394668824191440398839238410504074239445008358288470181248174121133313999141655605406294086215506616905580258137427367847422099778453074623147068332799499159085387086572744251454654787728985262538471383026491301483704570433270247989365425051034442544856150878035198064816140949929859943424037298882495642565887841912087538254305525402694097550007992213965669976911641483376835590183356936767419232734796816542116325436241090735927538227302374976004086239606160345685031577546662098832449774312844566929980772712420748095701894731303259609599484258441026225156925401974456002019895913911343640772705802612484918900169395725954774456757695080894256551879427579819309902344218134564461375947357085221838650468337114638780954277761314559582810187268408118734545342070632177679030945545877125883148556852199590544115544753130965397828795864731961099620850485295956011622657314506297635980746649670347916609303826637904405521650967233891474044457040989715262545679659533184909435145076069360030195367560073504634043657722527040222255823342198529863806399929646381077549243855821315740643924685987155370010472265261816245554068730540231812432686099993242326235428531856589246280003173819540770050255937928788569232608251809714350128795213903606167935214408138435450059626532381903098325149885108183521183274195437919629662787346141453066838767482387168160849840257606790818695987618205673350130228427692845264541516186637659698824557426009715683010121023220403868627545254312804288172957540091146726807233482174297186316712022091671521318657724167560955968014838958490004841704271765336007541129863644760638303329907434240154082229510586295839402183024861018829229885091464521814085063112596841735986257677849937334279489822784907434304284535666390569205159672710877712575093282373132881768271215834472952314240627099439131917605513136720821100384676813675812375803231065213421706537490700880440199630402880761260722523997200717328036039611335436690262594465538764324756672019971550445903355917239178175622796608643078890703940243281243727451774230652521734389907629818180822930190049374349715412353979308401964576381282642829845479017939373332103514327709264684457373527934810444831654438217169107848386786997681104445024847291022204089966695510903355861470417882002721789374117621628874899479390242978343044941539790092285903889151764709328353681580620657150804603471598836660540065979617194061186908072957986001880062542550294113393704224402800919735848592110398818793803978490052445628175560082685406941926436749660215455390863557121600655489416991133640912913596618450862086423751630472187590395235344145967262414360157204822568363739334492877035357051131382125390707997796383921171898796605566437008168777504625945669655106100382590753755767626118391670569805428142474430533805313404223495756435553903575746353060127480470264043930920702965867453538522165070190373080383393141320372710289815664808960529388505233701035876605160664302405355465989968315587077550370766880954295786418373348412175832213010718534606293571735619102242966319485142989884913743470765344568786831690469207857402010338103324599676054375764829617508139532208213466396413336689836754565936766528965295872325730838943131061153132024056106906684685280192705557680325405375662893118474594826633608367172984640250481131158418825357555465844939877637140243788665477674741263330373198412371318656536806941246046154140839108098968744942158425269116781119020747824628991651029284738383432306448495481378793643882909160960261391353006857453265910195050101502753700483650651074263486757719036703844312764949787087597620671106636162607832379598599937712674496218511635522461959091476950323701327819331982409215661862958173499082060653749199155884249076020293564913881057074400322235581265665941156223441980453249712275192727368867680094617866086815166097564680138564716076741661825722206787402808608963287960123554578547563318226252506707623585642509614756378305774136388951295583296322360167209604551373609237124284779520859110671147328627351955995377469165319476743509234846580521425317273867746852180979164220910444542649304395518587570167711065933080133314700190634675986260394316346882892451630170398287468448503248076611854695402155485807416173289851842806231284357281310936655618806801875132933135902367772577159608557385373720797849621163097461878434040026557334917525415249502098072986734048605221341558893817716590980996042131327292193929681867821193308202878403747080007075803773673154119422685818992882395506378094615964447001360028009112904236328918050288003547225259060981024972155436136023736504596210805129009916791234679440355519716089754028858032649663334548631278517250137794786099651263953491466548617025771331449039261350258490135409988895727775910281304805943109474365658832669519943738057412793963790433058327580528171333507364492071460925116374210326035303712615494274313431685190794340999805908904329859003987425970157901362062879334156528957177275247817789334486589336829473142460545205321260550105779739680955078899928267986609048809189013881306837991243800948379454745394656913625838065691079033717255000925534266357214495293583961268184736150734861222750260575006295993432855087242161835268695468773534611687400270710492525189571194259823933229713093811334890761300443617549672136538483183707841322224170583150650895968142293064991959136367646728133440273430676503858986359975536527170586503906648504496079385051638332746487629440624329034626933189294035702845942110620434242435998288757836135832025191670249226670254124758300608056657364623104335484349625468508078589504952941303899044074919176509972866514765791111699179736015492979896337334906558595564798535605085754038480303250907963068740984507443825053554056729827081682618291649761130329474703259805192553856556741410109356476768677834618545198906733336636998669237807761038312842691062989331446319918871664207087752573025247412452773480725554576791900706635146750177014811754283880413155996684973644353881221925663719351498776190617276894887924794530707640307763372624394811774959005443692274768551231536330797259963280074641782808789872719017613220633133414164419803498151877026656726727855392576766321036036518896608118544036121257044191403467595474874219521498366673261419368028053479221828263360845499468743889084562659341770540777361020445823669433593751
g=7
*** a(t,u0,r):
15285909839431279183124382794057793930910585716627997760637615082285837307839\
86028130266411343547693175899849244239727449309670483815826908752916392861806\
59767844247052011638660795973265844287451946828643102052886145000594376838567\
82099566914442591008683164686697539128568939619742966255941803036493552180820\
90921156851999804116105193154498741488736708461542696117793629402539370861305\
14436861036857182985235766019772391694366840413833461964615217095082637168500\
24854226738633189551587261455568108991580072769084990902593634573726924298909\
89632012166634000605749262060306699928943144380097993998086066538083216369822\
65516353634604531395795777525458395580992565806379853839494750905724995877159\
88464017544454998084559795608756768686385210137618901727788609438715603703819\
71360604324779422814871850600594617386772452327281558506018655702087302578981\
43881940089384913068740115549142891322593044000488990719921608393409973715199\
39160810598822941412173917511490737299591316114824297146980352399431837604500\
05476959473738897391067811189606455440919476381100346909763017596319623749907\
95883140616720245243385288205804678048579813409677543745341056964644578815720\
76704389730682183786755279067011660734313453929823293549704852651940801753188\
02255234653850847516296388728602406640949663771423014571843707644144211423663\
08169381050375125296443740820971796038354552595128892182849081419974331834852\
52694584998811183259499286514688992274532195931121646750659108375687489861957\
38154824805228604343826675245513857376804852670097240704371401751699449696337\
14610998513157045863538438981604785778061923177744116152122031909891208613574\
84992485303778648058344887086401741921372084792007663527586529866826560311530\
19428523657779039744012056401425886927377065637849990829820852390094091361243\
95453014899645725256114403975455939693357658040320646068433238498868766572670\
00006139962085605705691316161113404708237127344203300121844119848238627312347\
56820316985261849889209636469025325432936172132838817345988929429296358067903\
20614083538092351713128004901948953261864783825980302660982318726444550479773\
95025926164294001972882582408181224867012022694552633002163098571752207428600\
39169516644374550228743981441771228817900815082816883937142784859094762237141\
03344074045862621102024990262620990084208088572302078879363940345223354525479\
26828295789573185369914434803045590141343757027210849981297963949294742438748\
30078747822415635319188144374104978332103273276872197259480072285972194318357\
00944276791109743937441895461540696788715928211608573564933721564186101730664\
26602998761061526022289049178345328790876276944176886590868816253623227299314\
00624906265175786101953182333315395429108740092536863989918683196079536363969\
16516709998091500468350790730715795904290483153015573289524013430317019423754\
27155203869214798470784879158412376296464175221106120852784040425210357340625\
77684641260581142855056771059648449783024508546806112240311312901219244495076\
17084434857005309808700435972418568422459426106222754910224166205881748054767\
95703451721803693670317982439803515790512125968675997609939982170666659805704\
59335352058493408317442281776523180343381612643485446300728566834535227426242\
37909028381028939017246244569197306753001408965524805876244106847121614830397\
65520437960632567884382301308782954629269609900026679934204645373970827076114\
56619697508310569329622857431503156253974197914795670524551859155965743736542\
60358118320724429550747190312451372342286069210972425838252912139543334858282\
41457359208435825560171869437790916006833155294378712912508990465651983091830\
72584272561916280335667666636680888915964044703318435781953978881190764672768\
03947868190409182619520003972004927735093871985482946822323217908414982779571\
61999546323871966746436374280889750955304557355741572883147601734456354631396\
85146815438736554170847723951448401027227850554162521721363523323863975036780\
27923663299107188676914057247313244568270424293849711083939783571253670964027\
48643729786238136410444649742027226375806443734794698031382940802450029493557\
37041719131134506424572829115025230819101069239449780083772878445612994576588\
61336138870967396151437234003811045762055107892621909915609615553027519958791\
24545618686666357922375450834111769640706053916889397426015569372395686875002\
27112642211333461537972232500144010768555588113844100031538961476924745012755\
59611082115436846365023880907372236708475830911811503044622536842768834661649\
68406077719356421527191879559289702245203050911879749019271753578967757433946\
94418119247515857534536808961888393919658149798840742175874660123116560394540\
51389343640842510519375327369264436727131173202276668158478708943007062895251\
19943774345003140160464216027978836263849239658564906579529489904776727507343\
57995154614586620076352001360494829704580439033437260991783792643123624915915\
54988973578715678638795549921200982056557126158162677931530512534719311389258\
84100947547435103175671370568013442993800050941113893652704716010511941308822\
38407011800403933775177947687742204837652520928622472821338727755864398276114\
31818601635600690335528556232330639779941355593884556299095392418345701540156\
44232096276138673662561630922314802788942518287783219031817545724632263952705\
98223608406680201978344938168356774710359988357280216179937753535578692041032\
61873033111827483202819968665223067988353143051158227314022590021324453943237\
11284819215940953333068237599379587568415701998645745871468755681642507946645\
68348070428763066916487231566166169415445201069126712332534625477586825496667\
99764723273141036204218087824066617847231684889858597333175606960358131591796\
22052503274874830459442848493276695236971262712255824193411474688544188721808\
96917826269622446957948793663345386967175380166961478457282370953968404759400\
12028712226812143911434617089512708204949801828713923735697959154376928432170\
40941220597388116805242505493446446092020505042247397397390400676663713735803\
04096881836000297136110934920337495422849569689061855884213484223661677739833\
70186014346800364567731070514998542798497825390690605621348536664417249385801\
46329537568816487764848857825034382732993733692912612624850542290852708012977\
59303193172797637644753376765141258106050369640219772002311866772514640572529\
17559580496577173153904426028410747530302261216764230101021061587298926136057\
08849985260137171087469349684009470445337521790362481638823362717486424707070\
88814801012284575010477651741642138810925188677588258314172474430507648606499\
17315109191397649187150283741476248460285917528030872283231081073505571325750\
19329868059120254996114491344536510038978328095631955465270020191030750262695\
49401564939025130224566152271316921365425928469589913405616129501640727478930\
38280588142868504626652998935731773077270174358301026257227232141377799428888\
80442873056545378898972022187921431241714167118820801479917824451541134772704\
66802793285574909820756248311139463647262914692490910069016570517052183081351\
74568709976900005885396048056740962482057586776871888560198883252631261136185\
01586783168940129189743818356051664619845472235515999587684151349561065635207\
60903154293582122208467483480299707903137045725374987885478264567471501994727\
75763890740373000774688078168263269959512236873407613932726001835570377800778\
01165677746273360833119094772454030740224950390141485827934801825079594513873\
32533936465520610030971439795876456887773072762388951296406909983342039243491\
84929065275255682523226551733843812721372259414869704365760889424478870304901\
29541266842849485386742040119747360815756873835270290293571991484429506095756\
27500875151818530023659276633943842747362285372618612343848731108939684775484\
17482735605530707196800745972325904825443031462613012719717163850998875248802\
77796480841235227720168439445550745725549714109973210823189730216608199714459\
09958034854738334209472530942718330580313477110205777419180401739261055585704\
81195405149304007777673397196072064791178328729893585350134996693654974751093\
77574362246711826316843195354482276805115386814406686230431274252244615308929\
65973360780254746525205368206538838104372861148478649387121751590395011002686\
07789595698853681650793388729780453363553318137391107270874210549229699733116\
71671597914754354009237608159534514676992554787558139997290357411432787676240\
70002687248780878181624522584375005584797390175758455032516138628225611845417\
09910231805931619422351185421287851797270819118059167819849540335500222136126\
77181850377700848686122921054592808551270959984787841372953971030991275844578\
50527982059288248914978514948978181431095646599356028598408565718464989530797\
28865238015698619914480828806201544072662188287806387215440772893519880145867\
42037080814690567863174659248870475474771736160869178101397735260793694074051\
74518332241756305620206188201837655673065929830719542870963524124806107266977\
22364899009328331639410691181791775572195300239139522471360062816574258471676\
23515885396116892049008789356096611876470918891068892570959099203728498123798\
84167203208436011896758134285660726401854985903253548103232797477310264160008\
23204091832371847581111073442787036532866923103185952991079952092830108135789\
67229984119030308336742253275702332155014244467195579735517010692548665172195\
17261441792624870348800125132637508571991873229840280997827159754539213596327\
27072217374256081703915932298812785418661680513320805058636442862916219424488\
17236178210882567854867402255694045285542899630833967373840563684850461382551\
48258853497515079500367066771424747245869293146820314554392634841190958453417\
82174282063744134957895137048232343021504001138785327091037239833031787728803\
48124551073205988560571618937754097781290808204385764474425196246524908188141\
93961987835116705387019747867877968458923420403939266744127462412530421739725\
97893987556135760000375802405409305352504918964579449438060791187508142099310\
03693072722816019144043063627763363414705180785745648769762659796102996108504\
62380276268983283686127279366289485668290131898150231034606281907680443357872\
01770306703036880598121399594826332458722325560187691995237089853128931642386\
18504805250757204621448441554054088404246605323803367510536182870169952983020\
92733131388338819663853589484164234271383810045396518161713629757745585394546\
63937068460569020113372804887818525938796548236268347633047800021970682973717\
28791534402639002235659738325615703851723700368428336636569683301000437384289\
89193094654084231479947463576458620543107201820913717758397353562291331467402\
26021177945644811494269247729216765383949391389488598169706234106018295474271\
42759279300860132601217636467369560047993099103340934470013887126542163612679\
43167450339274338969425345138312503964350395411856619633403633846231985059896\
65667072932408128355504067572505928789734869451311613562474563559259165370796\
36743752188112899757812269169386688059679525677895015061070686584678536820437\
20171394719858382867801229409154456174944203623071216812040529567990650780754\
64824852082149415356382837889280943383660692507829389894122665318557978004372\
36521727747961149186747978726497373671226789348182248203058748282842358782953\
67035329687276274002562936926864842241761360436729144878465945502279167965944\
58909287232178920537600420118662055883473077523529427992451082284460596698825\
25510357832959870154511105825847757053670330576048015908237370436634926148121\
01730057986597740718129004803935259635155259690945855521646620549695434302936\
93005838383630089210532904767281013441931360141742071107424821677141853705742\
90005615976661977883733622554027575791513071694815769442167621315334078979355\
94499398979427788158436117240999410755320441409685269101547541145339131476404\
87840845289332138596057044293447108816311233336177817236598622082526066353627\
90030439318826965753147237362780155593874189195172287156356675307194126089794\
47239794837383686085803895559181108912295161256270171637574229031970912614014\
34379934110048525691091407838964680638053909616788624366702701256517382426358\
70867732461387739802413740939042900739940058886615107163151642208731567362042\
53110954947844039648248632981722219332322616275736794101640188932383859816597\
50911963645221411947941440954998021446896902263391221422278369644042748891179\
61079258300402386194620928517783182168697044166855986053280521741139270307547\
09037916115540167895160420571924122067043663446793858815177665184480540464070\
53018516468177332347494465579721726055438924825570139843393986340597303030836\
80070133825701775939246175828610000325398637565188750742780386721652070746965\
39514482216322671583875382782684429897176687913947449820513555717636059998637\
00867495456917740321184431376579664241879521715499994886217206418771229024618\
37264129279795609778650680239620026805172999105465444600808266434338266743065\
62926242580336699982183671702408084643991056391523019640214623606603060789149\
74395581649474885562940389784851313726087820041548473037155923457239085039425\
04655101798743279580079406934749398040323065895433753334514871497354007722356\
50890379346744838902712863760710041506384628458574436622323038014933387128238\
92333792200786549543728066555108709672806230601484863730985357014187698234854\
77400755598199185660500457950649258290554400505592968775733802647008168004903\
22592475639337072200858923687202230003316872238325692261350371096731931567255\
92533826319097739770678220202136867330657914019642879844988722840600622198972\
94195646864368607317854958013010994777059438452793404425532799228064495406327\
03402275397882710440233748365024131057391761138409718807195445793682807312245\
94184372064140117778728362134429497139626368556945148113463865113699948894952\
62208707138346475507072343688576348924627708121137216650436951282969991243805\
16700139123358586698942512462769959850348276017492133488159341845623978983818\
20854190346533665258007440396559279572660158653309299641806702636126027221851\
56718253027645604004407017185558806131403446164992609521783168066454543392283\
57237201054799797875046123926630498134059762066497398907019378127152712951971\
18358512482757036659467976463129206231940201538244930785476088206997080806366\
53693835448289529323150477575750352943285666004697589282104015919493156012605\
49548776876270917545524284494115115391415252827870582545715239490666192347465\
49301213775222324653723887079079118798841546912309767040330365949477764741454\
359787425857074936337266318720981561618543764780042693018913269042969811
1
*** a(t,u0+1l^(t-1),r):
15026582434049787170592583651463033996173177099380774424453376560625945628724\
76368840591769115287694611181472913988723590603191625466453784947494625593651\
53758587699976671196157596795585556636957945845687799661790998337059316722550\
64778367852746109728611254258459503591986243188870795292127521740869721889346\
09642569836603011963334322771104794884780760532883159331629364247736629414082\
24842267729917098825260041431312539620381352075050236408193846776787173012955\
47523994805272777287752604805049517133098978226348393507450669990949276195818\
11674070395663772508761998424976331786887558518795671762491769462036564254217\
74678187408946773087478789782330920443897498714471430305931220730133054382542\
65756805182720606034114860339239688727520993566009909992538661304976790445884\
97765419708524917998031423351951164876912033720409675326840205369723898765200\
41535215375333142630250650817866197596102304328473154873589290814633932690813\
35103417016562043254380203548053571162557721684978079099246472716877857324687\
61274711339405909499419158407878918967840729373692423965016802406184135316827\
52220655667520467284496565125970102926172238818372929431093989080230250428649\
16119395371443466248431438328834271579537165361739580746788087950965368735697\
55657125112126704957113226620105853088134306610362115172886886967806232342017\
52517120108898450220726504878674442288410743031780805416316297757807001040293\
29463197128897327181581296734043938682692818431818923243107869967805892484468\
94340699596468835372866373497710606262023997488135176300338710675798799277360\
64410246417740620957276712401332508545257856620534508149541262282767700833137\
19931349832084005584216510114153644508945414173481614570473846042507165320382\
65093261239456680917063689751825824755187822299978831701699480719008611960204\
94304895890980670539234046509331333741915209553302953675189319278341303991795\
29695008464142588832267712305411198030811803788882226227222824695299611957378\
42944006235276257713897880148155904266307660258766151264718617714190482059211\
16305833298991821712339782387118528041588095693211551060701751584996857823189\
66081094240677327104351115411623956207628218351006970990816316503616920214920\
08344774608937470206013169315520633041536805024861460835475895012286368532835\
15351431884858354203027393820842311647341221848172543139657483298838792431738\
80944309621606816532347554665010886444318132497060241781803747784273719475602\
71227270479528282410851304978502820358514339328725449332363539485644673585340\
58515438919064526792414606000364700047719805018574686360250585854331860607995\
12673824418272546315973118089551534334480637938526383331080278371846395921945\
81387160447293444773173580748018810021263351476452355458515727213488177594363\
65623872316691267661159165628780937915339277972285808615432182853742366879336\
19719960071245084641874296854122628159483633134414405324650098174829785774055\
31126372134576938734989832436581840832888371738283482626432327385458691808072\
05107507592701732450965650065252183661286693146833490453688789210871501622170\
57416305509746703579775358798034935880776764736408167301760039023567696679877\
37122311213014726555223656826497339395049031090627069266408949301055836197521\
96172588691247109703098805924291037646918444440190737539041096551882982345056\
31892381520207133179463468675834704692109522267415482725141795593828060924022\
14188826108546582291043016306369266703953900494940513060421855890360292853170\
53302089923200358172883430250600170926488567565545937935247678945847029460121\
16720099580017498642091668071268544198988671981184729093069629647196058779245\
47318940887915815636287819323334747539444390787522270047670122500548508533173\
48272975044860299219754348862206540648164852479602934529390307519770807765403\
58120194925351989930756963595634316914592510199847747895497595295983014025020\
65606153159851296889909685279322037956077896444855334736458204360782399588465\
43943808502326859368540397463664198006320501921286756513241464905577359863789\
50834505341231268874734938436318941668205580410358972711340628894397154346635\
56771454339088869180800622777541296648748741957347898800542047331549814649747\
33622613423580578874598525038619152431501863837893168748332543847132613870894\
69275287738164949399658430933061805594021125575226806329249989496143922158932\
48707338196438077647601355794203773074084334027087084196885143091830828509240\
42105898818473733043091336273693914125297164600395285273837234615464556599529\
33126804016294766873573167182223524450279719228172081269651686128994694631109\
01298867460093345342621952636427516360229453572281709792118068339689512244586\
00941645068236322782006094671199630072005479406196573882463047528328337982796\
41942843206256621288750402749464586449759431634197170181384786023263078972817\
48717197231869787690513795870872862753890101707705054867512248564352441835343\
93829876948728042243415418065798891880291312519287156534011615997843771704992\
43277368795452226778723128654512743678165365816759463788662600187524933821962\
06087194446579927358633929725084938403083486643311252735774074504586774177179\
29676532993337907653116196183148781612138391974007155720976903197299308865582\
62897338752132551017956438314773175597424172077434399104793308379633790106194\
47641115521364232482011093788497753084736538978928619675471326048641447501222\
45177731890326168690425284936689594638880610935304459084378474450745905242974\
84326170068073906056918163822952789664333248995841199758663442201652342873092\
78781373663713363613474253085307553911695895113194308164781917411049065968920\
56696141728450613346842097644204978713159893817269101808201845485064591187788\
36758492851738405437510736077745139615608885022509731040271600471396407951787\
70485667105764573211254092168585521778288333189576646589015563529678648599485\
69788828324755010461476254122866875266505790110601906179390170968911532850851\
77852679625896141213824630753689578957565868764433586696963419326823990034347\
38146133605040819899117535458918009166854006772565047773076968939942629484115\
50522161134507804188636669695705447821708983866626109013257798059365872864647\
43281534103935529442730781066456985099446243394635113070423294636530984408610\
39541216285794473198376787903904177384175811060084092552696773839521932249903\
79844149347719124975987103060916502991616643213086797356611656206930047087566\
01631041118117878835278540735553136356726706152071694956920610098339623910909\
45931986292000765066850321174865929104425044100588646014780292960433060788481\
27954438158932844582655745468765058571232999040279170397181920414388605930968\
38040577177815670085718581029549085740484822058194278558224911460174432162103\
11051679765695768920096603976421818081186845799983298475077872827720338134330\
24436054131019651579263975391110498887457862257971696876803018966500513481933\
10369384163974392263551196175308249561835887186550514555659086619186996765250\
67742990948967606920875369451949538722050160249074476156441360084152146045098\
84142473615369185804399696628822642666150860516755306096406630756356649731424\
10136677516686667997080869505524869178603984487882363402407700148531754436872\
32442968829600521643196593091378506449549423837479842002407002774620901583884\
11990328032242261836003454787463327585081303542850274582312177110744490147230\
41108201592236677991463916915805423244160813625747002562239395196567405351526\
74677564310591890916402650053816347345850438163215528936995671171183550359059\
37682389332791401387111492420734304117239648039311123141836576503045675521217\
76730953173508023806194107299619695882030555523267589798487829517681408914112\
90747797156782965895076932638269017893966883735759861144801344530277183054505\
17845893719668734784413928415773721708706014906225610053407164841274106394440\
43111903409432933564689615779179479539819370232518434390751073153555468710820\
77366852359558984524486192057733476715614473728505773655235776639066240316578\
81137424666092441198975827780870088197171533332025456663704808248333778195467\
30263958363167233598932566215574943174114371769487439904184560834204650110474\
67964387647319227734014325202092373367446648612500689265568319423922711098776\
22926058731295372254267204943601331628827625652496630427447503866961900868652\
90813832822892357428496536579071158160323501077684392099127090273444295519622\
10191143073023992406629950099437446583358791661937859188420671620395205612412\
85048418259742393079653427327429999457637572422371076377099972261947909225240\
54948793538116856908224511460829688330796994593905484026381707620474929977281\
22620815539903528386731942593576101067514382095314173259321521248217704128766\
79742170829758398275969372709583610242965751540228145019514350733215113093439\
88637771243847561056824853531170505108564487102532094966784013079177966936131\
92292762043498422961239447968441729375125131775155969099354340869154354269045\
47056163682120122431579030068434327918755606172877023503891183334294959081958\
82494880742836869375227301883514388489311186054085631434034251149376836515666\
53333075350045957029518128237459130666479500751266211754638838613416216323174\
91613447484603050920922572668074344112893685953461780367291602292951746263551\
95872642258387004331029378102316241694325972647770961040663753206718433340810\
14612331564286276883881744121904732743249315531313301678354125941549858417501\
73738287202025535548712834484129816391766383388683882823899915085788517304185\
82825008363761091680138266307906587401339532813345737955622721888123497852970\
02482548725643947143150660360599445219077919653283306390416133967353600063067\
66077074639477033705075049897555451245455865398447781485345750373093453912480\
70776537954150656049647689493004263888677015039749625209072082643850593063366\
67579974846396535078851646584539793687707000453636809815386374454542158222935\
15177595684306878115355289263752974064715014590062550201599816407701217916663\
87230796277000101759883991860280101829912821451020463399493359252908034817314\
15893146228604679438860275569311907212089168303271150772002216804628371745768\
62814731283004209673742337207732200522570580168968673657900362598316188221497\
44675317508520041866324905316567779647152883461571076638538396544380076306588\
90405896360072939594155790605073794858674188385813919361609157245361588658352\
63417872200163513645850928838826317204679358916520157004023426411795874026001\
06625419775638529059182947288988858734540828920142087758663694328881674073340\
58179451200951793999609052318799567602696335060521213592844900815711459680019\
37549565124700790187109166240879440429273529895604719972670690077829483675461\
92175238747216888127304424915613997295058249165678223046394424385469817764396\
46299388033801258760707478774043300315567825084417016284297822904448596057937\
99520034937324861333450275662699042156167265634041482512404307061552600831046\
75894188060510607396228272142950344624171296213048539781995029319339975404067\
86181682085591228398790463971487368322777383957458321522109587501804192991825\
72867408785751027536953157321885036709856835330505234363402393899392998170179\
43159436419532025072363941387122300413844996503444000825438524466545315938379\
52702967826417675574621247139227172910609895320931666454514591101674997350122\
72047489710803594835737265017685696782716701090519503672126747240991896660579\
39780681639752256900240417885352696142297978125181979823083484793035087627229\
23755372742715780932147551376535792459441032853587678896397196261387688951897\
47224400974671237555688802707138639981088038292023543982133919895625780787078\
08177056987425488155263118118615232375634433343725586737210960444762907045681\
66883009552821096182138426279323643183599642215175999691719213397350343194995\
55907635849927823332410459187620484915563257652811935323065374959542589261860\
41471958727178628916618820517794252859953609171126008957662594104998561273944\
99030260146457289903386864343285482182397599613845229988680415532842282616792\
61129379148709342408867425425108540909981364496051399825137528190902572922424\
25367620129337806422165439961754708267443432062902504025605243000666375832809\
01031787003394282142434801319449834838466059166440599668247612682824095936579\
83224484525886835684922641768202579047232298831967053669591271949798856827050\
26772541382959178888774390616444730444817169713506874131547204689922958464440\
73069318104154943557636492607461695867979774717253529447907921571548731106527\
39206703747699300318979008105230688290125163612695245859245926251878404393178\
87194297436575826865818813750462045560217510820444738006333594109974655786130\
92095763385131523526844509182224185092135047591184910615264503876997559452006\
03209045958119889872757174293847869749557343213257770656290807063881613452098\
92805359885793422242349349189371996190193626830349159961020755787949870134794\
95883196052112326184182440702744234009125986631817633821624743093013187938815\
44104233421679835666490882700848181165230533744896378301370054821772257960528\
10890924765399849766279756298721604294115888528687469112063158314552525970233\
58980834739542758695126783131404875863486491500747537603282684872361472926251\
83510033237907984141478203032024867284389159771299446627160911749102515795432\
16709696596533223981057471859120807160271667980521646025532852177973156672115\
04678559935747941852493739307965999899584823510437037727227556129963623585907\
56845222291064036362693104308038409637960607278499079809918226128884494772411\
66678661337923145553744317820518819559352492277345448459783892172357463439018\
94107986088587810545865975065711751831158913164336792380683176213771129148607\
46215174423089672802274912069943417075052122907534203093631301897821910176659\
36365392596885366591777996670297014070109990169977490072012950224446466415917\
80318798403075406151740848726361044414621349562906970054806968468412639095308\
56881169209646194970878190700858933642115499976815833672388681290744058805269\
73098150714264245972287011238961201503349476296029492677869787269851167538314\
57679925259336653330511882427403967534235939524370204580604346264486597180872\
70921704542427511061098114468467259283613223566813819801368105560695528068840\
99719764724378868128224267777104258359893449239302154214170111785137946956783\
72459353705891203581509734898550485724077388029659771531744575672728405860892\
09162267641429674471097091633816702080293810960922796440211660400853259778828\
366878685361855945899876315198853693466674030787544324994087219238282293
1
*** a(t,u0+2l^(t-1),r):
15113024902510284508103183365661287307752313305129848869848122734512576188429\
79588603816649858041027466087598357405724876838684578249578159549301881349703\
22428339882335118010325329854812319187122612840006233792156047224904336761223\
03885434206644936821968557734538848770847141999161518946732282172744331986504\
36735432175068609347591279565569443752766076509103004927017452632670876563156\
54707132165563793545251949627465823645043181521311311593667636882885661064803\
73300738783059581375697490355222381085926009740593925972498324851875158896848\
70993384319320515207757752970086454500906087139229779174356535154052114959419\
38290909484166025856917785696706745489595854411774238150452397455330368214081\
73325875969965403384263172095745382047142399089879573904288644016223061531863\
22297147913943086270311565768165649046865506589366969719899688813845033369794\
08984123613350399443080472394958428838265884219145100155700063340892613032275\
36455881543982342640311441535865959874902253161593485115157765944395850751291\
76008794050850238796635376001788097792200311709495064946598874136229298127854\
33441483983920393270792806152581627966974763682141134202509678375035026557673\
02981060157856372094539385241560067964462594884434151681093676184623846408194\
37856494959368085810174280656271370939072758997382414972539160526585558702566\
04401207089390675245965583526106893538392012886230167671827225645196111305146\
37206993085535279207553959994258956546639277598253164412291616103766424943631\
75612074666055425029853140746978356633617615882122531101682941034432349417019\
47810497116212762592697287928089934289525878806271044150401518825142203426616\
41618394989315553075592635771569676979754304379656964222844740650613630317431\
83205015378897467192713145301692512145917570079269218077739937942703771760551\
28020935560535688778194165664706202392396025715642184472937292351850458185420\
19798718963456927790075580257311933589953578307322584192096589746279283742368\
14236109818604788439001798921779044655183830883457039958475388285892440728775\
17741916712025331712602523225395336448346991737467801594128607298812755375384\
42396038215216218727194937743809712427422819798855524994598577192995349286146\
85286355287416496880256773357604164966991475044179935202698191627889166434270\
44682312605193109836026592634768537792963510756215721719559635647633646462985\
62905638344262272811536514711022454343326674007110444514968486505947393796651\
24177762927157400046963584777036873016377317311441031974735717085753847163012\
72658384876412932507423702487423365628051846082919315428478297757616607648884\
83983549199202206218078428452482799153279184273743217751009790999105339714401\
87799742386587558549433447943117671823878481015147191635650045874351963850898\
82588151543824678596889707329425890578323013032529063506796126379267251060808\
88865041337234989251511157622219210871810480496644977167361412258289976296245\
46645795176578340108345478644270710482933750674457692497725322557378876037073\
42433150014136258236877245367640978581677604133296578605867248209208250433036\
36845354247099033609956233345291129184021885147164110737820020072600684388486\
44526658161507620475963198476505953044493224941579861611182155145548966607095\
43418068587841052807814618805926460682279432615302093651442099983629193173503\
43101733667015611414436412886817454671162884811619215128162745520542316308052\
94999116575134577970569630014747229887293999634892232215131856978895443147627\
88987432722375048632171350271217238065087734780688100569582756677079131259508\
24965852789490274281451735193442668134936833085582723699549416586681366883440\
55740718112582637202747768427783461331617608759454325292431407960762593913038\
33497939426709927019676233898806003010474525648229605293701277649318866103459\
59413312058191982202650100490719461594829859251812356224714264108807460893812\
72119707252813049316889031503364158979794547814624397064759977348476258071237\
05270426767920302471331617391547213526970476045474408036807571127469463563868\
83437580156233558053304842204888369904072534851837547818021399530414779395609\
50194875936437414928724691556702608038866184384715192561618991036237541292027\
76193788572709517966878094693683116875019611856136082470758234415764249233526\
87698731387665418907230770900078460276249435022447670028171849454894510397622\
41509106201403205611058314696183852305574752056006089475103082553528800677078\
81274293250794770817068851151586688319690053370867357864099002024565982620236\
11553228583981985091446071307912250381920829789407970519525041945652382232054\
99005284722567516073260238078247808880039018981134720586703598934165194961237\
51090877925771718694462505570554565623714044004889938641134934666554579620281\
34609820252505460912655007175636003054456034308986415647433020650434295150992\
85143183026108731819126531034080185070786880816282456908936096590609502862201\
14216242492057254375208795350932921939046583732245663666517914843468951599747\
90218561712779852244372542625679643450043594191544273743343305461853936317582\
16860466897854596164148602379304027214606498071748326097628958921679315543490\
97057222540758835213920316199542734334739379847299622580349732937648106423773\
90008924593467925232824835850620384661263620814217339080468054161299948055031\
64501946483136222314122375248450760293277688771712485176960135210953862347825\
84076165630826606861223512846200752422038121640589048494259846307605421476395\
59979053117362921815634855081761722299027399996776048462931880028315731230943\
75303605918729931381145245912260425746278997098505109554032820099894985811503\
04385668910014087632634094370825525091183824174798933649859765976829104655790\
98523162992783880444821440216255658156063010919091762091318225210445668208461\
45963053493717197793485659333505476841250682182038257211771166004441900652790\
50535456292107388278129041778415486245987127349972578698159433697399998044624\
65548859949726799744297255666941868002384080857038190263772413110103897934832\
60129716348693978978115335279391171252185861078063983810122474034515645569354\
90410112205271990981668136635469812813971931041314274549288044261049665038365\
44297535258895848883436806652649450977295406827394279588565710521304892276732\
79461875248128861347168984190983204291467330586795985702568471483852835024112\
25749293064005141035292877383414584504511849214312608271414791333719673437063\
04037355832124309586008810385038581052930311364835290517554860971388557509629\
93559591198762035048059431363791332339925092292921850114577686783791256727820\
57741328503087779450820591559668788534250638536196404359198307300760927729228\
98470340804917198389183884467878227173315990737340170860573281037126538195633\
90501641490138889354919786741386852509266540023185503451923958385693801249196\
95717565468302602595060316572650923617395299624748140003611090024792942130918\
33727213794831387808691471512845976788461980497307276863745332563305042767735\
34096258394503374554168995738346180363787745063546620793966430228452158390516\
47617885735879459164731813771462082604786435936794166917670714921781520199677\
73953379400771155061301852455700467659017813737093575464166517215541524836317\
41929697317594388498286889887685573600745297800111557296764090038904435054165\
33248182268285841482231662581063308376558281319702721032450118685686452698412\
94460693643582238938682309534688292409515525880545163650804530739404801738975\
60629688362234797287925579967836383859824649696273336390132750775236379987203\
53431281313612828432483178858437473651950518497830650216478014143523407115778\
94334391063288510999710084906328917526605994960601823296849216839930774641327\
36332156488461487271271047303493959511765350948046111544483806723164683628164\
84391507681622725588542867601291116080951687091688077608843831177849029345894\
54673429220033698283182557001303234935062818191670026534897292174573045712033\
54897246524618767752814971686061761337180808189072441576550651672464512072954\
14490084827162963391875017585937413728507131797981499559181537730107510380676\
12700759657682097838236109261877387717781376784460522012933465306884638509959\
67300712024964400664411339536907861613088719457826675972752796812746811066746\
17880571053814808719775932872327705540402856480794789375256406094384500490140\
84433087853513022955410227105892276999213185647642308065181512652773792905161\
63461657798276287664961474261083299583838324499878057803119160623005341023414\
26669022775138801860552680025382616904181987987600440191349828286465346862202\
62359812484644854167523981325417395070954983057532936475239128757313711933046\
98589871046365101896147466712043461188708136929994791705683869404966799262776\
96116526558405138822139858075122921519531230456087559084823158119983368777582\
39770874434128563325608122103737161897300236788644456011655253806383209315438\
53034618776251050514228361379573704807772064460343827023224068621038271935022\
72159075457856192167522917106220143803235504194964523159714143161721392211864\
62835215627263543599821131041041796285031096999746718479675867167494057051710\
63611117969509308651931463586859662578271329135261990537503491568047565602119\
35476995600525983140985406259645241586218098336703171241887718892911200220964\
52991756211934772332933669826778271847888729920912500605614839035328510617938\
48828701640399141372187871125482324686163501430822294784845137212546310143776\
91516263926102384267113867089024139400731482430229523568812091011497751344286\
60962064979468250405047978290502406696073988419175147761695335820365819029497\
17741316982934324595556129164207879228008377484462309111741634258632719526517\
71442810447566067456015078947781081837471910645226963353909580193072898517921\
63225875660502433553288999307920875186214946094628338297523120511408698104958\
43040645842636591848241013678985851944779140437070962124966737107204912728532\
09416392974916505410362126977638417827311649381568183280420141334303525977545\
92718221758938740887937015782774522358176941229262191856249792767306355247710\
98055522908730880854615943501637766697489489501564177526203571838979062283136\
42466589756348433315202024670096911167954495299375013103679271683253769361793\
69285146755932429451366084062396549232850790748981840262537658652976701865399\
57848308036161566284055056898103941329577395605674785628310648082822920903750\
63590937620298682468358220855157053449385088689769553880364884281854143675239\
80680791317972020118008544301197807106935119402904170717965690652921261843657\
01850665685329273159721856071352585249499957313985381648029051731238083609147\
00373436065015463956162526736991882080832150393566012705015871420559087608398\
42369918931764636285275495432865851546036532478232460187600911965827266380490\
78588742135625618830280100895466368198495348526896884067333093218376392391924\
21569047602352617007468206299301337700689800239798192862427725894121455677629\
96177376103044704850089604485095792436007372701330698208353581741119495876190\
97511586297013613221794052450709730940166323845995953285419901523866345588135\
36853223217883823476763050844350338934458121056279952873642484372447991448243\
74280200195675066443825287166913991499638927451690083284645265738644330219904\
24147088446703875050601810401773062687660383692864159262498375901876387555396\
67668088884595370069691650051344483149635493234856145112234858922148130006661\
35023907037488127984997313865517716446088762275470658518134780007568367134193\
16413601157343100860808035852335614851345775132707071104813671024156937402243\
95818213444324188107303503393852764468035812241929719690564220489464471759966\
35453243317170984731419952930419346847593979460755647638863180734953297690239\
76088472695023326840904323266548899040839908613345756161661989313346605955465\
33218705663062595086959320889562692882479249547267229294243124000537081625782\
90991452257728074528794959466122887104593802512474768357227287839063749545894\
81766771710099421964192541415250691092363453494653543871645020032551825949199\
85546230802489070169608752896393920819338879536297141338992585879440842757069\
07200990906687784215581540287517439091608974337473371738120709403354773009220\
18391509651544201311039411873540629669751578202872664479378471432677350563252\
39120310898998361105928908163801059847120499975775109587153637847880154181760\
04874780355440247990723236583557547686110461197956578105458310373661729078809\
51725517441283351670144468595615837934334404293766972570331169442526000892375\
10477307987858644328484160596727700878563084016986877187295279614784703939064\
84819576232951143223627934443178030481944553068692742251815858313867127439742\
41235336328861906212521467049044266693815594365439090350347521157210392967549\
69095195791052506688899593321425134580331402714005178732932940182178151976272\
07624949683794151421116459539454673061853417588721254840949926003412669004218\
51564211561520450783516184369298850887414343218386095761154703264209812222260\
20868016164278185631974051728849225352182962510447076546632011033594533653493\
75478983776514326370879639844064202209518280984269563852880396042153019887607\
89617349608610118764322143341173264411119203820023170609629469253218777660247\
53117952892200839275561490873052814747194850048027918995102393504130909941906\
36940049597088544540871800556296957537032578822212086942266502334318160449711\
10649865170277651968615467434378076600828839753066589238601827785553059579690\
35408090300408604165354809606071228868859709525547013154941725032789870581265\
42517656513404966141781197884682877965254807669161433781700194524259807428121\
63872749191686110510655232832149211573236529155694434522853932740408355203153\
62204906970106487794426062091438777096576871457337851433575489636447923082757\
11646497444039069563542779009723459021615896153697398931487617243954308025213\
59112578643169799667474736638497349559863658381102024532591092927483085724811\
78205509588608685066587940599425715618963719535646988995528021739204714944130\
34304851485391365316327013221160403046034132919017198292507580868718959489637\
57532350524491034845356629593812811067510547038412602689409356885375302437905\
53400640522537352927221401800021241599722216223957523462737433109462712314682\
84377788299015755193199671043319623221024188161100632570148079829923016642057\
64822494762684441569514584763738695613190009629063375203068130278707668023083\
22541916352693891198639356782237507653143056278051786640251228917061428099703\
697848265526928942712339649706229649517297275451710447669029235839844799
1
*** a(t,u0+3l^(t-1),r):
15300316917508028739376149413090836149507108417586176834870072777933609067790\
69898090803891467339915318384203484809227663682252642613014304519884268821148\
54546136277445086107688751483136971379146057994362841074613653148568546845013\
21950744640092395524242715266044096658379089421458086865042596441805987197013\
95436633908410737013481352620242849633400927790912670383691644133361745386150\
86081005109464965438567750719131272365143811988210307828860848779432385177141\
62483684068264323566244742380596919650384578021459246313434910383881238082414\
99518564487243457722248554484491720381279565816837011900063527486752474820689\
59451807313807740190702276844521033088608958422596988480248280359924548182416\
39725529342329130976251180901507717572988777724930512379746939890589982218149\
42115892359015784193585207669963698081764697805441107571528569609440825013080\
38456758129054455870878419145324929862953640648934314933606737147786420438776\
39386221353392991309829123842792802084982071360926864816298901270684836508934\
07932639925646285607270514121924651911646073437067453740026696217993817551745\
76086612002786899574434661710239932222046900886972244540577005180445374837224\
74514667195084334761106603552465960131801025516939055372089117357550548031937\
49288462961724410991806564401296659616106072502593064538452419903940765817087\
83483395547123829467316920595543871246684764237537119225434236067872516878994\
70651884324917508597161397058058161918523272458860686945523066065014245271817\
85033387316826369286657803120391815772070455735761799837928773478138374719613\
61844373629569069469441868236064356735439926875366872152265408000286959045821\
38606992829983905973574241362637747333173566493036888469648345634844304477705\
05780482681019170789953632326403668159165356934398388559160928594043284661301\
67739021511238228295941090501351751135104460734043851201391234011120292271607\
48356758378637995531992627486430193968094089763943359782656414023401905943179\
18702334249149938343393622931295848831082200570287298794948391191246684512830\
54186764106931270046505128374995087996324599833356344416553461345413866738473\
07745083493383817243356552796878850903644456269194058669460142019981945607138\
18659780090787721341117915448785150805476593419369962998346500961695228554046\
91565887499251747040858190064942027775145136723642608642680965736689163530687\
07155183910015761416445928144047518124511847278885883770158753736240354825589\
72237163230353821591873524340527320441747102940658127699875435219323723247969\
03301434450667811556610078209383807718771268388999345076305006881400226237479\
21821286224549802672639934238833872927342701333379692327523735024833051264723\
35027003255058138397996493532498539062877928348986003352774402972890167406725\
02677423202613735624305881014156621348121105663056115771418004017904500120666\
38679384080213115905724355953095140081851983114811216159902592772453722427657\
46937878434248043083949378760929928058032071702835147218860145429872608533243\
06638708593911064106352368522816700909191244603966602935587242705604539523245\
58941626511362415342014794864346214674386312703801988182616645678838824423806\
10569409883242223970898872051524615951622311618644245024857434475284082494504\
62449941697127929534698880049469877258894906994710031894977607419079316635138\
84055329985100647590211125343946746292445170324060635334708137028423202973453\
03421412586075235276210626382899483451197547771454290383670192670721602118952\
16305675453920211293961843649220883532052597080162786277308758428082018491513\
59498318076681288166731880624819936662824515478445045346922288288899534442529\
90654568766027417263410991487422341214659581031973778322747526457893112236078\
84818695587384120586173651478104838128812150846920725283041712930006325835914\
28881732512678632125085230430070608402010782197735674271350379869927095776195\
52899074454230179575344281655455421197847292449124032109413818821812951450575\
54811433010039429194045927235293747155045419981214319671200801274902354914040\
70744242255405184606872967036788797748450936141707793882496402575119633668386\
35945622730692597382560173911552116050787309644010995710619035729727615683635\
35098001395822219333483828946321706502641399228995728869347230647799459185896\
60949525961583102840304174161947878754410772158092874709169212698854118248117\
25912936878827649531881725650474023973803991118663934244575284720541073707395\
32805814520823685994020133387021032407541312373556848476332831410952405665100\
81477148480637624563504030246904489900476569338752397227583979548410705367437\
94035855457928219322976523202191776006293077366982910641638915222195840847315\
76414215783765076504784729185823592652415933968725562284924023466044769834832\
02054937186044613431114983432340739031298673437696447490537529009305263537039\
47399485580293110764454123887696050090729902218200161332021100647499801753725\
08386701169270547327427779468723320399683004693655762453614895675656841371718\
08591146366989707419946272896541259622446422336911361978484833556233441724759\
06869223875616378576097059796778719639573022833361985048314541825379821837166\
26382049893504178262329242901729631900374853572766634108990864041737167799854\
98750693916361236031706363844956004299582426410580375694430003354909956944178\
84367080233642200283696818411682275911783513322744193763519221729297427848799\
85022772068577556231286339983474927618879394835372325549002818664134373315473\
90560299724155789292854352809181076340864727165468220655513495319419739339620\
84435109137932494877765730370658314721209051400011845897409775925727812137098\
41046311136734948585183420611836708910235673282780235973451927042318883836463\
32346614965049076293994632516361781660380283695019496035252578811719065431254\
59497390667614551054987388190832046144335771665705080227741638033095613434950\
92153150221370873547543415032104143368196691368609035822159502942458339297799\
22223917318026559893654609645655160932823540391014831325191899640543698385883\
91094145626609156982610568223749689103738212073311678557054401739423847087373\
60167339525261062366569648338292603630541649919805299877353577698031214748087\
79832204427976541004966528756066460379301927598372473711207611604981692657664\
65956636333186702336218742812987762590598956228005087527290483046569791034897\
25210437782624842497122055082160427782451462216968531920154917441763863860973\
25917704379138242879257727958923711228038122659156414232262404529661246973524\
30086068496744786674012503439796372683508530042977125664138706734400681263055\
72279590915423471665177758089960203454122190777350411276900478887900958292126\
96068161996970509713358708584258033611116856208822937515661415120522767934950\
62643225226432316963703349398811093770105877506790280901757143761302971331408\
16827506699082329795952389132655177198926413919430433445028577317759870870386\
34335844661688211489828734744177719112818516003946928531265532108894142439785\
44528337859830871092971852692205570587552512161569600841937415541102185138921\
35147945330318384778784734247180869138496849346878365363742897280202072880893\
95556233482954210367113982181080931033247777110384534931310620860729360701781\
79150942374914433350982532946350885761669691385813607101204445778185424239774\
62640199779713597382392779467196600091425066502883021674415658764727371559308\
43391093088164287657655493542267842267784069099274512676028991082219160578448\
13525957140794427759558594781546462973435441351231919205263089917350844181515\
87553880605392587030788499473461007643824071157956292211534462364558492237328\
15808506491146233252328036387532231089852780408159329209965556038137733716958\
68431601707098283586358295744814666350328696574666320743795808141087601537760\
78573671265856372330822235836578803887483976826856757312289941573761362407378\
46390068476335355173250596315904704958090288769831809513880766720111129214661\
22879767215581631414193994214106378017241199520300222072732880911494100878434\
03420848509482428143156595496916619046400928474219592499381118273950596781961\
91313829129130970356727119195532684229059887650235533248556091664357946708843\
82529414843195608680271537262341419478646539622699647171652497821865694330681\
06948681085940254395044843384568182348815856608774133762175694253800133003364\
70608140419857798263723223247338034483474168882551125991632761141321037240497\
28881106369656260724679776611315981084877312315415154801632553461993967747250\
66846999225164354219167727537613288038361555045597395122224516339586461742287\
11750353535455514896006166032024093007963958062059083447763541220464406170539\
46522824643698511166547768968722741451294605738469465006135623744589838719798\
98260963970473076672175909700458095952089768107116289559658907457981256093224\
50559264679737401574638537344298251606227694441887904942209608715327901137269\
51308641697215076879037673770359651578507085278250852524941812083453426877973\
43215384305284343262068005688089411552941949909487439080663889454478663993327\
20239274543521337753107760882351179842424237382012407078566035206748034879806\
19213543645013237167160356843894148387153623967252844567043572969748822373165\
63848016518359002951121545708048852778420991833726184803512638192823350462025\
10083169777954936337059635229779337180608037346052502996342191663983678051716\
56297503471977014430184479633233773895810904213091779848908994966371955550706\
46701880161602223156982771066295172586822530353578411849455138850534425097838\
30259020980167094309019020919460015167998642231805535674852666006890848245306\
00801981540396809075767978238692819580691036118683481674613551556404145030659\
49735238031758973916385141889936614786840008679915190735797878136361695163043\
63532774024264618144511837240240199664213796713532216655833702557784592361740\
56538766334490048181917975716952311501768777067844958795724189521307547490658\
80267120437904031216210275357723545979604358096497054951197512008608526776123\
71274310303139125665385234281512433502749200748785936845888732048502716180237\
42740672382337650588753224021677128915856852097865735493639841080072225114099\
98378949781927584538364680838553784232952978081922081902866908033951861832435\
55939776791992602552288638011692216668529589871705161447869393221602723909489\
37306866667686924112170133866335925349867677915373329206163878230655807435446\
30632579363924881583790686890540315312914169865143247112438043000313727915257\
07800762993027917412130671160983861913789415448888683796453349355007035346009\
29804963734813811339966264201884123484241138863157745767594712048212435455590\
19825156435697257122444807811902172325875828139148813625097097663139896129760\
84458392664951423960879481553578202423156146322099973993548301723268405048695\
15215676022911732314354115491883015278171649318936597597242845565219951115561\
02675241709912754301173722678606311380488625218937731954145133364687307845226\
90124283528535249333455824559744262694985538425942041465463778654975123565791\
05393045421762113671635160822358183277842360271160822105925581905001009546806\
25489154487504881346351153476358493754427573462125176312496013730733810217383\
08375188377318322748658203023129322185525777839556595279593205161525527829874\
45609349790657307248559697470622490537936441832051227013129909635646066333490\
24846053761144216409926150957605186944626209547585534899135767564653302256505\
58050895399249182001970588489208593770968794601096129024079252972390472732615\
00506429389035627372905752216568563367139383404132420889716033010156975711328\
01104807128572247635802021548400034189755989133393100392163205109448302201224\
27884980364952893979759761689328261536839662714320779592442991363699144086782\
29366976169794826601563766738870286731527152476046895179871337131338508603149\
84059356924854600555148521243770810144130565318587032898461580256025148414281\
64950354907251873355176593854168261301314221418730413722950790929538324135119\
44362546764657374762604841737841977063956136903071557284734996448589169836082\
21782742719011813651214962417512243956280162123496247952345210871273760732132\
84506627590946069434649757660003355877300982599043585115237553275846300224777\
72670908722535692843016068074070685137536869448475471570161998724026068921042\
93561268040739999518109152020931101580211602454025897408538763960389631783631\
24096298129149231044945736178968651708912592747597603382265706021762398743275\
22147282671728235913911749903283145744769435042879432668914873162976752095045\
14896950508203889682411990994971228153511911559618745064735545234415019621817\
79674346958430995332214362610729331145686477939896751450360764088967482689233\
97704411040277735364821542427154443497456779042989813109694058597671532251227\
61848520429073176457208167881175875047008531632291229565657561938487318778647\
23067394246129064641778531964633806283782964231860793747463128136915399887969\
55539745165238054082072628980167187457039115822617763296802950301802498169723\
87189545439907943890520917956184821090579891502473589411366249492542797654919\
32086444967262359014179387525639831026223464638030769124651077785287423375252\
22663131824922732247578757129004772930990080511787042123380835411742937917238\
20601778809835358732741947861946700916607178980939609125642270640025763925933\
80772481098291739087136179400178616686681218979208042261856077673065668634502\
56921026511758690553545878374937576120190874945430617513246083039330170899553\
05627637653988501071121837751809003869141097727484202069159305991251518167115\
23502146060282244082527771357038337844709824351429401979185516286714886071177\
48363069248399093767698624659430374347738030470302659164223905214789011654670\
30182660821976253610753553804678723809880493315245756170121229736804284379302\
24755557946205426002366474078480756416545359118423868127016062452887964845354\
46499102496707652284898160448126010707888660820524642567790029255469053422068\
74408247076360746940625732046320409902134861913114492195663259377536136578328\
33586036489500123895080350849258673055184222268823893790889466999599175384170\
73879271932325528127520248454365305389605529985504465258486879897300830494809\
98771668479442010303821857685054869951291700314435548062370976131791611514006\
84470172710729010500646378120119580420140789158330669008100343926957334293484\
48275967052403123876858426138313150372934023094437849824269165258329402707830\
68197821893766360774980931270482586394316421131831265407003627368845792794933\
581615689217920435806010207805544220960314305557403713464736938476563562
0
result=O: not congruent.

code version 3.3a
start=Fri 12 Apr 2024 20:50:00
end  =Sat 13 Apr 2024 20:32:53
elapsed(sec)=85373.395141