n67-L5-f30235-r2-t30233-ver3.3a.txt
p=3056229039023189263014228410270206853927006588103945059961692547973156986559096481025617459501934714077007256917119775874004784529997524712465813018417061471862649057790854986762483430363125880611470377206962528207761617399450448166150789659798005058316975385958664193461047493774402771320523240251820846601622606676632762730252296944903838686592874369993996194095616336408248023598357472840948674261007648326797611341557042348837910593449973031704426278925822877839072307007026610307445662793803134932608851255205584694044785703249484915324775504210132132335357024859032592240006707519763344728754220138093153497891499849046062028823739793345763270181490796516197567000725455551937126279323131875377317199843840375397350154143883003475906705213862261936902480584956044015104470866897679801318425709973204109626122683184441078362286531763352898804587304030938210332009958458206636252326326362472326488611960185894164226624691740959267739981352050054364765905597863404896034235298023452339059279595750057725228927384394593117227383949222031654752456667440506801268961184375572929542998058852135900248233232432375395961588426452587700635728922884741569171210387842068489169017355168082998431368991074913041828937440229172701765028063605574948137806751265981427276924447303701703550934848594739688046176792705693016313546388064848638359133963837253170682572089223520895982057344262352694974849534506601602254719580364894423834361043286579897566892901171078994504053049726216136652550978457914393756714251910778814791153583728996748722581056402550342101196258620153740360260125770627375376885189912721198727708247395285760755812231283569471796809077713370780215843217307372330627839732027679126943819853451011367409818723859258609082236657839013560526002399563499096947881653321383339829336460185426117001836599755348793779207767731862174674872088716529047295823040162667167634640916135552114292011655516898180899318293436686884788483516684190744466637635126999440902238883488926109442743346436025919633413320233937796122319287551342088032593834123915423082451837362008502843498157634153232916763867411897367968322426421692782921035101364904215766890601120856470729571066073295142626025579944201823511691361767214197508426054946765434071902763147977764938851158514069632475810467210003094808978173497685347242157049168815809839358779206127555981201298450560503258275910909037626026943140244142500251194409366921740897963409023947221416686291243889020024549338612457008062053793334781485106859472246592025214625357811457516537698662506595562077367235974010792999315523230599586489070049829388997300480755580403701217758471544045640289365332095373856297143806077564288025995293672713109437350283599739831935821799398960371790532795961417400395238388480290757109178864432896472274465381473572118184410916710706768959725546268900613732617915479446288687502370878296163674584516788168032444609371601488262527533427234262434517051761970830949749334675290349467623049272193875489270076108921616922417530498522568307791930714721259449732480454707569721275434827109506068819671854627627870964022049551193126916766984831775020337312347752722395454925410456035390378491899541372231225006671703208808081197987913657137511193344577129163039298716160353162451408962694409090394529780809515079579398268758323906562681543446540430418046404350973967757599914232298634420070444691097130846745301269290059690243057576946040627230192726486533409833218360555553814738042480315462249972223811547876399631254461340557812085687338370033877733863206756744450956756953218629364339890994554748017537629296543951846245701400128074516072469944563890883630455986867409553310130959253591698998685639537979936036621953389477286154275165835052416814366299040908200509361077205015713810503974526720875939326040762225051379130508856459390004419124376003489268649302096731450106819366109987209659406885589492039337202110186635548635598763048379405145317466576265771929200331756500021120282435707542162086846008306820198762812528037861722902179747123883238342209876680163321247732279674638478922104781150875988796625848868175758212556509038459855718382223871711691511441667415366689599416512247174812521122732734194097566970651724995089687334715740008977628494205773453560639906710947921086522023331283125300572727789091549093281261382108701348550458858099998237016675483813625177041449452587207120653625346818316827863597182922994776693531290218127693790137285809560940240799921094136042363541728159240316629919881128581014968831953316672369337419375810734993506242502952019421840333384831101756169194613828675729338368013165185274426925878137560178793697440857615997671179186531508363043345866201488256287702161320980957731757442653124656981040781938070065328009782716777614404164813419986738198527869593153379967431544827166640401307338408194235748818026524054597292125725039256175631139092978793347210460900958451736838103822760806981872957850087583415259170937257989978339394291977254512377139885066240839503733026841810053902260960388272311636421128910941856425764847734794052911450054459699294438619924582186030683977290122296705818186971706330627137290666394964648089874441193857741377703642753788126724661585803797385974687572371713504349832404672470321992947533196713310656387243101130511049055456898269862348236059421236911707736864423149617917676335318138368081246171661349125954174409175994451960367471448447994125928870627763983890091367471556027634219116028559947620286080282094303393263339452318370098828601652306433442676585276175761893185051943751354650449119615551174367631734630739054209715976473625735826356902887960241075860346872671017227083705341108801127624107734568791505051967839235381962059635466682443529632933049820183519411558538201557180597235522593865555146897490386860127094817499466680129882052023750697114337931942063513772034710787113405636219209470566789625606197765907864898704438952615444073534882049222513680005970717630004191368445644370247581381153220905292819657094491719131486388029648590620172574288733869970661089210054023047130585328384447582657038839252571442651691853709464176392583623162675765318197593687798180287244852444434658124491960132994459435237741610043982481776317775774590810808702893961172572330762124220277913562387616267939044797646723728125981057515060667441925158086999451116665462441666758041078546718608172278637502129363335872100489421751483542150298083964993064533911466188346291664585018989143741146957909605688035397064203287513980251823440363977762382056161284641698722464522357130882127142187488691909710419090820425320015551781180047099557331067041423743783207165110123988676352776204882809505217714256624818838997841343191021626727135914787125809062556481796781594870743520589024017662989225944785994109867435851732249008830595249676576902143055097035477903561052844242189229864382663127194403808887108946763002613602227637051795922109278129502579472262902149496967007247990424790799628955225460609485100835450325414094275510506587257865572521155078683624694470858475639930619449584736566305722698809520077159207897174064890124906666657959968425499718901669054725423163107021080737139335661345203797478968721307947164649201097523631848336862614811214981117777501889122776145433328369009613107940260364907677261883181433275354734190664703949253088743942713175902987003784758815013141782012418512418655179541397197714114774925082087808713088609988892902565613069476866934996910308308719123392800655384624029469452771860163997041403843596012146352530155386439065074353530441405847554740146136612074578629157726520839822326698261210348339198859463103029433260773993414135180629487799982150747754463176609961555853957823784612078779892271490732259022505416948020603584231577982005287447421811583550754839347022026145815338772675295615306332812927597221783161325026093739558272166732032540539931545319602573249515921233851716850433246031631763182569713903759952101759580407681004493792882192783328575461411192412343154995554925202138424779636110960779975001542892225327606451196235578871228764393376161610028163790019472012351494194673858040259278727133541071259848448360912194947181754559302296511022385352928559463817558278688210849966474048916432987548309286614705968505962903182580092222342225816522970599695704541966348188234597713793731146097257275123689405369945292152029915351878133838924479084724971081714565906297080548848691345650626757869442774498526065797892277338942701571758935121824861491730885813986125129216162911132886763665534395745635003369542816147266437379302309606541514470294280302352246227374857755073162966173230340527752475058869469195468301800330903359175461091186010301237247959839919578610981110968744967445616931204719744960010344025879363917351606115775587436869173101274593059779956389482151760227007862335702329577123119143477169328438994397220116663479642227830196837229729308418392758309119650483152713622520341414990949959928628894796381848922485219427118845548907302515900318075824363741382650085806126039782389838170876340577229417498166850361103002795763540061299998834437876916942559338675080174809804129311407358973522500191602166753491864152768577112953030209608295439011120480776540006165986402571837409122159112646157099950439651354353087660482386855468561984213239771936847457149981812337285544100682815231815093460006591102756574553530829214689701231606345024041219673915539449444165185687154336624385282520951337388184468873648387494979782171908538777151858346414434594272907834312554171312790222180312587371413932020895891204315144552458910853620529546747210467259836547813921260567682465652553245107578853725527873825677076495527427565749879543163613296881618905096423206457364480598040486681622979435990497360953353413807101430713778979463394859192255084006183067606673826424758761493413733618608642366491932704470216333931129933570059471817298966299754085911751540633165017735734270060096807694480514639314159711891823628207853237499152702762932726632014186627858801320056107383726513091000085523025208011965672427940728579260807783483772979012436430867630846349162376936146894705327216481499547009424560426940893096438294546295237421579340709251863947704062743300052664808863295816000629932419126069365986908458556551627601236137337038826848062137795421629407864543828695891660338159643180660353095212142230797161548632216066752995024768158704982527853110216794472590250721340502677211848218029725944984997548149788291459402248577105146983905481558369945402446204557725619468924152984984843721563507701951062759893575677741122482165223193325660891538953733190564497805758436115214349921660924284161630878221790011278007578101445418712158601913966135871111801977470261321939501252671257605152227456173267067892066218519336954292436586804945498313317437682700768322749614405418868956858471268847117596944335823746213968335034407855230264383673017513399661672549676936509831867271281987055588603216603021412166799395547582588720580332701111034711365373132566840191010934468734382703885889100252108134756017721402317860792341982917844513653943767295399854850119658280394636193854455080013663264442821191046128277888552812052491666322468137441707406149870615595579271527236806392030121059914164751836592857091240837475564625111583851260280467706652325179308431039130100436272745665647113655875860349039669699166638197780060872096913520698141484995839782811378298997133722867786730581501436228372373436318187950527831290340283068228995998944574795364275633600034085993882885941837157344688807757751692884528973134430415332461591174448099845568815377353858814032212051382668903771608800039630581037930551449466422419486344788695004342119738313953372677757930142739407525244624831026736299959408734562453094104042212457223142656740194787796872451257677710979770531429067537717776468791343041320499123323974561870120028910022748289259426454637180043092933762967736710623863262894036087938062089183223626014843157461871528583199557651660696662834644630966494459233347880933292400191687937707161049446361273475631044301989189951534971663930143423174869254051334999935143956978829910500269015013136624942895736584839147772477360598149532220042635053247653977654197644014969910139758586945813598379643794456287832304720286808706685347734894072427950641624428871312864448763795653442663139341159464567083057816819627076977797824518955113704306909929758176323429799717537317773957351644205123557532231471941754692493287648891411369234416272408739167999871497164162786631582577160586927035048580099468408736336146390405019699259689282020329553705001172708717904032140509011613758440258987091140818443703209418560101061150669366130589317355393017262986610416306470555977145746552479661761593686163363096114199179452911553739255414504697466866201906351897318481128276060991128489327441154434349339585644903043940007582130063909078483324340009240325176581835664603264708944624831385445466349119811427679625340808434555173464300839209551272348885800853698112915463110663815118483565144392755561596663036170245133426646494216587003450321897140922219592502449275218890938257098187978423632635220145043013000677479861770202166187345897286054384144327633696324647332991124195260237360979935014974454512829626412038661259001366391907746770845615657326183251728730831764313231423985153121269707240877592757199713589567379628009170124344383224453833490807892467334610847508128054490423861949962942272320713524243669811742909005424243101912636891083544309543348647972911389789811899577852966938378087174566602825626169827215079002340144213599071940640059623642079522060309570254804921042464538554381894650524654263499192702669283728075619219060487042213294588590035360891150691814635781753500328103125511449760127663641944848978523866295551381121556661233883141200975563411731881987922725175883247586909188619832751393450936974590855527877235391081430805096468297774742232033758396223589941975802820609256614554954311774949976422327750144123645619575133193351611826013606852496089747517660655232221190512582656885381027362805017216956571923007838450119326689677870562366417669295066682009059010805123293403443593175262575547570938919306116461969521305585470686487812212508443127538232960846817723859152739448226585434464200528898446872286536692009704270435683246636090432675083351054888570409496808582145956335797476294481319541326791747442074570716011631546778188876406633970541698344056532002769698515755931702934283642033291970664570175167674858269744431617065175134136564988339814406635392214729236962589532420781786141162707489663565738817110223395865506803988870162520494132980275692151418832549185452409930622337706120124888733310741672637347896236577543547838141476133796163508145413999612582411082724825978263893209572702136344490834889409061974945323412928734902149694036073771089796685114183564583905779168080078317098482422668045583674614463822103711301103026892701589301278076381103862774123483310538632230892100762491420682341236859066257514306431970182573043484290254371611683863428931022634127979389290344402814879407349326168282557296242082449489106737986979054434615199081643479326054211887475027661158492245054671745709542467391101008283182892151697862750102822936023416631634579760208921791565282571379896470094075877643578568121446282373604896905199358741395099430547959582696204213986705320936035258413574022832223818609964556765403626122521865244821540199548765991535923012026075488377194396676648703252966728550025112629616895026355672453527633718922678950054527675401248136651237330271248853595730580496688603542891006967015221289507037950023345805417018049043078696661461321232996977129949553537630132198156801454570238621630703576168399886216959806485851146265619541630674769892354200244142471647397530657735439016302873591424841632013477635885369607797210148670653661870445110455670397423320433474000177521407848681639094727402907502081146058026420125291971752720050944557063321715295320179254528370111149632258637277843317112170374431097402532014523730170734037450666511432109944469507909107884838763582976306321329104650516679077491506887576358542212476265055579355808742903144296755091717494229357444352769185992930081514911997662103277398448835494420645381995530725642360106976449944650542686688991505692612901498194569392717666209392571339003248345807348033892493793297161480657827836167085429285362464132533464425810340223667340084192973741803821862254032055871067028613737327928622805947611957886249648567346634208245394568249768004986653147145489081357767115430067075220728102970991233148820272630180118069523974361644836417072162562186856593176865716977004444422284214813265712747237024960031907889329976376104717118773024152499027703077090901366845667128315912145136589209409725952644619622946486260597506764528623223365658158520736439160414446838627427200134555990764133369287139194509298647687702981877659273990131048696505099859681500366691069534751268199127381750419198377811654796819482641088783434767344238577234239236707372160380809855370798466116003606378815331527203200364495863271042369124583459821885361344767187024244862748815727144895488975418681437316547177081841949016447987412385070348614947130761502410000668559420080432503207676959144491304157910124706081578087703771579939038592624987212906990541899571324872268703183522015064723047552566697250185131456705356632047090722125893858892793339557162168491368832102085773255833275927744911503998981423473041819620128612945298845534055088429260817629692694078498013531694374284939307761770103543779293641206025657180050061368276062089307290435296638726698566723207510957205545520055830275871101702417628866301435474724930393373178578637727929773720965600931421639899688093097067660916416394979837488029295442350917416245656820320570118979037573239886749601842077130076843033211935904010491983202146886894358556444143672962225073555919963474224511956966738502586085132362094246405255751188401561101675094432006002798680815292893050672997950492745719795295215843917644122840208917408739964835447695172175154992968306549634333406574124493445670002656450306079682298405942784096007476802470373306397023695715123152348571219862192745988328586768817341161916574201781037057278288869710251645998774004328837036735756783247025519796034150964362089073875301528035991988422026934686658614752512000791156802752281985385564641975884708454575085338751007030729967231920238420156682897748471532851404763565512341861815972810487117785393253236662676188702668746033207424798010704928295261312683135639286984532605836119163679850225871726203920210836844965749997529501961688058041311218358156896109584278233265041526881960041196353260616186446227578877034672324662487810254757184862422044205822089402863010252188806357822270943450278530993048610321653795735061978188589711984876999895660792502559375972946949191674396507384824651591611110045564314272482723555112529399619112556311220364719870203412030918823905178634902536952076223142728687482329844290657999228393904023722091613166713894867375795972119448440392698836254635223962982069525419456353055807748575613803502743221548796718550207342078677084780180048182992884139294757244361122054044572372110680081303753596167292159418787704171696812498298307426770303304217080409175447873042527678249628926918730075695596634746268953295194011397061445434073570551975054622616408358025833374382960366375334105719986398382291641558664782989974955717716979581994240023987248277847709655321394586419447747780334350433866452471635537395195931993743220443222427267612815308281909182461425440095819268594429237733509923692324280872314004635604385698900266080446612668322895615700625341460552111279342314350786268508844677215135305846140239256047353326627310161118956976267680487939888457944694109358047127135888965045162657045876760317563088478649047459197518977753068960591463913295648520059874370704335338433385943436617619421308658883681220996278271148834039925528962959696771661648303584335107207554838359965843971216161771045825446849943194785631555814991397945841702687298159888780721688707791174260246303930537484190956448848429251867074991389343403677575928094146993428632774510941224220910416070538604278763873693537103784596651930443120641984337145164283199042599497947804842763162556935420056367072234787529296872678205145542192909420675614953415646240909095571429101376829265000905592994134189122505005443335094135614420183356635973177218357276537537528145722794214341554830450520022286080576069689318529278993563147312123458501479919762854161969213062864344136055635144136708411099349853740021941809126473495795138166247042450285350989271477464964921601616638593828862234490672835738469175227275953251559448799698013381157924516806780907746662687231546550920838329282197427356821613893467392329196744627048761241281203473272372475751153936606961665839995839233390334050685299977566289364065337909871443385798165668974028671770268031701358889707025156402406295686127195691723387092400259938938820158749100910339274646030963178363458193060190209616159162986600936220400204787868322634956249779421275523250382196456902226148871126614005110744019091067388331287117972165710614837427528598611156528818436029990013302892748470185324549674987792968751
g=13
*** a(t,u0,r):
25580637056624094131429091793961631367369045142430020151879366626535323977499\
63754618441813603119355682455074039629252406542004651607928184333885496415080\
45194903726137094562392019863121393636207180070572222763610989647376334002511\
50682109452509302338113083980474019299268967522891751195952779520907740486055\
58121788341622405221172542884512980678235847684974814458030873573703595751825\
20476787404035646340164952960069288324444597733116671762742753660479546091374\
87513035209648812728273320197584132239385936085006070743889154856336198188741\
26837097023880594764693829807010279704885614194041919537967282255583969477735\
18537365155391812547020703040385714190779668405736357960720629697137469579346\
13796908144962692943942075820790184300739093339122640027132411873762496082088\
40642442115593357993703522319247571839757064685825377182589233827085926376299\
43957347389528204789233522951895454319713516538933727096821067559341545768486\
69871829070983643916658955033090629854116698979806549444456296077926170216427\
98316016612220738274439119320365498840495027806230647704192662120511322354542\
02748937525923774850777121554589820641984951294081590543210510845452869339630\
30946238113254344675262756854696870558455297022160108206374718175513773284892\
37866231591344250809626454630785762393198325872132468273797118894649975494665\
05465443832681027831030659512773178090386131283868008698993698199714758920569\
39490603820255410872002887654166327493601932308673742634893582801931183998924\
02620842906378185168969274347574369828849321867980195549581170278680800344208\
93463633870126846506868068153772527001511319045290395694764333509180306985418\
17526148375843476478939291980460913430406607728862706407355018557071674292519\
77217338496514522018271870199455801832082611254350160264008434648744145376943\
82999785543715461717520165993053723399522694039319690159156864020286793825573\
48125866038846161524193101944468054571196624137556676437774127294116065069225\
67960703464667653118575700601298532035173945480231153603576180966953694733166\
94903580593535438124368047332768328103916171720912001218787200111688000795793\
97862559513313570237580969894858709149568593049063798424248285968874331381568\
66000650982303348034377983410413296926279285669799158283314552607990442668318\
18261275485738925381841967627628238225336105477259035511473121756263564168545\
01542988328355432981955287643562654868031191412271769374308644929845514083843\
47272710249720640113497131595373353043824325766425771135109760547796418626515\
74793902502121210303444137827039752510464142448818994134205378051802048545875\
63765102470337404270929440118538913516317071985907405023924207978979192638406\
82366200922198782963827917720709365686921309077758060804060872599062187372982\
23933028284609692983118867595021970636413081453115800336370038270953033434729\
37275242933798629203519372868615656192902822270698136942011952562965436314394\
84425133888995627240551696643156138044030445675735545478595077657690772324769\
58550494019312321802250440049224082627378451905370316739336406347302726338967\
36218460082216941594260861405902358567075389502906565796020653423233245279968\
86455474348647229333966304195692022330435069028644995772568551701621746797719\
91612855753533058421558577236396271588373102409686882941105710946389302542621\
55969718293017752204086602214265375641216079563509507171097929644518647543402\
59904840441765211013111128212433957009598962206448298518725817162395779960733\
43919190383600499167131206922846403040376778499854293574155602404190322675133\
02655725464913599841420468887157203022157183556632435040553951054508055698439\
92777952488762442324090678995721207287695307652071907198369952657343599976669\
59869166100802179612057961289525625206189988029328920646265257498699248851112\
83138039388728736245922972401638263352216205981524593918266788653731612158961\
17982368004332235912856509433698807102714920517859465854964223739407809434059\
29448492356323840483692523816622621395420799616467149356210663071952433445110\
47406776801905176776763986872127896666901089528085063644740859676902620691244\
48342690270492429666781296699884351918087672406857801701823283202622775835502\
66310962390979806519089923628592138062268579507667562666191919471162075088531\
80801797272985204596635544354938208900682991570743875142750496502323806302556\
01917063409949418933528283975876579373159469626591076415776824983028736734064\
22969852438295737995200427318369319181549235998708441528693118492183084210654\
66280924856899125728797023449082226025069815495339557918674582844264692841450\
19242940504622309528912344926054773135420017553585189564724974970840256080359\
04310363216991361589177460158545621402701926007469533696000113786965032475799\
78245900507769791268724998672804900106456705128067090256610616214809795006653\
37893131134482164644679544188133942863256285948832528899872167826849469379032\
74020302033847801589424224765857532176068820063369793350923185785741900326342\
08232500316151557741022241037334928996507954438276657205233073185719260744849\
37611870073022384962026859666083800443582664624543466595015116192423844983924\
83968448489845833382836517755402262228688369558276830944512487687528970768248\
89918323623427698224953181987349139122877725854104512249072792589295331379489\
84920662068541747317778412060813498075124203140809722710857659508097085285649\
04101939612247564623774805941742385187478547358173557529509937575552217623019\
70950926612818140840030456805492184236439804803073562908275736023509710834024\
64715438454516006474573692395129841400115904676158179449196112931940161415121\
59047577271953958298048479152030187615911270459588847691988384242591311821633\
29457077618859285883735322723084247408866607277172227217804951103324256414190\
69061370508066543821378173834078489728497081440014702243914885613205234302764\
96269949360574747449647470336015988613241106546965795319945380192637836224705\
36112687112775438793334847008490355071610271930529288139205175154783268644029\
16632387530064882920215615403339126689548696275199243950164997490656313508175\
38900433789722561602524589773009005298808956891305410678081587034908444467967\
02491654433316688152172904482999198577826266839415084544022974994660815548215\
15640592492587159615571331385916687076900423941495991808850199770631316362547\
29398972760681333724677797832333250864688432224550144304084789797237261365171\
84348162649804956303077604414461451401057786488913573188185405846489920636750\
76480382743603475040197219589282277112124948109646005991724779799496278699195\
01488389719964584612325766089391331134000377033996088562734273815164920147077\
62195846493871137810069952451018307028052129185483404180109280351284276207790\
16695992853016840847699422329486103113671673546544397197173778522107273683486\
91155586722683279497336824119320425088510157061276067682430218535977526390619\
49068123267330131027839219821157858770699590438078998924203912082239792948670\
93737116218695005280601230630712385396488289037461715988038510188440633187585\
06453221235318680546579439365901828404909912896138506656798554989928943552371\
05301390293992719223715969086022940135348334842002068008581938692721085441106\
21928479302424505997889898903568304582257009934692313034546879992712493572143\
26472069699880517918752057664457698562394854593557848989681973475177681138131\
86272798570579540085969869391955797690811957636337276958448610461713459979254\
27725868196222859651471912517586357205524835278680050928230800122167843128165\
99967154439429489441438527614945448671406661229370749589285516656070335944741\
81391521376245924139280543979062797741485569303126659319700469572655236550170\
89862166497067740058449497467233904979456694403317502316344306422312605017097\
94293128744644463306155990944537061723563563926783248763114618688128858506017\
58704856788225378222497626985077203099387698312377429008018370339854932452000\
01830770938425593492056295431981800533457435884047438552729222430011400564420\
39887463250602904684046001027380355471123643192270343250735380984482607273388\
70038126269284757857838108505374470799091727688012290007613046423953596460176\
61201168049131220731279472394189861540555424874172839076291400792599206599651\
24917951521847579725584726759357309224629807433820064094201917969701629461077\
38766444931512780835071707911285661360221797257365404012042712152962792620324\
81421938778943054410577934872896508895639490949963819537190100443008429726391\
94530470162583343355235828644535296928340433927852803229464420953124903914952\
19980231797889939148007953950916635706564193863546563095745963367236022552663\
17072835836132695041215562228696967409068578751426306386733153928356618226221\
18805228923909649782030733711526200808647603314067524761163631261306883009231\
27559409962374026869937950217288216242737457166069686068769661116298609333226\
90622135576542386012687297391189880839537751981371418350426531528657949661027\
59882329431890416668465949788576683439103582349799656102331000558077498284985\
60520507230903907279034383104732376473324605446938747527612834311461947387047\
33147454398821302049525764347425116460262384944571607548120128660498473724435\
41220580856622946499245153727812181972749529786029454902349706314102244596565\
37522432133400540830313080990244245029794809221664710421063158060562336479594\
60838332660371013572672690295867299043541686285442143282452307842409963985160\
93061895262791143524717728483349265851798818359353437182375779802718638078648\
16891111413216345347769263080004122715163490292332260255167530072529013053040\
52695279930854510785122500867067306519184766260420148179754610481470036269393\
91040044724370033329807767788744695647610543594888175540642385731960784138880\
54159649216356298734611014898609380117759904081083844803832306274151610964831\
90520252095095150223751187066155043500568266830392091713026756456872532649177\
62794432948991502356570622380481407026055988735251843378792404629111795680735\
65438975074330058108614971439175053131752275867859927175230833699872950387754\
33660753747673641571071500355754398139777911079234792894169908136039509959119\
84480958404030102804028019075310595167885345637680997315978679081221257469219\
09958742075178167048869618801790914571670715827720991060152678221863898208412\
96114775917983433409292636207018394248909495554950868358880195015120846888357\
07734952752171885253524911372186190817364381012422830051614214408044501857859\
79925272534348085200593310423798118337123022346469511014980718280093347679038\
14382623184618461319703039621342212715540692563047177224216205164847872256835\
73094883607037581305325145697355803985376200074082631695849088061595244294780\
13727999515196820590370080255288880643556443018474732148163434954895160484323\
14194948655946533039530030922842269319517572291812813578166218104274680502484\
66341981102843441088443019362584328504507163823943969234287090981546207674980\
19896557241205782551426087264633625484858426155124143808170245358256594249006\
85030742769423155739382088246695340420543086141427257335593316890540452025037\
42864240908447558109149642379937482773128913431565871551681992407959585872927\
29060630231655276608922967289219836110940733266267591257384708299360534128173\
11958445239876152150330678323152489176911014508790786832813740049483190239702\
23585792835093322624967850955015398069031049425617890197143615233864133690560\
93685927187036879355247119058310387090989474417052534998502682972069501292113\
27148155897287228221385368580967047591218395683504854751470467996175081156779\
75189406516028812214663412996809511214620353820247617154191094994511661682434\
44229415178982131236362606009260403374934967167021231476765661983233145917947\
90014816928107669651116609103719898705323228529976879975533317700697504532093\
23816694435075051351825763327035181301305957074109847084517982734496148700729\
38724568365656331707963287478715632033955651100705881377186343542209687789729\
31283387529472884098629750983569378283066025110828773239765083331826695770403\
69154303738598224170267624409006793480612952906977890437835412558525776622216\
67082852904641976890403181101399425313196960687855596039956267921735510423082\
05604157968646358174974423722795586469424138029754440003106792597556118955862\
37831217634116573896044280386089379838660438589910318408076495198943477128270\
95300451973655656409673949457154919912806350887251655659953550772037315215103\
66685563550820651158468175685539568286379296563428040529814786977937273645981\
84376185595991291563905088005888749563605410633862219468703964696528886754361\
52969619315090476285504718426485193926780278634304167791223654301705048836112\
07593582710742363578734976802303326199688417654477742015248677616881762122111\
31604920642000611468361589244312640425241063461708341125792833566154325505811\
23133545287690014882803599290510158364510859815571968856749016060427207158144\
96772195284865037379586283334804588183110259451303258626463955449119792918448\
51585535287098986442547689445391531873491144758471320208697047975678194043177\
97670109956165380555687043670630495745455670682462615503972331847838477777863\
46242863491898690542472587734152172798996451272932561386650983869617855334213\
28216496784641025665972268018961980241839441495601741531454532051024262362561\
32541707440258567364050564069612744951766781031156592833218879194279069518977\
98924550043358211715321191183337940580515679261401001881567050644301659213098\
80851602842751952880222940382372981771357095143281867114020560753361842723839\
73068763594737841436700267840471977803051820153816969477061867301747018755731\
62502744960614545137776160274467896748643675394076248758867858631806205995159\
06927936430318160848477245211898268193243721979195163242881483754009147630087\
70778369265870877828183533268332540725599466629333274224589651122465650491041\
45379021124958700706782423214315729904988420559964479110303271718912542818770\
01764582248913561854882429213419048039929328635362765433252757064985959706589\
31290488501493276797746223160530834492268544683078385950244760893765059987429\
25452760189185216546575619585223891320972214278230242990874800012916318434247\
73254607683324602233515758386574396523745924821225577763914478143374696084994\
77863824967589556331302654883268706314913835843864828352990983733889355392271\
18672281968429369136459031683813063919902667799410592650699557560782749876439\
26037766070069158919997081284158239204388819657868228748769477573331687587545\
92194786684893327750389645902988218695668977495009882287864348701108429181656\
52008646535842688000032103831211212122474354666877434407692149044764832941733\
43274882878325616545306248765848086445609052469260901641568930173560465334408\
95523526333434015139753172863182376576877148353559954083818653794462452366153\
43856371776089263483551587272304895240424658353823283728371337687438636194355\
00015318616884840452338992125698233942919493868432602965358930449075433073756\
28436682236671119308966600225445318697810907799974601891500154039495405244155\
23987388856317711517675731478076240679343806878616412351688120338828802435384\
87302923569662135111309929390819374640215982544057164355672913716368302555141\
14297877731541535356523062191008063590232335091912302451697499309839331419413\
55530920835177256688338205319111119615251038457539474483559042813637396350942\
90903897939369001526594476511874883601826515605406395138600285250045695462301\
02223823396951014685617729216313355921959073753498165981523896580091107602511\
58887045206351543933024080730971111121836062797451599720678143259294867539540\
14151224497334546874150958767526151765053834670729870965186326654769822336864\
21707167229271068723536234615112921614571105713361765403340126428350645508012\
09915629147022317134915567561065825183771711710018354964622733151796371019270\
98934113705969784360262942273828228119563966431084469037708564543703529045962\
64958757283611653997728313917402193173907641695404391340441070490568691056431\
25872018469857767776310996420649857242817475289726304898893252950704763595358\
02865740942432355634487478239990046560434724876887173316052456245664550519602\
25924459952807812360543617262648944373371149855625574513961226433192028177381\
48585418369346531922286836233579241919250568113644869380357026682640594262000\
27570218299003604024578303224220047940155485642288660339882852591929615636215\
29043893462078700686760235209781199232996100451189511683909524605924824603878\
60391264901412099831842633851519920811917809931776384011767542669972180923267\
80867608247822798134204318044318250167530883008018473025921736265540953928860\
36725042287586858902647169985539888545817046866172615822107457188654407503043\
68017304989724159310601898871850504311848382478930509724403254767209563650469\
51902188979889870662483076408310294969814347625728857815120875079095585086913\
28323013952536250558201738286841607743610964510756149661419597494221867196621\
45562568191460758824191566540696728081089400064550398968489036605109752719981\
45188779870340156943738989154670690336919022679964822841302121564168618747552\
50844440498233864004184654793251682759406223635466244062090001201131619104576\
37957055878681856399577266892003931156566512623364269579630093335505804282968\
11460739583160081232973968775897476858255341580692042520058681148266961852510\
08690422283550649379069705913117349002671276891450582411240704982387378489453\
58316139095018539068432488269078705083037557862462957276355870918047445570135\
53929295012075876362027752427242543636303394998721750171132676696546416630388\
17907107484473775171705595842346073220051848256148039392215801707743789902808\
59408056812408975302027114297203151083569941198918088904564607926609173190801\
49832559840495502926238350102341493441937315989326802520934473502727571246944\
57922151324519515224909288471474514469360030220476490352151337120041090152913\
04356052784943702837326028191276494200596601576666143268777689443475059701901\
36524706396875020209434328661424670034732468667118104160028672994090411212492\
35553610943014923447667392533504703197782772206044482079795999125960389339222\
45632187040522598123977480520285247717877397614758608317189585454448801785209\
41674181855787431761879839035165678178994019694433057811174374825426938238656\
63050094279259165079811601266645532557870728842411990637446921066421020540395\
89024342495842400151483413299284562428167468662095661359068130817254863871115\
35056726972085911060472911447258204393706130254220101402579222344890618869408\
37657741102883582580836677024574543088333135580785157541110246553283922310271\
25500114552524172606890728016941927783947480627700973841623236599747828427577\
76036006928058435717106855483362737896612529430923654433273326054785254466219\
82439036600217677176053338155009764793464285345928847209825731172395576711435\
85415470672996625787104333830138339969242377717586374152959086659969944133740\
42979461455593496002498313371871578453008320605379108483174000003463905463483\
26812164704392363327479321931419329045805774897657773220437220408812428397580\
00200554481347679135748055492483520078020735742502297183231763729847251000273\
08883019633958108203092149724077966788313044118168683922422703024687574384958\
89313420489126680833246421976893565964734314698766810982333821784991081373310\
46068039615629187107481197209632491445270531360255869879055608634517413423428\
88779877046391142271007967128074535416569766785539068022053953000399354122866\
39783446086889259451296824570159921927760849675077110855577887535317960764363\
42853426523545319852719961010700329165044024589711813530259159235307075456639\
22805124175999202353743352530839171023206107568331620674386562969630247984986\
97365956666949394118309770733572143832826271139080773875393404298283195785520\
03120719129933795667622534358537826656154646487628615445978103984602423362609\
03793572911191012917890007732680855853298150400726883307776489213985131314622\
07187589447997789950787630755109771716229919264130319579857202130933602007278\
13537271982947806130475423090126821880000870829979522709333814803386263630341\
42341080248211714080951711160810674190299482906825099321938025731163473438705\
86048565669891360485684056866392997089695326854454127390637428011439473988483\
85800305056629252723348323384379318720015055295428457811290114848279528678268\
74403465644894745563534748564118197388491295157409141766774199726619788079963\
01000884847327233997072914114039079274023653558990134024540355736122171478000\
80669505149268559826909464053448421212855826156389859874267830547686135283812\
74176779288042887813105181480103349976563226565780467290201825104081178132536\
22814905558677073976657808919773408901905025050375986557797823126533927670601\
54946587179239460517162021482431657706818815465185105489716008895903640912993\
28615785240609480575798133609031629553668955607147379150926969346950430954933\
17650404619189110579699787574038813930870852586534494421703299596090065176123\
54300247334765738692841508933568231333617456041878566615642424940090155827580\
39836529423885831598053064514877453088883877802022663817563938055312650303475\
76902686931635130986996652299728715552586453472372000291828205672756197839566\
69212804463120741681609199246697659690828832207379537675252839813158952367307\
12897576220371584494002691430807651743834770960042359608122298419772268783056\
23981139130646649312619982717143425340373906847800559088140694892884627939724\
74996339017568891792472872997461953972878727916180290214507591379205448725219\
41978498361647497140744578604545838106537560761296056989843442716328660513297\
59222776927439792234040332873177427026997846189268414370375380146210309571016\
41134521230469545116648077964782714844587
1
*** a(t,u0+1l^(t-1),r):
26222445154818963876662079760118374806693716525931848614471322061609686944677\
04780719979780252659984678072226434888767699896105126737876203295667569801838\
74285815289158455357864221078325156200556464158364357384920225946772872848452\
65573775281066883400359648811525338779895787496584375777930089401360622863841\
92196528550910422556470778727493593096686209454848734534038816638276804247390\
71169753396251594456226439235053105594233530292728918007686120239774731835602\
91859240394120288316437883786770830897721783943769663916674904261333880580573\
48657382612293369543736327329049964141925755051956949777271120878483925701190\
90687048152122073076874269066488581571910341089751248662244086356205434765924\
71490737381574660150420909264322554516169823279530734938207418623283418922857\
64959636003798209269531209259157009126059213262172250445234841844252956787174\
33590685854498446486454435714129390449598801900125612722906183949719290644398\
55137430517209040000589466449691470029668014007973738857041221069128618931535\
49528246419695810560894581095428432503159777607820663954835488768696194241573\
54789233449513260241298411342697808973504286989632024714545541583510826634889\
85127684947637070168907342152126541145943422753898892283237166301781143940785\
73583305502238192586212064603601175786576061646702100094286652343619688141484\
60799702280095964013171213694097236322044564685255378092875260520137709861228\
84209006066641747345493999530794156498817751398855521123941092047857772844775\
16665093445247888739516890549843260828139448223090809774839479210403974546393\
38819352282638989609190922910318791119828807336749294511478850837367626515518\
27284868944413026068016621886780721294251934804497254596786864900797486909177\
97434260967753237624465071243886592559052425873634931310058825482225181282458\
54974690557357068283909560838757580259008926506256026471393774587104025211878\
19225798161684595684298305219060443037140625460004334986392116150957686773471\
48518857315035658752375090938965520294120962033498601901873791242110239045468\
62876071862907294994871905151153196550967831943300474367645660329543972141925\
01034738425833982394079417168206418698124077462481169710878171279921357616948\
51885971974690887232373129947592125164573031188396269781462229555144324742433\
69257078096492231753429400507174466424538086618265534610327286101402793377074\
81868439648421698325588574430318707140705809117956007315599542831311172143294\
74265215524803236818853690452604942546715975516837887256779181063332529488112\
91724215468124251422168542718757595763414855700223054918934545243065899226238\
10884657012603934127189318544452076221027536157596838124882879863756448367685\
84791159368275454937830768702949385614550159126303961971187847897246543328576\
77580093510388430799899627713893489612953911453731608946959967546568342517321\
14912973043248774022245665377864077674445186987167265825861714813649156938770\
34213578108432793515404248171837474840834076929248623680566997168815630411770\
97295488492915139911984322057627554234516979372530145474731943424116773236360\
80854765532308406078704682301390948208543230816599562070472784512705047132871\
30918514923702894586072985662967449413994371835815300326002171278364944746049\
80649737439105572432135315733366787362991782398460388964717682188771829846558\
30133833088899918029995585065519345639382791237145946419118307807642771316892\
98683814933135664336020726411312228332420441544961338266507468489050871214228\
54340101970285816350535932544566563690135335666517304524044811066661047616803\
03080779508836163278301986027695197363214890670956546313972867389208974658615\
83994603626473327973799047285936434710684078811801309887934790179212435818378\
15493123673223739674009236303958167774087227872358678511942163600817151152036\
80922864749736267262845770992360370318042419034824494124101439265115559417429\
73989094083293976598842156623791608714610993792501101198995584191651016122369\
02588777110783578416975131941054013330072934373869550952961468238632243603231\
52538846470770181212023298370711750705138751272517305384931490564853582500702\
23032291818497616074191580129630554295960839814915165902227451598387504978328\
89480054637348475499855620637194808192863131681695064238461967629936750807598\
91431233046859385357124608191800457869517331861049277028052480285536231550290\
39957993316292235896018240921507891400443040549122035322265849265757056293700\
24979848736030756511209040190156363031982370952081054757011583830696638294792\
95184030498470071535612719377912246032867266063322987687243479188027606281916\
68471258008322510843257815945704892891505824445610624428356067532832663939006\
04418508530679316897866500377577231975529572896545830240344202663340499240425\
58345260018717420440341754911907532008769238948484544134016617338478857963809\
55689732990902864116051432393570995193158773409914348621374336912110925600012\
05626546170897746432169635423065427248586675763884447664387208368179869151734\
17758046919065754530223515902070930799287723904469978353751465702923686641673\
55401415200302516484371619586021386834640294202937030273026248139904013137643\
38404932860558811281330623935645329739802414672642199462833589529151561432685\
25149249305735920044217240316780837953917668796680611122705443299421020697254\
82750212729759640619658157166281937094930186732156203208979536269948983482780\
02054318025458076997848008958201871554189478653898342127024523822967506237217\
33662957029627198137092152854375500686816430730032397819952905027683789600469\
70998621498177698393290595071710160001552504435058205456882036912311419945250\
08916154479494021767891989381651016695880370435277456773866229008534463014290\
76074280283131741085119363078143708813390142226778698868430881776167517327808\
37819182671351367501484436260023111334588406063957723447167230413536548425056\
55674571745965511722577693606095242807838553664631603804675192598904735341454\
24115514388006363780981241019456062904948164057818553433020358760817257463054\
98770117683148948083088408621344051015092928798232916737445122875726543596194\
12636286967242482502946353674123926578707389501481532092943849075210806873973\
36604348272145422263517744380422117538560259197393240787062977951516104827202\
63344836748673575806643013535384130838686456083397324936670814101794109246195\
43398230141773696936408065161459891567386708301868606705979390258099844983652\
85747578917004363808889587320917473479220526651717856386455290580989667749500\
78399245393084565811815070976826993742178262219923862772879164955756041964049\
37009603798960111824821394629268532990408988644168033437068108642068699505606\
45118322929201238041863822225775038745601824182968650879968652976585315395799\
23924924573343428252480411420190055521541572165991747664486382284310681983789\
45055547679883218409456386014787245789655573188261488735394417567346138163860\
83990979406653826071548447558606263829462662599607862696495766507242225029820\
38741273256440041255383340359798359223640324963132798468025139476322656242470\
71131259044090116976063511321318720157004426839769221877578447050608164358344\
52029382165168163792052928883880146518672486612231510575105499878559965720990\
60471487743703973890310075578568226202600375775347675727169919992529652909078\
75881763204895441307394582408727246554999743418485823695516288221866726901454\
16752761258730281235080224537990530966208673419327817957406102480466127433930\
90787090695769669750254361935590315988459150142302847904924762849247323063281\
27564896665508365520614404651879563871047688572043133987583002737047011040129\
60136111518302273490445288810078710229623200074172847904782560207094615244978\
05378421570470873321564717833795329118726217201967045385213159988463817329354\
88056755630710811847887503262141934239925373774408634932798498010053238468534\
15733294055313470149226958128071971635931475689390482782413096477414016778752\
70693908560536629887914338686547652159744898433109560666955403637932833553491\
87841628995241687238842854099751905608391978326126588421900784808466041864477\
30576717250951400528106448145294260389033097199897903018556742929214080959177\
45890803089790426986186125823434768460927783204349218551323801529331086335126\
37012667151427984951674666140416453183670698659758201903017019854246114788057\
82391409499686936626632646819454118813704064572066328127040199554650031144849\
09271234733970299503316449367915417720978116170930653719126769629750576708774\
53891449700712674550528483843502132335144674205612550980741306066644166737191\
14388337972030546940251881110975476028951109121771745682377582519819005197353\
64454591573956812837948569166334525731159905100028400095360867467777752016843\
22502851154975483289106773625435460327144138164241261941551249249941822726308\
76279538527738249766316321728116236005100045697118029446839150821725456162375\
96838461558749542650998448221793211183182068339326973649541175688875174204494\
24108767804733545402083375052089360084529120258217568621027477274588403259877\
71716362251034112838006571928148600972655330314783088863431077466229809866292\
24660114545028288122452934062235065618763591735295626375492318268467969480962\
46555864247290905730409010631377362165614213329048115061190021526284021342715\
76098263763987651173725953989999476983947367159125832187899868119429491875139\
99282305164394659074496019443075439162913699919843917486671541372506271325290\
41633340663649702681251865040279175747722086203494921269388792199202618245495\
97243218151182346843949853909968383858554688973501886856551661651409669294514\
66203763656718244030627366480219532847623093729319578420823722572402976247479\
06227429359031647069265310349752627079629446122358488188615492184017147898637\
40106307081999646731536739286746533023940260097455124064143511091065809089397\
58024344441567071555529890684302302656496502915742430931633162532851413396648\
03438020872442902057273111114041872435311873757283251635607984673569797722904\
64930275524223643795927891869548620773050720065261430724430173613489834447662\
15150450078260435445614512909483003111026819242513085189005712282821863255585\
21726000371156306100186428156053154903280318467300233807777427301897059627945\
02681721267028515326081401352373482320780733787556284742665469431731451210057\
73078229077215992670457684427266167581319411214035657170751741126611334086272\
84631528627674405672072131370771507432853809926713008583375144518640600470781\
01285404820156101675160167674574415212964818606058351793134356373142284717580\
31947778605021075044570140973849006582955692018034023964608726441385274069731\
25108016887500889796856600965748243511891015129704776577106950486079712789631\
25183540721671292791562161121909031770814131552988435105285815043369232611169\
95913101489608274011847988687931501883089697761499873417044940422303077504339\
11734073818685391223278507303581067929351429582967653050201104016925503208044\
21829445774139260966694842142240920747919390252206111573966631442513928154895\
91106782910591478643237552826361531757259220919169159849389564984568348670826\
89817824013677425158483145952193978756684119144902649690971504762281152543574\
21187599448936950215598453923716391138813798258611222579254575532677823514901\
47742348883887381774174100359934092848016308779620663204963188724559829421343\
51059271508375233945307546140266680457859785432712245865172308089194058191757\
80624283783127410378497046776619249849544765889881810070149703691798843618438\
69406353357075796671384284638554034448345738944381320641292307695003846633831\
57362617432201578112522351674148817947603660188497557369529222825915180075900\
53941264305336521625805395407342205610148389282322839434964083610052615528792\
47111962872540478567094445174422548493628829245782751516138096281001742997056\
15095249492585894934129635525204522767646966749804359376961086243963794008632\
99194360403504340030385305444131436421904359192838287003137255387354733719937\
57516304062470411656659888105020939745365172694254584754741268218288297456399\
48308712792971656317908747602064311596613994736185221022297232945298824781197\
01740845629848047995180321845878980787004769737371686263180977152746795630829\
63450857272519205871120735429102285771524385220465124877736712125093369252246\
02221248184076487936446825055274418042497797264209143601110672497841700568765\
20630570840378199760454299443535150878360632092308148812712242010045419897919\
88788785575393212298644796580875686487112827301578564844182899912867599508067\
40973437564349496011745000608187033602835653911414318165051375997158643769703\
93366706538049735547148205985572636068312400320469505334372634875582953287197\
32515285502768157647018650055407710727996012362654602926025526159240802748830\
95480312916172669820614388974456685167092989785120378358339607168172534389469\
57764136029675069019648134039734427570788910061840799616595765567319646047417\
42210924198822224697353681124566710467274316140045634290927208811642511737190\
95173702839105054202754979144738272816553646598289597059811310828114564503042\
65712012356499278992568080608603303882438429445105046717333644833268117005265\
05467594833989338692283727928199001507215000229601120274488105328712210127544\
79820494911854241363684833883237012004179499167534401713247298088146734894955\
33716588988938889842718499368850340703244800626920378316489603761877469112644\
10367101478137808425024590245285487476801018884446905154581277721398833458588\
74277987143466159583310971144654741170638455953328365572078424284808197200781\
94615291713602231723642568467293855382339858652299832510536537807525617792613\
78049408812672974585677354259848811720831867966687480806581389135113171736973\
09610716197387075278367355306820446965117220380106869847541592665400058144104\
24525496810175881931399607579724396586098377978456331283987957781452243872537\
11750537784007843735268003725069171157084904229927745611278622622254434574079\
65966561015015335808230733889024543868888128995389788221900675701025033964460\
72935769575007445032815124816888238941895354047886804235734772815830850022956\
15338671735150437033407265954745637698200907826429568083835816500695580903924\
19895404291866796554786763077276979949072883508496470395984017021523882008274\
21752881507995029070797703572096236580879415954642798956829467196746794416450\
03370152842189245781459795919607656921477286704772148738709940725390202382299\
74361294251038636025516721316377263127079578574015460294437528981981586559276\
46479243698492801923338490065428783322442034278038804065696070711530504465784\
10302770284053794867416421848481744326264033816225613765591235221515205094393\
41134826176348123053611423466066497216645838731930529998167433797986713568605\
59568919467247771792005044583764013265185894011176153648645645108302012102938\
65028395440722327441920265089172759995560760893166520237685313901818817030772\
50911760302613133940390508057167365260483782245059944258396609707654386591735\
83272011181677204739657518510671545331806163551228444949709835323640451253865\
22797108289988765211667595708708977900689350420373813378432983573136335112975\
17450308748829285454604443748295129559504555582796949841299115852621270719607\
04979186491831107928192099593649842963463970739379636204965895349871142601979\
48680442146454105422454217638945448781225078848947274918630416647671309521038\
25084282475482202281742008180631601111549761516653150572185238643416017570674\
16616535811928280287048998408120501052617545137994535737332739863462569083578\
18787437021564665106970921466156766239588222079108091469942469434259254897163\
01244624395117134071710301819041144820091027655300154466104980011699531141014\
93219533432156005931653631182517188465115900480363673495897047163112131237603\
80056881491212841220737821944318372769027632792348564587391045453095921546636\
21129593261316696512670973083565853914678474549427090124676162937273151638513\
68380661588218398004839776990598663970385611200307010478014860789615217355338\
13617911406377496716935286653426018535648021264737359143668352487102374151513\
96486028349590156671911895256763990380947424067346708130433700667598786554144\
25141202675638115896471234900063075594208418848419047709652009892089319206921\
52313367934168846343276111694636785623317786668467500511763833803710429960330\
03172338471380038534155536638447791078438956608224218126188157137246846136048\
64898041326718668087503323548377860145651916591541936708237003717901433106484\
87712909540515629218304635417687087283901410897806615868693610048788687254675\
96158193400993979449399408461200786910085421291373775216536260114497178579405\
25101656251791547118842618694854509405389517576076588262088647870807027046130\
79759674648964550404416283431359298326840994225713712477345271911906577792237\
57147046767915781395950393737551055058662736275836750305105986640219847078341\
21506745485395583009482785484002508296318049641850389975505393847123491104780\
41687793916694541303651570002291269645847915478356322956945750785166269813314\
31985630978198153712936741570737696904511973069784728790725472284416576924014\
39933727535823960950526205271935416735448673690836364880852115926608039655587\
25647734700010791864799635595387542332537715449040075626430848365428888978239\
71604915845103165708353243978160137567960672731462093766081658811485129354185\
96722081623998156711161060541761870303813566992669772650949253136067348559081\
45083927531094273023554450340345912737450686554352708892608527177640033810246\
46680209223848389389032032954090922867321759747793622039225611237319982639035\
91116246381933690677805736239824290110877521868309459735389674868869978179939\
99249836015587695112472239028674197884949832196740406547331461888925532374800\
10222624065884278985319599029640383958401693093001668534004514056559445794358\
95934535049507460051340704311260613398698812340703499070664094682192658723057\
81526276331519351295610193773136477926059598748840562633944154770013860482952\
65398086127262565519348451602750737024851204440128235805620790237669740526067\
43255672866316373139902775141872204711705637458525884855991597670339323838772\
84053066285266892700564729135489537087143138773551835049162084014237839822831\
15838050217760593132249584100564100212158744202895535964142907527140158911311\
09793286608846312590774616352188610435666768634157094345196485394252372310226\
61150401268139521302237477432241522775827584363295194081338657396899251136698\
88982881412245772628298396680701958625806284059881537638486227923436261636741\
20322989087543744150965195802968886463309235756647150741066417613760579859274\
47645278716924420665128129795144771850211395912266948095714142177519279320025\
94789598499730152742267242538500871105488112606609910996115309145765529667881\
25367614579434608144628153090798540254232206483640323663118849875645644944339\
26268188575186505287139209589317438104671397947059867411277056576169906889784\
09649197047669318482847733420628213037850823272897580739024243731149379794108\
29635408980129806134978803126831283537994450253512986168620233107241414056300\
64721715346471097608687970863262676495748854560414541198581664611958113928595\
35270765646279637799585501150846948033897959203570765597895674068317728580997\
28830244659104769599671959445847884824064566322033361795510656023324190941816\
45790176810286550224873198573315027072929648634527522528350910643268746376704\
88139945646121385983900640138456333796196965235355460409704052179620843294407\
84867618569356015064770221602386156528098935509218830482778766434053536840888\
67584516077899503504938741394481341007894591514901715661842722370243095270963\
50975862058551153667278131985017931586512353994777216892023501825499107253427\
50704887479381816192962704049468219126122987619272764617786787201824351235335\
94596866204878371186165035220579994350036662707748329812006228457334383805398\
51200580116848135105794058105902239333488426575655514788616759552687267225741\
62206632910850781096506316831402848425956117955345058780785519030276022129324\
54020285975351514528014232988445415977348562929656428297023193669421044438271\
13654297315371147767570571297461838058873305058609241598832528168862915424623\
21182400650856376698586524242969165475458292044350825927320087495597453622603\
52469129914680882719991471282912133168187476037607666430211372210064319720375\
84513946861791746348282932219848761480675664569960625610385021941983008569424\
44753595219840820513128506941273034667995573182333972512611260718748892626194\
37532180905701821184573859208911284827515291328772401161435840633111952298101\
95034261205664035536014630477812036176692053038757038154113698852212247117940\
36290548350471839273563201975108225612705509549847785503692392165550907934738\
50590408362947977447700136716757900014875201516282939677630030624474700004000\
28616898131950937077699878896713426710929467038151076835717251731999366498605\
33505432692071991490301574359050540445265461791214571342677934352981213764771\
80393801927394269771156528870969584807937607268735734953669295816723242174508\
93882607223051425939222854663996242234483114879492766493990273418707591350516\
37971929972930636065523450027678898380070701408954810334992354202180188466365\
85644666940690079286524125392672152944720595022618450806890007837145019272580\
06769558419449007760877310929071643006224890661548798738075187627436805992666\
96984250148261439797166003788899711997659273686275841932646016986971339034986\
66125279423027609507696206728581071097646294566407035847129645643199850664561\
84250360327710337570799102082079246231074345439894882792456002211003573142663\
48163850183683801358191882443472201181797075305128195376083723017262181137314\
31413881978187419008463621139526367188358
0
result=O: not congruent.

code version 3.3a
start=Fri 19 Apr 2024 21:35:11
end  =Sat 20 Apr 2024 23:56:20
elapsed(sec)=94868.500949