n56-L5-f25162-r2-t25160-ver3.3a.txt
p=3407745285007540751244264745164053455762000055269306142606586089079949978607035434114506576989131054723442225892667634276669481277389827653631699012311204230868354910968490817645722118095978843527120870913618285385607926300095564849645634202977429386835707705850055073482642102143971486084292040422834692247076627447489128715174592676547461937446715373650209569607801309559416681086705611716711024493164936803780036780436646594825505803473335353900776250721842071690262021912654132353820769910357748260395338577544294666755777985253270896229047019127547530457710286805981664813449243329223174682488320911851315118256730180859799047060147142475732486736828802821135662015499369417637625782260216242992183172592701295834233676279673494840115556336896909631395025552296223663146926692223143597409586069877983145222477337888236682818100539760417528748701048531615230335238625205917387435320812882384313468053380619586887084969012729027596716857479477915953541846723867588873087645378726674922273101329387963164291147613658881647032170001333651860954487375356424951586481879135738971110016842307096011517779325158884984442886318821409696666520323355246645041404682186260390488555710069963652273060205437418085891884754387484314935952862984088626044653583443793892282728587409942997949543536137353438681459727984443302129654542872570657808732939573854363941525050729674930248543700021482498007811336573944684266765003389708219224468697520644038864961925858132925359067374204876839176983901709196625118052415362982713328996142225326184219324067437716834087813871949013946418991599802588259593264185230711293213007076556654694104528235807191035818683939698172736428791226139000917053326628735967390359547178533206265701752906897618410316280423188803403410424666477241534947439472237032895273579387827075080806051423852050046274118659261883068867089721064158515261954462858411062971770075833159341737562871598584312746540154084932506620690958701715117549908390563520592791361177780622579931059199281813794034479272165386714393917602104705636915095530266132671243402943301917903620348433336541968974527686828654982032741199367392642063020839648084832436501668922133152111763058487669775530741401191771672098398888975583610860384746799575335442652494607212098107225962372385797938958871634858184286874861101550237026969177723900493855959387723985255659560537205751063303216315641681155762731347363050568052745368436584106785615185686832426555529606353444029739445557858595800229547193182796848798276936623582393700988327701763716928075447410626446931207544505649663388385144577266887316246636545249575731744608627523793304521857170499626904775097688444355357375282170190596725906061551473529538071788189754585633456103050711204094448669179001303552162619654517704531639610524910226888050318338712815782179561601596777234282860638425253208791992330826143587519354704840999176263604332170534443144942839039740601774245584672959976618084248371401060292073897791745363379187358139412949111552535218906616796953571645311191923689018713967706553884720702596162518004122227550537521638041695229510963904763267139743576717142065999084697678543809364575928479313836257633489600345632385497266153652622255539053820076541855205945713251196896754997703889697208298101631382659069171034497048639596679503016181843138934073601285985976734469508498984980928722315369127338276773284610265352053303804745954620705417290641471699224636330200526915306478936730261637921539556564629130650905314288558120154586333952332520553829381814781450541763933908291256719233037330406609316780277260885590438814973737683158693587200199651486762530199462895205274955076971859188879436899733623219592240565491639121753421702464728447063597623309592226884667132353634190357904709904168608208809720241774774773295221341858992940625612334235188465549450448129835840663857709057622390978867811842251338711711874335979542056027627041582662019182007171897502407851951782839854385568042752064639836948553762511697644615175985247664578576742090246638751555051507583928378700422865921710092563275118720735718388126755867115027776398224840444001078672001726204408909062440885809987238371517953907350801016826668608747417622795789057872063774349463378759359071430215042863511265763022303531843177937491184180780857230492790776688055511985649396462752808982598058367891197139983427284857781806283286317427178708402228935094348768409144912496209988098815214370019952234908720188620831315128710631534053798422651228322276926857755766534067325431831166658053474723749862868843463321023136438607885995917493578691552931864821949445319254710410684351383572626227776993234522556126580030412731416715646001753605477250311739642279633369854666983103108167106162137929936982287403276536558444809078985408610151191711812529851755905833521504800011822175842842937574375234281386614446489122211564294602334043419198973113160713354195190623344228236489267574429338603254443297287130704022296352775646741373250758815867923746153337842728256343607238124141844336829741626278172599693549689785342075319346326921421807808725965193553040104998663111820487418732554865621498615004959300581307144169972355525426199886706999609063974644330616899145022377272838066580684450428522466097214180117571242380391419338665106349468149325369934871238586737668500984581564179459388724483540715888656994036911618325215982091103584891117797099545731252727358086086662694637441322548588137249261564861173838499491537350682950894195632141159288916968787646163967704722958891036349812871480173347085256220565871798235844100106993072495188752759690834758110816381854101801360484195812640779807769513485824578664253947494312254901598003745205539683981385983586108598238994794416981340437619176390718600296923189942292497575383127159814706332690144072590610188464935199574900459288585512855568649920834686150367761251185685656194725133097146954032717815917286940980398129879615733197552894134784870590594393032784413364552890518304378996478208282838627105299873288881881963711588299496863437437520586443176639609067298780826314394326598650702030451676451060007318075530623933278704673948254940607296575713659364648239827810440592628638827437380340743920502741690146182743638813571085218160779503001230386051143180606230398401083785106922334193961343346534260272569060980572552051064222307016098179730030632839008714092150635103116086491430384593767805174576708731997125053699957638554379227453253777245601621893837497768843344167235358672665799884678341013647236662898504989736994005297842376874236928734772105830796435475505496378193651523502696720287280227975851138601943656534798375641253550036667375671488053912756162127814562483920267047747044806111302084813497492600997031559075218793123943774712019744249756539635377260519359057485837751793435629155152859154139069526750330295967971934919997063978753617015925738434069781863780799119591315790101016395156888477485193144322955103252836931637145288676804320689286373413169430408545227774367982074545525161199090608231368205017169581230436128519939171870518693222320903866171049685903714085418814194922175566656860615163968916874771602302573524676275304012018385150203238185461316878043482473629373742454172880701440303761269788029293581163105727815398331620512391294025952434730077744117710318096999380920451972607223466312295758397442870927070784211895086764624671926638448080918700493127725643506289034722797351597942241112694217512014310203754794574977921865615804718929687569667445045716034087257849833717419654968395630386802890131289040752089305296249371662131195185487830461982737973144885421030437220196328610877790422778028589060069735682956909337908560326269661045335369450768298454371263649745348628841830988218601549858836556624975157840325928675360826774404623739409195007982601067891104499686783256841367360542545180554524036940084524900198362416327433127093069269821369943017530311615974137711058200075421702060841314195693228127320624630566128319612915806905923730402969732904434079458132126411792982547571431063493576531595668367597064497042387375460332908673628493796472122132353741501230355971224384353467398138879538908897818166000721378766673378665319178682414518558226904382533925803285908274318963452130176420227239078141557920449935206346967775735018047017932032789499013067857039750124839547449643517031649127955699444421954696098677653356390298294108956749927713988202777040909474516154335573447301786082015198178066922206225432462841084470924849170155536191633965622675962949791654858385183246375946132427008637057826061709819040301747366364602836678310652269602174947035682550983122250725223939099120081724342317530468103961394178214738296423573674713357242048213492044790805402900080256192884665719064911597809370295428293025793823039374545042681311594262552594408702449244343316505309684542759140732687608590582037043651980422174953486541694737936985608596102520641055757509866344990559220630416826811579626645859892296571022642063840352556209350972071316201562699058025996693545288603620566850989217245004707586017835101226289967747171187553833994984758762543537239635128837091307779304011809350068112945088159108646000135613463161969656965442238348260823885816751288177620783191290558706322987555777344390821145531562617211530642750934596399221104919675252213959206861172741318946676974332370732167718836372784564082511241981918972575591556948094287117115290140021979958333202538976431347140042192676308435565843796020540820957635459328653425977917874592977223424769695954278623239720871260884785294548704538941001878841738675888235158615327530509173420166228004616072848585901235543715107062813720604368290236048354945483183696778097222825160565193339106103039565737059009335289983012947016507855634249498715203961703830075136542549182522933207765210846245937134165087189383545360797482814746555947370231312972959149513980520784555366822300663898594963952399259986958363708515219785251383424366319470822794370033432936148780219585881373766424056244230846064730473827733283427166575439538661749352977523342455342352629906955409941134110710708219747652573177709586603781631044289982055024214349044993720980236634371361436784659403008518365537614059151058315878670987597823140003036407967425353273890162124123078140460168386774906154502906555432317170278765404358225934750421450922402735551744523243248728365230184394402234827633964629689668916749239426339208432216408744096502827131364254031038999960504941957576326722219798296425456599235923986517958178234318427728642176098589497893105826946875248659290219518075649676082351860052698709393071070338501450480418842423260654714370178635337332371823983421833579771351373574151237829108550597905237231035281573694809226887177980893750270599116302689228615945379805776811613343620552630333271145315319317251598986880756121259339432516458716554454554262565275408701692938383942908806859482344168257855075193243002617270045740250531947068933551565856732327277503322471646899989840707338352469213777327228949789102115788065562928940343382168566796176210808948531022599961699218316051992599963071918022215569152522585273941289904865780291714655578872757055982619855399930786037599952091600898177875553362692224052978696931372381264360417243536534981131815520784525457574279368018476519129649366935568545185621237943125839342929745003547410767805743949323805495578050839925216232522642573355148304141519718114216311910522387102821415371106757637325056145314313402869257294089364921689532372140168528211433922050848123006169008204990398079418178122348378161800776722776202749083967050273278702802139852025287194363742776756197510516710841109712795763047465686851297381869527710687645962600295395035030828777428558757830217518035154124587472368784718462006640302212952656106206835530015591530046147487004900543522129217382499336958047101230721181152160923882443015570259071258707744140912668975783270183495764215417710251716700518459142492553753086899247483425414129212098005436940194036871186782177848136657565688397269863866353437152752430971973522892905232350438429645852119605775818349061404358877615864204150703783518076977019178454658073871861104538389931455169571429930940503990986458583772690339036733751632321329931674326177910763974201857733612815973057203601920691570460203553921331317899242097649784145464213782683581460477270682137454001467906205575331612246626291760515101927154140275257990255572944707313505626452981468264531825813554977459444153085959832852544248653645742321718506257524209470759954047473724324569140859477624203047683991805930112214165413570998048689148422002561735260991856427920161090429174587906102535958466563014533641170142359410570600931829615711188910864115506682205661693645378777993825558698428666081740260075062215009942016344811706890269112742371706935154532968750588520439474087762558620233929498046720233930417893111967235588416770469623725671341103280950931631434136422059453100243056199689520907981451108594477074844596948739168632158310082557677570054309163014442291787150919046399147307004316265693156267771276765806592563486674515441520343410137961916105931514907277990841875240520628011993741501364118957025957139627034056879325030513786161885132162565655733533345931380445942409072322406039788073009582647276125944252222044544106079299426320872599562945386782015659399056672090443486142076750689460479387467700594026756710564024937456627354917316891778606713680554739523233975537209995830914108327343410767757275919385757957714596228890513494860461690231609255902900156050726560821229739773335442646621878017430344651562472834210562191855911948369910960641514897066604890992103703029624278843287519512599182414448974496355539239166821254817833772194033618244552251365704326760360920697849351092612844789982550305527949000860015404649701987281584143782872332533939728940205477565847671053092297034368762720851882473422995763647061790622343734198390157289284456827263556623451260908272416098252095324366984533767221811559756566193173615590846201079215333177900820113697592172616490515941700679474900772284584941028641387140526971213932089742393449030157405074539534192789431292701207597815270842130475441981696840093148248506325649066216967969400958336611006975312404324704804867155144918540620098662629818412131314994277892279849763301059969538279801223687054183262153621099270515991144301784739566703080305643104668112916105023965338078590037211910291836051258793464264918994802502778597969321170995059760946734680006708511653375597261302303778713628396151796775285394957508816976103748925297597561130190546464826507841391713312567077749256195762140554945859577584285206594861205830696805582861485615747865091486382557830367054754686547335952310994375939324103137194855348201371357493555299041255853841651580217956269285673894611135565859794114602760638318250990908750411665362394134554756192454646139752500009722855571162987072479808554692269568157331148905505803128200970789874995845763866535145473162936273707114655005692601244387364534347235235093645064160015834064611650649935146928339339445987825207284127205521586868020434014064965335089569396861210421045133918716467555627107999951151205571844077084485309509371906232389196240813910522864557732988456047036286784599763421222421771932621304075708657153278218439251436548810931894187182781234514903646065429295973392387527483296651192926896854105552252209355669959970254313921990342487383186570438345345061423162064910949136890550305675268861991485446971572775957243845819011960977499851222937323044721466000619207497920358664088650685370389806038041157524253765888733220257340304936599619571302193505267165805190465137979735732309619849901438628598358516583292743493254776639275443646333026561925219121455682344177168898190119668032270139010736517613119833479078549919441384320724484530649209358927408115662637084635434484070769174818861284730774332606730405650284377399602477672683073399833091776853561329384248122812104886941420763734154605769338747358479959586134040344691078227113052214869800976400883863374031005235872152746122603699068915535262244632714040938487211973662031612945268853845717492312994831219945032952578873529949891683228180272175514441647296097430008547548281244519796186246003973774443515323981016621968585307897175070473389521650033355229179169219337279758693137294984546873629637754976829518985136964939392517136406123117686538134003931140800837252902981673751425469909225188528075115142289074619059923874311509449796575239712684181115509762829891648723200159745806728079658908703704685183364499441661152156670667150513178275764281490006275386610295066068219855337349829978935813751252452536573828109866402712075035265100374934828019577474200026719335568864203487721119476532147623755363814940654140781682093514050504604265717010403495359706783143284253243372455981783925644078089715524914491479368269638800120565705184512784038271678860273497198994429519379842400703797415206612736432794131801039406813050696307758176536091541064507850099430973704560904328410063677331889632663765040943554119496334183485790329662123639777063727787265267056660266288786517923373378572885134953955535365060349554264751319682923918849704030268594247026410357258853779743933608057268131379139914043029500834053069771537866357798537177693422348176013843324769251585976973981797528665929229775668951114619188832439185447856462972055820991614644712690501851831326466460793169122666528526222866680229770550992767409316666739159175981113234363435348982753807409058442756048770098635131239488947986928888044591804093758237510268091478911350072571577110552044879365847366610296552700468873810420760214886723438176829859003191813826560974121093750001
g=3
*** a(t,u0,r):
24842463127704972076570689992245949692504980402913241779602012589392835344045\
28831469475294625076538893389382675754705387692051851217184359497508579974867\
88430303073009602980606373142409196857693127111489602773004610817827276966677\
53916673339705460230032309175646901485688460924629552133554488974682464906481\
18861409219574833362278061203099752398655507391002776244087154668814760512208\
39094148233685551723892995564681293831536762779373073206147299366588677622287\
02622010139743248624859353412646507984818282018230297908120649621512496344833\
50975276943982149703670799081560633649004498387003694343533985944739608721209\
15630184679350530684726686480898283114819725660789760929904030545782919526769\
76411413015328200792446631563500078819777384442405695978471212869736276239470\
50434109558630671682511588244941049712867185979320524541774395293485344378457\
80306437954750291438895777511377544034887259125816451821091447167884068494241\
02794611180065891025394007301320062616994722884808934810917460183370908691238\
25146768246610357324720686451930972232206635821296634833789706545289889953709\
93920227804187299239646112804082715365886412642080766886989331572597480423518\
40133137838246661571126410035025070608897638777846151839859484760655883096371\
15400608386552462330525747474109140221848445505217237844130656798784141700659\
16725251816175410400954256631294933983131337176198193302415118835731566074104\
76944643624056748304716874710972918146376804925495043325572439505789025867601\
15795355215760021264346004339711060210799614398016838187682262788295887245162\
09557205001631265083116693944487625608684124348959103318853275228215880980127\
20022010839034422651118205920399679248565888038553316685318751123485202275721\
09893150707367696577869128363821120568428504637681086199581861909078976683375\
26079698065443937372593773390761148798814448373383250260191275720410840665577\
15576259648034237816649064203852823731601266833333953679639922277723279157973\
26483708893550320693883216720806512144902298602073860769742156276442255851135\
38940856691479316593193433040931110464156401071733644074566709815173923400790\
23390953824306836980894819018683343388292360639421921034538428462097166442350\
67889475269637511266361910481468801548959732790063200452317220480416890419537\
69366856865761952016772656946924669750101742181161634513177374303012279266053\
05607234600209943936507852513758196316229925251480446941027855625510311522276\
63864110451373590269813846713470365700838958981083031660697680055811678916338\
36733990383025890277394388679859156500802049089458574964056700116234667981285\
02999446186046101327703968275608535437980414869407084418196894648453189964338\
77294228013581046214875935055526580702068945013185518871024203033254333590331\
09292678949912396846778485307983149195028952654972814340660356527607265955540\
13886820689216427052089004075640506037922054054120095892093624091722586753016\
09579829088399496167558152319609052663329659970898693425031226587822954583417\
06275137295292187149018236990342758408363203990232179817458292364497915372943\
18589123692946424824580777819613921926024756250051038843418532741323958223134\
92686572421744873067426796566113332744607658437026775851861419786631814813918\
65196600902750702601276162428797023483579901244513442496012253773439332613558\
92648493160892779584614256841483484582659793576987965636482829396553374837770\
39428271695760051097038567904093829603767724480883441646858473659800918494249\
20487763286873475988471618412125842314487636073404480233673561463624450997411\
63588695926934374512504074837416193429756774449459078191443261483208842138664\
18191932822123185595429896115854771022687625068945545933849884515408450604645\
44225111248534869310949990581132708274337224340491975824442109678703790936266\
73926927333989223394857993247709125335201389153842222860562538108097322163582\
15205853716071391657452391385549376686650327843952269903006723023594634833001\
22592083795639092908615884414011331376061198368322831327925532407284969025384\
70791031662551224411354956928710275829244632932455474777824449837897996498836\
32549028683788072608269256926657478627561547416338704944405027126855248994305\
90868367678635188925840301409470651940575548069677283658839845873394126664141\
57768674470181302231887344915007588031155727630726267662474997127412432592747\
13676716431073267789244921029244476205592468237538410021346797748313984550192\
68271504791849066132293678051572540441327842522489368378025217026664120973708\
13240362912757445451792484570175045860287288300503883252190501127454469398796\
79303953803335080239804920493720983073613650031386884761025866463745148891023\
85281886614208732945520114563773668388938889215862444452004942806796694341627\
68421708812027857059352783783929154772581992218527266240522306821658538203921\
98550924060087516988595151106265818580362876800218757911334261930055352637176\
99920861836618943250149171954579113084193149057009223037076510151765259605139\
94941600352082939644179423844006760617589878417724891637223182832322540411734\
46474461099803176767716410945783287348898874489676592499404521548881645556787\
82517659772385351437290780347232571649789256122862610016623654402540851713532\
82560324970380724903386153301237729080999098471780356997174094027150076375157\
17019719476721313031898950537318964362392877784869137305709435695305344697886\
86252876228085819468252113292973176033721775996028682589438014850118188283094\
86529085697590824509444145133856248740855688380832382440447571771043906947241\
37920752054711680783795728266129330728647871201868615830905121620470246194053\
53245674303703156549901358330904637002515178479252054091393034897799794984899\
26007618146185386627851423716402131917929787474151284798639753311661178462411\
27723353633823264944730254838429622430382034273168116227205129979397179024379\
58883385961645700546793123073245429969950492091653111502891855482739093776049\
01024348213788388717095457922884862036180979521143648433659546220278201294898\
51287803702179974710236682239869501016059824258170660543312520899837342759057\
18784389228843261383818935915976360762759489195154574787033321344589195250751\
70757702750100608112223831934640904163617801992721328227453348770618248473601\
75707308277851702719203695257676828566834473811192026277705201850268402318046\
49869211656722011269509332112403920825768789695143128337866194196043439007934\
29463816273978192996234757387028454548373904452258180618147355730231923313396\
37352573177812990171627052252750368856729972266420665625904164147269118506142\
45681342200361204358236060753587348679789791457647237336811593051059894883552\
72530101375182686298621270927413187210476488651506506014616435068597031719606\
33465909089427286194395480040816925613868015842473837976730516864514791302399\
24219117681605077787467780759566365513921982903967210612683600656583450018735\
50117650623935580725173941900229186127529071757210574145736541064343233673816\
85000990785760651540556677859640511386804609863318436870978696202558182069210\
98364095206937170008670580221143427027131812316347891544539034978248976621820\
05147678294710475142589323436878425141370534006674214575166247169879376910356\
56293608127359071938918438695221023807568270315548098265988092851388454533340\
40170849807857609948900469662476140277449816063720130000409369872327581345824\
90920300313499814419656754733550206679040755774253837513535332533449193249182\
26675461810821892712548691009488030665906941663607871735852905834601690471518\
25141138583451942865098973265949011199411608470631291926931489989377115408456\
62584321385372452451589050400339216400997422382875674383269888496109725287799\
98928471960414551979306905709710708273103560965791941693641290220628406785415\
98242262147193118873352312355732990921820518284142479083731287558690733534047\
78505829020494843296100895732366512006643591504256947904113605298470918497796\
06890065597602004338042718540970706029303160819316178492615180271664994237356\
80583551543662424802292932161865224460620150269874965084749769977868845977959\
71680451463913614278549824208023533180486603633048167353556827075449978156232\
34418399463764935287332443924978320154197084277179573245286817291533242239978\
26001834390039671058269042307517197762817703448587755439692950302257619367773\
32432431838645865094430145258851209048930470176812594801840289474132948672319\
10595427131978524356602898610345657287965195724008002765426939508510828156276\
07245190354478052646778197784100803009079012391607221427970489498360497345593\
60092968085274564054294706973034973998244628230069222765106330430830020537890\
79471810786288338340265411150579304215045043385883701160938930776990398116391\
76279858660806473053928929641515519898645808037997383007979546793848846550453\
99855363890125796666961207786882516032585395770455494797112477878563559185442\
18092785208866037429453147635700652497138714158506764612921309198320554803030\
94536722561580369699570404333611467615221740084132394408549912627773237076003\
16714135941292666625343050048222937277655410916888954639560625086665587375473\
29647224692565498117671839573866745641547824831861484200275506064539617013476\
61685863998951093920761330095158959451539203939323437113937160843183020700178\
87939653864876877957267449823438891378942386476940089222395633711126246090161\
99654336969267990202934098862214645075879927807391755882140612760411689081485\
55094645081729690945792816168406090861509250914794720583856543132077503218548\
64432588639762618017949284215121275142882982637502670317157599472161506954048\
18931007606245015160735308377046512076023389624904650913818452065090758461028\
84952750012729897425847811624985058834753790213057828039587665710835066911634\
17565151491850084797260056088879903696756274947225234306305737697411874233011\
80215365117106619122000711368313048791202320584483582079250755257240914951232\
87543954205202594420834911584342231601780542639761643837503422675736788456338\
36880820921247745395183540592183084608387069132881708063485610606045680213649\
71950239285632898627157287219995691799651940862413457183982075728721299060530\
49264714350759522344825851636304689422981709575437261045246078007810752147572\
31370020442867811885154204175636184044334954236844152783206145166499445750672\
02170493847086766708106292196038725846550288634156809031287396918112652260453\
80042259459250645672248741601670479320988847692064912112151227555114995881306\
90622135414082530825366659281884857239643954627539589065866326188789101592171\
33219979777146706433057237722431594217221757444328322978252804423519229189345\
16021504376864031019554180128294708576197444635056097876454118862743097120810\
26870731421804982329580941578608429885861715915119328181338141801463758717439\
64074147844272056272622570028677148613864034505978417359147548810276767557400\
22533612655701728677586022516091529905968391451667965331515133555625237742013\
33858729179414247202672235159264007527480715439472667557846604476610241818784\
11295666127499382867512954664934867782276415661436071212398058446304498404368\
19737005741008577294353415208189438052020056262889865997634981587414890798986\
33446426377894132525590915095578665852999220818305900925938756496589500568436\
71549904396255442409499795375197510325600885194412457679723479115475372078730\
15240190260537307942823819514991218896466470320034064715383265998391699823989\
38113298745865495430214103650747770547716712784014026313346214700629704659417\
18744170538134001245093514651919058571649659285469382445514388496029469440317\
88246053873688099578410758606244973038733905705420627639906230548263350900643\
59759031137191678745052636913827708201979568118055368263176099659299341344706\
91688567391147027911669099290182857066135329175068281671497206981438000199895\
85185119196767995276623090385180408221197964922017434275995212643436469116848\
42552679851666822031689806281112616024857145957913828857010912939067356153429\
80537474178745419334458228570647627356824267356844059758802840780313242486301\
42478310138136622540364151802657249622763219947184201664241633679719574105992\
53135103009583507188629475979454787253356833460039637684121130395107735014746\
77956714877071686000349551415417126900195619445963529401452879095164207651291\
62336538684160973075857165568435652217856869818892791438346961521182619519261\
05715764657637776217819650048258630581846781162469810934457358525867452084862\
60030818617572419655627409429128307570291257157778904939962249520190583783696\
94693719315428780374284435870142580018415486548839080865053074854748918669264\
20434118475763308846879303272782039670701036238644167453277905666934155093048\
95368260663074896312676691631545601684223490364843701018081578567934787599664\
71814950475726850774615253279106173514870418400650060834503261090368655918804\
40217616300265230518041265864932575774943891996398675050052630633359537974349\
22868274583548748713722124437595024413033780010305968079303789853456716019940\
20437132792737466748112915749883229115449757358864959472035474224772991536773\
43230061831891889743557276545342191790314003766099789052341505346040760590505\
35274644078624114743955825672355696014407664291813229159315485451681341310077\
18796957366074191847785816537378756171117563085393284340805018454694856959137\
98375284307128330199848249783868061465576903109192052607622730059787817857217\
56868330345990574236841224074367405655323727050339537820743437554494442719671\
92275478810782746502794724455011201426134651036302974580918397634509201621372\
30340030055052239857498642958133598698704726533318092817879161250813871869640\
89415701912313953933301397573951252616689473463953733045505642001174179405881\
34173472401410660429427312440511243756816662608696073638497063334644969505414\
52322175511739406508611843377532765721788431475532142137609796628386764802947\
61537689387349074706721250989042696139499837862959810361665090307664359961554\
96553324359950859609927675660172468480398013330240784318810535261269476220081\
99294505077002785912455984542083031111887321769465147638518972791727298748216\
26951229989632748728274840817713930417242062397409793145502952197704284538054\
82802350102232312536391169870804536368858223062642466388836902707513277849596\
92021305913356257774914635317251163047006270625367548235657657268805867479778\
86689697862885544693837421586121499795337202662995462422009879571225444162014\
95649342220482434298474829933932042654349541237918033880733244391311659720465\
69964279050731611113981692721696496932986273894240850027427527098027481561006\
45616112051925057137622443728630828583472010477446472717793405975092067862499\
59810998978136820615754419600107514412654554281382330305431584056247073145929\
21371274826027484813676604354491259472110245255979196351336553985657301695817\
24890504995310810403489379454682235100794659849183052924023927575579632966541\
94862206390890837285852421637455900486139967920776671060046455553163205894391\
56076538190505779712699060230138801936516935728846583375829161664930079092347\
14900059767271187015049548838799719612801813001075517450564001978890120309256\
26917151782751178990954541250533400497237247905010404918532409041726429943703\
58795725070879617113778175758377804363706645151866944075521137304804585077058\
18871971561858704121049935780543532486583499149906307158388745539134486383267\
25177265154303310189332380272211075937845612512457611012873282523682678689639\
62533597292802960903118223969419026267443048480521617319643892288618743321945\
89790632332119643411724059553340771168262587348584458289453065973227534071145\
47173888093067119161106473982124221429724408316935086245624751996136475798169\
79567646030505075353232587196437078066429475918606202834008183153948491309596\
73302343009849553756549777485145320081920793211172837271000391792890842276553\
67283076360205971955259739154152130849960194871445140226598394146612062634963\
50141686017320038351809953328865175676010822987811226674792990653397638719838\
49085587227348853712870578148760248203358589220410006582732170031798418176776\
36364348473954119242890515612678059723799552493133882692133996435860624826289\
12727691698081492228432736226580805163180624346992317388875907284429498765687\
34488470306465719057311124310206223385960508478323905326246209121116881530024\
46258029573676219870760584794682433189053829171541127979602756541506464008491\
17962443363996686028169507993519233780966212394252061763372485358441571775287\
99621045837100994453528051896173231959339929022429998803333471037073343418415\
95002796087885502647623116269702725493141977333689688156932267118216111741509\
86894570406263751009612828743159620716143608968769440872970880437346708760059\
23378108719340164847440817144992440063752793486299688865801643810357366273640\
16478916756382516243696675893872873539729468450437309038890170334975054676803\
32066171029910119192129164546931047700713444450007154986727200929709799222129\
16352724106963032161206214574756838905103163732274540928026054644208224663037\
89916232069209260757710270070825817332748962627197869181947839562970200434254\
86960983919356177176602210917368686298462461717428178565097077005841481172262\
44911454220614418520410720481794532927402617662664288459468566685287892399079\
50981956390005388913937945806693911962790511011306831568562068485950692208295\
77275667139576083557106948107334360262227224851798306248992554109364207749475\
42211884714847850953112827619761141150323688133397479457556916379684305334124\
52537156613919297963326338143358528112899482505900371204885153684143423806580\
52060822531504417044054333276002737484677753929973373685061080246878634511045\
74835133602538504891820314091783756784406177214032730398397462408506462665362\
55738865884816619148736150662869350288707599555137584998503699404991822029042\
38992956164698098875027316737274413918500528470392902315478509443694084275256\
01203604769159553401905010673587443082471159384507425184349755144985438688126\
37420290467971359244071705770273025890618691864180900779673419665242138643090\
8967213326832279562950134277343750729
1
*** a(t,u0+1l^(t-1),r):
23751984636502559036172525273793452586661140385227063813967905040887251350891\
03697577811084161424345142239231447189341090838628450340709874581294211580909\
34891524337294503809989906831631289725393840324702679194491376872463116660870\
02030070394752682826244882709774883862174015451943481258007515521747157804962\
12409330899922714476691095553580970400360615434196070016637512762913426717433\
81136654758407173596095223468563596434267659337754502091474166884104675312392\
39681126292731199302506130766275193505374955509885483733827287772557215298146\
71645772331900628729024069903769220374974122600468552753694359675560366637424\
94093605927993580092255830558554325556967556633155642480306048409342517023537\
07213655516712971128031964608723669324259035605427668171460130823328099504678\
93213407904479531087394481490704954252220066704508100967924216076213011017537\
84463082653581554366132176852441904241860657902186648723320629185206029822340\
18721322349116496631961074196186671665357094445420888289724924208243516265834\
10325510929886720240507981422490929555347085277700623428191255777869757610062\
86368173908804592002789218963574283415669176421852255857656466537860691159385\
90634838234921705233299187646656343229631898804058666436738080765675103591454\
99909772353123547660324342921061825424730269570831844687735346760977430405156\
98158436921638218174849268685888297649166724296035858342638323495891497330111\
14445015920394449339352073626266287994546821718888950888784623231186489752699\
59820799156906357779491310047707282533507998951190310311131052350400868875004\
08863335920626874846272065403714506240401693650513710580577136946593235998832\
17908561803576121519656227059696263972908674846188836391861686602289692710806\
04383437644767194121776107640031990447454962595972177065992534637349858365312\
14921192800568483331547133132181784242487888225306070550553249900036153558171\
84851375822606123125108913237428557120611910813215042132659843384873971979571\
14621598215095436932286148222773853175578740913093938211948261899424214442032\
05269927453993256056866697982892982158459549447185665185148143677882338285803\
55697523752457977195725224768206159590726715179255252347151282082416632387268\
07021898851765905833544926756630664855452584025615981776769688168519304008803\
52878874122683238073649577355290116345433352949615444795177818778051520779751\
68735586442176036932436177231947136944324084911223417720022517655666237491120\
46245932763521800299122429573784423722201309204135628350488728393553827441272\
75999439364840940361239902482663692840958886440812931069886858684520663351105\
16585204378153817044457703550204594239056720389542850259922133840839332517344\
47838239952628243088845715684090571672622845917956524901377050088036036368258\
94618651890382634570925383072241776390857585734589919884005855280853586242814\
09710718820828326001791544363129537322951538649824014865280186545858220805009\
90229274176425855732219522862506872025158810699199436649172517053103702804721\
11486653902357550676084651827529358862317082553075211704757791190747663943678\
19007708112460436354914680576503297095252750488731926027246525817150615749691\
41841619997196401272971848020001362034281945035127109422150081743871570542251\
44090577269159450909587771211072051259334967307854416213608423703823339961111\
89541837768370737133712122110444429017988856136022787446678370493000963322257\
83925247423792531707319453812281754778910979373354950381152751907930370631675\
85157710577435957152214976725996861581890099236163131307092554650406368100405\
91250097477466747647757668260190791249026710276094619340790059333054270192934\
06693795853250837256535854036695165161609430278539157086273483549025637958076\
64368864938585464896751911433538405579167414767246786213492661791572760332754\
34467857821386129912504830306794595828032055199215403750085170180169867692752\
75718079616051796961926360487966962346495580942708823213162806512270864854049\
18308206317641217774081305125604798311542736985899881255917827281039263937850\
67409257981890539663531419724706532582967776617176222112679892369019072098338\
70900785998079954194737547431934516602757748352795716524348839379174360149562\
71378946875183438520316447300961652129740956110514494801387342350830872818802\
02969500830886649733368284507215759749952732727868598848758673522368265455616\
94695022431355374004257489653475171351574691853997629334538707860870846682420\
16440656844881754587391897945056324674355975635356776076109158117400400985836\
17048742044159039067077313779714687194266447113101792354975005879061406270180\
19855769274244925825986323160663271882453654419583893934753126097709696539154\
49302434801239350978089876338752053315624699291435012048076056428446222162022\
62811976737974508052632222630176434672825306689044587887028872228663924729950\
10137166076654320083745981236031928052829801275380623133333306673866365964488\
84560824005656246152748933953829412647026920291818146031333782682826318168425\
98730172078740478644709270808330194993772490064683469782091301007035405578846\
25778737155778894659942851068876476381594671494244972526865502770329913515886\
30198640413378038342649758438986423100004268199773990646895318406818893887973\
08565907413381845346584566325051710794864707318012220613210347787275175903270\
98439978704080596959168132406737061948680158869758283541947155939132819279049\
57912557930007978284460525329495615494518625335023308319394096502787897439392\
48437273979726755395174991986691091045783833746831509685860024038981622966018\
16365931662735310708238165434145601533426016773254355602388024375127244989376\
28549019190234705233581957142168082291842358573441264337038333777457417152914\
65606735045118264032390181523089555482574844814106235260153508996197313289850\
01403535641666413808610408261159735026030559517692972579371708635994285020565\
94433086440695546338977787081004203963039085031388503041859565530136005983410\
37056201241441024603313489948217762468063295920764229023677234177687114269608\
04317694348997863337496526092166038694367211945054801644291943850736115093364\
69125815216054531117313852309239401168235067172870697704474931381589395184875\
08941178075199072502359411328456392595393152248184863888251006986448448814952\
57157741933693603285713272420577159823159983877093062161262723854097498512590\
41095803188937231625305904639705806331359185757907764679688254258768555539821\
95248669331910563125343794099806355034590687795917629479902204312718313510887\
89073722228992666871912284526978061856160206679965986201996162428870474072402\
32153491788274018433046000473594488381088456304499484806251962080368651212395\
40402579778466848216925961366813431393281361577640651155264273309756009751118\
81379614040234318899168243605554728604754467821953724375557160843027173577191\
04500308675005129242613227969022985957755311500775234289493099667542749880738\
88109742777617420803081258579505819932630676289130000246335211415428304349314\
60144980216289676438639237953593191271060100239688546637959055216986355147105\
70040842742435126880717962159309970696722734135109026620773261152043260226897\
90929947560237587344835059582310373557661539372636388969671981176139815783976\
02793751529175957669994721221631074888717536913493860756369959831848769286335\
06171580680489374669936388689637681444969165701526653786399630728411967349849\
05584978489038917216050422564176260706846922873326371394971367319360888470068\
64187650044091713608568501555024907234756019670143603017681036168336595690875\
47494339633286699831240033424371002477352388345720178975406376574205554786960\
58739742120170918187596115403342158890939922360582091968640757588187213341010\
41499512971754379601614421508461404206245791485812048505443044285017832001968\
36728198513845821474247684104178181992467628592657486860577102096580852226654\
74099537485987525071855040226967707638725079943027561987883652802516090799676\
07685014707172286726496261760022746368208920563872944320099836281687930018433\
05029815399084650325374723891385543825860418022088958386928106549485028321862\
71963339739846075654525689263364063959943981800047424753675045914387702023174\
13428840090869903834390553382318092109019708835657287451255022842522180852215\
15395443854400069585203734551906017614106912625055782635755811194339589436677\
65027990386195017792617025028010003713449297274675416429194350841523546261462\
84890278067200317526134732964898385637464665870553604838823836539687307578771\
49862685428081210829635670583701316457240153137105944218512251276210242318077\
83243894040379109939428546996166497773355975139037377595718946927693448991645\
93130112644777739126426600235876234619871598408725568874039005146176004783436\
29447272272403445430162502002930476501174387109031791435612817716478252463191\
27159380838707380352362087554810855520866969618665953187362684610917422156725\
92607230851275209997707604803955219191365821355938566440612006188243383673131\
09591352023897829465844405789474887418120099915830286560712330729160420085012\
63031210906832631876356798194254303542559425801195612323420789691914834568868\
15862984376842458419776779400528287670999772164344930710002781518496725731677\
91762753370739248920124344411969540106615672353509513948441976828118745443106\
55547241075197783177250222945043768574928454560256847994526415221748962311169\
97474722726446898726262094522583823892850904913240128737794248414275647859801\
68588432951941830712232637680904040233843549914419643685799740141369025711012\
90136507931295671822374006993058338511096624003209000289518308411655103356613\
97523885187315192821718120629357227595320030958242169666572648956609408295386\
97958939312582631695220747191515207143790660875859130512472706447808013220039\
80854472688366953503004470636418783095526918570940999055548832887648938738558\
60919217402775464373161173969429622781163261244698294525703397001779036654333\
76430913691393975735695381857731873012950669711816002407050597537707190060449\
71613075695623701701567802184844458123519598334181825130657710003311164758455\
21878349495317051225142152527211244422986835090675143562737320689874822284210\
90997950483510819032021424678332467116348767591330275649569981305135931751519\
75672022288997071171402579300985487351030813584472392990253337696913736197830\
45147920728970475165363629164113843504863581862835796837870117492351877401284\
36062352322493415683892143890760389693730077971699922828764616743367835568272\
85821163763532954712319014430005137854639007373655821095896885258691363250676\
84299486837683476521043751292914706679565932700544363670565438522898357674860\
87334689369923497421988015842827725483689463526247051056088505963418297247194\
45444306997253871994126085432496674390186030168502293199441268635967407168800\
31494761381972048315525283004098727824229399246456731000446970536025935510984\
85193316901267633591601450883012066316131644501800510063190738118341276688865\
97667399503500315912568652820311403630526829439386075840629743923453139297246\
26437694500503525183342289988284777564124364493855887016517759584463971725438\
45482432100799695986507997805360820743838105919388527572498740969037282423722\
18809546207671070466854414021424321124198157627378892929189730148316710420027\
97078578003004174704281697361471419337371491056934818933837126122752173304355\
16628823884217426112686148425169930824193593707906369144886332511493847431166\
80198860392137517578682071666078458260299792606937964801649261517611665497412\
59210818744964881848875417986814243929272719508878133833365608754091275994378\
00284635871002202203226747254530516060353267869243041790143542787571406828187\
36285383679866392435256087694016341038106665265136614100732155641332840764417\
99872333980287350417604063381697464163369443669441141735299798718878307461354\
47015127681957877514137577501331611152503404047525585309147686162517447152871\
53990696648301474562534698186468440835837353542751630608143492892359324058903\
39416487657867705454207661610070502424837468241042948768018628290642428001306\
02616436442086729644216479844241567883492406451560203785975882955781266326305\
61639460627818524705726673192976662161302761209393178965476581461440454465402\
61366022317309965901568775495947513648060832309789547315243699217187177960151\
25032328481289709511484834569546844438746554545635494694825558546315892736522\
57453892957988381376982573502930405371120996529823673828966774886871898632577\
82224253191286661865531281717561632889565166308603424887727966962377005346003\
80249001869484032813273322087091053872202461076187708316792857577174206189954\
93885570065304562779526576654498054390231306252860061337358985253570790260432\
26435771854819208134342460997513421637728083380378682592047819289232574700914\
00349822334131159108239823779886149437400111968797108918585422469117905590406\
95242357422887332882132732932589856399363364501357855294769113239302603522800\
29134687770553467563051194421129947895589224509167708849485242150698670872288\
50815749734620047082900826169641441280478025897296127231836386192958539233375\
97025175715814330797338027094792191601987463134391705033583030488601385640030\
49501271499041163205126489017327736792924748986822799347109593086175438810869\
41017118359607286307142269035052116668407327120053661434212754270126632785348\
66210662773756441905753402056729820084371881299186365799057671950167502121372\
62739679356866159455525834265890372759616787042642877724359637826450790913047\
09212632004273764488954626810895483393711730826204627274211417217082185912340\
87170097322868876791051514597831437987650472419372717001456482018953729345870\
64914601142500447039109841027495230553954133064987314036649427263125381407269\
26637736987356968887943534665344769408094943536709414713350415835730512682131\
58118732965270735715366879059177417980914316513643214087673564128923971286220\
14803524695448978148950222139043565444761847723570628013827939567135883255423\
60902149628101164812235377140110028163014287093522395981084969927441460803013\
92192414319164529192018959157519715617264009977115511528186178375629529804535\
99430737040842285135264148216662015776155991071323217863395826724005331032955\
02761643376208397582804726200206806377358273627793963063126640860269896654552\
88530658740204817104410837882200357536026571503266366420100668198021522130872\
24996871619247221744313693889611365373594005838282355703896963046836947298936\
11066655044823397401971133695405533237423361101274169567724377696494138306124\
26975449243292089089773991532266746724679606178718617927458143192489924071360\
08222812208767852983433255526551011690919055285020838798768181021452909876765\
73372107390619154964582757834396347799204697303324395367470252520170384064077\
72559367014734097277273790445926485393773444366827846168561835566533798740719\
64675832622402791291127705733763398992117802352373920285383645432344313000932\
42550010774281088598407596545002417885925319123156844621196679726412557624678\
89966182604639956734912544554741762619687660086428077658371640165234931587607\
63080029708899886624814177696355836173008043431755330127631151411915519692114\
70454396148940427649787812416490782094066339903693075758871178466506614088835\
94074925067768303331006019895184265626205118890056598107871375447803560766405\
42872104497414974996394794566582773858914538967743067337993080440022958860270\
60971953103634303432050300479740905251959385351416947703666224854604701024250\
78032808385574298696122636634684583413453778862720942759659523902835753217278\
86260728032218643975269779847295634436596739892953864784291888866035104592027\
97503703704894076893403583491825215825127452121953024846639852045688784130760\
42192934544941066558577658814700471073115699197899209019620992672568036272687\
13706081039595526705507811943959242931548412713563055662396808065356539186224\
84219896053585133680131739630238731416217086180243158762605048998886978952770\
31616948085146867944048748244470545193661925408099348411976288731712145662177\
54201171875805419805035381302724133055886058555042214798579317574984221494119\
51366187772765461059389148672203851340861849228689048335277634452393491774929\
38506448715449657178624989231724034566168580479908978353973261148487463154573\
49709826891092738248211047522926937860102159683664968466932246580820941600037\
10619817027232270576022122910690886053183153542612024968152429779739376425128\
05514160527716996106494028904640474547782510341280777845090016865341255867456\
42436034222852391130465092142157397360301687967947474850375074503210041649706\
33356582816537990871595764115202743029794181346476972078713018081476858551210\
39596043310241199524965900732485947378809458780839918091166946042291709198575\
15218850174732640464562756584444075067813027517079400740005138183565273378226\
60474355252672995640406835525417548500948476694039512208650821294207974087423\
75103046924344791600705113428272894715222593664821655728050561108378230531994\
55003907685258207704198534373944467375661049549239170132831495318262184622959\
41799195819257688269031629957977496132957512964549951741862337689149834983094\
16202751429068937574885790136359361248324191792932017091732047562512362657156\
27850869124510630601819303396173922428531720865400561119683938243684034296513\
60541047467536016561062754769911737500775015329054679839900907729365750986532\
44665486963353265074490456558041219619715193033886720789503169018143831003270\
73966644233537657221288944925889595859774500176924613418267723891138492205603\
28420299259124486530093906290700814944706363932253166981899797143824370909721\
01901774080190094210844815217248159158875712605200879915620813349896307618928\
51385580412852315376678681648797364168355425950865312877480152673153641258926\
88957461621011225715595469152290723115540736474527979072643454712317283887849\
85703827773380761201500740419588842937167171939456588359243513144382409794037\
64113734600965992758748686473923796746889434967080487453349491544656859760801\
21100058238924605477528091799561452737669723222680504586326986977604623640925\
0411725224694237112998962402343750697
1
*** a(t,u0+2l^(t-1),r):
24058681712153237703784509100858217397679720390201301366802497788904446848965\
67016484841643354326524634750211480223349799328653781837218323463979502691710\
18699305856714375451725787981537576106353014733486501450948223919596786746878\
38498177473020651471060096403301388818787453241136438691755101805385212927264\
36098977927324872913262429642508127837381053797047956143107724548948176847214\
16187199798329217444538346870596698827249594680709725217475985394803300962050\
26133249874703338174417974635567125702718391090357462720347295792575888092527\
37707195504048556503143462485023055358295165790431561325836754563767028473489\
25150768701812722446388258786713563620113479172177738294255480885216380227571\
26675524813198504471148589689754534494873571215827738492181997648880399211339\
06181730244709539379771167765333856100527069000549095098069578981070854775296\
58294026332035261667846939537767552933649389496332530844568671742834228198812\
29866934832821013805114086632005437870505177443998776373810324951248095385479\
01993989550215243170442804712020941558213833868087001636015820056206669831713\
60367189066880978413155220356217279901667774108791524584656334828880413139923\
17056234998356849203313093943385047805050388171686396706365975639263447827212\
66766569987525429911318487951606382711419756552377736512971527709110567957016\
97130353610726803488441296545533914118094271668581515050075547185221516664359\
35148036212049470923360923931340027724749004495746914386631196558418453035015\
66188643048458950634606692817333345005246265795610271276411080286058842791611\
02808486599659359600384617180806946062731127284451477288217300838299604899821\
40377969344798768712879908614269099519187266056541346474396485998875929775938\
40308044443623585437552269718597683293978771295202807759814532932523672892267\
39934522406314704780591500704907230523954733266952777343888944662016534307129\
59117749398507780382104580696735382104952667193873486005247990573487839623496\
74207816843410872990235323737845538510700991513119541431327794692960538588342\
36614876302036210582708592217966205744436788966589784247797115403995596599393\
55986300960165469010304173151152867533792052964927127915478917001701782590260\
05390904719292294861524703429241390800501469615616762029267431631240500186822\
51266119269174126370152943490437334490496337420987810653365193769446734104023\
94730737486623073277331335904956497392672602506920707188430268959684883312383\
13701045238230116228379390644321094903693148203902085531484996048563848168634\
96206031838705457525158351725624916995289775935744518415122126587190227153343\
25264209886623521999120715504224452701254009462004666116936910317980729924311\
62372736594771218968041714882306949212154561288489679455340311853878682461966\
73745722000875380211009068076044037492030782680947608949939933756503058662018\
29635247471312479422187704907273247274036996107282287654071465855632573727886\
64421617745418442104658512397316860329644362056864852617382779109743492367479\
35020914856620417184097222654570627484642554207275608986454807145864922158158\
97014981244472120612008270426128160328907377109102926506794902764574368320347\
40516762866600658965162302298595353796561051929411390605506395568397889243657\
84401646416106990447875131241057199697403854977539767355534500910902837894612\
62290584597517561573028347503549163395552557291294243812560874559625079060995\
74535473000283396535677954650603900823401938934847338549632486150643962218024\
60719287901965259324912157200220637412933156471637260692693462816623953915188\
77220328291379517703467595110035435612357040824853373392536272437785243552670\
66177646875746185226849803371458804310037672563340953949654346320820804014924\
11828434213258734888245121193799303212183923709721995791572194009828362689992\
20565721121805749954416657383926807251923430373954196624906929909899464262673\
52449016081682307970043056677912016379664103508683542594681408031080675160629\
44513046858328120155669155550469135735938554249706335963669994347795868493719\
62110381829576357248856789563332585370983142455848511924751799157141269585978\
66364354253435362498543340727325349672233816839417182017489642183209610137146\
73735346476154243321870031268979808326538185099029029167545858966551787962803\
77756768416938270748576770246907211454041075044297318202616389536286937462934\
81283623868776031631285204727910288341767191461868473902703483141714229207731\
18518082829966310959395523600014010358816813197362817661023049685630822232425\
15977635413452340862778455564531663069084808697058630419816863917671955275103\
61575571173051531754872803660585753154967403185403485104642334325657167513117\
75046655623636989656429630839539382554994315207680227411681055722357292462536\
55014713883802012460772380454669387200881874494211591173948900707943659769504\
69378535509494906713234810262035209763698478766741348539646075339669518466182\
38880834645614504711392750891540265894979922132028136439198924783465395447501\
78914636280618045800810251349614229075471130538976369678847142770397412250596\
06599409515035724002754164784256516966148978586710115644142101801797588152389\
85538364608098845150517545850680652379631296053142664844631412905615694526411\
76251837351287780221935012662104028437840004830009508971200151417239991660988\
97415530796385798354623675005963222002536861064633211163005297120556342053097\
56508272451342371117401909444223679396169511458431069832843948537974541739183\
77900596025376024833563191309331291647522792862644255148087771838624140335737\
19303224897978664791988729980641025369582163331302116291658457975379964078191\
76119953440897707166296788726500238304219089171950548955450593467553710918160\
32594483417293392262363655889958717605018422437243905442852765209921525369632\
86930984451960528190644115111016890858504411792670356730324858388826348959138\
53184733180962777209925850328822048777482918267087924171524897079305624425089\
98797242577413720760314668441092884221596394433370940732734759439665857495470\
98778037604580332161079695008707637472343259158118636959641481145795835374340\
70592289157151361504768407073634171054195060866638038133944478558683088953402\
88827075640015129392633779623945786473956334988835744483651665613246204968947\
65499807467988068751382453843511441657318434171058395819012170790520565207874\
93563324320501700900238118616402151032911886865255210708550799866127116515228\
54871679409367084026531877524337570522842217480513409487533653148894016267843\
40152149058348382799957062949851523200070453251156364789970287912170092819391\
73458199716673539474505704927342480340098206816322290205471858290875563494908\
40063445227543177677402767180732112716867491067165422834457068804430047179755\
92903884522819840950950903852972221513567653202725006325887167224070566062405\
85046223708111364770853570941363311457927187832922977630390428070710446794550\
43049466859394403281169825763459266674945850014527661655541835379185628221830\
85885733188953388186053517927169000053613243571334453265995829244178431468947\
81131757498076326510454635989200630289650287373582457380582385040663617962969\
76178684329308087037953446291407638065579694113459527421217243486879067350770\
55340586197414958558129516761078248022144305682821615055950059743594305762055\
31358875122561690842145036463248497991604348615893568971589869862638233786217\
26460537752168544554564703486812683011526438376712221240817482535823224189194\
34887347103484576481562929839092660699767216480805428594666874511973653597931\
25582501838020674434512860254814817430431544005851429493022814722222556211756\
34821030038508849699344128371247581315643594241852162022755200656040419826044\
98276407687315053082840432690062770975049539152056393464623800954408306159813\
00904028910724748867745860799927972003848128818387640923339216757799256344359\
03463806980067708322424187087861121367202161319623326776823326942003386089772\
32461435270105644804743702729664360022891675635716353931119776778868979330005\
35654303689747149397007969967457954004386592716778772770690449388717977037640\
00008777412240070892532477216549539678221594190578883609891796865936467185596\
75582153664496631430530460097441281246725845678585430330826465031306541867523\
52753491192548707499503352358171662030931822544174149986863131568441535354798\
30860489544696818596251965092934092714053377153401497846501021081944940689516\
17119851241669188197203904552680430789167939891837654255680959249668922741194\
66001514938630322590707006358813672049944832302434428433672380776190001544566\
64232696115505956409234654489660756711605908820890084049609148537950609739027\
29913715247077595155318765805636472943514129808551293579729609229842552908330\
01993937194141796949346809776282519956713224245303364065340960269488732050233\
91355126071918809940843090120081010039787776973856761765104813967442898196052\
37275043014347630212886038725383622308614447456660872176573997659827588053415\
42857237487621043906579842880013300598554936213165254392916650638145274863728\
71879533572774516649509181528182981780555171614984364849835118396688483795725\
85364801965639563334809765074279728975216411977083961379141985297071288904683\
80178628234923830326553496635366564297375415612019679838737497332355572859158\
14657607172295028584130068004592396863557372911824009589864632921886323374011\
48087739232240330704076095743104992350577817602220273872141663386626409453400\
27293305113444666402921437880513991972874528320775134063378215982505785010007\
32907280630552000439879553711763539438786537369104094984791859022422529368392\
34794638367639205354566704683394838855517850583240992517360531080869788029473\
75550948571999050181959609063428602931874041001946264191973788740534372070800\
72429351101846584179513854044923473264622675051770940219824212365394764346373\
56971258947431101646272293862865586346486746684012906650138591511127689925336\
63931456335902649740890874593341036366059071472800714059365454607778014609293\
39969629040330463990397228611908446822388574496316167205515557047830247230228\
67211068498843383306958909159556870247673896088976544268712408044550393877550\
79260477821174516838747669760262154640089282524360365292103883502763224987909\
53837084269773216997145223796980995796022603142951950432021314797734717009567\
14310519418440682161760003141842716663462968142269831517268727330847095330425\
76556701204706386618117436996953852401396606955552576064717101034171724406313\
68421437040250022994113664544596308931671648788810630837450790520281352159222\
16808375476907509933797544351216331299531633409733602225852510182447977788309\
57902856090625522496303499548115314478457333213099595474316334591353397211648\
90220488866658871775972763723590605623344816784738334288099764213763256041855\
12532713824493925553458894979761408671314140413197205288831508175658982024039\
17570275082202222834534611654815665450773229581450731857406974335077390735063\
67221210974851109087910285353141823476545109876910429761096985954028574381428\
78428999020596110157015289428592615437979628884737813821609093639356619853887\
44491530937108443854339521449906369361764279453498279004568308642955984779265\
22926168755546306670874054948530230579173456649827113928275393808768432649267\
93023638551106093746374287427831882427811008158100404831117662901955572959648\
13113270677557392877412368419182168094520340255067283524088595054683868416648\
15237296179123511349425455661766702341135801406740607101814029600335489011726\
38454573936793696679061757673874973047441233821044422505532453056511392901048\
59398784684257610839997250447200207085522822260667987810389298720266016098565\
67887347027239129209886367162088288052945919192520013708919514896385919052624\
25695649627091634712809854730958980917272348967898774842355319792723221044069\
23375437795498223134836627999914085328073749293476417831073552985275922080240\
03898754424247978538234572338087115107749170159515998865637454780495958085488\
94731765116864562483028133567732818811958755492362011234176688053362344575210\
98202588419100762021258012582545978372662322747204453189238125346888915389342\
56122610047689926029043086476673634843442969029887495480095360849034377119905\
66032154599742949679350868723298342375223741191838479776990031057868217560784\
48024137600847252388964552662984321626621330716239109403940953132997159644167\
77277544373514773675968001281303968711637623457755399889886001535339398041032\
91607349717429531243995817636439760143519379359934028652418858931762074281604\
99936578651155993064807697838574295600824874490370906845991043686492094074760\
66977349305746085110969531015890425250363417811361841182461181619829236619605\
70823034332141120434498963363334972275804916594759469024369814086367572078687\
64199389623954947389407913326541781209188635652755751644937314581344679120268\
73516648982149866592232007819811246223745387859338085850942602506381116337298\
42997259061708390386677393488260750666120505743862844257871708692099371070065\
54771763719715571363741726364084444109063825370862361299392379701906353943706\
50645299935961144250962191002759379154954302687059603663858851542256209844851\
54875032537048868325422239951554350323966818916351357731792500313973973888771\
59767698080176103490448266770081484028544580985305430376691828572036445834226\
90881962580017285488467577979987450472835793683250465213966594543498215922079\
01713362447557401112770787649524538261534363919807563376467581499963067983660\
32574057668604415680347154273303029090330677135294787454222755459483534080505\
96186640903795447653489769449166420687634481388919853949825360552914394430681\
03055535734010495853101216306185986759098447552196619382890237658201605844378\
91257162572559569633985847164610340318672927025705662536047910444800203663679\
90863451181465049375967025273714859533035161346674475101718129519397881962799\
74822508515045880305823324003105820952656907450273835549157138212909517329023\
05304042521433891474086336098877589502278460097599442701070285177580590139064\
31689877344806538894641872546928148100126816418713846684217276805157027319946\
07170875682689603020798405510707866768961448631785067161488455763483161706264\
34648092142902623663500913482562417937467634406345104623482652004807097615659\
02012403257653659792990030910808396585989611881357323805726071374179619260252\
23597979000270500073867242304254840679709279945232916968366220819321212041677\
03605535812977501529112798262491114010933849264705256405758121454411566203907\
79691057626634454659082407491793863970765856473709245705574532415922362115323\
12489677789655816651798964708385960191949573932890548338494025539663923060253\
38308045649608498428974787706002613409237469578403189568771877014691952868348\
45662716086660362521887081857710328103305669616901663407467225121912283946840\
84736209227283171666479426467771821647683168523351488840001224785129246741260\
10387815791452580416751453602254959867235689097487420807123179177686177450535\
58559720113164719447415002088447179927545893860858282391406568087024191823315\
62029413162816814859567875830168178390450041123126632812206015633877126115685\
76959546170949701464490954901065268519958157779063574585025899565787187298017\
46652650068643360332410688731707448396127423151190757911272870970085098853776\
51747067109289773812704053033009237222946434018976478537479361249148075976113\
41529697117884961582535885421373140757364886740459634259380709824032882242641\
39298655265732359941840145572578645466138260942727382479655127511337219184216\
46628513616565800066772546014620829142377759489849969207618469927432975383029\
77098443064067745031195021442221811151420346051791729615104355156752197412219\
30829572150255944032074357422063891789985198900598051029917389995456289251817\
96092529718729471813613364752417827130090644728515806739816565988725561930379\
82581415514822244445011489496339375006957335499643716049353177321684658738387\
14952030628570572121231587174456535016822552852393314173393486147186190584644\
68387413693427010591614030415671790441112707804676906237872307328463214311116\
75271920469974771173498908124212222448563078271814157998143486260243622945624\
31256173304314860786383418074027501296578217817526167457539630374221160670199\
26678820351666389100770444119349236914249820282162794458614298545279174705346\
05018064305919631315167315315563508685146781063248335190122834181486369807948\
93390240075420658896965257398387625582115426543678951447106961129025719716534\
05394318739359810815076549572974350841281193264520684712144623528359095272155\
91319580299104478558603456908655863097610748967880548475712181873059773510982\
12273754055997542130022849235487918004934688521195096373549302590900927825242\
55013641640403506697247211117098302722921086695922606775385405391100549505061\
66850638175591298310082103129045608668105630625526392567155638211923715503186\
75498925579035039985793127805395500242391895448155077394553366058127734226094\
91008262303862689582731944430422946868316644163217868168979965128684508384231\
49082112264556568031472497489716086470398858182169678521886385091161812766233\
11103504316962223712868533481018233918675580209196562506115962093448677239529\
88899158682789820953923139451504719131339160589630984433998364992885119387860\
26602553101980527535308902249006724068216873489688097513586859192155265705153\
38212100137915932772726344806279915425421701982674354199984558575049561963140\
80660618118906149208364411933540967972741459289682606991817809278542002147999\
88328165390160527245690527749260796773260678531091443169614428670789104536962\
75384006457122247507684992171272884313007536727793143788275888414672587057336\
48605767247451556177812265773387287091619699743631149055238146036221622279486\
92114731570206492618666285827140962007993916715949430739291648532131997740060\
25691395133438762422180090008937909775667178463782426659434605853563818241880\
30795260585770431689636402655079197278771794959481813690193315682249272584111\
41315123553344004974368483228824082686936620653102491015705671171002674735284\
1880456253420561552047729492187500706
0
result=O: not congruent.

code version 3.3a
start=Tue 9 Apr 2024 00:48:30
end  =Tue 9 Apr 2024 22:17:15
elapsed(sec)=77324.782629