n64-L5-f22815-r2-t22813-ver3.3a.txt
p=12819140157932089656199761355673326691699340207832104577524090560351572945693921379398846820825526237534640949608116157015787424398517974999489536153698973218879256207907959029476957927713422414933950227809846874205289745134888711948457415365017405250459375020173126349616226206969412162753147381169392495741452579147175226015489184958966188004409695726720466920794092354648508115013138654171033076805671401457876547106475536788966132835466404267932159008173569896003853811722993632697342598698166156330937134643539319783693875799270407089927677468671683553790716909502454653556590906112555329731788196266010210777715383284836742462333496298817773881925651901529316971763873222601044905779397500884382571207802557744939621892079779754529950019997766079356070962662719900282442536552964290267909142594815428611946562335384734157020348022745062885056325362171135632779982316000005965918998998560406650024362559183080549898481881110868215250707299326283399758487049029829430470848090341418068883261495840616779784610947540808783145710418133840476790814469609136323060111840674051634172003558782789662362715743505458384170530632765820847825555088931959141247888563946822229851468380071761261061444920101574751731287389025892320450410260585175495207626617155844836505557010241553808189492489115821883835509724130863720377118992743755806719037432993385232033011494367938207680623126871683779652415669986512084238631443376822467500860528125173496004937329101404502461063488120765379511378260635511280559587815305463700237893435461941540224030792420306998708056365716308094970340259265503390077570703171297870486248644495839964116569170375701838361705285528722492087044500355789101988223438931583854009695637810222474754688792810499641043659947156229504361432695188356323232754930734005938820913542874459762954646397965490488332328020160814615198859988372456895899067071365333885338317498346836612460669011475104431134112739641716471962978731728720965971810952462101814883502165520690607183874328684462726912141631629279512809520481392959582293632926279973162912465521005956169130701213806661940079947655401537437259625685870582362450682778451259017249454457714038185310097677640576061653909037203996197102329653358225639589589266609906718961635105344343225791088404067385172368328072902741625544596395544053023375742353807664543094652883352694133367450241428563036227619717840006172004135709281582920302384065395997424603838132103853493038531150404713338663434705286813863564556067347032682113674559881580521574972108265505358198981606769819307123637286758623595800360024463531725638162176713359616896113389721028453880609789707973049718197767804410083053484841327002591006543819790132982683084574540559169157169665619289554973838724029680787152524301587661376187563354252695528618831347520506856529087261671502158991582263118164193802448811865968824175416653687953765552788831843339238436421742154207921129052662384488066301215764487487880014320727026154770473685205068934443221869123295783082378111919653837504261376386455786861498890791053462172411497365958535815701754630474211243225904386203604036313383825845056410302088882261039066456539123783734745159240787311665185039093965658035449407751723544637795256965167736549498796135818202367064433686562083921377352767009501457876153379193378563356560362385733825882371453811740000711627735601998234574039085983911546561742836944011241405859023687337778556968783096947696760120609437687095000541513582303168716424718727852840423414430518365537714935467552851236368800183482894463907929641040526739156925802760566267486910470330899811861321753616013530198359115049256691513564967531402699321980709404856625599007120082945146936864994225969362030485438451392250307005781782437875465506608341236061632151192814378973067300450868864343124441153127919989259252693907653959230211540972867471038407665159633919196613111352700450027746204546032336788899401618255518848652970131223794766628159070105451300875624835995936256993306328577651597919436885272584980056811494299996426194729639868622028851702843580477587718450254288527282070719377450331353331635161613082649071439623261730901847920944320285875756093317405556058954504531224214140487224993693413872243112687493704763354181051493945465965949043811207406927182436918384436225869104563477766774820323069994324064231646471598397628130290357623856019989648214236779422404741624984365617385850351323755261540386094757154475078701758523784714527800397582225744775039035969183796093715617439262366728425456545519882848536686826763626449392783030147033472255107931390153026328123176645294621240247912091704534371104246615879974582283340568895112442041303288478864736297656336742270741569630996135741173507000419981513475527264564688213972945629612626464237102194634608243507964614118906094804190461091583571711801047499327913340531890139509309104811851916172267508984890612911098015202673408001784298108798410353584619665819790596406649052769894879670844208365314883350667244400726639293510363265243090894121383246084134726743843373637173919203840614994742492567840156553829203272376191637823956362602183323342554304256251542143705243511599737840166681233616588006546938301681225862950877571180219961744326433380337262580506014613317780363230785475246707906088485395660892959083244871964771493652164265702586545881884854808526834035405294612072168159469432479156019399989685188265581288694646660593988393101174338983917135806747516246994647123624268337220291318621840467460083050106924585892331058805446617456065968052738624787696756431010183456749986717118179727322627992177684167864082656884043627177353870855331951095443962320580257442004815291689573057796377198227415117662983737070825048801531227004817324074025009764632586829486331943265632795811055136326321432710579260652594374055233989383438274352358581480478820167458019472683755151067422670147596727673594289299423496362469766349929646446738099018196821016371753089530711517155066028721633033318627476244482675581806673235337136345300126805380309686394658469485260523188988843137286127681399438445949845052904851029599983809139212215518240851012318439418530992665841923287015288347089641452559243561680094026095459818325526606706404593930032005362650463911014847715391267974374115472472023102184689204374888500396727416295783348115713809561044379632899657592374695466850645062741492013769577113864268773040220583719977380979460564086688573145515725461183907131473383366819600114419911913322170270229816678713706981761160299662293441792438178718818696033487357644582336650684010480028037140455764472638667609174683265768973210483232469142804305875098094465354045364040677777382300795205047040425833644387462531330216316645511954164015747426406917103254409360936812822051975780279007635235513748709463773387213593481833144932931306760193950604028751884795620301505869985494975826379246859167201551905081888955600290498270017350177808911710223471541691003250317549309260776970401078057507157232996277036210229609591538570536698290256741212772641279955612535430465979853191743854518582281239936851396387546173006827368596413937372211987549607775846276668439483509963710210232610718353800855627278833774237639027214187598787384040466398738808036424440593593953447003581270837837335708049888259162681442684241675025671120985169833238710954443810195302510045496255297018667904149236062388464511478496993734931176873695348661475739325702862704732191133718615919957598621775649364598262726054428114261012006064107869230627083605224974152980923665483104178128512609842068935758937588768036581755102665677420569561812707707395402189204802616495943485732342188272049591468600182071061893089407112253104899895112457030129281685507400167696106584929539220465401468981391379100289079218587265751760736915400443865022937479779923353415600447250336904685949352414890335975244890159797453351474056342726113751125412255199970732994589293848456875496499313784769939673063862334983089062925113464522446623040541004510149997857981573150373263395378924514624487623402776200030310581621107748646855673806244666741577986473917228764496051241374889663320172212909526215212436489811903397222697894191079036646482232972128862128370866517619068317128600361509066531465152397025260146539861847602437467083519305878098077575828977822496782889741505779938682781824176487987412237421568048042461378126352807767493562524625387604471800455266285259607382485551879139190682383931578766077208057833227801792696503993574425619330387221257835875315799028612444425497375497157116111824960455621911957305956162103437340068345510310263826264674917436678457420656015496860595203665080405201075853508677410203177526686341189112437673733713544385199753175128184849716267384929519831165270386843192753841000792547242947150452590254967558177005358471178333386539005683896771508545379521163702199168582431917843462998621625210493600807146926481967872119342096484254164733030512026793918499108387064884496842293776505864621339952113152924525037830945167332765300214597984579550689053623305728830160953512131292296293422076717559871406446133947895448672336137906003405553733791233260898708982072442784528699139881665517722489505995507031682819495318952378462192074312806465205545787402970769154712206378113281533272179325657201352027068701363275263827337628457443995960682027678828601846331516875761765219171246159601179679114159080639480009874280342014189223452208735502720796739554617153034414186683964178942557308278280712806477476666182398280726291600745995521557961312530213145115320913318924940102515919010550415849974478945329048205073535835834675480045950876392053065363143435535333591713334956934254232270642813425545012191188355349634971669848928743510381086891240094091949450043522574234835334098159376974525239337603069077657510497597125006816007423020719410568674603120908818455356936817537050702249644629356576716118049731140849429746444233875572252565861208901134893977592937762991668358840133430466428994256328144291942460452262964830093679634370455747029629940885187475644847456993886121205535189711166588844996414263240211546607260680767232102759644606942011068639653044346365735190758793616169138256507496459377419483750897815837447598072722568143630746423204105541824351485599398543377215715134080012735850837835426715754815180661735270558552396104347571591316995184097720055364526549830553952221565328924551896535958600227182264984273159961419511572076837582578392716905469054373252635493204608523468084252923709642520657394441297540404411565125396760774887908580493979858137660327583263273808004661084428869265884795869006519468094909028483556537281675490456229443101319754048867170456751154987065489650262393660305514897603829448725740464776555137980139373635487423671360518232082192500051079205452030640338037165483560055537877327633750518021800438103307765798143021701550691233886148206950116808860925003795241546832643008584722985546050877330008636262733455674019686778379022551130838032201683939616641166730726022680848508666637112929475711611561349258704799651542480708705959542942515966038236952983436508227682380501802445846032726108925701210781804613412799718026891096285145892167147091889141500971711818383021496558257055924162474692273116018384969918444251616321843621139477277080905980028106925040177936644100353623939443464752892647914914988894686487955948933427034471394998506632998871970553604244922878529960788898301545454819339038124449176041820156879939175248878605055837074234788797143106790329740004987634499778719298802588787109150796766025141792285372261960402189691362869314406588751931212481236363477319778998550789454346631275796333029475346071017904760335578739269357999128550247672549432610390862476511706950843296481787722802002616791699235843892100150048125865856289227715623891043224222100784432627268711450908835080266806250132551538813883712162644861341268644078062969838230374168661987155281667890776115710814329154086265838990475287445791213832595631576373067987108562420550665908479523592255190349019212164725469683166529940495042285844081743065028335589271808669912086419474317924347358135755672828174622781753315127919937504432128300255213335725766742393002170951159219558395967673784018589457208314423965640373665380461861333604004938942421704797799924438597233222703697054262114805956274900252889525224072144443566049987825667362476615098297815703614996938866417110368804297380448693830115840536003741333591420687104463818220037011895595923617995690732144752558435666040464298854769268176231113411320514831152217879493375778757209394416880808515646482172981360544256721060923697358771322570841458931237408441020447649617159122586603234760480866532214842607104519119350160232987040846101297925098432651966940962795598012080410669119892143748982823955786258224204042072001400418109572059674193993815920858409429687992315130838348815526697660803540561614330063543540686343205929027983354257697519202837653956291918883064745239931859373985696373960842908960993820719257644861262248881695771807198264526563017090553579537065993383748922752652312952254209974767200226036802786573047086853116690907932592889896718438086390095787584748515446037057651830366521229939483102212959473940264861793354953571521004290770302224448627179621400119149602661285738711721757443800871080234094755173244426307835398745423254393083281760994111039837875238346556624133653027691321051503001570364251066924550588477474606344926156657966108947472174285313877828796902033932112422628525800349189034736391917924925567299368022831930831870395800185387784559233732168805246833118286559635048212009496418447239263227771653522873654028946810239442765248596711915815937191234032545815660361538811141574668056140860017511687900538890441940009585711305906979302910625877962133950864142772914694642048110174612191950021309253102941230600986713742755270335803882773635674199303099338769165798187825486080700932507523525414461121603677104325900020560523031136268815292852638354562495960747173761430056091510797410827938893385198799398911215441081022568489210787832301625873460465055932801450139994922929412542471657911635083109876587397780779230518472173101078817514841914363251687739436252516971160703428706105765793477784177676438578482500400711152360733938472134878139736638928752438146480421440027429744531749702770370625726129543214906857045709880529611346684264199010579190974021133060134042782032390137759928563461055109324392953067926631994674609028324653224011539226364969715826044103378688577417212436998956115118559386809402116646320206643003566532295839095209222160486431673227091551451382437222790121035746037488197556831818358276558375376465787218071575973872091157586032738417915137956680947165219716258802438265280583896106018134783976649734484877800637931968530463233487383543719696012303215996190573674806162660017653396305442638334630485041995681150801487321917772011407491713706382485920702285438296573436606230003568085152113014320153482021433360947256493620089891145424746400356416648587977302038156600679402172859170429605769923386545179138011689682090770238015759464517156796089677375539218779786238146907184839558183884614494439036408759236504963474095874591973038786455331928269216257623189881163949805526751514783182407869541563275252550106436726271458698935867944137396495050462761983924126224466393707520513601953068026577266546264826355019616063057426701968312390233496512634027425014304394826022734244331118467517929670606715285953669849523364452243948877681105534720355865316626501661489383957347007163937609299153821218568417363035057286115992409592788330845032548199772933804616636546642954410970139317644150507421365333575877848340842053961039860656536162461872929535648179470138492812242315420472293098283519189652283957208773612830749561224256146467919391758381309595895049390041555974300349879939658120918189133263117997008563097338888927791548508764701120683172494628938040543387244934681890100241190637155953466775172162196734024660452192818796759987698408167489105835556983947753906250000001
g=7
*** a(t,u0,r):
10280950406661535904272208607250008006742870846681347871174320629401961502446\
52494627787515030207204250278204158570915792666151436761141594959060799526657\
65215411634787421831416405202580261647767770280827034971931126423755981807469\
82662847122743959010868418766178847332392213417989468554528024199697852781584\
64496847603453126442232633709088277953657597282981447047686206842810350824053\
72006451685275981484639692169907793933805047508385340440562228815915245552030\
56595090757001840893423268764155929257377411581984118534466522488391014866486\
12199732987469021014015496142096863215238590670226937444489413340534018904372\
77373944390674547914640316518546533043728250265122113546263245260380144350767\
95709274822108657651311441576757447983363133019916038208395643568912055501360\
02651891431547736079486313236104197374678114299297855679393031911424154043381\
51729404612507774895458174320047846670371968454461333195387724648306010185824\
68650916308631067254059679286606306613321923203237620168453817291244375719664\
17465738725797992772864408285975534334006238623320462652733109420969622058941\
06059468541437973092148980262913776241047655674781883199560951813234312312808\
06628285351428340877640817552531371278825921462950888492485998765641001229028\
98931074715651654695898755887745672221372615416797297627088915083607879875295\
27037424494321804921569886680212606949560904752184830864425598597477510903912\
81237367329182691559382417588211618935690143556389143795959737939326410973772\
91747285383436812536502968004700878942787498188759079053524047711525967269552\
10862129638612053044790921662128879309337188422117039433808921299714128856636\
51221488474641312874366087638994035438653809689285342859794555198023130250915\
77590152379842475326041183402071211701527761929606249786902154106177123266945\
44486727629343726613853167298896264111683233716425270721689733213894857106747\
10430511051791234997776041330633674162963193456547203033753769558417192656610\
51430894284643421470939238387460565553656873674759386696146721160493910698353\
75885666821692732354260771535849994936068765384766557973478467768476428223734\
72942875944118019632033024682219800068207054685447588317909731834062475086658\
62461869833746774200144643504783760495007606838199329696295085059182114518860\
72313544861632670844529000620429082393991144679987836867663092263305247473453\
67753746963561911612448860694960695093625707555054551013707684949947316838843\
82950208251202044758993453227818194729050141690198262458009760807463364002471\
85787739660123202110551669970250275783031276308289352972755832486293950843131\
57103980416123831888739619752443961806065724114412750682938556264820012249051\
34579438587399460977913688660889484274425607798724814347168665211183382878152\
84536640500718266702230890186566718039912963244898733044237024258101106618139\
52302740711446498936327983860544731511248975020767683429563947116506996988684\
15625773891997333664313835806922601023720767475274550023523235942917357504311\
89652797714852230749761259198955344652854234639390368832180320672457595623776\
78417623861937541062922110414424876662274020887498745724192807213640317417067\
17531773529043712333382832773524106227528357335333129814437727455526561771111\
14239554784013533604577444304250168822827995117960860645247126980345009261982\
98385675816622791304944636919141620169216675010113089607811961410633358528357\
66190595701548057072544395280258412837934695909706034251775522909701560749893\
69972448984026889640437520528016167287690250501904342938930071413105726244197\
37978019578373275729161247378244977386691567777747153281360054159572114502444\
80385449381397414652450219720538164911278004640004285121908401026950386659387\
91039601849648562285289426950137304037103065220078433657253692274283484493216\
38016584746218636989515176123336299889671321428985256637131936399974961596829\
20318580180480859183138592066051393847530262965586023971177280294745802640319\
56837153048657609222524560459179341046973200978409261166196820452414834028357\
83574224571943302251118468740878108631675519276581531388381988613154005562818\
42859713380817317117463486713906568055154302535019710393939888022071694071516\
57453719713996136922845552945778559081832820325973448692723563868405592559592\
81512634041819740670754444942117925538976375369951220210053203298144263704691\
13313658834035560031440854431785314702185990916895340589910213544789951378047\
02219148977604928668143325280316978678178970967686027832374612251434519817616\
51719755389647995237889013118810336075341051295918860945047309581306847285404\
46715992518628841811619721614950694604452642283506442841241301199017792084474\
85965609749027271151547876695262862346788254975470365656256057859357396149912\
39136253880178517125237360049518510720382067301134738844058900864421152614336\
82517380737286618087994760630239494932642431815596009695581129338762052336268\
80329607497954500245128644400944609864991065758918864659020591052367701585422\
05882271554700608192544073217431007083256325103574864971987472058318132540321\
45569349601705510898253644723513000938276471339531133872495889708534936335947\
60508485623856570134832014801732257834790394078055561710210244457056935348130\
02806951025320728552013513736799251605296302989747813678349360503581250644517\
94834314208660381208653640931894979957103048458956582371988085985131108995114\
78597406829652873200361531847623873157467379090357410934744097972716535564385\
20896395046278881878863894484848283127558791727520988996193533106621796378691\
26714181986510154291701150803008970699314666320645067363753471605490298660618\
57535178856495091619681871997649063782963770797327986576701671323134893471287\
80141312747649726502702626994290821002988996237804425976224778546057781105366\
46848786186393503759235269451297838692436571295713080168913882804405786349390\
73680578312353346372480382184990375022404662193337097890338845670433806879922\
97659485517496030591582347344013774301331617092371631156072981458372575594222\
62001813764408270075261264357645028395541259385045513014597780363063675836295\
50347496927215392359480751058166089519347403833489307016979150083684885160925\
27178939597569052196103474400482349633651775732429690525739187014929648196845\
62916251187938841366185611800522247618626125436589244495251333646743540892855\
87742970723385785364843318856683008456720566339078677437969154480406089225625\
27952120741908660577318175387869218245188802475267957592465585525389084505764\
41421734031867659504320084531914355597825690814342185954552737239752423566270\
36118198694935194416534601893192917647693544843805567243129763283929993724505\
60329159340317535419332492594218856860830955033993848576404982485786645523107\
05621142255809597914671651480755244025252905331182867176121394438196062357746\
06052377544477264215185827987449501268334859497005872395406294359783475168100\
36307471323883285684575783764123458882026464989946256545301972430182236210908\
02167554838443105901160608748180770772836697061275615598105209564462787567494\
23914329796125539148426027471915992241764361846067546745460271431302616646021\
20740100863014183040604146892413933570432028785906452643658306524401253415233\
71584225977857132390298955442935481990281203075147554961432397777251401401478\
54362287138880884657749908955886065537961197482862130776246869385864998257784\
54227482000454051788524045212401356062350664496872179211945543237856010383848\
47051703276182337058823903010620625744618546393577663261305648799674820897165\
91276873220355485382057545889754148038527036696265035429392136958891952172892\
42329967805994094664070790407806706295651347637331628863414511122962921051390\
42927069070077971744955085906711309333928647866794619196533856759233787329129\
67885737915813311125557422516984297466755573384349941837723578173460209916382\
57704504026990129715880190538163683911776934934492277481113490454813251978123\
07588603843184153330698713291211100615115597974839585878349852943931155869477\
01975581313806367420494521464019081575575878821931868663432284025806286703765\
27861660613666462414148192449655385491617797217592656437428465940998547002191\
67851388561714029828210122166659935724309389746072883907396902651242430908646\
01284144147782503926082227267455451520816174691258330955826615099827781147534\
40024600374064829146524572603711141245387390478750843647347426953434947130492\
79033713748993027135823505222241425863752496920177715484860098248331423465821\
58148402136424198775726876355108235910229895433659046144120975745300540252573\
34951829529837144749560858786383965123560778205120753412607069630927271913126\
17039392086238224869703774259620284668934670297055144878437200327082094718042\
92488951487200071216836182854087733897593768420069567467348130992688315886642\
69283784216122851366124428482197353339394484971262834513959282982948376402445\
63366817501433443826259693020204645280424947244644271347490459454685024824058\
85804826356228888436146629773844839816579582974938850233760042825584852107498\
53394375973289163733203110398110457324894543418815867847331835038538233439712\
36138037184011589047064548872263628492642603736646751960875770342631464159474\
86454690803404180242008777707721075836327996526210058911945217890847167292964\
21627324505527483016867969799426212149835213582600614731254094500569075240764\
60362209911319201671018509574521343658380839663940962123524579980752667804359\
88707850948477214971825568620791895152468517896842878191770754843257090984933\
46761589524778022870084760466986198420538680757876534360935705775339420000146\
10264955558267286296791917283429537975720867140587318207898512280295673360017\
77205392715119309612391811316707949362862782834211424858637982884082894849726\
49230942382487372481777801962217767046461433511679532114153896660468975740339\
40973499685260286642655842124103529933754055409463546127189428105553636728709\
97773330609904072472792188408522953256316867745554617434589349051045363379379\
46723820333569241948757661400281323419072894255466437953262616967276077031702\
96887240119626332766471466320421499274397452632667588437496124265664827556820\
89465578206895387101849700295360859193180237897870112340760533935751717221378\
53282714897793735131066765105509117763212589920355467167660509096669206839222\
14835560425368712423911864966037902306597532014641323497476749287704900174156\
57853196229885524801676488817190121604206904259682200483016329736543234996511\
91858631409692644543129891450717631788527003537532170214152371944012226035361\
77489071168698795902167568675241623623013764637148440235029296410426968169539\
37974906210218387973822001765173870742890584482808056237412278709589581861816\
07348613665550096035821403570844815133301567230341920627404338075230568202141\
46010268155617184622640358272177714559401973818971195315123960628694322861341\
21170408438123428999037433458960133672584427471914707063144262996265226995104\
39715565022947878271217878043852750797220660071777655660913784431135622129918\
38504096552277252857355110580671781516454137761676226791545348395135885282817\
01107034046436543695766908619739936807064618530437837205597796928849478344079\
32803618666926282712231450563788796259976086006932101825750519572546215718042\
27019004050395064296456943952071247220210548124932053706952838217955343989780\
47626660362927160795986012691624455615685182463393584123710470072999570653738\
57566659220687005518051967695091483779312878343183240239722158851178304703203\
03904674474587459228979629011858415386077621888659598254175388222270518856848\
36063994336587318199036277618210935385633406710446084816460587888023196650953\
20383990604428148581028552696437839454765109908575808239185539765817711218549\
60064125478133353630061530877164584445148400008286882253287763967620726153893\
90063521637174128685540922425561324730211901540841790488324099515635088104627\
56837733142385998283188659089639227548956359617789134148894025115301097298633\
38464495353347170616238897457632377839375368720609866694278714680146432033859\
69444167439606279303606166658261248291149670695065836288857343739786126063063\
34128734737154441178795697452550606501810260760083266913698535897648402444800\
07309198157718520287036118053152455349374169652425120052566106706128163405860\
05779209886626599134081561098266858995570122770239132469535579381527251425959\
90553269493308418402975326581224876049608196047470966158732591789878554566896\
80468109525206492739918774110282969408583356607437478290874468106816802044357\
96796351304127895504119610318222072478355393997549810446083650375182160743769\
32470002817399229705859843739972090236185224706245308834848194299227544970866\
52251578104649911985245175290410987500054954031939105777998221246968354026793\
07416325439671800915518654041644523676815249530773373529558790528945840787393\
53687374563281934322338408429548478702731051156493890290860805281734600701814\
85006285240156969839901499296161631445579427790565495883630377089782433371882\
85068556067585732409359289429868774866521620696056884893566341534992866842248\
12540579095811641741745123135323876791858703583040368528444362609769836734932\
35575005241152396443953041469271096191963044725115508044265011467341040067579\
84729461189442179256824253512179365284919165960129867170442168446311787323236\
03120008989373008150303539706623970788726926693766636047627154987707876399763\
29458128151583483158376365619958610816193949769716818734528485682164296830938\
77217202367679539500264114654479747934981000924191582706727643598454411977823\
84007798998056362895557981334351162446800849469928298606347743993648942029898\
88398979382945002325279197231727705394997594115393841255518972820843948330540\
72594321293556734895719589346342886307776396888193758726837768217300186951154\
31213554162948077691880049605858586318175790304974093154311208527160057431748\
68100321650545319938180796016086582082730866603161612759468588910867286612534\
46705312153418120330977293745629564843816273696941017441596099541265355428837\
81024969734044373696232190134435887687740467337397400934321954125631428593042\
50387758510292258436003897794391709002098855886694199134442168972680931471398\
44558107078410856696928709701466360398367221478710338673823978195261490376693\
71816489539470971287589864867815960359121760519233356666904985391659523484006\
99249492943711792679478374698009992834705184150590395051529297485810676301227\
59281893888590622696451313366541210230930201849428758146828270652116469032153\
19327853567027874518610870884149822296824166369182910496503739942965321370344\
19330861865465217226806878442085945539347729799490199865511446326162183724183\
23558936583552993506593241847483000407798876064845111611649487142275023111899\
76890483462707895766197678163148360477158859729036440716371885657254459544705\
71209248737090970823908860437447316280432508462822114049755034880572768886035\
89012629543577961727101182019281274242640087146526776770706683220655344405791\
18323337799817051925561348893403931045417108383998256211167940641258119626506\
21243955955548875502828467702654409674927308705687199611162143876143151325688\
16020631962018671792289448400871945424533341580238369649959443736490036805362\
82942792832178053153148808354392518753708403232921513851896158196462861604291\
99463748476309258118955547969970788331209269863064661308584615216755779623460\
15937448805426330546845438274785560092336686853751250367977308886390905427597\
50463921255182453461388562993819562241325663475460824540107199824907676980706\
22489142276237710673717620647191143861379828469348774403245471485611229111137\
23337467525451853622544697098765465660911981919890304711351111071492320220477\
53431451908766360557314967770104390736725732082572056214978586536967264203132\
48999486147212465047023286395355701094937959582658565933484321931773829069964\
69999002466388457254039839344543325144859337922997454779626579213646172918707\
25154115943465025912493416241337716103656217892911302542510407649437598051732\
75060870695193499752785403436935532727675396824654200229442208948758983993505\
10712354183369672187790648233823901011317336814364374902611481018534294672713\
52190221810295907829610813327891388880603711605812976387684877020633600867604\
06578892008882190402929029878790434069240830851579657043761487586039343489099\
90746803536880740817806877776826586406750015101341233503262628801167011260986\
32812500000802
0
*** a(t,u0+1l^(t-1),r):
10127120724766350828397811470981928086442478764187362616244031542677742627098\
19788972508898845216572765236635019041176404247206527482920024959673356142218\
88429146124042472876332867967628936037077978206799697790306221788986565620824\
39281358138363750147862906265936769816196818703505835608574986431123820071635\
74753752626842855223645611758328852348365962410916886742733296017232141086037\
95367951161306764804071517224722141156740632832449400184593716664056164571202\
17843044511261164969830900652971551263501440336368396062629118161881423621601\
04286520025063000749466635850693917630970681582891871048811267505014806651439\
51527950210265452434620760660413667212650022081604076934598458548254755657240\
25698662231254164020618502301294743026006078660515798235202691296060503548721\
22312960387684178931164822264990418860343778424495393998404607493796859967919\
44970361151971498961860296400047130760092088627212535192464217546336344198006\
86077585890048058766467763885809204768733565250071969991369720274417776581714\
08725602984264855723893868511123032573397666474343099121769521748835413250079\
09958828114384038332665454373693121234947191998849984697821885202562477215858\
31965517989561582660020256691396238541486880244053867717037330454933155824105\
86228864121402502755311742083939003809082750846969906640149928823005268206338\
23390979240042675670873080395720647743333060790805506711840676922702286301859\
25408379289344546548518840267689749325679817218887061843900489990109556944240\
15561540464981398882590205391164207437409131632318793581401493381677698432601\
20425289793645289158833950265688048197476781612808555053253176841364291517135\
71652089644596804452305747175567690768748765155281073390570696516755951244667\
65955387007575505620414632029471642449135825342130844553182919880149535387639\
52798646916685216988708232127341706543927374857825391359270435460070993908142\
40947760262986378613769417270823694000923843928519065332500595949064316956012\
85075319806568956311773065244506043375796671076134557967526071966072555426059\
18889871308151195211803004380700119700117611787987008477615947053736132539589\
07262932663158647767214575435104291837760066336039394976494623627069021594090\
16639497716533605508870658813939115699571084042615299825527577552062182630797\
96917332220311483749598392132342861709791775931658841802311524798018884668364\
59508054989044775777848628365360285690728564798619819577093604875883267210332\
45050703888341166283796543703212436204425950043960881972353754411341717658295\
22159992932041558188698029023064486120442279655297492329771954693481572526276\
73456539312640682284419326190063254148119603554097347929577879612478565681733\
86929870927737623656548396561225302464833204689516961763420505631963681388704\
17436341640358392387484293325919834478218504941982542524871881750498596294676\
08876764541200416657978936720486705603349987863349713103934561374115371098579\
15641348347478670317715623799836477317630182425769195160328374557237796045394\
51154252113133743506622686742113120044582101452766074036686350787084165265316\
28366487345300071620584123724932235116205082919107243294404386158074626882148\
46446510084718868757322241759456413865021698622086250066590778915044867580022\
19762154961808842328698480050321238616002638582530024825118741040489472963798\
69980902612384046297888108685937506151722161169562769065051682686284729722447\
07344851127460056218591112557860531349087792729012178377684118576888071062862\
87129968450600053386465886804404952814557728050504277957300195032859755277950\
03743934497400109508774794799019366752476731352144951486626487264416422016123\
93397138418084735131465927156141085137044418535665068885670370088891278629571\
63243498081324643647604298367342232156248655266660801233454385157960040834963\
76599877742534567608125921617750220589576488689399442323359388723167356186402\
83106830851097105679151480962818704662779186711736856530212034205547611079616\
53243579686333555219195015913655460632305272784218598904358464036667978656362\
45665383306527691743620436789643024711999576344762356355139365342134244881080\
49699717669383641549621140279284524642857729429757570088793655283586830818576\
17691319917776743352927664373023767674124598575460130258418473137207503892865\
74058579667129170984907745017796959072059023120026763049803030680216918113099\
74461085385147247412516552370461843659260514743575210805522529551601074300071\
25627341262229293825228462557918220892470557436997458837376488377348217775457\
66656616905014858152035312174389233789924476962314089958338372280838415655198\
91403533777701726971545611067096070745034398259314326489502029859381615644308\
15352657982208907992173095497827507797958505524465821531723548265451799200038\
39049427138829212629597898303141675148506026393885840008486947235527070530331\
78539564566653900610368903862704739397490674731073376134051237129204515393581\
48953104642623510216523228275244690515390201932102123541928013630137760913320\
98063584199767432010111992321409595505950744179331849535997634571161252751688\
21695493996692460859875784702712307657404504187318697954204180635589276440646\
64341276362651733673961710340858458465691285937236775250705851771913938809255\
26455724825440617900362438718293527142374163792893731678174557104525172081258\
32816843173119328123237376977801788237046643743859975154452104648695232052544\
48992458099034625721054376757634488521694799852097699050433712466890352987361\
98887970182743537012845980851658533255325991851298729809218068770861869250830\
54992772779729453728733053783512577122766317198640403014171125396929346560958\
44704228549415364563028277902921147616635135822804375804980449308324895065233\
61984584876113820370492612625298938394465470109557975712241365400730233258403\
37918380408043476271565913798659965794295375715228595178855320966933380568601\
84797577140597435952942022351798499086907335576977939318413576159155495555036\
34851612916236738363279369578267932291835383420166569343263909416601414862139\
48854654456212635111541644442069292309822437548860293368494072926209855250216\
26900900963217157062331413137096272718559163377127871001762504446522517801908\
93355813319301186078456040868305556372300377591794832313383987209219977650259\
41027229973156714063948420601511939674207779420081674752180241372727428061541\
32564771660192980596292047252842364938664897017296951591016997555512232528982\
50725904471456161915313414658873668845011413909553225059909990729497976009418\
81200959956577869087796591995277233070177426113878213097377384562848397278495\
74231143352866338639728597874840903917304115245145134815551761838285155913166\
36733211819016026161187866769866455012539220045954040368279222149340960053933\
38454741124799977995748883628175365062281540164132749462762969583759213544413\
20176282119871619364085790660953997508708901499544437895724404668614645115709\
83395140082129421060866420416031836055861480476380975898738850648184497015732\
34055322097718271398898854003818963728854103090283960501874208922600501469227\
49242294936333137066404690402510765425179358925677508639543160138066168516654\
30654214067058858606081391577315470723991649302825558090386611164933902990068\
12408402147764506968000217955011260314616147667539362119116701052404747016419\
01429185585680671919728713310660837624674995026759455502786816477348314992082\
03042033391968455003658348775308068939223223132829203961891495209359411724738\
51833972055092327028018557828416825858165401061005428898293594204168464474764\
42778964892868869640680126250505956297302193254425658340673052615367384309956\
37706576766502911202762998032627553582998210266199484790645216692195396048127\
72958085492969573165230072152496177523445924956069512674889958653110588516224\
99538320390888423677294717940670317953537285503287349191772601941438361388955\
40631618679952870917138841053802132531550846132479924202094335984167667160495\
29918948922837258268393994389098216316635065336812060902613944919832435332776\
61547018999884077633654204434632262399881476645045107536298633890756816079768\
79065725542140280931642234457889968252341720451244636640359710839636972732832\
20202739356301849830780544278879487808234935036655334522248819319802394535948\
06751214310159823069332867258466093143946107239518804806861628340229360481985\
25710017824826951403683805931336410952438950720964047981801081412984548919063\
97053159428559216255985747039364995551576649085960592559899598025164369748128\
49048924797724584828957895661515593976410994255100556675630387579535444887198\
18718136319914394454056207532722359660365355089832163585984519960639083305947\
22520099436568824996341623023815492379623927100590479369034149948123260383109\
61429266427541217283417187599413104462717053680617154986539929531451084227490\
93184774975981362318252242519870210895413520108849924271855154060510246082209\
53939882576224963370006430780500835126603127585123409432066662056360560612227\
55343906261123219282488575463014243709598342331922308833753658144902784494917\
50849821719324737343180121215096335768911083916289944637646071920754618974280\
25622256079013909410450116719561429562578125875250541208343963305085856216939\
08103747798864466821928845871695324078178450443523624115257758271532745837209\
14071803440606872298411092445818837404451145548945742690387449695074276109980\
09583722979977767232050651575900076670973645055502942740130197237898513173870\
71171075123811720483469076322226430387094924112850216672691890681013842740769\
87458423596726481380756808938801866274595458601898331851794523145284466084931\
94650018567370518920780068147019120948652724490104714942942424814755089718720\
74803317013646202735398417631171172065662840946417737703645893364620307894368\
98868384641103521521950702680987576018334828521479838366809948082008093310309\
39362923630119234972192163688331407291353745353461597806084349380782260618055\
96310388007262116276191806537073732010586440796743326400655343828336455199139\
37545907809874939076706424571349433293101728755384645864186368334349252936465\
51796657973198008585427005477721925719169560573325928760127104949969094476170\
20795270303550318965662422984208327634180034837054100684789054624992339906345\
43757287742215774006911152660040153407653299298105759429491025170035752372799\
87182160518754716726795976712181973593780611336118011923948418874422532590503\
36289308006994469567736192226409222029081613921632092745115836024774508288334\
68289674331243378041237673623524849268000414955923210061322161889987105446303\
99272277086374125639292243458155714042619543719884373797597436613762225503660\
98503959982634072941794739893375757963695214141419407016902369302463553205529\
54869582039631640733539786559809730617591319341608625056919485136449063441012\
16144777859024408792875165879077798630832368225669880672004898873651515037979\
49781325020096644525236374604212600500426056986050646608334124397817368237072\
90991641356769107025264493334967173478559004310105172035064700374809403344932\
07504035257230710420586704936073201244387492308883066290923722234610161313498\
05329871442250460747700570834905922790001307529982408219977879767819311585813\
80193090706822647559429982475552554919427815393362045439330312297146521717273\
55791787032184664331921428581217313346591437679172471855975987770803892458761\
31702071928569148414998690805964239322183658536260513039565176256445961117772\
41243966065265254812046202592421785767652336522586982281023074180088355006895\
76165452412623557095877689425646070018704889391572422220447078174056994883927\
93629121603371547851918527828412268023254851996574073572324020488202400691088\
56737347353489074038669023229658220909307277840118314849073037923935151948446\
61409799411128864548314974305436436049460394023125482518824605404514181622912\
94451598620159054440869487177298561766667583812051140256578601767271470826254\
08855123668933838707879103093285523396104144760665107204022792819311554695661\
31405176220878135644424849116620422061230101358206726544239631667475911853801\
94340264684898953428739241471354596197017755422820462179797134107769376047157\
15662968132608489440459602228821669746172201995593242969852672517633713131411\
54332003172815001280247547708217505892775054894533472370981576431223502606769\
88236378816003757251776101331210497015586529910834058168245770213723851155247\
28849230548271384711160234412927246981534257951997585118951056750628501381357\
20161853522335572649047171505141578345113281446228937468567119456839493285589\
51956505648704535471639017645131467902619403064918142459359206728670706967054\
57171199782724927016994110417179490382277216356525927655274405855847581704469\
51719135539493055446812579151402344295565353722234281252641639382923939752077\
96582165956783943545211641761719667960952677218592225795949432067166102521247\
99766865218195421589335838727360720916655274829962809638129720913429344830964\
75255567755266840615364319755570684341655546077988456044972565961257010428662\
65840597622684200253608277617950538833606085224295435244286047147935616964309\
25071143997121193236881106330306561927142613255114577478143449453513928953362\
29556426609115203479704367532075019939714221113268393210684986358104017024174\
66254706159176211487395461689054487001354290658980791851183682135394403971766\
16539659727686628975984783501537327834282134773161648974595327232280825880066\
08817856907420139270719861396218581726674838301840756608824817567219195132720\
23692755449459895517716521916507482379844128092408167504133215015933897085387\
57314415471900906094128186102415733582260188380602688153384934856586863096783\
18996500888437097053579259118534772147192143829377973306558589187614363068737\
12405877583428703949648972049390124916637597932260685030176853979634847495526\
06806368813876535382275859337441749615160691198166500738037225357177612682146\
45634980179464841335614499816344638211168808748750217057331901794993960628307\
01866828679800891597845463914024134945903810748857111943716856156608018439877\
64351279413834233441425723449132607572711931666513649299394443590085821182672\
79060260876721800703794363164051683430995132357217477950385677666356528506739\
11721826174494484776276409805683821340037537366809435850774242860669049124174\
61016242813194597652364081353584300104371808990267271529744312293529954554071\
72577430705152513986019845400782910647652238751828444003376739418691314561059\
59891142359085526097501917156568025040442468155921095930167498522658367251123\
46968833314154639488407216955708677823554976847449500364386477001175316561810\
36497981139298655373039194475371442613571953293762166949818008226518859279432\
36423391397764170661108056183929638805687172183575608694766951175058937978055\
88208830343565134233536366270432923662039275792941132376476046969115988828326\
07550257484166916397615959782522917533094366191557942767215059296324797281756\
05137128852152855067842810218494023256465921254060041956182393696156760698971\
36503038481116547407971902276545019358952014492965863350152958985777948260523\
57584445392622957166127792375432647934155329024305346250396625513906595445503\
29995385598497195406369905532030968685014139461830812996842843580831831765881\
09133174984315039889011918453828042163877354805496254293014918921702818787270\
16928131292125079693235514833262995987101400488554965628156915238450206861014\
37145367277165587446393885582394753706915190292348488517084880324499769685538\
68910845126675982836031128136056676023250965268845450606838762919796838921144\
53574092765870064129971222333268084352232000611952034636613369667871410221693\
78349874495145840850137544523721593356758685432310898655819673000597173284510\
28941205745542923740996040571549212820465496689815367094554966788284462244980\
88166576130047191255796005302158358933916443977930507590339918112345791727271\
96133680733724290811336001349363125766133263041356595107113463315187626690497\
16797695256031634003578302781367575713077820617705647142871847933984666410060\
93887890086287861352494350018926522262922148991866356834487961433316206178140\
94093216714291821731115476439801598253043261949311541362921533671623557096563\
19489121234580757089018132829219697276405152329915525369415277863217636764846\
89772225295532332192411388533970627075686105202927592349839869317919054060335\
32032387523860081354198794817572323268494403902817424523163936100900173187255\
85937500000790
0
*** a(t,u0+2l^(t-1),r):
10319407827135332173240807891317027986817968867304844184906892901083016221283\
60671041607169076454862121538596443453350639770887664080696987458907660372767\
34411978012473659070187289511318093050440218299333869267337352582448335854131\
18508219368839011226619796891239366711441062096610376791016283641841360959071\
86932621347605694246879389196778134354980506000997587123924434549204903258557\
66166076816268285654781735906204207128071151177369325504554356853880015797237\
66283102318437009874321360791952023755846404393388049152425873570018412677707\
39178036228070526080152711214947599611305567942060704043408949799413821967606\
08835442935776821784645205483079749501497807311001622699179441938411491524149\
88211927969822281058984676395623124222702396609766098201693881637124943489519\
72736624192513625366566685978882642003261698267998471099640138015830977562247\
03419165477641843878857643800048025647941938411273532696118601423798426682779\
14294248913276819375957658136805582074469012691529032712724841545451025504151\
69650772661181277035107043229688659774158381660564803535474006339003174261156\
55084628648201456782019861735218939992572771593764857824995718465902271087045\
50293977191895030432045957767815154463160681767675143686348165843317962580259\
77106627364213942681045509338697339324445081559254145373823661648758532792534\
52949035807891587234244088251335596751117865742529661902571829016171317054426\
20194614339142227812098311918342086338192725140764664283974549926630624481156\
10793721613050665949981158658085046819132089827869150421554686293988034478789\
83471339599853744016280164511239087087302290124444160528947857414301588191511\
71113838182152439979881172754850621606130070822786410227100519868339925002477\
80498843722909217752447821245221104014625746076475101095331962662684020236771\
92408747807508354020139401091784903503622198431075240562294557652350822906398\
27801198748992449093777697345586169203473030838554237459067062960755411581759\
93019787904162037760730781673199196098121924324415593878301883459099249516427\
40134615700078116639875213324637463745056553783961445347444097947161502144771\
14362861764357862598237636993998677125818801772799636653263508885810838459800\
73917462863050066372963139677494921693866737537095337163986961935962097490876\
41162598021962967618261652742450637565040986867070085634000984129626838174725\
94815169957191195571098918777360797444349993244163233872861204968463329245971\
67425084341917264377792680608969634360206189601757607579423762406493775588516\
01694676342143613091015080207046723198678525471537318133501801934497045422345\
28015840691994619289819693143039138720552254254491601371278725427905373890880\
71491830502314920308255011685805529726823708576026777493105705105988308250515\
01311715215808235280917539401728438930336577820627780674078309885001734199005\
38159234754008019505915245645559237988223721810122176010971293552104903461210\
40621880278126999500963388808694131950243413737650888739321951289337247869041\
24277434115281852560545902313165900804922267936046442531053813143800953213391\
90930407991096908423506607086798037048791255379596621331639912477531740050796\
85303089390124923227397980527041029318155022013644849751399464590646985318883\
37858904739564706423547185367732401374534334251818569600279223465308893336529\
05486869117682477556708768977442648673590303470250669743502031091720515729835\
30902031845070057286032715960857883210146421704879498220298373992904933171651\
40683069117383598703930428958918970905973381114754359184337540508167218985759\
21536540848616567284257860523051380045245276884147703730043445883361037624025\
02132527122225584532696292861637434854836401166089089180967908761465163666841\
97988627791729541944710709095836072007316667708432841763203519053364345407779\
53370761497139654334862489749732819714695029613881710215575073319176862949435\
79621517512826797559135369841859566143718032029048315831418591817045350530495\
32735546389238622723356946595560311150640183026956926731656409556351547871356\
68051434888297204877992976728686879611594505009536325146692644430908945733252\
91149712308675736009424073322562078908228445811335245470226446206692909884751\
67394319663050985315325025088967256933759875763601778301299836551205114726274\
58376147635492383092216119923198167155705713432432334500115746452626100102588\
98026802196257638186171929947116182462917359960225373036007134543087170647540\
96367100906448837378872040960916668124606074350358170081124143219956095328156\
22985540010806279509352438354915611646695194879320053691724543906423955192955\
85544107203860620521638249251914350569307203289554471929176119033926836194516\
53618847690731861941391571994621700983995692338221501687389185257833795387380\
89157960565515843249147225486112719613351077527946963552951889271644673135338\
08511834779944797457401224822123183816430371086726668085963602391151436571940\
63173733211787247752279998432369589702391281715623049938293735407925186753447\
32836943393433902238152093441436359977582720334635618830984931430107352487479\
76537813502958773407848109728713174258494463127584242852068816976771351309772\
84550287939157779250049590916950707677065171113260258325086342628342684482848\
71894757575290756214926282491425682721026837788961334178393061353345270285332\
85338681967545644480007706920418277887117149637730734176372081319240078230757\
35998644012307435070188320620121219316410523899922338905821694349173081208641\
01398501262162718095368372893145720595616991696576553792937399190561778160656\
44644534288205329432443175057883069093451753601146233451149058157630536685533\
60742916433265023383845270521331042824545929540958889269631976826837393072801\
34680494715533703035755130586538791655119877769866038542220631832389668067107\
24081387630981010631152608364457306916971870190834201416428523263773887794587\
95901328605292323977364972143288344006278993847426887533320163048253384711144\
63361453667810853648658091785450234803705675510422896609275249468815365777243\
40288603591457178816191169336538962416970964844091817926123707222277130982815\
31209145918214951183768085538433543719544463947579666020783311492975477000679\
35634721167136018725515332783526547948989625267588405078827986966357065833492\
18388506491634373191744909600274824604730711940716136931019106715247569100684\
51537520489183986556981136757643169336234483669524108899707193711629553399785\
97258674809521785242819365570118105595233149616696640725604484224361861629850\
81476927550690107108450957666073636229737756989458179168846575408978430138214\
01589962530452408360736102897780921080290902243470675350024263645341203177340\
41228146220642912733868649050306957322903888781003800628436422569898066890400\
47412742538562002894402343443900213765995746622945396604461000651805274561079\
27521401400628675427960837319073377208241348996371231020326766782575682681197\
99535554134321751840503124601146364588567711118337576706942752875681671009701\
94195613023624314526726047434271222533832345554023529372162959724928359092060\
92582338511073639668931361739267298945910612576165056271939549254611728678362\
93261572562003014149234835721188549282042123656676676281976230364268091021525\
11378181935380288745873639814916537409197466927049603172011321958463064997743\
42595562527180937842255207867192372516282748096887799594611882612994169074210\
17023844152575450984740469321674677843132524837882923024459055244980160048625\
95856136081454839566525239306171575716231832726720721852058662448551410002766\
28401350302227139317401900799566195973833247556724879701571908044773094138626\
43485815565866890529397738501601494473814631980114664881606834730654802302206\
10419314964355071389886339345265092286549328594475895826944831285764587032355\
84972592297044532987623098661062792345060145354615589999211322231465672048239\
36972725363749444415565527909254071756833457134995365800868279072474648182530\
02006017573270877096274893016739321689735731134346467122283829949955836003652\
12082721892286939867204600721365786369499479366153558945215696559568654359764\
40060644381548007784774681947596739801436816409179661386695654716338940569531\
54763550863067074827567516638605047703328003423427271253683923484102440001820\
49917376607188174140269567269702791115033691554193212493067861789727386313921\
68603246011374298582234764271804823818624500418197542563734013338547546683349\
99528852329101479855782944767960533441796458878731996216100223304123186895244\
85423271471099102262419121528506396393684620728298668511243622786741814093917\
14010252832317832323437021599799366489359633983942900869262707048499319064920\
90669215248655574838044312068571482741262356096171311255787962921821803301776\
25253872752114784700190931667756391256312947104932670587550181357997623801430\
63308536526158223628092474972779138950389726186866062074485315213557908982504\
65723551232735563940323008580130597818880402159524486826346408804266140877016\
68420056380005305724561143351552488843324893135692985583761638995755369010643\
79030514536780270330708857693863987713890408294447348649753275817984137056070\
38766982460261008956218156910439178225158723201995804649008722102017866145108\
81042426554539108597028760666727513775865383046881667611117082795675772656902\
98516204771757635696482189137828055836181230591014332741470755701942775023460\
73056831644154560280760474074176660405232638316050466969373175666466206461982\
18092044904643588593914691695433261343811916342841043571540470883817903045974\
36587381006790908242416748349032281457024486296871084988221001432853158478949\
64168689805991478140794879567532142232487902803207969024137534146680819270342\
02805911640487586331640159738092143687162768306159846647386005263948541588565\
86821581817833335221734576782525314803493084759229455550989883805084196347846\
91376143699045549560271761733046560594354132923464033207465697786746480756373\
48139066260564561521942283876385258567749474482757440193072850356722590424439\
49018298464492817666770470607514295950565685630486885975531679125507783055512\
33159885656233413811732581531096392663204425647503003356838379094588760826983\
56633155182731654135896519623148992082930288663074115254753403763441561550136\
80664071686688225412105668216876358852102412575917894102202880078327570455827\
71748910402022211348190837029501884484801762184272151390858831891025492070069\
88244168285608288610161562964885346497988226844194727417491453164485416673556\
22750870679304961168602945907515827418658650682934410252359924457518506182626\
22043269689279963467886399979513101018112319866464456844387261359593153836008\
97842642767114466731828817233123398937689427068155218542539756061371089025887\
70468371572029709861391807823603586262229129202525244520025551309925944392423\
78476640729765378580081656370452693541544375217296523975903726067455024817181\
64017679292630125117487698172647016965624020093380722176846797645877191684612\
26896545939492571082706224221074145126886074012195776567376055445217176826164\
96254111876038888466547211991821426584470799124874516916700754935267316275146\
75051324697483064432783493065948440311330446280551694452002776219107020033645\
70956250656952191500431817585847856595113153660324615922355571391396139218234\
44825808304947664287590822794784730688615325736371949169697050829743206872535\
26607807471516663891232843163039509689060563445176851894746793527137973037730\
11647332509542443194553408970758908282228013798332304729396930018950792127279\
85839479990078434762255113908411501727920805012931392262607465734323899850078\
46672712519891260785815715065660602226228045388914087627494729737978395640919\
36295651417162917216618435063132744091129567925690181586713665226288351036075\
34727706994884475900498170020096621544070401504577232186903553608397362286639\
13966502391427897246708781237627015471097980973039453046260473952725992424220\
93833385510749038177016048088727653587169413332070140885111833189298482949376\
40229325136464429359192409542885366783911685561210651731788485433314062078874\
13220143128283110772322897954987911314682649513127179816122396147790313567039\
88745176388290929113379721258482840690719775451205772899660001742652074773147\
20553496903944400038733260639386192713523948341898031972962239274854328605632\
60164917654282309604657926040030949490566020985090401044858031673478101493638\
05979279229567676825929099623299283316626680571339311418677975549691067863281\
70544673525924222762636674761568317174450875397739613496451305269311129234050\
08006312717983735512239758486494723622289391730707727442764761286810024187948\
01294703576067805378076277070670240199662226793675154129741641410072535787465\
77384688745939126119853324325163148301177354109365311909337366712979457595471\
85124865310393765258095407111625737605780892608818660462961130144390775353929\
92167501899553562505589050855095418149249995238126660454043576373810914669527\
37443964611379502146035794181309368221560398218709755843294829871913789107687\
89875545678811115448297042382848333874750504563997247305886415131757179311732\
84407937870484253867961127336578205508037726165021816291019590898833813680324\
87079649899161694685015209953570115255025250628077286752660017744650295828431\
14348149947008671199181451467960584855810384785417136000256790024041133161103\
49765096304794602943883228757895631527338124673917882815885111926564639029687\
59618195962624319130290491675893618088573727636685834265954402710900572255493\
40598314097234450495901012838972814323765219132137436507376250744084540700932\
90681144879595227095915430142335019662936014742259701219588446277914461763177\
80749599006571978643204181760025938706948956686897808242759068729151344645991\
62641432221088742632237243670581076655561096627177027151002996776716521815061\
37315350500215963269281097172962795493929565081675991258379704319655668619149\
23716657018315439588822370066022068050621381066764461685002760689835618108591\
32914933021822427514260251203530922318294389433961993816065910387429689676077\
85193392314096908759933806805761707716497601255118338843053831759517830445634\
93219632918684872869056281451976715394874786769063379430456291799262032212563\
27767177304389949677091784675411995162949642506685564379586412028909600689823\
49516551221040064696396310746373875422809248401474877951195153666191915716490\
80917508503351612352843007022316763381468420500280882813567437002590516736269\
59129581770966896846188662419034506528552135272805673700993463684480994477410\
62417608630246183276161784366260108415141463749616263029533055678412822572477\
65039082047006857690248799433764571270791673925922208094434805851073014835370\
95342822880000199217964538263371340808326802035162487340870121134079044395360\
74060896742493586149363006136327219680938755713060267801345845329289077223800\
62123996550321984430482085601178415967267044030638156870390028776634761787105\
84981504716434238391915774969478086989183628619643460474337755601779990332496\
13778412629492178054958710547618658967033381856756354426421686055128162468001\
87158833596280355087003636534459850110120303626032662951353523466702290295734\
37526943552899040888769334118082189609413142109840258813238593775404588065233\
26395197294143806469183030829533637901166165339777828741616468015152872308547\
45097652772355302725385556254147736417236237206692085228691540211332172814071\
60635469187491516321958326447883261688692060994101940830700416026863689363112\
20852190287309071117727921708260283795844338027114668023424309051185386495596\
64717904653829622309654220225671908738666785433697959344903496940046183833498\
09584365783028356815646485242526433736950306041785156225233970589216106954469\
34554013449572219761394699569743185215790790930761228495084491474137964692670\
39207713651503783494830106668655036635193338483840580519270422886630838405637\
88465332899554498864715798843338374989540856643407669697754858188260809475759\
77243221115323373889722194606330251201300817211712716392420047578300830962150\
70354115847419909352858166791437785343863708782851161078180770827619678447346\
14867138550639134801959441182329476700885855530627583287533967855261979066751\
10365496954224695514758983452559311781653351424787339142252276809987591893293\
35780558687219654955558440214995385817629512263742673217241892153069415846291\
05425407540135905683708898516640152191313917900972185748287301976233720779418\
94531250000805
1
result=O: not congruent.

code version 3.3a
start=Tue 9 Apr 2024 22:17:15
end  =Wed 10 Apr 2024 16:54:23
elapsed(sec)=67027.347993