n62-L5-f28276-r2-t28274-ver3.3a.txt
p=147660484957184056691936955056406247631815564034979359982921835613818396546413986638410535385049563570737375316573787578920343581889885061786069494905393544697225250542659423743694155859375174886019707408652573069020516652656884026090242587929284380009628477732071661524971432818099748726747117076150058417340977268639673610717095948041069439954369973425644275388847043991198551127227204690517284522542695361908012078160011670011106739084661092717969536718759285909126806490111361191997885175172748574820253118113949501138039747845781490794249337490365985131333550115096246001503820095353234871009387491299967380128532770938868711408558799362453808725573215825091812296679701655727587248403115728705207441844404059609955586012052251683838605145842834575623163370391868759603101631794022582644712611070718514427782557316300675615414174146649086314419386592663305682760991036944800686613721472466811689596790536428024811843401614497239991888732244730074297351666923744815706092992106536363182784916837045092743215884113949996720529183710906862135920056936354668145648030364922317973798614062086515140054047814791496654680663023043573812653456752176652354514422435833442888541274873427055757120025788363949759847698208425798783031471528151750269480909593784830255552240070869334822760201092970432918937965127125988803152680593841839985770037493386034088676094249025655344629935579324976779512062127579919767598226707249747608883953033717876114412627310787672684774938093310434670758461580279178433725336870190035375016190800425897392327770731468514590809238231733768346694760791148439629656201834982320875366627205096917934630170291609991667434685929495023175550662924462159771670120721809401011642083144853561402869548567353978550918580318610310534149308264372487478543890621071104722763546408911185495951820007895206313754208399522339416467565066306971303775431364252544311605987634876000489137182164211617375679621199701161321277746939274567757749817797151475215889917224792828226700579721765020991922903716616687892862167252315785249518660729324042669683311530550137146291127857379530927734709171838548620879946295400172228156321435257980080485503836865955385545165218460877496824228555145053286415570482033801277067699080443849231837437164265336089466455362756126937515766584740935021979975176588458359131142710777515387817175927259853357621316584502940689307806614262887899573753784710136084831444736331848823965876288478304609994646245989636249765095324525595844677159548648128788548830891135580405963554234474974490985221852400545828888353826190536013981085024492053808048665848072028795087844896867575860983215152317752564032180039536912056343726661278601094829824794480220967141116700232301039278313509481457828540452577649462058218583920532012059372003554776891209047587097779141589596729015066113106959344572268193395652043528004277220371604438728306764846533505982980463444832473079852192990060913137006453453871416247163757073927233201848231795580785739379030441257420748235722514880432200039473660647230167808868222970069145309698695964725789794819636074543398648272106927472239228595095066348882326884575828658828452763676368406644273269018034204728150515863491500588383353371482191740459671200382618498699545520535919217614274521873911634888154526855295994660295103160008251611221631820117182601246231030872215416784051222027913934219128389310757536417041732274296808382989024351196797286232012313470175576687527747653451993672374160096531013071047479024343926215907058311452404974264388595401020696709405789385085464377706381418235582978589307140987804745369644896402873871298145827589774265970184386037459935013752788753542619574185457919522536710388244846409590053290227806796226079261458252800382625741439059407052445644668372267167424760257711599221610906528504243306682244216791542938474423724457196204931468332549411912007886482731492302982391629210857561981025408858781801535937577625866733520281856055394947051142427913721493919460561583116007605563966994920437159653348836466929858089725439293368876048441481455563950078914110653766936807117724589505643324172821514442610848212367460508901996800836679689732339257844842426725873440040202512633012137426129340561787545078057191920196905716515925683426250635779799266852523280879116140324380530707744860223400763272121341185073936035934156637495037706820260171953541505107754562822779382747846165781076503512768981621625475583177612082229692954714435973763541818969107692627353032684752622988069805278383968613755722325196086550832230651102511062099784414870642090794707135320706289187475212375395508786429496109931357874740809457627077656173435305778305962330899188322812010198698223368532105121910790887330834294185802344362180217630041599189853406010459412802786326192954967608120920443285651371343427853791995466012548996250782241657871160636371814583846879342038373280556970100538002944588266058285358522797750653242643534564079237190329864933201476808423852647654660574781604358759572975990673148648417042939119783394153422378056693838178423523431797418055959998575045184226802327699844574406372189080105767047699242413431252854050112591671247777116772878198491269533800580056865552460293441292096693784747745111574851396929026473022507054330162622673414921842363824208086327145317053692202865905545432048657391116824086316271910354631547740102038188979385756407003384899250429837122781914437749182101225746641287794521529256022605202446556701031024631330359384876381610322083804068340258928317515350324609921243814398595733017696209654727510037235459842081317619639812374370302847273824987217445059926990650541469358351810865825859890891426344242123745754381737318970940326375238711575386676180210990282712803846794970088106387911224144439820727030609394618727456580077543575468569773339229415467373958940881801037552711971238244876666852070153076350864456203666822507692616193911835729156026376062721845249205727011335958014195144001610776679600986981003470939261337321452345449438209420979992115635438898152906861818581899532442105490229347888740943797120315252829592452379242304808923458134734958901462641688951256448407197370040870767662330448020136459802706685581214626416853391554246314195378934236466999938243041679750538073998975688545553229584158938930032426490716010376412090593868021425780361852977139978286949560774558846208848554691172082485241740770675009365007197323386966309077908519985709890840983998573252388893234721906646383639428017135432418503056541016395496897445194773396442206146797166132051645886238559896902012648231548520955376829534634443537545479868550000958344117419632046482266011175031693579783684610466833383865759971155073943067545137564391548708142703018920514015242387555213984043071021903000465006466693120633044770447985068379164290636740453389401653206555623528474131067467838198464240830481497441757961824896463318507671834972214031765687433326037112865418465525663783538099746279730699243887297660849351197946535075512757803270446428955678192397665295577659308099109328245360858425300721757475089799491512687581973408110139344406341541602054115926737517439794711750461822988769336547060801007853429831067945574598733606910998598326051791434348423570024968162346331530264916292046829191010317067341236163872173321691611223652295594963537733283725235236737771910480999269162100232317186632376237310507337539884835137681324156129214853475669940192990685063535275388999276798243606376270178037032230599107067908328514473422082881140642055838178546127081216516500032570623568081002169702392363291308672883691672796103768557280569975882339996050958634360863989667001357559364581600622742499382865239734819780644739215697485837810684839691192331568812181531340149591609370897379284652772151330529338268501487683582523362601303366527576346803196094365403679948818579923252875805969187924563499016144991431093003067523889661223970943146763263590339491455876051076580100753403710968039014094490010162800266173171721103208454917953829610786371701353980204645458570778117839601566984038478098027685740923825237016591422567562998535693673666795354635674320810629821908953085134471258082052742575636263789979732474907142971207330005452310032244625615585682894064808344055393091008338351671075765798051241762592143576780869264821460582694035842207614008162539991080369306716632695633758159810529036427551504788561269111304054863047533802013518599042411573102871514275027346628778876027423461751195591433057797069025906642486140024776257294882961569950760857662875054954630992971045324713118146876926246982685262179493462660081003342222010136557410295454215947683632209300448796977054840527660405334411855629269403902070079604741440807774076489062320608029069231284975911508180861849329433599375802923216697845016713458113398606677383054756056838425464172440992609928647187613341873114425919214846490541543709215177231428439371876026651933283265483186024292954862860978958418899760042408638297627465748196337197187318070723931790332410747105475664881363357553174555129845670303485848762382358042972387905063012918877744614060865996323183204971706049306690594736892187291943004662691621577282131253375350905328624305948209418330708164790364597754715660288574951037556945071161551246177141850878325926418266108467391386079368987592146364037901294000078655616911318491171266637984401456257016683292157343065856951449428184918715689289269267083760011428446046835767738100098635786703864569222578091835464964084146939716432514144346122418359081896071071278510800942032847162067382779082583271180383139233460701873449070099782326701109683055565437835336638891263190924425181985473831857819446743441052507029133194227437476019466394488159263415817332413505889768944221501516637252113770265647099791699326800932932038303087227129449415266120239035236935387411801927996277202656337433714794838511164326113135285642854240464008402358025427302565738973934181440023338693778634606459426671990543267896653604490046546396423860754510111117020252481086693305105429590998420348432439323281544610368896726085104683613857175357913011120165809818162673074439217542012401350908996974934487040731932745652179643526933941991227049512825659824639876683970977627059890653840297780816360972125893818562038124113951785936587663595320006521694961029769908245773968937292005481556900806235895061951191069253835994493603692516163202327716438923419339408615046858860796373265371462410969332891325461660667187950582986706238912332639621739924526957969588440795846382027960257441575384334609521668978870526810296632559628276454408220002268530104584297169535584812128704435834020138326975581376682442334335060144035781677197898213451142015839031956078985224515483522654620168612162719749260044855779552364250722746746409468826416802672676300070573076569470471722270758859270585556229964256963729054278690823202379920337097543994541454983950422778728331063201388133923286960152274178609210350057166942774987892352675949673467911045643883788909279468027913515248078329481804390338315075338351476264939540513737208795412078880793889043456815320632873560173027228438683328564888707240962862279064959486310404424333152001500074771977831258299588390494860005525200967809597679447981285994521495850768327890481580208833644661093700186950498857477543254177704553536566955139527452224070748992594657937143005504019120380485516594540022110508179885452057314956828787449119677023350974393945697267554734449731312461316140102988095673063240815380424802374235526737522029401633955452301555386754899299020282219088845431560171728360382159371188151922777151142493100684342443046143481292888842408321413728854110426167280760585253920953193258287678574538632690546196303346910033936230042578926407722139395776936446740161788282761241680463187882612585689218152320145424792718193815252853239787341108247076708412414950787965310083058386207077578834327647902526122047526012828243833522351453737967044117908305582511186102268456292751243693731938872077447683967913143093309511801250590206631025357086858901062449520178198052823438322223310037096409513895636160047557251467513511206076448931655520919176213597152180558865022710489671715505206451397514483077332293619886117917610387055720679435982617611630820256866822991212344113093166288031842081044987634981620783465990981409566044534061310374379181546130819903100355788236902504206377653102736781751296977281503633334926833648813723365089150873475844890767901252476256924146360998111881522704802918709546034586638481156048690619257186357198063996505246162710394247028039496605826337012527282500627280065227133320798582363578441844430798618752176984584607187557786751053652618072721941666073816740740016542710230300331402754532378726486282921858882789895436771112541172235498580633130744997996748322794605498228506073167619799548722666050985330781836743074680518143086786376802747608827624296865375774380447650256142412310492596420501710971257629627899305198738413806112180329157429504105072028735463214515754012041483171215702714574842784885083311865440901448068504586176270263937282080701682930446067042954270380308202741646648300251042578384956473503497078142490988567701394366445216087521223096561852251670283462095572910097886537537209170417409414362775142663365246477082494610044854989536013642774153082650328552138067788541272195163413591989942859923420610528565707971377580000929186816760881313698842707430413382764823462578603507157413806229843263251859660263890110493586080247916920952536523087229814202345637742444146683150159719709122693237946330986324988877503256011750102147237428824142879436412835840715290052657022917817273640835544304814156918701704831743493766772801454793212239269245747530731578825357524905961246895640383295996783757123856558799746946465709177239676191455217735452106898912941832681067405285623583488391387846058514105065887515851585092505048141353262778563814157413902907248865937613099567529045187061925689599405344574649735052246778294928794341309710453366475876565673153373281717258128854612480698227655257317423724414746870558862754658445014782704531172300999174991954507999236060524709035715353829451091981663005563391852450287531591354510345926347317306906517922355801029098314011074897978902907665656042463863813422494290503612725218217733887334774324725365934479843509461940772318730796399263253944603136797584620917837475716540297815814123149646300080843745434174160197766735917723681997536573657520885797221014290551664483377813366002374948619193539379768403019917783914660070107081614115042737663628377375602980872511647389859788589128525796361268231218396774214946525528250949586425250958150034918137965840223444499029416978288628824984674817814361022747678311450246704729022642369086930279896126822506509412667314714668321575982945894072725168015955037336495739951497262839301702530444465999454381766782309551621013889212659725443888236455567716327965179052056478980124598008585991283107495215641448682438665753385756552611759707527977543347560241228762253941837932087531617392410844155081318837979333415653734283084240993484879859779077657053020529944399896222177618884006453500642168212711424728368200757394749539853219959216505880869389564001808708331918319089685667816471905853079191797717111736722230014571201142008297792548260144488441686669399838245858698577913180520664002198816212831539642699203826047376084117674257179586808661934174331000299862822205442282987279341665577306146530166938307029874613490309970239803915351330836328698290318858972922826548223735504337165956151755924368551127175389399403587426949089908982050943418965270034527633855857311696682362920004371751326724187307865462346610420527790409594508190494046180606913092514378764202378967262608368195260396127791780710904546334554861151055606164447592086581060861436602812561146890415929254670294200168096111677960407933673058179734712559907429699198213801023089464473857743158742103654551484121972950823328661987778010163761406088873605934318248195338587450813327503792264592373666067068653925798567690082779170250135473731514256814578335469908246369768982254626238700674292067177152885379008423280041189963785903615932507337086882495152805497534194060510483370995992155003326414883657550351949877603180948860440307310105606232983648617078243789021177965663250138087396003243365765229187885004986573567095543136624719521128370247426595447746971362876054162981701147728652103082386668680104798725984210215332613597687246994620086110908419533677544507895202438458454891351392788598351529346613046131830177768699566699627414913372469514977055903359705977331982507021930399537635853578738167272777936515653121706851728613362588772327615749176219511947945610205650527378105839095709746102445111162180849708168828267974297230473781647934939092407516465226202554940658637702807441633088447067354016795268731358168815072807726794482913489577458639475209271286451805037439033071119435002340475197896924227057128629064020147797184721718620545667898438700505383409089285502847741073784694209750999085353579639642643889735773992083257595001257975282553016861767364912541919646653094020268018630450023320480833124798484879862991012494851796239270155624506370065423832348079207561667197895350342958137420307903154617003704988638115775656977044831295977872741156085297472272954754566154744256685364605485072084480239225799661595788478448010667094094398536106410392810078199615187643519298865504974591665964150079651513193466658130376050102552904087184580019236059211464470033825098857800892297636550729401018801708597369805018645338607289630189949585846455533129795709373914646543428852607674146958756394745301264533808421593988015949476780117056105927811450604555564434355491804683068613662705904779910187835653385326239689605561830554556031868736418400165173956888466992715885085139781950240628315935315879826809593512493281461493055425024822507906582507008320255120968965203291534673699768968033338466357625556631564141477054991522707678247983400834795335125406643314906010958255347789777945928384724327891514684160426442757028921906657453935514845507517948743961133001764271670173136285891621106207645860977886402124727782900228357321693113980662273203987264913852619412608554197011921393090216076470769697291811090551420369000239695972486151462213040957349323673842157361902432104277830145812037892060391729645905343103125506539026484591612809616962555423748929225629609724410388456334685449493926391000295455025901006661353448956769998276862891715856671988000153773229105294835610101852037188865978862768564880514279505073590628786659136813367281760829770228548630867706399632870221008971035414897367235339165510918112373328451223844993724394445110224122191387234773402976538681916479999262872018863540150861216670417370293080610285557148423470751159601192815794005185954597057120576395708772705718414605508163850959520982878530743518573215149031550939418403758474813081373659229270739359874229487371765647053298857923286549969865058536976439961652225908509298833131151862755792932430113413334629291094984413449915293899328948642459186841874558493304873877508340185434398143173063106226577347343879491266874818344589559271867848155891217601938258893035829751473270192897386954769766609933448632146205333614481712944154272277253949304750854961517290458669552786015700520450790119386798465154907779594540582331898054402216570037787528207642836376486651522864675436730566102478050549666529875100836409521592686405927001580706554514523599090856897707518941921988244051369963330374450166752868875761383893085693058402433559401453261647863499252009420427459369622249606404425806969308328517735253242449058545993916924411928062029316299997277963406663625443512960125327277019229529302852972475924984521137887743256161077991011609662033632514765154583081629451318094540106035021554399488539148826725455912153069787384751521130965556949377059936523437501
g=2
*** a(t,u0,r):
11502751778164638016301888798894046690518432438324892142669610994316453090965\
64955913218070649536100216044153716109805239789476502922204631313481365313015\
71319138470172731691096337747414453261236209352071340354420766982472419712656\
32429897599691253202750058415328382432795274616529970425813600420232089550710\
86212922703057427486177435239930937244542092985768905279118472691436713281099\
92453912964643060759686926341408886649090938652149746950991227298269103913483\
72320978225579675036856635255145957113978497717901076666138653296357186378132\
87202339049951024173088355396599756351714758542801699645163128557226745891201\
27028561378726187267304703351516997221535127746521779113487589811790466506027\
15266135659719679076243615540150338870406171027340861156813441044426553526576\
37308161711675435918802311240240897227392426121493982263044076416602396382389\
32702155684715126870812017779999734872089027051646306195899827877431328426009\
85769334995368132241864472787763694853359721143504644085099182691938945021605\
81272469651737247670474452922341107964456038817243534202864854598156542744857\
01589120354365395294102103247722575893996236494950944000057042809945612184166\
73507751425201017365312639967643479650008913551686292135690436369725198151632\
04302134599256285735583827690751950152072118269301966514239672438526748340311\
45277655938182602793348914859207347720555078677419990985513466719816294156911\
23989639738475749895901860494755338732059941326622549312743667510359702143967\
67746888286085208415710374799998720374218780375571376126335317740686233333998\
13972866240396582520605542075218656304634471502181229451227961910602592770499\
07107690265716418350893162033907662305375396641815602246213102404228952338806\
91827698409243328353783339687492911655740681974319061023111379461677457856907\
93814390579032802652541813501346467786150365718414528343227902405428233186653\
13064564106103275273201874106436756840438103786490592084993565442491456720466\
92753648656948882832871080639809991931782455181136131885997516032549513527079\
41995244399868539628289553996709375036708143429239683299682298556836960788600\
89865459270533844486222937566547816411673416573377439806596648269820748891857\
92453396837051810235700260740444579965101177294055043311948357375836657585516\
01363550962696813694368727587022884324782169513188382122400662562409061763160\
17169568448710958004733542576558700561932779079697078135251078967376795419828\
91960100836954496025102338694176287245992911858294256259266385670092578054391\
63003507288396892326279539264194617136245608748656005128477487823020025200704\
02763060242755489126523407930991646991069564811043137343117465984159570592460\
36555292473810682507992544918917630691360302528724335149000921334029299094809\
62509597806223886055648433012557988930943352276874094437394250790769171198251\
84807034916995129829585190273650211032132942179692265521294190831533195466947\
98577693509698154496011607417810235244965292048583392574513337280272405658332\
56540566760589314664239772568757432090976264713739530762875627839091856683830\
74998164419230072310834569368386419625528415652139025016449650206930754700397\
12965008743590755790566857793326430845705252273647029038909887758888765650486\
45483229251857659878958350632276384627365818083865098059810486945960497481070\
52151985253977716357787237642027557984036988536164642800514165118787128524637\
08139730494558096747759019597449547567010152730801208688755094416772137303484\
49969582305085974737592193266774239584115422039103070779470715197659182345986\
15996391852219159842462142347495195871581739512273662710993098157675023327112\
48055191403210702628294998966429533742978387457412555996924341531907736367231\
81289375713422439009700648290471719308056097392442735353070651513087461494260\
11574467597893149806545258102727809385515719666199612342388824075733579363489\
61857048055359054682448806119490715760813521558436416138310559918794541435700\
47832504023283079155258040783218793500991023396495372970550185412299565867152\
66375283995134478904376325977747324736992473433028904302054736995874360773835\
94518961172095343544417359140538843171114740921992844437727447074552248961495\
30627959750793850757434251736434655507851773478301492281861132250419455409791\
31775734111645505495475629763249761580655250583338955316590610738904924527246\
36288781156358048314733126924334213332461140291945889825247831725961719927080\
20608634373612982673951808832478940804438945139160572163143458596236447036683\
24624547929535981205693081172254562356179907697693489255670801246142229330770\
63783118611115501157076913277514230983076772088561173757320591842301887290768\
58414830199277043190440433101344628577469636527784423090567491493494159106103\
20130034465577046770347055594478591600408650988996850610123071991517074002625\
81383895338024057688958032821478825733705481043119197667261970253195224182765\
30298103964468023775668079359366251481634135733643560816719007447892785553879\
70831910429383425925940429428925944775887601931342541772577126696478296395043\
37621812125229805877548697954737073482967343827971168764495743112640455160325\
06164499940991924753370188665592838889960198512679013278178923462563935293402\
39253015770984006294597330503770891190201837396607211662469896683065186429826\
53665685907665433244583184934419168092382077116224845329953231966830625902241\
15201419058099248846201984826226032540419891565904107680005963240375818166257\
97568953948774921494150424105563683651608484311864711134700661285685485663356\
31919322712904416094527058676701031681878063499608187012744409032833692370617\
05159344457902871128648931416506076020785347321032730319006423216981346425699\
41383963446591802630966504238970168312571677180463015606066447834485500442112\
21646143979426633733714783625142463109563172262207443843614302332741966532816\
98634876182843608518620346356844718407988688675880406445290015853431259714649\
08431401494692300825356262559459275892347776264924647732341138265645473349254\
80150573200330125445469528603174491312613418307112930580171772547950334091688\
58201703861684581773411377105112365138943413858080006901661114445356675299735\
77240017688866200532919521795672558195425252040342975544615137388695853298423\
93978756930287733092067512618383280089554190076863021863085080677661939787287\
92020757878758200189770207792951891329468525669159645202061376985965846059813\
42649526023626777208322501857262318869068290188346919204308553370784338134119\
66930241044230522560033160603558322953406067149184467547716907370688680049651\
26534888563610947829848365277532855114425348501854013881045451772092083109806\
72847582847858835499241686823214537983815968666785297237629782423855020748023\
15157479288176004507465500674698933642096852227053496892986514903115536632060\
31427017529802601649617662162661016443643165651739080417873819905511693569552\
32606243736224003755394097314187617898036826736898240602081319034388784790683\
07286813481015574459566036436069450865071294522615943449251174763594433547307\
45470510560982910922160984644492087376179702351910214710988204877801644583200\
35082382443832874767776815647331187778126525499660100920616670313610871330926\
22490730949538038883836263572849177985492925400609080001563069285260856000804\
53609760108251313170160363985117821838401929602612413479783667908095994345527\
35742196104945019846779226207636979150447993979703699545882297165642301759776\
51432251382684765958942280219582494187243182646984306772760809750883866210888\
64885215943570286572253751517624658370857546883410339743664493979528030436625\
83176936711446869084810763670440590058791277479580256440856016149794108743299\
62676663535253725157595351006901981636510039294561763958131081648357061215640\
11212342856923696776167113047950594057538745009066885116407019252021753424609\
12225184902834146765452349011943882629210468941291397653186369992905846274450\
95058864823545111626589055107856994664153225249819741596897575106494666801296\
73760213990252849997393234965733576948324821449389601110046093473364711328582\
33687446384412744378865589848690149084410239197960771791682140734890077073939\
93863810860332668025835553547505794188122266361537970496206805659744383635671\
92179659859635924718180131575859305371786433581261190295911480631267074453319\
75311004591908646642064949239421159795266437457051007424734951511856335454124\
69744764857000191512178954955759517680215566819173330592798463122971572959177\
93918653921079731312358618653051607689932256869898697606492402119377062622230\
28922863770585873831402883176853098865403861544713690962024630302381874442536\
28767041813657263520239167711812744967030793007044327138270629916427081193796\
67809657543524444307951519036417125546399511819237825407412203101603590945896\
37822262015883422324554949104504961284512572077104745575550683553520086563971\
25920120935823892560055849795477536546449311709962350648728913806276287739137\
50477185807621268019783870337514601681399654968277133436590331533243134416159\
15079331915613779106836541613186254947862306328275427069142476185602766381140\
19129242118381687026086083229130730363292338517958178449466766089207770939428\
64668947971995165542942582055533922978446149777166415476185895856915475490178\
04408706380576305435341461113575971667295901240991197330003901390042360063223\
67732087027802463793983552509983343336551368796216603716940216509234993647998\
86858256860210434848420771993501834215896679829298496097889755828441334282017\
58552510802606127272557391710462241671098984873442421599628459057024830256517\
91045560516795219563407590582490489027594704850630679799768372778423104994243\
88333539827207021550466039100928518445629363901724797039364525959913933843587\
93925049118490533236824951846546286588675941682560773043250016444310028547607\
37272416962940257301272167666841150172413490131405799029756947583031737938191\
64321306276066200921701950121088130007548549681460419396627036939090737733775\
57792675405783810494993384109449230766620844957266679379370190909994086928686\
08638251792001970100421323875157834533214625454369018078686987106606947273417\
78180842453556358431893377480633205691493157897746259642814187527763376560158\
77668276653408467712965138776945142887023283632325147737054962029654853519473\
96038142356626091658483487223249881504652276606523581086434739654047301756088\
63047942307481540811165871570491189003394463936813391571479654819341591971255\
94519728607128465982769868476844124460178994075428508040037464219075852345792\
18021504722701328257280577622532599778429487382397105172764700911346132911059\
21343665399311121503052560374773724369218145110322342534633659739413504146644\
16011270712626533540120650025830939537996433159978104054698722439666081738013\
45401403852210767639504273579840033817671849514711674950682205686482607555147\
01687756713977892435622578447011852203873926537162708278439630338605893785529\
48989756166414794911134887475868467357494265227129175131301971545297621577868\
92820148377549764266476174974716489211513717861483031421561747449332831001512\
74653957942598986771747793432497379344629369898233881356326240541958621585136\
57486269453304842171556814273456479563150270455658547156032870559374462837825\
30186663256200735474436885758000103879020602012856516260094481384395648528591\
34773008503374788210953734312952048302940710069715391603439835805046555525409\
16855824737073055021537935619549594430413155392367659228997742178973224526774\
85274266851509826814091909919924456344386099750061950044318472049856580536918\
85282551113465231238533034401287630894776398217427146677224085872130767152648\
35136962542286422840119040905288369817142513813634069240736527314022772652931\
62645951813509210495294753285296609038728512973429116462820665539367998486702\
10591185373776392737702150155570347843400740002125433102763132945771927160408\
23608238129477735202198431171249591280442253754820610160956559486593548692030\
72429164363232031689836716155465893102334920105860330722710072690808233605552\
04251900940657393285913527472982081972673794338723324472755853271246663824976\
55470248285531343391194123771606784907502276399320194631391178246187632736785\
05700487762139736671274520532188374171803813483317458110043384696881096931742\
09770965568753170663083927648176218816283149458453011958518898103011324700568\
67704709889319302522953355371775965079603827039218154865535585269147145426637\
85558256386637823172418567298912858578184915164064092806304591194604089800992\
55110154416064099576538376804981134045367650682590320006974518051948692033760\
78164138242443590870451517715903654705077676819176703195298426034530229133036\
79080034124258905014044485304376831699081950756790041439100152175291557061870\
41473674736360942991376820561929992401348172257291853277586760751397118434842\
76785593871653275875306798865117081193685690209566122760619681159212400794587\
09914089991075158790707953894786503925578715032410364728867712694039581627457\
80723027932814396128069693328545244696669573171453394313208850353439466943456\
99768312000623099757582384845495685371757267905082285517612363346460658752934\
03872767193272581277282423687195495349391898737326115708328466096934801335587\
49817224354961388476413637583697851110384925844107772375380315390377032414653\
80252942547989994317846222804536507263131453560714274086661100281748622646137\
66262600899357427390258955621685618810928592242238730004800942393862114608233\
32179032792221682904051150816972451296966253612741485943755161933788601836134\
76152700564726330122494203684855462772106525138460594211555480727365104003229\
91881601654878803446556017526865097031348207238365302567265433713984690882920\
25173797477348732132075625355053047902073198675345570396074503556513127281422\
02595148495202526362725180136399026617397442165340657803236019183834716633557\
50364331533295726979570540073030809655991199172109510198208529796561662108890\
13450228239668628063928181644316012333283912334390742437326439899904953511901\
74381133170385858758149454679948425930500287129678744906970775314361461591719\
12742531816876585515087175007715374568911320795824878463263748483847870614325\
02114191704501211228625430364746866565400604563105126200721240112197936763423\
65214360570024029174953079188026444317248470784465938647778645774408237774312\
24639193434454502730813190878121653540858789286665157268297832224783573187325\
61731404891148748338822260633142400653715481333882253058773987109665163559476\
62456018208017746151516900166758661462734552556536507154605707934991065612305\
23023143129449916146982337891989610600629597980938708518616362912903950260748\
22845843565318419694995393583184891998519201933574467762977277693221670794060\
28727990674827608099087920877003603517013233974663255131661211585008497435176\
71768395859525159536695201946134165773956182926399665059755947220996865733167\
00775310931121595365427952119131087113443343386507489727825270496398877201229\
47538953406326474391582608684185466306168307738723672044140461974218298390863\
84055187186880390827947325708324678381627266225076907148514826529058844289740\
85130181422216367751816026271216239013574963396323419140712769819696661926120\
78893619888725101948487448155199712551706184868848720954073877298468852361972\
06218875043544845608121642945062677494279172057958206917490961871299486880475\
96808347374785900730794259006522623733924721410767901494844302992826687519157\
07636511064102727700024903770219986339882839001050989154565834822965808119725\
44703574089837905643705708651352290316146595486904104216300429066171813509656\
89624463980395094652556496073915462473993523926192194367625597257712877829795\
76938166267978049090596952766824634289812394764672180384923359313849803953844\
70906071574847214881470000449411762723239089514668168072500586867215000559681\
58391139906881881066289957878652279842217865083101328069628342135394605593341\
03909701768492337394535689702677371284581171556071468340559428351814191282719\
51680095175911487290741218803948619746927852990687010573136532154975719188241\
07848583549797173794641594618236836672317202104674235446646411059113590985133\
42763400888938815918193094687099713115778033131232201334108416788773567540855\
09969866928251351819206600987468956061310169286913730276884790699175701353432\
32539022833915344168759624183582125454174117459085866246481408197084230574484\
97362485553403684960605855652333105852392205003717635383994782527352033100209\
77102475617351520869817892189168114232155906814637240354825791371731376665460\
05877888747591277194369231724168954652877959162282999394572267255494262272703\
95191164749763525167185757008148652658193111353736241888454080876742810343065\
65069590004227453178537948906916804461929627451940806199883011792149018016382\
07541699757744105992598365408809047080397658816734807171650362699559136360362\
73498231811584136101156293669570848181696245900975621751715375216712654871721\
09563416143729700837812398183299378370323054940125456937818096374965898094566\
53643212668608274999807449630350201760827544448655557892213804741595338881922\
66351722075197754253907590374131755298545532641121179029877307877048699703217\
59002654687790835143417280135069417172191729021896083808402801511880223321459\
56124165006762402039866823230179161703972877503202040871695134006898218805405\
07529288374769369367568055340671839029647827678939602828749043853928161959010\
41679398328576665059799627451088001353167772668701554047427602417887865131205\
68166654569004218019721413269998733489549270391451231490462280965165399153702\
69053874716047791716438905041985655744664588618614909218923678511792357956676\
28653605904467309006317538070345457759578990276728711538101063568979363831192\
24711000309666299536459626893695999050917500231174301533816228375206907786072\
91204852877771052668356294302988871228391678783498489012573082215634975201022\
68950998588730182033936465309973510781095247187750786219179707273743888603081\
10857602279509657331076181378160480871231506589685071836760421716664424642411\
71118670651776512002094878469436292811584811045004324789982355003632397398716\
91407182027326660019991488257456699337286705124161157873256744813238901392374\
49458113611070385084673346232266258503090176094336733659227772959481478739234\
82389336410551081212002609797066529259030861598846621062583839618928135517906\
92503055660626917751423117825364809159282370198782117002514274899389609721989\
07725530165286156615766064650356482071545722608374367631064873166709572841735\
75612570177350725516294287927789035359893579093591082590607936789119052242206\
37194722867652172783235707295941903208395395564674511867231625667119890639589\
05775123141923040584921994609232429683587577517915045157394160262277334769593\
90163149686637869161383067510041586676546597531569260748471996515576865858923\
01594651768841891943367373238286576761926466523474786521197893454730246769402\
69342736970126597534096712041920623734452327099824807467577613112491686391008\
03938344594328531400590216598843658820504907632920993300520953882286350337525\
01113032727408645911870906558884809187236332129379194257773026946977775208877\
86255131458309795412449018621883715153329329203503530039858631107496929012257\
13393775464497769085963989746684566237544920096853460109557818180693652785187\
93903900805396019059613420247706626054390545198103222402224265248806003046467\
30127083982728743791009167301086762694363058348987676217762992858077484013947\
57725099247570654982028106628449675057899700445339615353181615975050375358088\
21236968954834904352666727850537134392585119099036776749113763976774802670644\
37765648189138156484441893954885681254383496178103980826508400916015021969267\
30358162030623070543116550300231600435567316030414711363654858437932670805943\
64844737537695372831015363115821652131109938304013781902267727035515630173207\
02710217134231370405966813883691777523314157255757228842116017201434361696679\
90048485421811805271375489249549574277373209082368566591731533851299084893573\
24433890477036290911879153157622758678166073292612841168919603208373976978795\
33493790964220496595937629948797979803326922465558745562941966414551996549479\
75499804392672419972900205542022058934257679564674260128179087720157199693601\
9130155567241364372721434961022168863564729690551757813279
1
*** a(t,u0+1l^(t-1),r):
11487985729668919610632695103388406065755250881921394206671318810755071251311\
00816046833965295685604580336779962944067364000273067103305780695620670363961\
77774441244922189031672594053258593886061323332363931701847697961955767055772\
29820873340898324764749095567555175266642777473248160450940925708524474544869\
12803150016660691379006475759520242844998393251512462525230002251524727769827\
65249222447358538216991564433396808489079268641043007866330134580299567194724\
43730065544930663900737435466628439839121015692589265271188539492382401799983\
79259845675047364321775019895448793891699720341848167296453034682313746217399\
98495790439857475858745903989063188495961911921429966816807888156062879257624\
03693265138975494635837654544591737665181002643480346572529983482110216487389\
49712130695357495692975864114130190042248148295920819256287922274860929891526\
18282769092051821188051026743054934185475305579179494506303037341003303614166\
45607885271368943368639999780333959686667346661934034785888529055620666529922\
10821542219578406530974485717049270855387417458042964839318173141676239095633\
83615321740303308778962049199907784397341555831927900426244389353193435531812\
22065507841856728511185152624937903938006334715291316150920615527145319848484\
89020617096561476639645979388196427751363424921074364503309968109337368689040\
19288852785502008951508929089169854334520990001325741959858122089880714831934\
46038433525717757919142037824030363971171546023250761701302404779280934875490\
18365955181738500831094572008214383120850078475217625964427313481712310056290\
82504351649587344288871773728523895513486031872525027616245641035235965565402\
15314227248687257351726418565314712803057841575523156030235935392156771398705\
75406866960707714325087854013953126146554878788215955681618296817952583071469\
03193319474310039106132902315850515966142470512100774134828380066011765621586\
82367433728560138847947442945837993352838054872772375663831827874529336750350\
79540871187556137155293582461838477179623556008888203603730510235331863317160\
19091527783180646766122301680924125518047414105197013616370768006699814497473\
04127506177760373569039082704459821782133399350561807663070850261772198508171\
32899541385399625626925292498159028514568313138350222973935586698845853147023\
69526113798431477604902272224266757387266402928447447100420687385820603404029\
02898490697172176287140816591222938430274328785628147354589652678586838044450\
44858739988640048661783850454517524361209865758347793799370023172441624809135\
67158830128848244197490990433303481555839645194421530153986502601167624654875\
13927677623701887728414905481786266186202980003840257834332976297401984494138\
85032114948170360707597175798354193424747516517776036901056119124357887927807\
30208558527910376574190604472105411281481294058290173905382191418765616421360\
63902276207217215670625517372143599721437007722465446181728986478732767744910\
82533306226630506030676547588005600796640561250061462673904205910207871119618\
40293403003515387431037924336961851305236885683298273342127392116576976251630\
71050798354507055529947747071379505094558546055666446036967686599476414835569\
91895734021198469839616194304503161999946965685362501402146203692446032960306\
11278501101341796387457762248923013145174077624193897677191988246414976945151\
30390557801790325194298422189342028384570959025848641975353042955605116806376\
95677420185835942579918507377170408224818868837693633324584677094029169219654\
60945231108288688505579879796598662896587674385651077107096555101128169274938\
68093957459597569136630997106997769432722199410203991770414159649128585556474\
33872835573424809556885120918975837294014358718699574538648443789248034523371\
43829440699669650256158028716286261388533560682054490506661061459797233687463\
88966541452067869768282683958821868680271155199362385625646348049962419441328\
52791763012925987860006638204061331016576276986474366823627234424675421356835\
65101011720300687526047183221237768092132241594959435392924318678779284011097\
26880578880891687532226934031691166425391712876632204810011021030539477127142\
95938063917702409855656874725724287531613951780886306768359375897306353905062\
06455138236351239909221884275925753511050936798611759942603287407992729536351\
27755482848344291752862695707071007072849531391319264744939018170562299463668\
38296112631125239523571723680528906255012538057938257104034419875222359567738\
63971139335906162413779855290973833049876122359777824316977677519732934267701\
62462000371218219997470111876783118758803553515796578486408065942873754068471\
83085065827275815019519690025553365474754465577536063136322747693595466382821\
51279509492987855715228057705835842147973526596426548349758033866416502932667\
89552203869343956851514774393458721778071797778484659531034338908087655422391\
37762093161723641697059498761374231605677617781189647991180761048762367669051\
86870250172472557763119083108584009823762975097271746232872128105854412273322\
73821856629088967099334600893073665000822277666989085364653407663491803074895\
69537573598753259271800881911149477753207437096484684594066351914806513626101\
28107806102813501229938391247536878891385153328452210950479078888157563104322\
28676311001059764951472045098759632023077059684929923842620769729685128424139\
98141082973252512277645337456968052343868107825960115104882688665204399168091\
93359055233891162519056667772533829674514346133855450288889139154059546255903\
34414179938571102596211848464863345161683441328152432943256886367475363088692\
19041377497611855868475034211134021371631750196014338248928305811995651687214\
46231026942552546518727687602107480287767651111378002808969187757139265108079\
77402726009561517903584005517225662319872612126316079770885361251899511352969\
58203722741969089916341593915739199357176056508340682041504399505613928064867\
28546769794932384374180525629814109013369961219300328901714547283657920485233\
61694005600604120721600991362335451404681091057909340097254692645278791098485\
53988634081972833885205767975956038820556148193753350438220332531842567295678\
71220700390745320436089924759662926929522433865964371462762961538494856717836\
23995807139843265744045427415960526670142292795105051314134245042882379802533\
79352340040775168607995538917974572412930885596661657265058013821849793523119\
38629203632444004810835971325951953086426845918621571203085688440412616475654\
48756522780977705607284860648202932066925712152161621490310724675828260678235\
04841755497318801735180743195851572859755995175950597884626128285488822950742\
85550889990358558936613643370886471474997331366421595377988910755696586212361\
53370243203638220819525073618049949359959978976584032414474930328317337794559\
70722103833377319007455917233524737321632029566941746576050717066269431963726\
47561257558647527706550117025096624894935022948720159903858577517956479585509\
25504053436177503108724785250883140853238319898981811538407273695448619470027\
51051528739704899781184051793661146050096876942997694484617989686876083825167\
13704823127656873809295566178966423592641602605630484011744317580140795232002\
40428874892557094440732172751763368538359995941894170110705737489074785488396\
15273156198640043968709387753115096884099481337193663981021910017885681602857\
41859298285262543833613303184109968408570861657037814746176756909497668293735\
92307353747942523030544593054610487521243311060602667839148173549255084427607\
35320014859728816323564947382330141819865463542174314081139807427711999887126\
27574708606030401737116070193468529156004071213470146752979430444252641437349\
03352576073819851281107540610529883267958426032238048152741951944210290888686\
91864498370253399451359670196880284612586406381475035121214353687319375642834\
41236460516927645817532752183960927056181185644485284493664519869156513689789\
34160710981264398181671280527974763396053587723138263638227209055816108345985\
67337351518251728941574178272031761038140191584543978128865614162840630001808\
55180290737377044028205310402234560803333390356386533586156432249393768181819\
07328412435267156773757931838614808713313435296551322790665860708272759901829\
61779261680794371917971836533965992141667680653756792100191135819359602655395\
06438736034398908126757564012860769678112766785906554621590670001445165500234\
61863878783703372384501322860423186547775723159930274424189720508631872892566\
12915824208916750958248044872376000969457908838660912966877027355162880310963\
33335959885237523698350456113060527320625540237203063848332591590340635070725\
50066736859455468345098129796651747005499620387403403810597127567718996554933\
54532424301701349189661197021553678542169392759281754189441014216919472617167\
92754702912531473262626805918270248620152529133975645913949543020600248723886\
24166520986338000729786585883574916404814866593051979535017242367957159623581\
05219324888409484482315084904854330466158619397112591533647105187782993403143\
74674262590923423003070412224115995004016600212220295011126159092250524487511\
96317997728302336514915056964132100576940788605132583131954873520409438054591\
87268999188833058416296499040133129939205955541683520967503394117334590232189\
32878615561248060067277700692176369803891019931496111990337133474557432517790\
13902405088688530973935374513943653346798730636060528270530212171313165762757\
40815871254981151260230043456697100277069274612909522069036570531687837045113\
11907219303265363686869525816359983337570753411032387630498369749072346689871\
22148720673206119406995700578613124544435186433296795897960129841290523670822\
76551278667608062670514897911652888913310244382273002418767386420556066348551\
65755447991742057466319099384496004301283241483365715143293454681403132901555\
09208842380212624978497833808232363242605754337653763065017346333341722991063\
58919050574027625392027915846986411853835295663971388504686656251089463563431\
44854911787906937505884617707582240238604328179943782144513266673443637942076\
25112582112579980186270671164507704154596941433573140638189998110366366663052\
34301103843616858457160192522301405990809985370345437824413961449217207931603\
38157503759777723825433950808642662423596504293256213096417763667008866449041\
75643028544739137202422179677103108043779351304170686700165289421144385158088\
24284563226514890000385305596519137112476856482510071996464990309176894436761\
17395762663954606869174644520978363343569824060129420593852594928687751673475\
12883631394539084126566056065448945866520227715896507387867968116098861521214\
78332131802646512688272515263581980266518794844037160236727775749714109633894\
82420246059902506456193699578400458997755734140989451209171999072225553563657\
45387379479362571366128197330033980693916848521775308028954564901232620785846\
55612698584107801313907990815295951617649164213665831978986849838361320510788\
67667618387002311058940136112676792059838144859964810064988488322766861829450\
50467304618062529449118026259596492431489779649173938706229696870656674695227\
24793421614549058535710480269999266503925125155627469121919177812042288214604\
51451578022261889227753251977513428921850641567170679968192317254998469310957\
96565234447588147894058025038188884595803479351094158777141942612571671486300\
49403368438156832091286132374485341229625196875484428305973692576456758094023\
19452375629814615183725295629623483414233469106853112538480349494642131192257\
16705817259875271895707976780500108429860635295586699461052944050373772377189\
77590987946694024725755463308987454474881111175286517502541426514490910985523\
57830327042716238643875097258282126875656017731910552137201975363950881700591\
03641279663541510872416705807848975247415758340189096109490395700012473843364\
32013543659704962471552398017921388744712173418906100908953116546377795664511\
21745753813604664377319990784382195920623588859632332418420689899628445867519\
39367405988104849791155814443173532755050158435494781393099105623324494072400\
38960064023869731264047452078244499144565555638458712839882460274003601726725\
91666211722505073140488734754788266719820554551382216225679144858831713037011\
24461942446910635633310691006816532295297523798037370248038943100813836032373\
26617431937027875648589957604675937234484424762542981270364253265948001813729\
59180758937727813576225026585726698638085096635014689735208861006601810804932\
51699954164172551171832747726882799527511909417858439647479698766876096459466\
30506191872662678341645244362713997399008811293506886011944765018487781598423\
88287163203719986483372088773139053000380015700969536540983536642382647499699\
47126700324288977788461207680324831014827256181411392921620250904832500982673\
45730765787770767780393593795642073250174271744265278869858688565310438246643\
36670756026814908404738339405881301782090985900093789281081514588686724187814\
72835933289019574622578548802389074670972358129707886402775496716132538919369\
40068243919199580923197417368605776706162054294242957328702285591736578313430\
26190649206328113206210810538649807925557031999217895732575719608441470195134\
20307762177772492440820404890623418766658734826898611210144311532151980115253\
76396678917029612623524679882718992787967775632400151503311356384358505056594\
44618485941155276296084480154193746038356190380893256621368273907205816711939\
22768664059481663131302132659729656804513826534320545878590931988704015941842\
23558797817330010923775953111259834961363857207267948579891056716848170943781\
16091511569125121051799480533510355724056155726203948734584744524374239060992\
09816175917018080661489718185901861407829109830195561356341673948510976783713\
57745681755450204212349912241208017317572407229073434399656620576996263808616\
11791032653886153528568467941246818058809946815685306505964009970432879364501\
07341496186479544942490616362154611949082426193369745533912224550736084134669\
75331771415794705507196251831602015291862840764956609671638300618388925700534\
69145414082749926359096438150549239531829119122151473191578909168326128154376\
83785008480821820428549776304236040274620312435032173989246807695215939818173\
91673542687458258704413122151479539684997442335239737412604873325332019689274\
53972838441722647414468016461839617699462991463537597155534178186508337358079\
07749387064799351345460199753895473271911823196809371332441317602682424888850\
99832211157901929556575946730652947952231242702215009441252520501773581437406\
07223405655088223629786545279312949561733818328318861206323699578073809049130\
69821286477327094359281320063848830061627062758646216388040103688604684270055\
80118107002197733969643464544246363346970253182503613899208639725595986268115\
68901240428520835074077556107468351700703387810424821462896433947787496633862\
52054398902459408345430555124915023794911804919496806793879874984771002573257\
36374598175494960358856055345433094957815032499023028775982191191188140616693\
10915522341993069569066683887912690339228396860979238778238845245440727166311\
33742369383982024488640910855322583807700825957287569769372630829193627917961\
57631496317577591866679100643230551708480119541861147319055885801807164130190\
47793685682264870488976724568685794547575509014556636831161148805807449266395\
34504796243168330315690930249994064653693725067990121825763127776904707493728\
19561341185979319490524567665287244018676759770335667499111640995983312956367\
52653266055947921397378605272239539492931236530908122417187249972296743119260\
85418749175702082349960686948948843867046018925311514200580512827044157531638\
50807934071750822324522517754495612151427536956112186239129311698949513363944\
88482455682602546392412007632228793074155278067493616454445076593710679013582\
93784201998057666485859344355057208571853713898478762951823329327567583409616\
41033278158191441820004698780028692424492954611568465674461433353906637272698\
68072280933959054518066222374315113886066109158732776942452952735991018166391\
94918803563397995498008686249913985698850001887835176340122253219141772551932\
97056629071706209386645273722043679285121783859761866785494508365303093104559\
12588187422005393083737048283681975521261595940226643360065350197676988172572\
28074359296013348888773077877488545319737239763926383360637160798030597621033\
71959636033606613241775013566432410546468949557405496990264912919074063739371\
43665416899597095973421036732768797950381852866712200179412754271285662884402\
19445460539856311809180174194499558861567568026819409921370912459922826382494\
48248685533118720457918254330131954907082535945812288826770816029790771560626\
34881896592587950779485574173817004775274778213422559087262161649261278624086\
87366785847645728600860743199409052333856534830817453387955423520033256029403\
17874378720524978912583471437203175701387997634929328913361980968282331215334\
08815715547528773379000678161814426994286750397201129627142467497120677905471\
38358952951748983166494989056387830404826289231012880260378128265214949281385\
12503642823904630618508402806940842582941382212346091781286879306448611960940\
64870885052859098780295501684739996110300166342816462182467702296484176701072\
95534839248400324530860212209338261389304780994598558774383242013278418959054\
28118184014250667190729966553381266444114461077066948912628215117128130608595\
04319127567729330920431820889703963807048650446073411807674986209713497086784\
52962498530899318829227146412121554255540449209518627728840508495964197694621\
44321658407744089109787047698262471184550099019576134850961071477685184944901\
18143334088171093221236533407007720994697474152181075865955910899741566805623\
48297707996258256682143091299954865429202888248116045407346112814087874827078\
49926194343614334283587990524683910317012136630673860817256261176721367215234\
36232552298999205442061090787285606240839300615986658014517362870232316120108\
76196887726451706002543256697978615937982960325496565406651935768631592691136\
90942075612364674739926277292887537083045060734364713322877807777885424047749\
81061892905595010787647328770486333912475111844383807302952000122676408692934\
93106965041183730857034422912992857262404342738142958519391877012613613833378\
38144785131271041714445927938769335153285053384592273203329585962387503572872\
08829797675754505257863752719772977041597120669311911151321190452473158484113\
85492816081397613842025712993732682623268305935690206914878340466657367693108\
58494707707275663684989968765255226605804472419322833155270995984242768117724\
64968501243379499161830549804848964122801761475372603359394700030423681220629\
54847984079562085303821509637766199627724267695524855270209210297733790300945\
51652752748438241881074942588244930290284490050470821864834665942258376017458\
64817773818249198427560092177128151853441765480022984765664514356934231644087\
36260501227476588199686811967666693753983636559128221902838527970627473219822\
98640101509831825329832883670586593993297549364908066641196355722439193821046\
59240884932937731555233943477040109454947253509196020808440799745209925561237\
81083481507557891437303194497946555279015170909387076749429142644953505215140\
51175788782957543670648992686537075157470945310214394265144306758342373700265\
69584714088016714802163461473460244402169728010687736034672676510439808435861\
42516504892656308535147604650732467949691845744996138594654663086751812409340\
45773087068803726352219821505411752336734074665114643169358765550155417676702\
90165431756820234492176036149224006901430628235574341588471897873664034098653\
67792204383324736297840650779119187670148866426796175538864309664427717623353\
82442056286086720906771135131858652833672943079654187818755466462042100741670\
50810878422528223035809747749552066772670552023831703572559096165160060451976\
84491206752021500491071471288292920589051825252455257305421668632492449148939\
86969455461267009066148847887174897763804277279233276405602428284507266077991\
10023811207229789699412299360092686666416449736815306853871965831471031322229\
73373198534235666882066919943709330921433063756203780241806332909256338956611\
01937826432778221218795867980270226253675487832673671924800322588080813978822\
55530384300595053082977504621520960573797619612586269637957445276664253293318\
67700703231706216609648729026563750771312547755220249524676932280208345778719\
2404699655088294585336683439891203306615352630615234375778
0
result=O: not congruent.

code version 3.3a
start=Sat 13 Apr 2024 20:32:53
end  =Sun 14 Apr 2024 17:01:55
elapsed(sec)=73741.275191