n67-L5-f15877-r2-t15875-ver3.3a.txt
p=471914847389799729258598299931860357405604124460617997504160691092952645173258384470456589096413192943204357157150253917844050268730703050934974957717841944676724450791508098095081762809612275320935108008855192973191022417633683167592703262527063044724883996108690674357072080657858947942779415692433164158460695545581346545341978235081286140368654372728445116361751390389778898654588211606530862160389383674407745983125974854228474640395006474003493659195627071526811342119704470049545160889979086757564533244982571217481893886224898122344552149836747284412852245512784705615824979994508485418408896383494342529809047769394895084531215520220757346399487342137494483969831759971321595670639566552769404019793095004310722100560128752825370555719437463117461713561793435205935718429482381936635091710316030928310447626502336515154116537244541802426873005007167877691678585862986085432560768435601463302932926624442951976801018453914245775819180290392420967370130023373055636137958637351556099025437844445385801367771852004743155342639812127353679127310057817520599868790848246623288940760663623975966464133240943373230347472772549639533626479879847905000040461107817915847381897088307956461499989684403332599134477689406877148845179956893034411916002053020027798294362035362134386872833809745733071446871505373912369512907874238895437852972525399168361640386482161584580591947195812622618889392885741158715127315415953145944307445538731793446019385137952817741243188404681821305006750918102537622792957374307179008971832222987316658401297634526384164292825919947389261018176917567470300855631265945851581933113006874095419021380402198727280755075948211320547506304901689316824109493118716360893903366788768042324227553364011147200967190047463156777007432556174127662515437276316627872560874046869486217445017857665962106764099132837832219832191874647945534886165259288971796765586797509849105579384094944763198665396546874364374879861745469509068354741204153526576334898797452338973223640832372153985988667182859301825667001311277690593832670461633150142785918416283048339996613249231211187404613900115428635361607427475969916095960530802260322443778439344170419825733169093023840026878152668918674940919374883476479909350506892092963937512243820517418090836463342388603771673424148327741462126076595824097620521401380155879749516529461703745465956777614270946767009413835616748429913237245797063290020693238106230056445010814906792535626750543615937943429893248050499875193003141560458660456665339572568449110633458445614682029352313780181056362669158373346094258701099213533029221774645117431585282084991878504117571455996711869935463139391185546697345590704164890872121922598636843577999242467756371173744364584666515144247394972278190027912892923094528266852670579287161739195143188436167399118322747471074275217531287214755571170902448040428510007337237738334408816458297327177174413082776411108203631189259869099480991064016023699702875123053883244855179864329096113030913144802774777397268497985640422565451470341241528363313820734692980803160457683721619017926236055279018532016807817980551969093867176015711431859260886453404605455235943895328717974905675161383718696403263988366530919179044268186845477666303184565122214687173596703169765960911464544287105447541319732831150579854831106736899343701455878451527542555517796834360516300062143621969038962767878421465193263341909525397501853074931160848414057514675344744127373594902013116828575370759276703677054084775002160735657230378497088618621387255096644889757251780423433251547861659322075903184690334642689678390444869082840191485795602741194863078536414282861116895067205356326090728359128204070686295802849984568446722007808152593935406142804383820845012530166819417373176404849490292932936183044047135441678433623888574567368907305803474567189391522244737257286831982110290151006633275833532373565997787275839704190342723610098959184690535279758657327107065381828099411568834461258619476519738886059030537145438969062097685491530255870880945311124671236490286913025104717567540111356592869418766968724918930178336508975974324141954386185629329679361809011803976674071795937762497709340528913242960038179504114536557120186618975402891498557526288553765109261346003467423948235356730548202317957136410109825420172701537859041946303920100952541472379436908617987628676696105988220182734862664822508295018130444405501879776693241885470837256853644945532429899039112320762226172768321693556637365398700962125484611249315037240271125247201820024009085613157144232089547271741451000088900663871289808620528121463727645895074249287643162310899235729145319479919082076613413333504354702210000442408344507340987397459418155227498109585337356114196301564599209856991071006727504292624040465866061179652500716547442606644359623356433361609971964555351301253204575883577231757888338175213659511214730462491584038464380518549912725010545909523941596747582961447815507395864666188505060613919751631552983667200961186130553156959726376573302379517437322837187596837415031066450446427065754496364566570156657107178466591410849214411184595481559907348340423028639334341272137304386294622503120536713291066768550745977711894713060407544758975886002571008948427747309534627173858906503776094248237860700069980920336672780580297943324853849614250503938806731329997511234113585703020521478826733697737321995203099621741533507361833092740114872233127548590998324649490612245515043816816385947225526020806238225991849745373154036122962678054000553037819044964695802669751959530000477588138846272581417627598923996095620666962772312427312374841224848327710410681530070705758278948824819228035853932471223620345758781261892778791173259882210492512648680812866603384854814922848598965292010505102275510182035986298677386339975030533989727703163048172344554213870622242434054556290191099973041744842369045405853830724169163978876208850129043794832374242021062699279358569987683152830255713316557008593386948574439368270975756519282342322015136968273577176649825086891257613348321890001983303411290645824756198140614612818320476614144308243651256737197808503521661852030119677540926828846806766902057355725555349215208978824107876914710908598969824241769642912034681645748615824369586013870386885581114304873629976409013656988705629097105312092862108433210266969681547541774036632553568086252229420910075530149658709571946225246164354141134276830018664180079706547222777017795956642010128707447241197322088469121924137059533489453972682768807709882693056941114121382737054922277000883496449906891007160146862043519858852768830066664052924756788839939622730901306222113747025351189290274913106422407389428654470906510224852314248309748772341050990853451427605538752207845505238874805725971461097928236431350378583829606279268290321519311853470117495213577058895627982007005236106642422879014916096159150472654933188170717175405425367030398316120463123334089856914788651911516992591253468725359476027031399116768324358922701876980190144871858432676458958510671782054403382914458146495339442081133066369671250801388017016914240274058573348141726857476371274998523037392315245193430679630571534236240224369159726642569844396568401196582191254475902917329323702145984413797968188106540637373707647783176125176642822329642554756816065214572630625263545860624353914429364714561222593347646524137438446509065015896585130731749233416848407055522553010524976269144349491220362427123008451881443951209846190381040065896873119994427279321365706469012770841481694340220245820679614647230329176006310571602223377390540542407695281492088188601295514992010014306220379672860547697852225260536455158174943281864159453752251123180831835495698836756751434603853663405653284193561829994768062667551800982830600827200476521315772304070362200772701846180205964270917048187250245489159753279485950054828998156298929271792104248617933661480351422739596365948408289598145412933510513475351509947106065849103517281541757648108288834872078926326574044804657833837215068656459959932956631850854128539814188411739851646858663659466799959865580687615953820768095670982293852884343507135596926145527070468680506955377473947395242646784748014253977001011665265386053667441949113542450494522108785428583938628443817309290176640989781180344359022866477662942368813689447742416529332534543165658101840461717083773908341504327812205673593173665417276862663351739428733830985083227387143521027604032692294387547356539312305341468420400336224845812028101642057242360135805694877388667485113600406624843087765165895797013857151442466336618536761512128430158632740641394303161467690214175189095199492320388351791649411291287806251823063926335162738163136755516000725233050793635955441237747117216892619105569954826578246055394311197490672047282725618767988922921409736142991746101235305069267897594973418729420257169765518016937688921713350245304647587259753900582479568528449162082191852368538309743127158409810143244346131036742054234638160012620587446071354906228290182544834541281595081007209175556341463792960691358091369078016895894602018926560342769942584035949290958098317177477141451328014929683485417119952264329910815332015513605851568980961920831383119582652945240677263434757643315215246489348050274193630769784365848604141039859132560739114596347506795753219749595864346871642743556247224972709995374816797607756929100728988662362843521032212322047412793082167149344347728397984852369415504648741707556748574903778459508209887080689966207790298820587852039091942659016789060493126220109376662479058739842371580655443077668799576803285568799369348714694250792524260654975040435793658781280448460864643246721000933290072398587130657942876485825995569524907634560695868110052032764679542181519117065853768835473741909350948732336925562617617383304939237103464110661760130284683296156905206922782294916496283363597295861921077130888460792459375703941042518748812998196294533206448382745726644004965967245075254243853922538901382589646685213403917519443622266329195121660885470075574382544841550333363315368873350577541529079202558496934037159149170234067172877198773832048825662378753257904792785996808149571570623669292530755628401511277394885532280055118701348215950712206626967354889638222816093795261487940607744688446038489055496981702640091733343183654007979175721711375785438345499685554298979099442031816421552140364559257153797887158209646279822375417150868809749274280344073039982978708293291275385710247002471043593255992592703171555287471637203508855522987087831196795752904352788504714230395256525352626583928304950221665946721812661977235011783598340112444875253252772217003716648925994134194907299894413721091261720517678257574567914405422813542635951874837696283314789124275183509435971602970391593886465286032336247462055901208918388725960559456342905601562942402575869061752327824986784810198724785447035193879631714363597444701400410625236213276526956833669736373534312709321244970710349311182051809153305323170303344344663082141806975472083393461395050141377023090302303844874728745860207534993825550041453917172068240444613682364402573732320433919085189700126647949218751
g=13
*** a(t,u0,r):
39593655696004197284796397364283083986330186042245849990599081982698726930036\
37845707130782518906688793484556548490630370711581754650598597344439895252693\
91583771814214075294301773598997264698994264555619429506904507267808394660177\
61027803726020589452417767273519147578558347567194365732399192976595142472894\
85235627427497515419197392331990717693010187191654526275094165370244959711995\
09537879393352566692902828098879842692902697690223291410431688931180065131113\
01099471603843205037156838998669245378959664339254037725146730897054268952464\
70792537130309716223830339852263680116771582153926192660450640657517533825097\
91078522316975921689821465215413629169880053357872050688846615938818767666596\
33777352997260640670861669584236994802362048589624860803155555037767834469213\
77800677623357184448368419449551499488524655586354603362143037747481705722361\
46451201013849383318333539045325677918484717469627711160725437907636708536054\
48283405220591229226363924119162353908960999367871974729673795556708234235148\
96786873475605838319795073324748023748497367878131385088997832899155216789169\
39421298196780515835863407789151490140261529656169147568712616619192392295033\
94686945923139595341165709037547119849134521439605067382678141236992788110598\
38332558715975257224838033227689697476688307505863075663766700469439251930087\
12478021329706486433272358643948809902255416284258533569463116643697286790377\
24820063113683216199181763398468944727394680699597470121026413074241408490303\
50715280480749006640202880290655232912370437231885273672350863586763986887153\
67636313841680946835859589994250433839107582417874632128569477241881812767366\
05655893815744473218855350872054929793935778981251733681542786472660302678998\
49247357763875100269172724053525016114724498215885359092359146300931088504518\
74829650785078573325323498936436369982581742207575079172450941232439208982829\
62630376949265254344733748632732311076339958110325565865632368026770282759171\
05242040044489181083496278702848087975449800910625123985346346583602371942444\
91766418954231734614100161982408225610517310212969797385551261477557257158516\
10498618623247106219684462506838863165233875960451088534309641053033011060975\
89822337901288690470017825507700892227682754313555272367666439450752824659967\
43572772565414113778211792744264038564434002860446975086723778263896417903617\
45575795078310984436821836944244593773641837332433752089820808245193269720604\
92237361003273616267711270173573640737067989373908437060937719345376804351143\
69395286929635769224816123142219901384928803821471635870718222626591261571906\
28827942387523737308305022224015421151706892725352510005166930818606495464245\
15812412588758535739492046736790729506007943434417102930602563117619413644304\
47595414771521886535206206023564381741401433418917162476309215889390616021928\
69918472513509794444786027278512823131690750874997317992421238715390591951989\
61559424624625689970085114575016493325764494089197828465677890301744645515027\
09443884050712228242208042433495906172111638832936128489528038236308269809952\
31453241378361630164229682029559640741089385162399664243835604011205037909654\
83621017592856831020697545606771818913299198837344064639769429569281807943809\
45861460400939986282338486239519441191218141008763355762028371850137538122538\
64763395943364120471875265688147048716725584533533649820329855225854936552148\
20208316082040794315440284731757521384988320236897622499956092971479438620918\
08504054729867243951819394254812614240322866446122789005019174736067033154385\
04837712622681285721641628755905735102334390702608506250633424377526049804865\
59321712216827719551907652166401695832451605029206565825106998624901228920515\
83320477074961385293957590121093308563215305802178591137052926799764551040026\
31180575381287802568896551280996149117609500366872235577073345757395554663556\
82058104425140620225132295691151618718994871633345588636520329905334366945653\
18424333661421872143524429511815697545108873026755955359099717513497442827855\
35377540630625211299598174080006092540352662066502329504309995812739388467566\
91131160335991674153507200280628580391661534281814174423454867602069824196243\
31030842457955099730009743007600984557760903536429546236791782735578136703758\
21084347203260395209617142383657332036302596728976455609660892667026929690916\
86925694642969299417447660374480821435275248965902637361929489889646991822953\
26347566330491620459748032924116733314549775786084459520211442856216077132645\
62994191003245850020810930170868529381523711950775895262190089401874956951010\
72232815888381753162445874740824023270001436228294388440107231301609910773890\
74587656988012149432623093908067494905967295152332613178844458776752923043652\
10986227865378681015359515419037118060104165908842646845183223587091394209804\
17798106970126987370700155085746443761015115699508616253297284481011833043469\
74617723996047590390766478261939741751438639166321297444868315729004260329909\
15885803043900827161525506337677628384801809058699967122210465471721070513045\
49321557458550786716188729532967816064351635340986892104299450006964151299138\
60400393746591211064751924552308168022449871352361435312922733470193702490890\
98387560902876226525761492102840151232732319838010118828011813030245120501881\
40758753002796642576819300527807683561570765077308799926995521988676225566681\
43074271565127358713992162468462906869974449552379826356172804658847585867911\
92542129840483421752073562957240161315397540058264114661267657796480895637780\
35940132678475943809226236739871217623089478097222163314564338716071619363680\
76236307165686887306463998730178725379778439921894045670400696448492022695809\
38955549723272422573958176597012651508249178764774694903456180372932213119603\
80640233323220814493433566174700916174787280414057943650411746032181122432019\
95080239893189720269974531879996813780809153042728192504590327139239050618017\
38154295379741659708098543745206140217177272747033287738202392274762909551136\
39775779285782771392252582677438643619890556716046953818402196661652245845434\
72591330209851649853954629979348659719677885208170699916381531251209203247901\
76513759924206571166399156207285184697045023997566015457087987926707461642340\
44025089613344546742938532704094568376094024708774308261214537409379915603332\
33426508731442452314535682538844730403197097900783088676646082665637254597002\
55490178897555020716245821352402281247135684591130897546341398756281838754841\
67347124436243656204841435533697955636573308628829815318931244116582603856592\
47086873793119909917930807622646497985548235364553232225593294350992948597651\
88308084302966859157947477359474784011638907979040374125352147188155500736321\
72545131615774730484259311404038709458367093434712261959203534337542696478145\
40652096288399799730641101090562078651091654331879219994141781326045747761047\
01310238237889541596200409005586116179036590296763183303966830609557975470264\
50614285784841911524134318769038773930934729927954935146046775272465574889448\
75231710165151882938504187225068560477301389951507678953762756784061660260576\
60038667934385896862413713614687478637953154748922501554906619045362514364443\
82652303849095897919060706426841541794223645462771910475899351430390909088334\
22675499723760828372152490717288340210049517224205548245725010653116099448720\
88860393245846250528254763930258610048092317649530982138759475654071649008476\
90232033279345701034409686787150264370945961149770638329342062369955168657558\
18675433751310856621105548337234924683937606836735813519583421975830455089812\
10922313388407635620409112853147506506095372969261528747654767532448735062582\
77275017147360031415514447862435501966890262461786692945695742654136306635150\
80056341171861990236486937078296402002918898545529999518498016993590085877708\
77741348402978169813869234871790998089132403891445363263322359734310543839837\
53656104045780759610245948740940211998013839329631150338864482968489451928040\
23299403429102955965405033001488712096001529453134801659033575464590446341982\
01484367852135103071455497284400145121532080581991684562198924739785099921353\
46667628543324576742191879956235911079225894234426027699063837506141228666138\
44904104077449735531714418810292645166327222196909785255624432267954144542569\
96420248676582103609721212322294533556170064186460858065240358395908670384878\
71576588990269837953062621159649040492709745819245092643627224944582017904264\
10308917220184974759208647434685446655887468109996481715987147444147380633286\
30909852213103444056014467270528509528777455210938070768419648482777781341414\
21597834288349911522321364830241814920047158820926456362915772776860263401539\
40978002129092020010310741158243350634974186573694626150060229256422952342908\
67575290309286939812982035247139208969298365087237405680582715319385607339046\
94452795506341952015373188717378779246084705296158605666151984698313449729074\
29573192099499148440475827094694673847670206794146342706331062768623970074978\
93642095311576608218269831398359576543326961621072100531750085581059932571093\
35225887003579953688469869589641372036418744836859058307101820064039398265835\
02861416250588672867253866766325535463155116180135258272965048498291770488122\
29402004943865865645617565557109387938412758398182800616145511384448811190332\
16776642045260044442649636399497727951740635610159153094663750270515775304373\
29845821056928224021761662741465591804563014180048456215849082946978874332441\
81221846011714633555820163695136991093018702530826184369142175210368611947129\
31929080635155116214877224257141460261381977793333959382382999077441259092911\
37939608400294292640112054344270127527388095260698881648336060710473207860798\
13989091508602175373289867176701981993028272774975616991674216412284493795659\
22226708835716284764149278546895240589256308797174942962586654356839989197830\
30370742414602622014073371608010282831397505396423833344333655489566135890294\
53921825131205296246946194544598643068054703618098459284401992980638884521674\
93088492854756434686082143454349403817420581312281517837128154186048734162156\
06534673230254105486691113360210193123664654320166446518618138310593441010138\
25999271356889404588679881319908145019470707348290939340690695512206072969182\
15944847411345573428974509465789276571765261538263823580439697712450889647307\
35773983382121147451322037490547753258536433303972228867961734308961582966244\
59043115318264754136002561075240646894270269422438838216989779360622629231756\
19676485150369642749310857126945284305158442839827718742361800568434644318646\
93977682245765865216752036427325737893228770972974989578931379641121208677280\
54571913625807138004861089723507320557474177778527796093488618870361374392978\
37861666903741116366867519895554552393016202247708537039158478532359777292996\
00823398900174886439007354341250337479075890066118268448909078589527224611413\
11199556858351433205810506248018614974056227156362298882718170110807526687896\
44167801748921585472707443749811301116206649011142825281410809093838716977997\
11308675761154142810203045163912455756730094990062527665011008351058256104474\
94451457318293900611678344890881739528836312052453042598307208174146787962316\
61398845059051723259169760524210779671141104470686153223727636329258498974177\
76714121859819636484779836507365253733030879503733759361416844058112474158406\
257629394532089
1
*** a(t,u0+1l^(t-1),r):
38602634516485617853353340934426177235778417380878552195840344531403526375172\
53584968334898808659918275411641545489077047964331198217150956648095154131947\
10745560600747453624241776881978262841212524918351243547852070256337624352831\
09083126874713757058495510881690897162408496197812861941719356203641032828162\
08489562855414740897381962964920628215592768918681051839126373388391390994531\
57094142245247198515845665536214197047430758892255843115295734857813222022944\
50893167785391825650052794160800289296768778819439574325590018919893196666407\
78436585664592786497131368294578891937448336355079410722584772416983721893838\
01075365024179146534295540579509354780645868470487887322379656541065258583165\
44016537248819075171352617067825818531981115311457849984483008368169354702999\
84554176753165884241675050190385132993579461584789112693960673274660351943851\
82118095863323951793083235922617883834708580321996981799133978794334717023233\
09530185304462008947754100035130876635911915951036085016535357288900280815675\
63255855188373749398799010702793663201753095261396272947318506926709138657378\
50353542222844412340567660991091679302424232727945605138506460541715586290033\
09718619505516315839181823590838550699156184192606609200274993482550775535720\
47385021489472896793703827390047881449262259284619780563720096524435408913958\
60318261558641127416468163731525776519719821836142408176186924212806174725302\
25152338053626782897414401024967338244349045068260703884385704284540491233692\
81150297298274955222510078757754446391321832724293389587584036250265722614650\
42582246391531602516964415512868718570190706099906375543706594021286439623010\
05275948916899855891565765212563686020786015740958186116212156537110998321121\
29540332122586212181386517611184103911614588248622435920798309504364279376276\
92027001599754794970339239725870024607570757003333033090661346755822732953462\
01944753688318209837892975425000036305656836393618966481629650829437534323005\
86517269077940584179141783049975847394419472163160132800969382008804219605387\
29755578908893395607072625150905755124437615916816798881264519533542117229637\
87113075129697417029442062372579487567534339136649571419624894375901076338353\
14034174497323180935011419863288831754761016720486546837605658487146377320445\
00885015445183247998304227014073877885228860953332092516019130655384111853586\
50632896750963510452109967366379115264408847363445541370051753450021566902806\
70619977712369270687708961861720188465937562941426819446778372377256526769053\
08897907876569796455184253552247770360991372498169008512809900010192672188104\
10466337154939710510361749915667001790341165970605903676074552335661636817345\
10053103096072088480219897771984286931960068807333957326856849380468033803386\
24711620122890230257209387994369087323559442832746411091324122285484533856898\
30266162712814078493247878800743133875712794059294167005721779820249707052118\
60018604699575464118628872136309286699017111042865105703128145729233754506903\
65107386356951850658076494291537129021200620459286952448669767910965631352253\
86565853930273913557020119070536097885829698525438528428435666366109321823715\
91897487951080915107187833499808519512608754051188849672623830021063788913034\
72842282011881893657869942483822291888458211376839600731036004974269971614108\
00210319286855602557799722685225608879954145588117432125184531078366314779090\
85733495298104135578105069023334508334827706738715441245487585280894136819917\
75156515815293689574002699047004432000696191600629846729565774653281088343607\
83024134595176748176761444961061849003229477466905551982143195638636839976615\
08373254580888050766937377201569233839029097632766353808030422973979982427868\
83380393620164973981474742215797766870929821389966731287376989418602387068821\
83916222481398596545122024967645828341125829916688305961914179773003055679129\
29587043408539961077661761472421959609222651961950764606285613662173435234260\
19631829481576986189991636878027700347913060948613076857858842581693573579482\
33538531866330658930955073179314640879628697938496907669279590673207174930238\
06132644999810714490546948545356589702478110896929671845513804169836848858792\
64342346997148118687899844791677717959771655652919390729077089723126240552651\
03274131123083436569090372431265432187956524582005650403697985937578103083635\
27896565218055884294960889375834698371937012698579686963120766066425791789244\
06379391249513880257537414698364109477117659824811785324830703523700537657335\
07186231514487610628156544552765741399387838350100932448714532932936489613738\
70186464120019397004625417804522110887796394320315625439818492496682845069180\
72720743046715063451592003357329214342170735917292106770315574826440871334573\
80913866977210680656214640778036189002580700492769112180405097609345364080595\
73014125746798421536630186960835030985113664651010784380449557455861358080522\
35086171905562489796957067006277364425121343072766175577952660627324773480173\
64951831811574346386326417382860905862655399058422613952286246431308504981729\
69421971395821863568346103406397703862502547924823930561760369613464452637300\
80819454213005495412356465177339787178026215454388145513671985671774074657388\
34899910391600421094246603742697549116060831498798900120755259903147209261667\
45102097683298752834133716128422747501030853198138972991993250282165855200888\
45095058570052657244392835398334514683717639730448984456912221943906227937964\
18950491310507078656968026816474912939207613549058457440902197946986141396548\
66983347474366295632833208168313058421558037048304802850195028688613330917152\
40001548583470648172452384935978781121166583857102895540390667097576250971599\
61937591982880621770557554775156554152262012192593206711593749159783731027218\
01387021285333285167614609214428306830722282930511797265836481828753466209049\
24881568811238606890153953608864593173661367328905436792318102026099574976803\
59726118737340497784534694616899431105662704537631977794814728105787914198843\
35323703761347207388394055578241728821299732292880105153102499248190151491734\
92943633029390523933891403245658168832772956019408382040047786130499556921077\
04872771892730602162234219043574828465057007902275328538614987037004414330672\
80110278073558807193949606378962284781459966879353258829169835042756580409446\
78120243316233523233957316229767567902044369586222367744334321359345976472405\
35150138662932070257317141676120460143214529196120469836599838119950588917116\
19654288186945543236663044417836624208244298520122513624416874478384469552672\
99305199955628231600557092533164285282691843299409468367741733944114698394373\
34965450488470668404292057783135129107891092642258672270009602383684385700013\
31515992445415649029945311952924510532710706113938772684896890450667372728394\
44878921053529244552639357201525363929193055117374495774979710518123267781330\
69930601762328539959108384465517810529740084460968157261793644146148300279709\
61385561110847060341766236892817302831352335019150342013666581850866317353479\
23646649481637950230865822586538834887285502956297117263620899939645337417344\
05139011168447751648932559877013536979553850518019792934342806172951772050196\
72240267638331876636223668482903910831555353979198358485441799129987799325694\
15671702948791844586913870568226295937807515005244503533972656393622132716392\
95217880423244616128858637538678835541525048673797787115024137169285588663807\
03944938286656476097910755413455204118514655805139907215020032203365110800813\
58374856744424649244415183003406636938570872934981996971417448362609430588160\
07788381825646538662091363902115208965418373169077390364221215544151448487714\
78916524465483320259703001610813159247814344092659731620475706187227054621636\
89494740260528138275859731263464191702488270572399928016843120263118820319387\
10360456488243316934141876192044143548164846702267350595229666582438647033357\
69357202752620573732039554314766499897944363017447295562802320701101754084787\
73610145417170700810132678182619507144850120491852524144325941275369469735090\
92746380098982734579798089128294777961160002283753513673276186456667713630115\
77561525802669253605617351375686502101080788419261609842472251585248539986771\
45568006120803198647130386873443842367170045002469850225388302258863516371659\
39298883691828558704114364338065468949877368896930848506992387565975318682754\
21870857918999675143748777245045190849864805816617980670425589993644923296410\
05521685680704778728286857689597968253296720994013256309508327305497684574527\
05702335054015038424099921605831133247365862172285270427374579808000268340020\
05800987422968090137376491574657693211678874750319238742389871432028242505910\
89058409703930002822925132619121645791905702761957335149879937463353963070916\
92105586976158184466053998608057059519530467987318471807767176556921843627342\
55139912662917421631198174458660120885932406355491942115509324771418834181624\
28356223048141005273312546559547369734677269556152214938949713164164967248310\
81047954666114023268825652066577036486819373785502953796152050065920172637847\
86906764682870562714145832329352374643373698780155792246971738751351880550003\
63934014890323640530886368313294741369321674654768344776263897105605087317382\
64184553091873990581782084178445148192636038581303374140652000372442345117630\
17071863162124810910712041209522218670469415886901295865834264268512400713918\
18610109206874001489631752231846071628286705124290389969683611264158187370604\
77043468459573981226055892613375516941703574100376422901023002767677621660014\
04431451680043963127258128060002043496794347836647412127281636764418295516092\
38181882802670716781420334271290779877715687632004392357972464435240862967977\
20909507573345148337724804947010990787004919105995297615243753307805382508759\
52778841272486198971482848452157695830764792128830874068409872781758177787634\
31279222044272878197272965405664375871374445070649220114022562801507865504482\
63775986838290741752088184907606305160511022121101954344029595063364252131978\
65728709362563484592628359172416939597914225880150514410930667609282317693258\
23772780336529032524568928162874777086004394796062161206471557971472508636821\
33095833098850456440453090488301385728160951860431452181984492168038817269119\
19717384007724289707867876928504920423961840212514669474135485969946159393918\
25820164966120498945389066349544770161481290158104032436224909016365405085087\
09770284064768258502085929629972406626356472452389713541713515514885948404739\
65310327595950378747242289785269657403599053924885666187427834165649033435820\
25832829650818209472351806671695415490656894703091229410686374906361321451746\
70607658338391226326551098204802131365928340194083119433222515179923247024381\
78034378459189789258757605809968562404633198377384485456533534492813227444184\
42757497378239638983442211979907957160767673509040218821463201771434171313630\
42385265208738346081469599655398363586147787620863361723555975149750365710011\
07186247712297803237991286039744510504239617271888952419778357376352884967820\
78486885307060892513404160839189974742556874495674788593538742349422709765745\
53589144322246019905068994184435355106779622477838604106573654691837988740375\
43533081356739344011919981059361642158514211510156464048878672845451075281141\
13649763624949299933909304246751820683693992174081305313038114945811685174703\
598022460938318
0
result=O: not congruent.

code version 3.3a
start=Wed 3 Apr 2024 03:31:44
end  =Wed 3 Apr 2024 08:49:29
elapsed(sec)=19065.328652