n86-L5-f32388-r2-t32386-ver3.3a.txt
p=299246363779115650121227220499312642504239906603412487374662205182481966184235265840381227391405269764837637612568991093704315761023885011192175666694975018685660972792073048918395188606828702221777987561246259423525478272110337081982587718446204965371514941051113424215773354934128445802946615698889455004643260435570235834102281614591792120020708653223929133472568423269119978938223922661035384759306106553222056773566745275074977909104770311141374284271929078224136086590692292943554220259783592162690615977529565761890190320631858328017804873453384014621709615834066330479679673926557784603096970169091466852328971346941023695488911560664749618053682539110210617098478058252978294542221106358054002142690465743811027777485761193024248916043182861391612167947874280140154145895332144907350786676898444559957918396439630513957937732134544104639888772301337455107286193861335444040823938698868512988524814815993113615152679250322090625102027998442612947053628567753172687324975328385585071055573072175087910642442506586873742709063983427812956681762983957299275040970864810126926539486769117975975183952710116923327380699974807803871269227406735375319326805443248490476858476812915954281759193069135504559301744943289865553786607438766131524632831148464680685527668635562693202972820404880773407152172384983415559002437909300437196658418211636301441563445798801640570336778667164450896003092114896008118113797300708535099255594510702100299133007447301110265037097732193651834776461794482596646523918966953392478544156060122889207259041446186183563421939562002541805272875478592383042426097286060354953740058017148035588502819266960936498182100431211189041031029103581421152476246120353683513312025708567249468032083470195185288522421100962344566952970442696081535027508403515163862625688165411725277715191206436039849369357048905228524596523073761923589785669771228029506124083676731788731408945640617740135607182675573095060127998903712335963128992617219140710347392488206866332944312182116809216675115008285744956116372368752687391285398711886732959222951055197846479186187101191842594652734890694155834215529204118137966097155941990832906154762113220902435872648706872425768378597420419754301055145207193402588556602073536234691743938889515615495055393827547740383472448034840090737665889790592474227310202307817662766978327445966533465878069906089204396319650348558962458437158989723314908842614718846526409806708159784242297586759667551026163216867675739777442628727748729293362693395485942583781383446219954659254171558350182854817376210078792197280974041726816098358135813850218259931475957089664548733230759647312456736688803648863997936995751640884280635230447489586281879616886125150527266773270244586532536912059166464994001301343275472421766634430342652232335975530696166665988244900323039572652959083241298219079161139608275965386079937274745287948281273384802106363713118058699826916233841077671989532732173933994946543762735909136017612161899703461035181564471781169365117557684240623577274327342701738879164471893004205261395831891455346299011871161393146369403258744107480625293758166788286202045001445515661121972074932734911037860706464668142827180406086691044425954596770423794277521016980213048740038153932229669850451922764944121610991517635247328587372437477329406976363399777793020488017419448858307497338888041230090194189398859608607146332223646820500881887816695309289486016279663791229335941029244470307494745624985059848754378336290834966448067565581270334727324457124156749364845703665908220877798846989070642286405912368493819935881203936356645962374539143699924473298230956345877652337403186351492820540586622818552946558395885770087969643733617896563848577342137364478482205223636519846482119766408090697959718447549094650121833339658742393146251906471438849527943935053847182012879387966773588852596505943677384804013111040203046159424198842560291469842302303318002948254115028972542328715904471935687325655760950788629166797088712001194304214584069419194885442991355677521968846094545229543573074359948998012474687238442998112636362488112427260725913121371955804151709802195564441992831067835302034117741451083359183184385987396927516635277766888962776449032793504138569261472300460019352274786133530271963210743390589554111714469481332986592220074683662595265035338049986583553431359352299634765274218161195981658840532186589503497732306169512507866314016893699556622110580022970626093809244110085166294293116305133884153124110137156334309271312165220550870923675318793056249179759859020919038843857000015695782653217773461185048782380078339163428265432668349117537792908416197897722363223523708563902498874118108732210297539501048867363547556731032798267062648723844237829699311780823027746592032146900952001634316318856383408095249700502444142768413824553203276085683040620006629527249876090340677608098218205670826944760613507989753980567653925638884039197754138814920049631251602040210261853762061051395305985685062064353369628155653451882169212441342784702629559776631088165511084859029369143290693575581504590178111124746534700803071440618059713590664159222576770845077470383713312755852720616086508594976706866910688196104947136119618431890689430265727243441115926857239783089736011091876065756763651640248853709612903260868911907980560891773911990911569109297620328662805907570026855417732331897211811725125419205550713207494526480057456416611442499736981862387039362174654947102263797106786503495404563899568160500034515017184794960268593729605890077169288246880363520636051555009970391025686287638541518987700250305608021533302352897042134422864365313714868965674718375263157261823080521545912745396152553475381814532792690652064842032580119748607122705879939111139586825936169613596327895754271026986841814217111177140793689728998052378103692411068348196999114833443051578712059837632396693546207573777033166128582632223691891072309649611393108856371891586591012847235601678293201850863039035606393669862533023855500243875744540900530397506242135890990794169937955322633771911576868947348764710011190306911943221098213334334973697448641116446502837519885059061858963408217148325842327932597231901124467568001218214507082480977495650119674381261616048491862673907206297545125310885235771927436933924251426916085733068948728488802630412251688554841096353800138515821789155998174261504434496328641648300051081867624334125391480778623990034894790017366728168425739055499856508535302055133135248561710960548064938159078642442044873268203703645094936112189950946640978457302765952190917437325782117249904970916865651563749385818624224981334046891931832403020321732354721900273208999465181632562011113608040675593711396312174119819853970397353239823364972556175172709339879884888819329857622681201691538636019004249421125830583433784710406733159414328761288335586433124920365337785796815985615768528145547283421639286009993025298073256075000670665857724734212776056980567699144759148975210980509245436277128840716783812234377224141145816078784627663579958576695123013078237340962805183406114910417518352183225026113371760882327053359342214701100550055888635444897575396561645666365192487730921588645339414020958770082785366655691494604549872789706834014008652706595107274321138548912693684113887992240645009947925209949391522277764328498659539398315997129999142714724447059144264370942526227813641654291675359460978004660597409128427627938366005111213619076568909780562499784044960028248065873234547557322267447599458465114771777633571992772833345785423154327261550369397611322121132096434932050536286435347839209630419314216028760997306237046975369260153127935105999141449707083467328751334951660470513253691414302410921873615799948776805283086880049432477409159628402295181079148219495415914367956983796298464736037613457578951184371140770312781585337286887327392355333370436294544248547469679094760952947835819097289143038599350330748063808879226261837350473969320791129207985333931535435324548314510942888655329569016739536519375772026769863154118180908607632163405865948235448320439964106159804343339499024978800331952510876703130919003673698825156045998064012969880930710783896639440479456213415944291223454898221116007765332804670158522218039951794560072822472921537307666572798754416426767097164446701609023197455227990933998658297692100874129432753617304359811114709363600848122516133406286162042038173681629673356262158336534274556277499528655185855308055166844458843642053409616766036540767113479235367424241064972624767783835824828860533558163731918385519165269398006949388683589815651730432539473573798633011796973375818021483771551794911696164440783420483397404161706025221622250156935766350216236854353376685121533102332662986073977899640713439327784222640284359237546837296823825943251533903594716419308163979916069962883976291830374364384517724560187979841631362043238426941822747952161760632959686315058293702004954126353318697337819909754613791168495196212938488474535705826994234336326263650713069946646082611128051911470836100573414646310249024889064642344428437561305858981861723507960807268970125926316949141745298985804064470853060624400013809202326766013063073186708768291319102110860552031219816895042581645497672650460435961692168897292086086649743035360922851038006561665253377657884793236072776876844663165913550539139379200945132021345104077571928664623990681028554931751259549123810130074659403276219559473861484057449925358929293077654910338009213196435340198915217024763135947489315796320009969417826150401682886391314039609548659738396258673048007485291696410611727257569769540867161836419997045191420523349664420228110839431065053879429437892042014175245077560629626418667499501441673729247907949727288363509454155986291294712876589744390029512352795592779003247784798422396190247110688371997559044807877509894659479356407777733343809687707816541234111502046196107807288385386127630266272307160852011983257033462852121105028082403244615069784714872249948251589411344535099240770959580537283538595689074651283343782801371881744595670130597813346756708498492850634366952251706090052303971431230872166347540055293750311844805315538958980346127584704547079465881088427780295274409613596143904865167299265411359555400630637672717562614463243537958852909647432081776880679635066216591043800671039086421323856580370806314012778729539671215262667225351227545370833379063349215276483633356291007569541217015845961596282223499296751932996823123184462871371078887125268043251930887444708817798868205532676520412276046361889527967687274198851565040228165372745532100497151821330390250166747542794381237478983920827133721970278032833880947914758398625811793338919381973749869672513649276699033382941094611745761428311584029418449336440901322555235387159800121026489978949967632271503112824197005030554768478963338334338604049180143286160465921819494897032897166493294734215267759193867899733076328651803734097225596757883231325168522485776793080054593523917816920726184594182943731089849534000513178368189169292136238008550911289871774487602227058957261515768864545159378423715946294894229370776090935837021261485455637217335581649918617077178827379093101725758376787919752423434331129405977684564518466781259502294393373118087474214582219582446908522187724866475407392363648358091895462359379578680638253402659736007800932106065933564930105130296088374358345408510342373910936669237646357428854160686754645727958151162802621638323929349608621922051697106918010907633338374044317954914266126121208355612591787425949483802018049639790315317858058806398030972439304079827762890614169259900230421394418441819712145301219073578615043110948796660768364107489099348476207424702721812602247586502481713446430029523075224880933552463877069890568356339206057230063786530505156697601988368459908450501710084104961580634344086959302113492031275208029629042052970189921172257152003314612862824463955283922616793683257831080978665655088054535302534930932163446683435317427436083217471011968617441672850264703470548056554504235562070054556581527353238056965064368143316557582233450064637686401272135508469003183229499871959349231788667278644028740286685304358639872655654487306698890595248635036554920735437594962578243844869985821919504785523335331434420608932867885130503557468226487325284680418645988314049488619014267448729047143406430945260935072658691976389871985220470665466929264722353768618124012122834453830570526235159121662337086356805945519495697806554946097359481122162720161474819967183241959514092477164598337305195410890094664307133642788395799252860037138595109425635593748241442022397600561184034678516978470539046627548833177907113088385222182220705201343702507414071049732167632456499244439128502600869449157592890489160628361378115472564142456653639994155969637293939171506819811175736233368113206053857201883902347896652483156259957605365212993383205919165487245034723609428196092360310125871350844240784710852538687818820991865789593331047324428912400543689806841852153154230525703632890770651469152212172055601247291364826208640511668990636532235919365085051309201210226036165351904407280468858623524653986154718087641295071952800910153791553891541170078377055547582171720049850139233245245505969889527500425876903324780900008545643999782968405424303274255349015167818739083055571698596332748855422112719645618893214476515484614262487766464430459553469983448321757388467583579903078361034086638398128412697059231248348925902251469544052322078646978278811698098108945060788726949496319549797806255823793929384725555469591706883716988105424316189011728645676195494958629271113730727116475954871206550796440068096909736421224252102907641251463669273974466329182866491076345265033733418002477487020988582485767774823127683771110435539160832714573231675574716722940231161471505792156587568803331014426585362880437625994628979781848472157571506339859922978181678131754649164500223764626612956691110519708921196112872733749824342791803049783623024569864661652520969555039493348237169718793429202489436063633919498688105268082215635479020301800765996480022146173205627024712213010311659642817253310430173983125544554955975847130600122337941170959528247502923197921099857238189119611249718478844883907122565469788051336017917865866977140681029672251695914420855244180160372944232675315799186080210876344085164749351165146656334559226996206141738855538607660990787815968814653463715677436310804475934195235188538196205873452512699408410528941394824637398067324176033309967031667978328742923537675431941309994482586078673199361894029059960830958581729408258747171192015512876906357351496008929730110581587898995442828531771048522692804866950565337670966821167660590583639961945066841390357164472869360561880284528207548497356086273342774424644391881883851803805660486599362780071150637243306376055134022251256925677675135320827260449291971240101812892257926828384527911825826909857203135716120882361551561849080763474226857541456211914466625583819288042711820877974501746088519558733000486882147905434266893640283287658752236395411346041954711212940627820826688344205006506530649750870641994987439718639901687381906225915293240360266759494523169056592521174845385448459417555753533095285069509017868535674162435307963802254442181286312588998948833615792093904748415179204047081372392466426956391567744318308460021058665783830760661536872519585884316002415110036229177365342966642889075125045001371523204920557213038523153902464252977933798179035806149526191518750244221020184094036886816727130592847915465342829690042458488354087219610951005963325340070958569866250966695609738138752276028073586664471627623768460659902872538944001960881936505942431207225145120611914276876566727215819743180526157172599586807545554537828342142194929235895379578677162278557723331781607665097513032678718271405323844496568346677406624435221553047604224084516316013988359843460881381860486314001244078396566586537855831315306263286090690074679670444967568193793944214869454447196519124839667331201429899487191243211871175635606828737211597049270257076434472188166414287499851054168993400537696774664381931843279237621679935932309840068917479429936871644591202059520195657272481499226002063654041038558634390503501568933397096846115951545254342777193055985363662196626100901976608017681641356139900098394882471394434021566598893779139593315617069926461087480502862375819137024096293194259414961387230123347662585785805113957042272899291226235565539423367823344922640268740672320194134508251427170056766952879963708262648841423955549760775261034741805686223058280511946368343249544158274952436386473750845486526275479720102414888489175644583241501165020126489189179164175922856466093028911332141008153792229798747021640777829440924339095393163672218291783205314942501775348252208216058693984930073942019126259555138943621293087261209989451213061366802202820088843887106057697617486913541401010793025384968408282118855605760475506070391349375219157211928161916235013174554785257316764573822561232262820439250073742877190432913456468831109096302386718227531453999010529896537465805622372266569327153820714274970201703401247632847965943844407463179763583644032911136688322138850690148239026097896045095274077192847274463162440918642923943597835469423242605111191777922277332153736590757678984963127721142289234179614095429156880706167443477439687992071328398986816328322363130501735004288650889017294520205691891076071672884761614184910096206365276555491921783872672689979251926645615683041389635044930340074821399011190420824244439302156951191640329955561376275265633788746592141498138377970818041248329921534174856631659361086015704487857300798987926256177376109944650489621556977608745580631870131364958065849524803360593470730192649020130914817712297648957723169638472181064916770864803945827307392777615151864097753175275621132451154587284094292548547705482432075231559001971081826945182927693960434278622371810098110369587972210422522790892434321053151155907608993322818202187294573842713424357946449839586485225696417653926589261097078371712564822672881664096053791255780063376698013160487251655382781124172131091704149823963882892594874266611011044270583690578779119359325397012793102433384595989823186880207412049083204681578208402037766274998070157699219254184489056946219473864307487448585233222346747483543829699233165640474301856860679205053484931678814815483204993937226961456134310408642046793506142163338157849288096795196540606788699359753479874954215972369977561286987649724537065112571874365003188143835872450233036594875150353371065603404512219478472656742215595187850561681339315139394016421869995970175486737113122025670773984620070014272972185754127133707591118556398378562115306724787155815963686026035430377014541547141113297878154338960110291253876748735112745471226161348858136795439272465250479021904715879441948242794355942286781990431804591527473898605845714361650383293593684832895837916938320423149669019752448540854386294949546894215708572922495581981465633639926896174660072631392136279837296516015772999274521153526179527704374407167665736643958416439637326658662888103141120166199626677885770094288634123198992387722649781030867284950607930150434681205007502064586219096727792719719153997763838680841177269702806386535063988796880845207997187883592913982910123705414823364134049503082380180153670441886313577303326663839145250770992266415632398249124168977764760152171443544749269067057288332108358065805208340656428876726543620098569888362102774193685568885849516603604270154761809985785402109140561619794307786709202126625696604992814697203794476655186128834377999316181538395306373480215371035674951145964776619167795070401428698871342191550001841231316673191294517310016566534806149446983827801816095386024368586085315579598805581805923720101505174676563806937442707729892696750503429356251153818757281572082710130846249834797628426845594411435066278561247201134000857940143856550589254798490583849079851431393147955175826154781823374725398304628899191689603560807334802259382103482543594054657526033093457199620883117262868240800671498567029024699221034990464026589623668546007844029080322139466124748642124830688475040106220830683960802991014638319168677020073760203877125124661331728500092668006130919848597909143870515939582962675968985314209529494595684755626889212582020631442354085827092312601821897110503269955099913201659863845588335803244692116663266829044031985284185253356535744763314539745450487215257778385272840465794827193017860661401011028495166532765274884067540299395501362501594294277163503195411907708887453127917822653709592701103807558749826614298720964214754192939522675424368593047920609551990279075792107388594577662850678730218845837518114959677658678730485824671652831576164368985405081405416879183273063338724500821542311657808725671205479967750648587196433430058897129664015065505336645671928467944411780704278537971921761833510442263441376046626589095270207136581258600028943836462470569498653421415300875363859712894947025137999395481870857175093852425538951613812468252666294872255631561154530110656816541534835018474372376721511803909333347684359858084887990666266557446591291885152930532296762058109284052873591959132936968565490131062196513400195723245623309697026780214764593597061115748043320621723579976929107816962881052823527016345259796775512403460183572631199355837962319773578007095106701519548660728594216891402984252143306739671967154522911939495460194725756230363106103824154169401689127991863620884711702143089640705115320460139578569120689429242553694678409246579053993373905372156041643813394926846560117332878520779634200237578033009965138429654150234134359221250388241683940998531861913504337031845445893817778022817411764156167217366558101552755369411637567885072008085154805869360602431170573080542953027063106829414334304248748906213326944890251204443766027025711732876566135195505300282823599423522854893644830198165997320684012379574689096897118571281011696980656095971012899916314726280274039358336394010340598594556818455096677071873305543252002301934931840546939323017268012796025914725409396859055118251512381434626616047966786390936659570179784840778109445176877148890732723298791314355127425222333259086709226607302046207805512111861496896441761641886323685596927132606969778341919456586827860263474558966734384318893327103689205640296318366090094010818571075986905798880382191011926198866918979349289014980128132247066957798097580588964180727775013457174355282284641769784291250109896639850099374058949830915230252236647085962528220983345891561773521159950835481727998522134210409659420368947435261788242704115015221535738534734131067517484310474124009886914832279103393375407904386520385742187501
g=2
*** a(t,u0,r):
31869737742475816737910698983176796426701550053263429905401524851934329398621\
05581200060071718466122995520840573859755147950962854904375369196670850301483\
94900228936023557797098090875866272567866193556752727266286054634359797508992\
31145592014520828812066341221943579678979862300484679478013814571931726957994\
50723638823011633189299195402586078220547156834845271482853707816127775692084\
77634002684768661003479181490463848583717954851473196580381365563612749604468\
30870493221908729198488524457666952565326550601606898753641305269147292911933\
89621902278539755721207408632806419608588527317840406022982732300824121977303\
54484492190235695690812107958343227171904152374307209879132039421883687465478\
27132751228196534601715874458302233567057082509558598974738206695886448610834\
92641653785287343263285878108968434563551830922082064973652036847232894714414\
81542500924389689259796462322247903477494714294966332778927779032666000137603\
40159302651573365981834138278861211442465712891200109872473064810067418532186\
64686248342012695150205359851531423506207988660775779145237279186339710227851\
76764553409110644413570909636274523343660445473170311122901727188173174715083\
04779705964235785427780575549131007354061862931235565635836460370681478273692\
22859300737339651731148849300869670968742682611660537311980236786170635900073\
37570337596373404965614441215395392661035265069775723747207408669280530140204\
24329310236424864579119412525458988070720815389773681857665293137568243226450\
90847862392040369318111239654285479736998053629896495262040308770057308791401\
88285495044365633532707022615612384700887940183793609654278025733161788262657\
90175550251931339737056393695923991632869804599531421352738720211817667294167\
73073796241206834541688957578723322763784725248969638049135214713268348042964\
49743649513696357896163487420766678634854382439578365257084068378695297073556\
44862312173830635785142402214911571935499895052710725789324442164954948534623\
90363188324536378007323771373383848565199729999403126445856924739544018157589\
97483824318378263936572721612071718949628159370601572442873785706500333289262\
76931236330516265858927596343953860238581693389347107822023704505482165058026\
10942043708728191334433232062527470383306237296456609737568127812083160899467\
07294917334130502233994426338343508398157157104696635614172626980985052085365\
45782581084683191872995435814116014444998500268208042762121529501823557432405\
53303779173846755715506264441441901702180469298990459418428638259640746628629\
76399595052396697431268466192528851727173370224251712105692709642944740380505\
66373391369010423735443905914475141464175048244682702189430049274440089075902\
43877664245735758860401578029004754975417588765204265764093902017919837232853\
11539113532810484657151811343012285218611385930588378129181465668314924627437\
81394019141749927748081884403714487540142365198260331930661368281390313617513\
31976037316649195561548142432773544707325153156657890407477206688523597652397\
04618069107313743229858756952423184186002468366162446945373850198933716264109\
79715861997735190631016256604947860338656096439994380844764278688370088341447\
05624744668659378524476295248051779265394741790949002598033626802553216523848\
71572110947132482325962313641645560501340905559883083926896908140633937824598\
39073129774466548951570596628153840494555164591335581842982702076334956681973\
85517130340974846659157639100460568117097854831666108438181838638334392105247\
80504393302607337841937659242777196145360877481904090609088738923412928149739\
23926719195734405290648460054683722693807356067440419225523485577204336023403\
50222966724459182317134821922198279499288841880404195640626159685083596997393\
34393464339853875724753301758888084691618345143687670576303059840498734869376\
29316958354856317289363650345755122461659332710014663978580237975250673656064\
87007582803920823747472602908323472488437165481846138721280152788300164148162\
73963257816244159786771767326710415382051953033673139890632505855757580082438\
26261150700182338541258989006263889947828127193398853203393144255299678579379\
65608968210906906694639053241933456828832855419089417929899577260498397350326\
73097474261132931421570939338276130722365087244596666335394645403777530091371\
07657772780521657082173674535691821992508190757626346799998992061017264723220\
97396408194417109778751289759099976196307207143795381006639572626350232357114\
84404397710199111025017042341673720466665166778717821225084906070530820877624\
42799179002780254776772446371678990684497724070210342216886496758662307717729\
60714960393739474559598866775337142145146049053764442498572787763687077050167\
16008525676928736162076953234783431209051102685791791810177749447463250761074\
31683305274962055616130093578579980396687956861704374217814791854993015442172\
08908941132886297670465765245501205142364495138817405468795820483296214409310\
35103012048360723149161489031252438260307060446521118036212821652624602389039\
43069617005338600908798930455143080541150174560815783788985285728295617282392\
88742565950197360008747545910985363386539857709262545102112500300657083004811\
62112108896269305374866278137604588657994302388539688347855059456355271084258\
23359497405732957204426095000750595865467808498314745613213165365019281325988\
29288517686999673936299635842432329995142647884621029603689905688518128480100\
30953288996865029200737741972825391181999297349739216270320821101401965650025\
88829156207860101988493347053057948725857145391150956598167070126119108369118\
62622198856834421969207160075186639109439187276262226058605530400909325367584\
93301806632686052322030272932185291982927587149477394906085618466442355896335\
04671772190076657547254293296700583534987316035054905910633544844357506965526\
24838415807554463970738469024694512816324774242155444490567646978275322665856\
81762135153363659969622020638480089208978298643740986532141223403654945279561\
38292578268043241778779082980405729761684993132834372707850247862671106607254\
03219269405033182318639920097768361336609320360645397194286823059157873822599\
71169136572920809258403597670406107759727667936059064873344147874723905195790\
98392241860496708582936542892643441616191767686121953046959720106674698778280\
27890155255219586775879008797960297512629670220792482160519746975579599212973\
98450042842241032867377453216043621091643833747711174706885558456092776097102\
72033462932776966563130571843039584057480138904804831090576761679714751935020\
54511380555885022227385900033554395544021890199158435419270292345493871629513\
68495565499373412094107347181590096688716789039718222172983689159139418754200\
77779003063694438202610695948229775817264205702744573908332707075195795487114\
87940264619189153930958968347996051207599399074015092166426449577788237909675\
84430418438678541835992563319507302637072465437608144478473181200411883695772\
32655893544697207740659258629836815547980148864736023952563349900957135698071\
65831708147762601307720773995512780401890847418736090246807934824750078568440\
45839600642571942448017719875714259138476841936606500684304599589168493658599\
69424234638963514221536337476002961174371032029412390562846171265588418030600\
89283227681253875203275123795946570450751346528107409253396783118276994586566\
72085809521396748815917797338152634678929999433431491907286475932321090138166\
41548831144175384561452103777822491921513252378924715201255459201877358129071\
17362869355945403485961019712258190098510724094592065369434490869911815361179\
88641555053790432621528361820634257825941574963536240721775423754359795443442\
50431654588891629906227000788243008419015499479314854821483169342326534723194\
31797541723030675132614756593585335511434084560580590056827032026338211450536\
45448758256396569640070630462131142455028768262063081250887889085643938043892\
70512017172351840109661518135623206763179540082694544729762648752725264558844\
07550042484443678492928537626179488018741877430578649438800583323215830113552\
64920383112388384210535003672858430039514653689624703055208235920414889445147\
33861293733610830810224668795645637596885677825477732664255260650438063708523\
86206439549541541764179259910028276063931351972085099042591358626676671282540\
27247234870752461268561773060191625656566461602422353529424083688834428738912\
48924879118898793817381292319120698484992100411062086728798067015297946660548\
85482700794369737188261622125486612064775559336614372326649000306734534945069\
58480135737213609705289817810344708571087042087430947845882602429143198837165\
47223490325047968207769476257477065497093560212441919862840900240243553699801\
77729359030787526893486684787868812418558289159169758553856663068167341958453\
77689785153442736468239444374493080577911011908877401098948023153669092910654\
53935609554415756377664524619288021670266158095641512943434281481823543221691\
68610276964171365911629802922498863461696544327539842860801687864631173598128\
84090197111902842587987381721117374629562883607328372986563194638610614510471\
43475079934869806951137665660019853133740057604892469304122656905227507410206\
59255370827926352761445662844126647782038886636875944473839667794902253805267\
05748859568187470788009419493178077980851375285716440447110686598320415211506\
85384409681628600279073981568273553597825974145318411152755083595874341988132\
86614585095649860147068004780058039121729438448382302548437480664879132491049\
93220349452455021372740364299202159875616071682281976332659382836355476988173\
49484720564730479641750737383956627169793132418343884900656560273253584261410\
40278245500752954110023150914198168577885295122644891738308396624805211841705\
07259697127702479509979812054203637311844706131372739784076121323080810617429\
98485017779227400674945218416932262139201548679612797183565667730148952931180\
45610235273557872968531288628573673926075429380439940842823815923513550247450\
96636007602070552135880886969035382521649021966459562107137568676125400228869\
21356807777538143065572730630963845889081031985194261317288311617740038272038\
95480378123455145742832860111573174088246164143287496791988548147621304362259\
26233580007126307392762168740637937508976854907759455515049320721338946194887\
94272308192988069142107195327220696860440886450361676112868346105405799438868\
90866712142958945508948859256008041480669859057037295742608788571601301588878\
44082114717661048991314068625877710342639631163359175586014467246238479893258\
68140317371766309792650167162912144420418440335436792617834877451516709237792\
38113455206694616477146566270387099072580949087244236093469597498442547405949\
99057335819937548702466914269455069524449923061561396121875949100040568026751\
04080864161662619145295801019901478841046606330639512861489095579463889230049\
42390739893754123472855869470217769167678429961219739916870294666897168656164\
27586133076016017915117875680897413898346104968083209529217694536489559905949\
14180204361120122703647968447055283226576150923592115183699133064854330955990\
85213256873251871288932118275817155283691508151577698103575408284300959553260\
70613312376852599760896206737762065340035482315358891939260163541469313215726\
29001417097681354526054714564136130447644735228463025814210297247502057338659\
28048350736106897537105465349621214652961250934791067205237134398292963718177\
89483514293840740594738021257482804062354279876536846666427643482010253636462\
39445716332718719545115873415333793267127913453633095756265281736623406121216\
71220413699435289423707631600385300638553059575761299269827963088728672855013\
67868667412739251294879739873832618848307992692960219246650561963765334118691\
63786006351462821514755273809337066172968113139369770027543098838479204481498\
47573331823469850574188676816166295053683571986219836934243190868987274102536\
08636200249149222866376685813518832628813902985647858845016567478504090261793\
74539878505564053799343474579831336122502091316046844371830777447589080612716\
09073083987304213936796251430248204479814420751144981942333740290794334552995\
01254450950017932654987991882946117612409802499784321239571784083375576452611\
65675086901330809655155492978641325226604845386688353006269890805411237737758\
68852726695901012422789226687780800971997014427540707178586130602194286266066\
27746577575381585531909196133680230547010873604608102759326631198530667793552\
07263213382507862431883913601735482431651948839013941736363670693185493065175\
58906084053198491419514643782720289816343184839397963139309905832410386351458\
29694786534900344272596582352127977657948513504297663986288703661209001428184\
64585797755446270537925019483289643520772784895670289585238150695485521366425\
98012587222796669293067635783020729108186933295576104404444645703889969699983\
31978262918163981017593687847395103296971970683265050152686882508488180297229\
23003311259795081748709732956964152620429593955260379153830190734187713575385\
34445976609969326205820711240846583395073344710754391302616240650510394310431\
70395985667964758528566171695327671855269925963352836428370956069204867692978\
28081171633612659377610766371804521765476309890215908853704056444735792000635\
60005099348945614168548497139518379531143039112439159619806440410288383637302\
84052988649116435717057953702527044356337065916897565400516791706579029644286\
57254310925550987436902867074381464710596323921532836530353991220214492747502\
79068312541238155796442992888907285160997781937536993344340537564952547747633\
37979251629732969313788004894491346133471564158175012881853090398283406186463\
85793234678795355890204089165850910111085976886135177688298708194670115372695\
71234541838590050943775310245500464225841212734174889911141895494712846184394\
24445532372462671618717976512596778454501302269894006759522368081279491606085\
89781506441572301375903186693445847448602648973999420121358032053466366245234\
05347947327165751151678311585923322768967412974910076451482021309401737361232\
24379046891937834976598208672523208869288603828489596637932808807776782806640\
57975281299630770726092609017263852367735284034734268018663098321623261384920\
62868410204917344870733099313461869671536686467657607755475303643134114676660\
71684279863467668622847813654251950817971763487210318701360192738309327342798\
87603270349000107386020946144356292507327024801955852116690586465993483257611\
70604158725857505150021006512494077701242661028321105075596517851566214178157\
86251223585674463992781318506855981917519600374775608135292028704951028114277\
19408913028990734707189758359061320578597134795867141238598095017996980136108\
55322253242746728590825271483306548252966009480561488582108350518707971856077\
99211326133175424583306450700458058990881188996305576750959540951881148617158\
95518902400678760593885719646967100676686991792547579317895925522692602486995\
72133225854882388289417002474754751148887263969201112135676243350174951441239\
54173786957320417140948858284970889541819795565737319496521213905270579343249\
51016256776939111243014661238633616667666783718330235208461957966454355852897\
15765594714961860807303801636058689984025030225410391496842318811100547622462\
77354206302171053028418228321360775775428664121290498717733697588625846724019\
11668103237849594937070843073025469207222952222609450565899792133953766873971\
50524133692710131000516032816508656889069562467675417654880892350428443595842\
73330050645518529487519287494241726901701356571131761113083534681767441781768\
62918042308657833192945514198467723372466162330035149529706173013059978730098\
36840988616671750452710350512103355026092796968775127464785990271040299904929\
82993602981449400980923069922907283880507800818580008557062165852310141661597\
97674470855701964769899850992242747905977976010453676923335896679654257209218\
85840738940902594746768650081729264606722132403934318860271589061244294214994\
95060673133549245393967469010095386496060149284459814394081383029970590113619\
89521829009710288888566282135094148717557087690755727953082437111777117396989\
83697976622834193134106027965592539753620883392623788286892356947795534516887\
04873543564484848026487260357388818559950036015582787184381437599636228579251\
29117782666397534834741216332885137980283495904666989438884528921143805502351\
09539956984986500098765548976032332858386716814179244113249434923434146628164\
60350801170399686584929533849023890460126390550588835968986264292867954245707\
72952284295385867402064280205192127260513035085747282378640271288039723121618\
73413726899779715726470650175667574130923880670891317679099796733971155928827\
68301489630193389008374995192796675692197791553706064945625886229170914067908\
14111348839569587505771060462441230023940679746060508753883094804428899360479\
05498320350722329684278218747836668811321794716810581667355484302473809306625\
52251886276933877400081365260653861882446364250020637745155940877299485886731\
86234261188620881602100675325128776993611045680481716134929972101611651266049\
52256530020000230558275570687452228822855607645285628243447515945446504431504\
83385901909071856240972061481152198740746434710986475809847357842136389075790\
56873017368378872473566557804742838835458442113659371931091248074911366041376\
43907458886017501025090939505287482503694664262229749566771379331886387655419\
10355644346003394618739767951447962623562921592076494572034991354820456581220\
13490641396496678708460840243070349244079028903090084629904235427112102771235\
99037678013285361642078110528311393051311875620418549123209985089462143398124\
01082987826463896333418819060702843264814122328728983083730194293948286448216\
58089505036057306307787598500787456279425928802646689221038234730326799957835\
47139999316947749357533744434192434872253587437294691569281189857310230165380\
34401289011632052077952068327303473267711555964744920959389663316733984347779\
56741319680341866401906186399601633162227111910692925245977901953159889669982\
43964148279033018775807024390799613228508121796847899469177981778203278567971\
53019096951402672865733157899985015120630695517372538921213929471366433896222\
31271721955660672527956802535092214146282890555709105277144695818115331404337\
29416899036803401297439155790320463276551712064394242808635969961399751756649\
72872834136360971016202306082373308160136735264107131668536506060479635457560\
42156420330633879016012161033709920214569661981799406786250673282597775448754\
36111904040999867723004425519216059810416035778888013853294687211424897969412\
12969079159606765366684801431817563068388465873881536146618972262297287687405\
76749618338401591892301298266189724331961266491956252153528061354109394072676\
21481716304663997621176815478186246540915545947291616940274208938322736129858\
80791948170221082872944717949668505706480845647723739665487474132743273381799\
28606997417862968332140710513147755662335338196145223793777848961331854314671\
39507830405852037798350840414039551381094918230868843157462299648181374560668\
26240010574026102770641846956631974344889046198728395373185204159498183973542\
03512634018486762580551374457337943045960887506084819062637062345462748929154\
57082368933750254749573393742936203745652007153778281453973985845412625642731\
68652801661898320944001325617727733351520486747705285662240234370992517460185\
37873740289507392685586183653391568714282517549176015832852241160567487857598\
90785354228198098718899767597020152256857951576582076772743470340673815393112\
50654397506036357696009921404121267442339729630162457794810260899826522144426\
01297735243262513802672078955679824422736502850538119700515874363356400952581\
57135082137528914759758298452929770026024119483451504173953412069268929246220\
16797873658472397445610212935483332989698784323338015099246500899007618488195\
09585379223348880165984314806867810014651700509602645339179928174626678688280\
27627207827348918636590206089239598280428969886896920711067637326485041353172\
39961319469562062587375157971556416012073695401340082546882799096753713768955\
40497693110563945451627513086342973518283854771482132763486145324623469812508\
09377928453002648563668843173476525220411176377732272086125692717333383910012\
87756429370152993822970452487099413701749977521564297979434000751960911352256\
94872866093516764335956854916103777660893414158611595254418086109227272794462\
33087619081030110305404543883764837323357220392861522644074788169765048742680\
86289351256074059474274590558048178345586667728269207710913706253207226377556\
36039247179927004177443370257226225485484264189408254919442977763914942779225\
98115644062419402089089276682102652252445319175962405198849546764527151459738\
85911304670402264844188317949207001498353890970543078531422857303862944683225\
91771312518467841825518543058980991464102637855461712913825776431829085259869\
14265294296387567732382220994756558552499069693596331489117444042647426370113\
99851972486107101405853312920940320422685982502181407559767754995551577630455\
59710424637917293189406432765729482471056817292998482890476888424953398031557\
50960714909605640216043920767453473523573950177515319304188562089510641979234\
05179130903113681709965137581232481126200716226675555050068565344228137826888\
71321548059164932695255159603544917286964721571859436885322521093597284768307\
08169567924320567064928479674032753102656286150529694564116967689763301858124\
55741593374942561915566292839833836165654440745364201603012725443092176044763\
18352764060381836079854645005664294009667635268862101056506548965731738646277\
06004590404090308251858325311565160658938072954322625105942331185817719693561\
88192462891474952833198983468710278689089604038952247612629574567849509616734\
59929467520658120841007116344001528384324886040571005957388368061972585768787\
10168960515918863875163103754364765778715222469895812392867712084452565888248\
27333520928724292180870088271666136462135612675429499825065468321257056272407\
70168356592070968509550485222731396742987055886057755628863711831932367595284\
09893441782285326216777506450195669012155626651073829303853367080005727241904\
12798921311334756242217962782390467350947816290048651176113534242143319684832\
50584760669250294320922134618435066126559709158652495951562463031042325302060\
51556128724275816699993530925706316634773933971634364329378821189389153998769\
15933594300543528826318086495384378153684468423394009797601688610689868250869\
04158919666033077824497382220877332626603402491758511719319630811753273261081\
87823829955135429339832131448012071333860518404617317441610467871465284731842\
47043888195431278414277457284398742209128738410875183488491851916628259621012\
73750320301165467796108154507040356338245156070241018249037901339043362776759\
91825610076548937009378606862278773460910846275063475424422414708554286865591\
13374163568630350313212749788210707861784920927345326336776679211312870399132\
49419471047614860893472516072739622642281393414422126497167118060040529957211\
92996213933654290040069155790598859501215217781959260546758076070334277014017\
93268713006992800953836460843126310054973923327246852475080389331890688375633\
14348482027018136703992144035583337278156992472021863202914655009255534726337\
45132888000353476397880403184260729340862872826929290185538044784798824912109\
35561539491849586906120790654942070529564296377245113944809418171644210815429\
688565
1
*** a(t,u0+1l^(t-1),r):
31420868196807143262728858152427827462945190193358311174339531544160606449344\
70291324002887609755332530795194931974406483895315490750792617517844500297237\
69619944021431676701364314948037170137332866886939308572394701752185715853936\
08171710436851521364009068810366909542656202268083486809309394648383392775487\
54234573487476258073956953213817260217440858851255901461968444325759778851351\
18794087153997271411880883159612245082538828726804560008826698442998485525532\
13534289092022690759073193127277277177082514677640604404998469983666345124441\
86951171260532153527950966257696470036636576228856738332518186775460401949454\
19914288074880263357138697987098956366666065721147953401961165627209269332161\
67595670224982498903100157916636004925267546136184534200446119277634526799414\
71618531900987521527183260107433667879558143162616120396558346187412713098718\
83210916404327862650503554402216242865135633811938637951055556792769295910313\
21283819515635712939836474359440630999614083132169122409480486432460835172578\
38423061745646319162174298445171825992036045158511331551642387930194080506332\
72866461107573874773943150345622769493749734973548194064832688777072144085293\
14571541091500070140065356175199584715272259227978726683219045435883147593781\
07044381008644727058879147198040520673408278631214614251248120775097810042325\
86336952559804765459056491339122218116513641618088741722598853617600522673440\
80324672064080852401948716574396185421837423623720531408965781966616577828895\
26188033344265152848842067264788501149153010621024713638631290336676219935184\
95492741593036540102668895536519252522002194547402150363372701427060918005437\
36792796023030898332309120545277174849308258055876049221010005842637136768897\
76269939956119414336876437049445529485421560104617953006189648308856117788838\
23690922055756972573682311541600950766757841841837824901350489950826349227450\
01976927495325978943098143028786056837816797939292264862714238754180935174981\
31343988488979527612854422480800977458647621126172096495915277912226496775088\
70758700032203922190987190321760849668647481069607184098607957738803145496456\
25143472438537163522886362592630566432404486440201373909037455146250021888194\
75576662811422160470567975272914407420161079024675530727179844321772130464263\
31135833991396269808163518925127402646070436582095274549184280122097938675712\
42320854590532724381826486013917197340139366461613563286598691058135901693920\
94806542847454547888527302970435677734544124660976509285774713777110595267663\
14760164136165758030828065260239712970452618530952392216880136267691997558245\
02058273180714502274381315690327604260454272917292804975494414777616989229762\
96780795735232438313071978338455392229284946669919698640655959735977304314080\
53630111933756815859163757662124788243701366410439246042854966151859784843952\
77430723097499928765714533919155128560703740336313003311919658868976365538393\
41384825523456953370540422116818987739616348182620455331315555890093687826306\
94693870950872704592818492769994688634086940642695370227833373435568452654756\
13804370983682582312269548765441552446562348602811361396246471946280368787342\
16813128546565584460751277005121472515177914441780706786793716565897537417879\
01549968539426391025596647252326608944983991397067829223701177040061628841153\
34297451890319132769154109351700969501674105935119587732518156976668267151241\
82904213012228722058324432915947038988688025890375036488348291615259259822075\
30074753960317093646980790802738080706693822869482906234312841192097253105376\
71477047094386033385146369067998036458683308798884920363192168878933852417440\
07262079869185109326752641331744782604932661008849206969631425041631715349542\
73345669067461567615953959480593886315680058592368125920298791392041006209244\
23270240631548481834583880622575472849523285770436992654938262792500664167951\
28035645017950107920043411318065395411135233573651122682952263312408612540442\
13766592213198467395408784688306043334417418483903095666820780421169445151699\
69553247169193854899832806062513694314760125401942531327289015462971514092346\
13980672883992724910207517280779464479130984216003651480182681806125180486237\
62208777440553594359295292305342664092472621227067135823628523637527142343605\
28676677389246704165523341091527148443317934549772454591548302031988852544020\
67855613712805601190318173001929553996359218310784178457250282871049524859127\
31102927319914616503537929069255780741782558795918978672618921477988133259629\
71773838453445321610902411915739849970631558942460900777212039057836078031564\
40141510247348777734815784144698590847327090616387478519719649907860498500164\
80571785878662134244301221499082256121599678704301766573414682553837007792608\
48138469989399209762381782401416882081241647610131073172493456758443818041578\
11600364497211842773698641791339216337542459996017160321347992025785000121855\
27566349906834515780863439889967192651006961003612369894857711488503129115954\
36829199864418338924167959603662192082824115764184575566605211281418214222077\
49464501641039650712849693151675710381095634361244762776730634099239377610377\
65462642573786639101980837600455228254360579819687016680983861435843225012648\
96269927019736718370560938733134390289897839364535664689083402472554221025622\
26059101944929255993534852239017790136056131717232001017722442228116464698690\
44601834222261296395093548423912357503379588936362607590457147564762501345095\
94620294852819818861894849207240231138169016582824886786925280406032923744201\
46247238309555063913302833876944573769869621258286701747920945465685250362407\
68044034708282023416086184581027752659224381696667854132760468910576970602020\
46859493708526282088842260996747054189424114400758357940061241395845429402631\
51249142345476232083826659601811491509052594323251846680841342091257360374788\
41173936066696566167232978094276144290541984578336183904927966735997833374215\
44795499700887703162176560684907057511520415764766282951401652822351795246588\
48244350117638348764856259251320919627642991904861659205634895973817622078619\
43406190987386713353355659675048275256069531767945556917381554242685540333878\
43485308876546050715571239471620294551174982225754038215312400105172238232107\
31722688279793958793120149519115786280057421344443292270934961806909464012791\
25232436605026370432625658100324696850916455807602566612422381576429497560523\
80878062046399826189001972239616491324276193286427298258315117149014544161287\
86137980829745796562211450737307150536359610055508316610548175551895366395295\
18235064576847026008274849333962067157889792010989796508575468185067032574564\
14711693161388882734968291779944849397302738016790424980046330919207122311240\
02194627089341419368551095554362304007492365284240231713378189724579952868694\
49438440714190111669288442709373396966127782825810846668917220901814533221183\
98393134480687387913326029635050381526177611556781995446189218212211260547394\
59270698173850451993527523657547811663836046750866567848965569545528246475927\
21250310492676562976918878750704199150610970923414859829596084101997106423971\
52953470770809098528275262300284609608534820310688272385904675895650552987916\
37321492080109454425764206559383942697923862774190403489264434060273093254361\
55577558683067217142454166389727949683452112117467668077606384722006708586924\
63498847606933477736642919217571470908534192486263803719547635832836831958239\
18526772604453214704468610983916525449235925163682317969864990998504606694121\
01477589489652539204323737006259127434026904893627279584849009335284305366774\
30003039735526959062477324720802966046916689627493518838081997943138837051036\
65152505924114750130746943120436246278878674918882271887012566786530631007571\
15231170111940279926830199047171548899324137723160784331861299098522192437640\
69518890169924349403891637598501753146796729658994621564554724122405190410127\
96176098224099401331056304701867100863548329861133879728394941304578987435896\
97808828420664604151231693761973100038958109271460974843163049499000595227610\
05215360019052931784728546699932318757492921799766778683068566838460062811220\
70907757302364900330880960474675765133453445606281083563118240899540380137715\
76159245647220736461962311467794560506473976227740348550136420538287464953857\
38376641384829796721361837497724632309147141250342902408674150578462764313217\
18081535994449036664483289419493842880764635965676141730499014386921372481054\
52022669036689474357327989390480698591212576705917835904391298169577801670444\
83178089052864194007660047014414008236571115702407526625336098828409137450508\
79451480734579251866817858241560800976043383678054691531971357954531182212560\
06173027616070303560236071918514304795123532867907296858117769306434316954166\
44725248856466238682204460892255796012938465728097266282259150756727436979132\
64827033626647825546677270486970710455193776097574492961353776767946227491112\
94173433772298577199424179161665017240414110598774452240273572178911873461028\
17510642189308260374361078819737883371293014540034828891388534976984866460767\
06308112083871052018326709846322047109052423444807269199560235854128982624911\
18343946053142576833248723443978386741684454507044377905602085378625761476133\
51787446164985943937115193095480968335884763241863222263279659883256393509426\
76943957136556200144996624431043137162268460442067058850572164035796327808077\
39794710727772556282983457759776777342156690390982230187128968993589906889748\
51604654077903289787641572068689632420922806609634816099238862241235928145052\
50978551902150799826783388225265800006365783923734400305374475545582603224216\
26875757731537655854909673856257107208860977876001292744863781586136010467888\
71745792176703071087974159002609272531607160670040785955628123114231362044825\
80179105199282409968974509915495171476412395163814026183065734009097866441148\
84007331438661107739600874476513757415710303347213652781684926863785605859448\
52041923160953098797043537241795341017403834351599975946622279059743699704827\
13853893924533242281666200110001720932073682958170771485059131976528046554340\
11779585922518894612582419885135994727160279486523406845823273950615862445664\
16888191176185420280950755956414771552547352838384751097194144047583182545363\
71277040140945439234174931660852998642913945549191700027924157746649170580584\
37827437045581315906929363433963939774433439175142849169310038130094275951100\
10842566422868192753317066216955635344074518640571485679555512980368586572471\
36168195274205959907045910407423900494093893466297134176660166547760258005866\
18788922639375048016516676040307815024105557948018277866638259676096334674261\
58952964666427934368601493963283148153144541452743181694425868881161580931034\
64328898486799840043660716379087941432922395736413828087055220094123969097626\
75084919934100299352933116868490408068791934475574995310496318557102383005865\
35107243736315613933174053398505208814934233304949972716323088937180326294638\
86829971565177901270778144778974660138850782684654068552820825069029115052510\
55534251639150450468489217910469641884542024817959470926031147153561294719730\
14508439392080208687659577739289142694861006563273405732320011370776676249382\
38920909176443420107005388372865986277567430499089784568543653632119823384119\
05124591557307772417347344901743609638940839314895482628872324559728419078202\
36073241454793103776874804775681204629562731574004460604768587627656879274439\
01203224774091130417739918479253113305615692539482971111097991777619818307759\
96490235477348557614670166072792722808190978711369230243176610386810892793076\
26267893585949260648350269952867530029686872109237801435605872094275272024012\
58170890530181542819622639114530150052927465338526599794324272687733932213767\
97246957992118952121779831083750961746717932521061269283819151035144877722895\
24194246413936391069775256628002725754579526649623649380678231286355431590001\
77959378579032323599658276057991187515309992289861249802300870709233850967741\
56166360091566975857030414532482087786882903873026795588310209659666061291307\
26721916663283896843111049415561869941723087000960348034350596568715304811874\
76333674207226350275989378424572620676616774787716190176070832988078873783445\
62567048313756492777938644075459382229447340173557284410603720899959813317586\
55048238546134512256786957072133574228389245334239097486555731669337810064257\
62301773010195695765718662884372116720338351250110667883826667722094747107071\
56037113485113015480024799502098006141639379511279387028735341637811691548914\
43957828772975196304996498082116549950057675249252398182629162657520936558448\
14941987402757279584714570490302127289761765220990525469170777454539406746462\
42795470482696882693402227455178270856169548560965542404057489797101022828254\
17045518143459939752249032492781558921550303899552486489691737343565351412351\
74805892432364124428273940659989589262748368024687428044832913317404614108876\
32784774602218776014079324206661084927730912921615472535013618659779447021246\
19234957948632199386376811915863613008216080173452304503651886635655006197809\
74652914851073140729554856334736430523662151237616072864597898996058969783256\
32164918386452823946395165622209762041459079072997599690650358020570874297183\
94476081194205198881453530918404260982278065838130965593306751907253725244016\
83588477153333393038746612707373379736194996276444923015547008866854624539920\
23359825550440955661481131586118228582295908324961280306052342646194907507781\
26838400387544717074849101994500897292619977211682569551843796811646592620967\
60372083502835261493862981932183556278998378752003412588449756121547876519825\
31143482620737845257890962758898232279085790970318034833331912192810766372197\
36404302125493818257932719275228300301439231382816329697113552728769656861498\
36258539618332430712922279028375106955319984623150779600052697065607346694172\
63472299752614766878336262071501755223242285464708053023314036852737673189645\
64200981563016252828542008890260136137203801161005616356428406795966595731611\
88743503018932593534525590872427195450810817644169472434975651479146310244595\
07294360428770940895765450081656852919127090762038342381622725234952857943604\
52566604569436725591851637043731555993139320227280417579835789473514701803279\
14680156490282047331006626139078668156154736225105314863264172529713168908042\
96304023253481865908375947823660827242624958115975951682682281821782703774639\
48713012845483822950750465987806935781715485010009857559181220440278712810247\
86937432774539028188137591603259977150811558642807101418980063891683915914443\
09081589145384221420161289422986818723403989151287188346016448825798315538044\
04032720676725538613690146130812634469973090499694796510601616712513833437883\
10553884645658692679706903848349754653832513772451800697145592035383754942067\
15382606859329988730512958872506510815878671684529751616288520751675219070809\
37621661611066729394521496995835960094882744511029809360455451516222604362011\
28219600423201834598750226965128285899742987546179259222238905870099131458766\
11475978044393995943510929330919074708169105471694857890723363819771961558892\
08686862347175656980210690353687082316980375430741711825535006329250192692647\
96291399415348016479382004185290225101899568630102524448474119218732268333929\
45536669650511226255300705980238322297452041689848215181913344052446773587659\
21186802276141525683185718223841417409473681170457189677175100153721105790237\
82800974692493275094221472335876547208823884335412097500493229844687619624578\
70557073361992367164290350628218448896275296581698599985835938164249435441012\
08974830421114613153422388302211159907302229869461371614556517853180253586553\
80406362336101149750335288812972514400993651665850736904493115975874656268304\
88087987596457002501094687756432071193298738731157563487122490311238609971174\
54458141277179158059149855626149160707450649835956351503039022504568988982947\
72659976952090049568836928980161658912020589260333312395527675864023766425099\
90720395063576610730339552465031229566147922832264719759249304675697690148557\
61102039248560949837068804835238868431265418497559003672139676401127695565698\
26306999844352887421318146877778356339254509535106297013062823163949158647486\
22881071576450395224578413653967215946603483641425612927169556345081081650697\
76150139446155080537246473441738717017407217690173376993025619579757473500187\
48436068774430705645816133976010284354431995027639327289253320723633534014337\
15226820762162496205440136105574187302166836743090486566110028676647380066951\
68842174912251705991605270878463184530645740594707543841856572342394689510331\
46265949641557226449288384680965729813979234227841418545280054946100938753011\
07853972385709456591629515045715075095369654894386544255787547343816394536214\
51216877228217770593620384123366399852855960530052396189367578128349515332724\
88140240864788959705342111945375436867604120213661887000582057974383877608525\
89253706107535632913634426812403576223271132813648638122384718999289397680356\
89874805856148184128868437272281672091297055605016282185582920637236558068962\
68641156648186268616286841765776391200825725328958908023577416242704889237737\
14435142312961093286081461360582498361259218471061332676654216828696224798386\
04849928137391091684398011507252457001204676383328252452018260280251368929387\
59614612125774300210499545591292922726645511175060541389080266989610563913643\
39095903490879897793511511749988718711788571310014490364241036627836338751762\
82623455669352273824579322465565097740279084735003778105248963818632056296457\
50701407777272428944047353667513668183911987614234202955629342112841071994036\
95888594800200614724741475815651311672391674894818936157144738481287026821754\
50308343346815924621597648562987525652899969489415560101668354038326651787306\
63063244782145229778964671934591167971768570785624689617499418654566612672647\
98751222346453339445089028915478183921748573045296869358943310746417610883599\
46324232914031648971225016583893732256898624491544188301410263482648918285966\
34636379332059691420010435286231442667022814711374605585979125314056093281203\
95790118162609408044143118672762416495909457302640834039402189073712316648299\
00717597509075655367899313695206963591829244207407865845599255349040060301588\
80673708209436489304370560371058087137029894429889591122966593025348490955758\
43772331565809486981238536622918724151932290298193063806525747300856480818569\
06654553291381851161423815192018038073764628935731516207703722461797994156159\
64841128751077180753272916668634327575550538257893143462242177826515373649156\
57118822139654588747973665584180216893713509793530447557522861821014494883464\
08485772102118419482392249801694970371316530615917826275555625736524363408830\
95289410259290741491331814492715050657417525016349563676371281343277411538687\
01926770988476439351337032210763918368200468083253347551027666072744688424618\
90787103961888357473783045239628957932637494724308976540628089636371724296349\
57686842610739687781269543126838510735149866207950418334903929706744842182974\
90221072061026513606761870327337201895865268624498168962772062055908115805816\
57058617186838274478746941630104363521123608851300297299995167341404565493407\
37394011210899533948211038475935361380000797329024582733690745406298127852364\
44307152470740070967897105609697024238926494001568620361080538915321923240983\
39307626296174309382916134181656164923824721120248850408959312752604902347615\
63372616191929915960325082981761745096080117800585990030658293589420071087822\
70082410649198138326657956415265257877167815530051564182355705111697652030614\
88323613318794670586181718823672488746839704727777255968205562989068556453234\
07519782364991891613539639806292561684929970311025133095418797364140181615803\
77426652998159780015721986732520410152748713775969095468757689250320562870801\
10349838278020791290336984733014199243378448366249990048507467221459758970078\
40231760446622329569814352424554320639842004879454352760968992819906153150716\
92154226139587458698703263015450126184823921500133814909301127501933292882506\
85085924317551739486154645691933301919190690015532558701538958135857874586089\
62199061065804334103919972843148431163873315880286008240637115096951456506868\
45637388562326537509848187874132006819592489309561190700900837151049378118717\
53841511304153384400296280535293461746252091454346166821986034415127408373884\
77015423723512086566707737573904023347481300596019272731260116528407050734953\
80475934182086739987227919104851973308236230534338246439430986074231072222898\
79211153187221815884314056537023512711087107744821407098138089439831492509730\
14064374658410278046010640417365621108097674345799200059693254689934082336732\
11121663014471790118446928231912991966028433452854908861742857037867752593406\
92672249643017049623358454839451602436253200148026673272301157602066730453648\
24890845685526687536944710615799199248594035386282709173143652764306266740089\
91021678355182503094331825784313713786395072336158997936687317945013657012425\
49190258649880919558702270031664002958979302958171275802430654599321266672978\
81293940207076615416126670101159052354731549725874346753354756877231424367165\
05660725862619427240699161954765753966138181016556255101561841986147215818780\
60347795552489134163236973949246487051784992518596437661344484895791855003371\
74934103215300303910282855940979735860924860659191320526985396943763948993652\
55964400033848545046815899194503091665299609615868413139212256616189657368611\
57676939809099555758739410480001506857785098913239019957988531892085647941057\
70589116001610147482555172715570895838169937646376153063390702055094079044751\
81878119225502823276914171535445486652809758975775563207811025105464703367162\
52278661428802363319275126275932362986043576225690744986203659552609376502392\
77359731334647504720766555655122490575364702332044620440418812614090153618778\
71773584391456801928947287250244122740371086483146557497576723900704681379412\
32970890800669304260064076384372600406467318888812319952244681861591024945693\
46604633953511368577458410771823129076537681380484584550091795538834377181885\
08666923958282352363975578234886006630393137882219446279325608489412546162828\
63255272910173457010067841626217088505101946118635152399329213476376466595432\
83769973195203944419552805652969647793946989976383270717080742971867182129985\
53423551741974499845062281829688900769563544912130462594287741326253213710857\
62852428465937785151092546697082041460241703167843257428628916813141343582721\
04616798667020078741640880005063579468503651257104834925486887740828170149174\
35721006335269359463730880072883796483449922041044687937667148518195787717454\
57174126384972398063986987677348923731826725901542941616925327664828691507110\
35348379934588736659223111342843945987113594996297862510888244013005625225088\
10264928316753465729134538859420305688002459618412389764163764130033073046398\
87385827350581261539147184260434276189732246099176484847944026065463203251318\
61398621972179483772558143984482409209301423913873948070248776548393207659826\
12525461470837620893358525997830210381260573893058563044178299605846405029296\
876050
0
result=O: not congruent.

code version 3.3a
start=Mon 15 Apr 2024 17:42:46
end  =Wed 17 Apr 2024 22:58:01
elapsed(sec)=191715.430175