n91-L5-f27737-r2-t27735-ver3.3a.txt
p=3900153105428130831990536743668373300770630309081405372036074127552081952249937562567633783808046401028301834962925185989816133870171288585118879878811693632433365303846300244058779604105191026177070309371140384798232386972786211479386227128642284319247035037897985295875359000671583801485015513293834332281029587854308133751748888801422627417975230940407373630583886684993523541236857224534295627299323906643208625832464807288715303287423238471195359534646481888588134591856221685204877425648424092274104407754420310671088852138928362409206255966212599069904252370441974089054861678291754546737367116065713214834066629073455262729423233981979268002698373172419034903891033776586547025461071178130002642219879127989269260632717666636524409250522361299785733213330642626862557369557182220295421499213162185077029680889549611224642379982966699407668657820665673104172372152693685931289023711018715285175488321718108641967739671324622934400463533952098613915462101367400016015942798723490006225893026863821684215513363701024513794430152994697194322713248985766356652973345852423134551395113953147335292551244824933184776962371358785444850312432827301728631540111787204928340764359911633541512091179767960008680051001046571113745659815052535876982333083670900997627415206849701381686235010000113750321978952007464176866470428467221583332078091053658217256420428392905208621720863192015026456387262160575084513873925375201605232252132145869568899236680232819811560974160106903294507050104147676857993197181899279613942651034579575536179576292231571068261956544960528162761682056537267268440770372005478910676109856054266151925886828086775626764587215262324616931844021968924674489055040686744922766530512901770777399621610905493794511190517883617126090473267709088763105276680033731186549129107370221869290048869831814755446775518364946193586703924117153818837954467296824068077616765241993408112554695431903660779089175635158216565639885451018650498657839045533280645995419528626921029349565283127607917479063204469255261271449486824545404989583068350185311943728272744147257764680143677156436732735495608946232089473828502028178692463354841027505212558892416794799097316686684604776919115514169958034449852234715493991182144311054470654857267510650628943380788041397179919122662060408168557209863800623817184505263679605757264857708154676329339010015049222581798958486273707131477479821671476657058989336724493112847365055265690182692077383315414861665485631162883542029166790092200473890249935177731782631806566664465048277946732204851144488926394675800779050186534298172625826947741450879017684810316727439497260653313303519405933984670467160700696312987260349442756458659106795708427564007570181891551579869562198923166280779347765976081615368335931041906352486976125515019918312845274450494533379287329408308533298794256205457418417210395856456054445096024512296950519665215137956753873479962142561965201114095060158582976551906532130253555945014399947315808157879686230232967440442347578387251451191789436757618751551578479959471839385307594150922697665080490470041368494738419376462898703071796292345783021498754590697914078848513918856797796163505612821583457521366130328340512430040662762764792534920090863144715129932042600717348919577866504304716598799087638778420933421906386981702881397786894711621372600001302952993795221341870566490713046187158909405483548981227831485017589630905132013754817570799853526493321462536489120573247397791135149127924011577683907290936318796969829964791827476464822296416736761079076651792993172873529092729981215173047362926835179807450489574491498797732719151833137005921642133215652709829113636651888934048207498044797152779241519707858801060894588880125187798274320634262121420981151452728850314789239620438948726855875370898157388842487488949066881758780480109757238528368093607029913153212670149736150923056629884168803555056439004729209193157115165834292835299085719019692790213886582794847903355513697609361076421761360513043992483719198815685362444070073788067313022332093748810188230168808138914379930752576620915698524048768068117279363249637366991022166379456243037748182362925299961690856094689494069267646099399219420039757011110623300675681038396371698218375271766228564380403330808885143614577215020688691674765076012811802617321598015664504444228097951583957199643095342075232836207547570637086956661124082890113867474911230020014288803560150963154248523804485826499482569556395385231712166184984196904103885539592347936872855572881699264441994309915256829419806337321809530477654616711540960367507630277315973647173465524003778493475565719281858749207752005913816304693379670984079557094651005251017095284316548106698101148015591521279371046304653248610169025732492017743600676379030190815366804796488716321513137843500366539811025595938053096092388757197431939337435521434716757184535185925869267499034270622589022507825378154905566349478870661575143242030847405190694956075918911742123498311819870386155227129626433481717388177086521323474396024772487080715886179048726031247830223364992148694805221222615202293445437259248934694859632686189031720981969031041284723990545125491145590724432162267629568124366308816472523675823541549239851734007953675830942219046960434136233681256241443788690312715533973278693640194809395515280252097601409372169969870673394876558494875597801574089154366691222789983189632691110112402914108621666074638306087037667469598205026980575981517309603440937498854709418291458802601961858492693828861676116685349772783188841408321727191434244877242433815649590177506063591509752961042946069031253612098731813531381052900841600455925679752721034026837237657905933768300946444848079886937891641749782028122268448433350199875758213854997203212815641346755950377259574939244730984511031623315614399335099378220689013403649229493859433960148044797966696539970143748461110852948276020031686618777720448990946862544708734228353075800778349824744405678098180331548447010552912583180951308660482285998089716612644564242446483130487515578846073514701779230133234145680084451651726548702479630439835020087093984440304683138805671883580021806609843928461031968969554910159203158551922419942541238249230642268480679130423103258007986107955585341471143734250451867228420374430718127258785756944591779553611345861514886117599574401697372178070886106591487046323626831580300884053751171722580239487708060010370008962824038479591678575526691310099787561558522820541792334274468638772088418787538784943950607015450737109251697610525385505429237549088021886291638582107723531102523095714151785486928460137570894984798582102325926456359711425212091522704901150849177467113627034765925644713112685968099056626889882291138843986345509187007350535163386577801060684762086263264833823367524861534966525926648614873807493868873639153283085144112243221002064580708739566310657082333955671485377481198230669104942964154752462321913019344444824729918170344275764801400154721711858586114813104983653560576051012403987075498167293359113501535977493623505476251672536732989671206498250864372733477752834511319959890808398804297520632398066450845278699395137385606500278268418400170975956719187694889423261409506936664444753708221303353563194088491116622008599415219208372125351764897428277014052977831465615202531695308434518149611229251180503374136242671585119367914707548531021377851427631373348391452112561506741469192862529812742903390670873403051221568570176181351072804580491224375311179136354170282758790686771882701584949409961135483107972122644350032732637252350804883149005917343393378106491467806039651466406368024021532699231551858380164413432978971291047844487909414184239044274223807390252695088463934589216623989920139874439106315345605971025445771719723974091690234721686605075357092794030433227818965597561894541145151852974866251377247620659414614759279334433665771541102180736874477329805912119476652294753709447084330214152148028501401446372096587033859609785412016406438415149564845594945229412264075805216951217443540142942742859970158470723818271408494356309387342860523483754093951946356711531088981790061994732999485473627353485687540401602562030619272571048797438411891586432670170633307324968483840133501162038280850235100734164936059114697447795956677325141872036885534950461573221782840181640607129296054343735887111463828635496286633594042527909995658542484607745534609470812949368521315408531898636637654064641843607999227968907600283549848054754691909016176227838506897589358498362976913858293319601648742487844097686194284773094843928653050883729973484052543901866529350595912830438049921422299698751546849900997955292778154727590581515822793614797324196782209305503863756757705985066398322638973416547023256791547860621138587571119031893275022679651737724715156756695814286434856459318484942487410991793902980148014956491250887634314479244251566212585860621132007326530482121344919443844118915292627905347778386134169099590169987505380997114241831377020525526676608574168114294913206495213430220377086165780129609264909870080102111389949975951392756662556515281694608135920235413680080585672506748079446828690915769749978460489933185853678657340995577693852591707790519537613835687578824739390064128435380321809657454844796180528214328630712168884899345211096158610849353720618945985579189061169057128171653574792631596333029375980272389382647348417360360954585567005301319897963293940986564522216556954601564692550559042548382290720560290681052750531836101887600783918219991357224405785747029797322527793521435999371204845437491913332868013626829856286368688521117155691692022182431641466495707040008367625213516315933180311237706826284947339268949453078792363043982083435132523462214022137480476409712979836810064678028426389857436704167353026412759709123256242416154578754527675937154748560453562427137205409112211750128514617727251307347137408574137947254989736409099479516857242153535982599904727836180838765799173389318503386387878395017066288597975861103616115335138591048149656290975866349434173400577008968885301060873261502151967825768011343235377493834566682534620333081671706335347622191961544243940954635877892778963884036985462120781293573265781144244606597312017957255529115640667949738105297714291934193321249853305464993136733718292003401879341437832605955980845239488633441693427557011536116981556744547208659500307496485492745059387547782217849683262947198378808702953026879974891506893172500187051750627906194716668664192640298052151868290775750895730249549428847512009064101157201895424907047507130512072074955934670269358508695273308334946229473440823135164253124340316851416594206112220349263011601018727433353856750677512683463135999661778586800213471591272989552121227393385246240431111197395476859077059226657096311084904385072995900955956390899161211326356952867298400207068399542167996642119647649547320398766796311942287957608828262763754549667746146722852551933023070287503786488433605511805234906221162323694815549885893208095255241762499857767966551326249020265764100923112951915014549818439425248026058567261200740012735400786199628330297923643136343154024539595021341059771287356153175468508790877232402053982665061005112114686385284607896523479979679586958227158252655847824888668339549063436349569670670630267539962631757878456025548696522812880828814745599950353939149210646696292729891867145298414511189775542879647628718268809236719030896364426253812499805804263708288779369600591242825309031237359283450375345186730356245558552430324578402478411691574820097737093349949296792778577209169407040676477664470268095718480550016965341054482400821223676816147353318496815075296830059755093309508305580712287074094231301404921164825913132738684114361857481763079316069790468709663652132942726578225387021290812937429108662678109464724941423312199936935516220466895662371370971737785609900397825938367825225392041522117680096204943592419366037959910846339048251513931618081395080936022410599136592207147559513463188313982857614490419459189093231305382611760286657422274755933159418723601440007552435833878645968072785272223162985787321580693216882863857406238120074711144650465663419842397946661096333226317373152325881982263675739887264199408612885444389674119376784194515816658736834865363608086046663493865118338481977018680485004359706800339931119630182036007481565951008373966468350699189630967411575428676594986483722761520158965013227085379229869058387446853061292893682579609583710996834289915710077153628624772374273664707828744420115722862691218794750148220373663911416484453444192662191281059106198682671953113506330270355969597991130234370771428302553553326232155750821027347786331356599741556023462059139049584013378480967218478642480593037899545694691747957809112516705106915575988321155527354410474485106334291169010555447213168593021271522544952409496145318379920809983240294160133965045552483139100795682206835494729619550312049861642636368844931372634300748610041355817014282707512702778571240670307477582378271408515300729351151635979746713426623567376518341506547229910380423633662857582690186965983615738368760878743874944778647907513846893734127342426785482928804826124906538437695712702643288093914163059164398420702515254125105785202659467842719465855758473476473547155192177400613548125210955922723478149370855552394729760509708541081100088585924162281443568578340033537624751181420944349039950361048120246329030090254644850048068961492793462937626298512491562211151546610283934810764902430796607613017498211845311510274661652222021436304268441411461117556946103852210629914598623343548543567190739267909524517412530573172907837671265799347684494199214034905037271553625047118728554529601850397772682296209526787967915315580991824241738463460066225696041801025554115213739939644969768999360033927241723907677780754212817871993738918079069682488622432277053753954548201136714223330976635285739035787143579761588919800617651057417847437686787281726598105426061259969539276761323012602416177547958082563347667528494661701329536646212968471122938482329871211120752766223775166872440037819619344017140443003703809411491912102191239197106650419312780890815459791751152897587241036197725709359019839671742923831876938285623126630756893481511736560465809952730996356794753744153525582394549672223783932572948917234394104295067897198579141752282249597755257518351424877551015762011716281473232577257761855110997247343659600032750609077358195697617974760395439045458061876331692895683937845133605376807019627143867791481651233569630571314652772849287787637294144163099983257236350051723857400704584862241906791554215304899649509416368614103428557525996001857749204734586225471129329306281337482342717710061326061931914204923095107799025825131472935191841761951328120314024127272849803561256385194491679564441993760301751629409502243656860427965854177722585628823805241122259842324695801350344831740676806187930231126543058768223875550567021451145617221574078259901536174334852015685240924528636324993090978104342256674963017171866104270230862258786153930777838207385994817476789071605691094510157561541744496478763168702308968176158116618240269727415228542569375375544298850516165925259405369224175933512102845170590277361056187956179713645649578762028083136719266124786055115546869833761861511870245418091554755175607970477100443776557581298516718365393998251364916766621660151058096238445125230591591095066613634772184717023192605862459485074150729371843709469111284078841459514854428381867481315234248580192369275863442871295084808113867376552018574759469346239320583562414352059375246921070869127570709606250845594735222030691772991939656059243745411315278848362672110914086033580469663884518029861826367098506642307842212380796922148963584173891417105442308042606447021792628490575973064013819314155866456194792566388723448544543932050127008443735967468768435705763827408386909104758687554751229763332542544875913500321192355198269837704382589342014224976695267664997616519891327009576670634889291360134345905591926997873793214456361491435174863045297931025059387793331687810998602412638783936126281389730023006166343756942176089367724464169783554032033409802348484134951320676823980514737292263586699664611228641891139668708855078274320451828930884267936603597357909884858163302558346969125281372521491495370220142875591798387610826008697939282017257282598963105787488448824398185339504766098645800141021681800240738369237602171413250387852892336027886265570574446525517479320984392269164320232407908231474050293214045550293631405498193888350157379475679035547297340856390829326936493160513682323166423313811970855294722599349746639878112062289176732645442674334529122313402174607739904550886732792009025426947315752102009941704491683995756391755548263450534243995550051101907168186758560612279240524724916797094244711442878035084302791527577359234231484735226610422286764553271799269200313611313567047683882743155589168237447852355813987956894864002437615882526200655667336965105826304821528452400862761372153487091803792471515461183465611575503874254170071671371484956096023020639692345372197167392440424614895869948103497464000808376300486867948880240141334033365627463281969890155182622918897440973345903754189994758154522787780947304916198435765423583977033805833364359005968149324015945090047931660038411922658291346925084266762802779207077970768960650803929468975214430791584612349862676364448312582556247101655253116602948732337521741178086389894196739376650932371388965105599592782194660618826681269455496581907293911786533782640568945671836834617741968046381109300285994555833876749682618182350497346177771452117831112862163835115234668388282343812602789699940730759704460624679485366009677497015808207861516573014488039959988399277735710355483388901971327429092334132623434264236944822079239895039908086622049306459347834456817546981335916727399037684382383201986572348343402849615097442231952103828237081664506358841945760932282189805818562172012071891954698104828626724585768491603603419621467076753148694730756904427942226374810677718083679996634169550598894032043723986684779896121408113451130043389476494530530141577876442110315065066894797608563382216333289476427947835247215029271952242574435574159453916864746784068821973259692525714868120738036785833081252781708487352164389254570425248385612723460633110691676502684820609948581349441332966663756758016442213752706412014070710750086325962128778606408862941919417760600488321351941331149227887375840445179534969445324122174763156834756911388992058721437081074995934279600064338064465585496734049613340863537916533875965699153322481343846557998008403644679321993358153510488238680204403821188946421347262657948359329167422917013943200902131166383289314605548285068772478121081812206292228158692640983932341962495850134281941235836341872557074637635101267269406676598748869952255475855161701318563843958843789139538379464657157288894760827743901115824917001368726711560839792055955883723728312322577969079519265829025078283193953863599933455882690385609089584360454349723998528045508201744455910786248504394802108513187958816105195620790949871219361667083146681980754919698790695244782695875532404094372162091655660333732439896205264664572202874646689702913127180968424066355888095111604591305227852473148143383302043110158313315277114206036063765555027877574640493169945679535167428036536013247986046282655898936675845482540425995987885083790547291471284552244469523429870605468751
g=7
*** a(t,u0,r):
43213696408143689618455147119845576172538583824621971522159701333277068030929\
30819324938232459315412339358433138921106076716276328149787752311718905723356\
54473616875666170067041712780134855165700419390278322354635644148476584712231\
91599396585356510257257148219909677078298977727441148520453971887295684401673\
80783342573412196937768791976271179116555881971369982686946446972824083690437\
80478399955504765088856067515742237100647589655604246494822608445836438830193\
25556531277766936272070041876184538942397076837918977042235664481699326255494\
00531610563559769453911626449707290672786739547264037785002764600810242036145\
82501338843110420094325203302894698979747504029067351126542445789410421086686\
53680429275796260738121103407810511746332690454495787763201625924003703520305\
63713565469357900087327021128183701065348886425620969236903757021127102943696\
87286529756579942298834518460401186823827180873653597444106046366437530025555\
58276822113157135956189252642183320083150792177456646209856269268982894737651\
14426110788806980735161284228609518124491309566279876229123171494467204484833\
08294578626008724750414677926602596873287430746553427289414617557265031532374\
64438602230606015669107820899639953970271828996896174965091596007940301910750\
78209751696425056707358305371176049189469130908348391080126035356752678824270\
30796804923474168151433194252488745330472011383465933897115286671641675264931\
36770864739171936413723093157233785973353624176234823403542416979643512095593\
69398448850313811515395625958656462477544401812248457346314169694086970531792\
58074363424785181626520433994371864329213343237357218207063302912972050812689\
63338826055201473944551626345106556755604831763415685393338729850809133744253\
15808295162021358780744883287124318399093815047775708244380621670349520646561\
47737415469643505096620583117337414777365074903502727434836038249406794792180\
64312724535497648810674299993758881286961887106025385492561432308066037553039\
54728993079728664752512885662450874955762924837718628500519318333705389572566\
80203055193482948876603140159630872845803973200532563365092620051516160326559\
91942893318998709291347124251551370019802472219912493971638584757755152527978\
08637399826888846542092826379989700313502170436276064767342229815896648353485\
58185240180089686926591314986807535038790956293225076138852909109118944043183\
21570031790494623406353813729076230966745386206332460027912675016770476424119\
96136021360185090738369034880481234384722422821740713479666725358079328474964\
56831680342215812507039692817692681515604167586422727349196497928297506809373\
04453007872631876066800023752694162580975275739515947698309340029629648038711\
40299501774855014877614056371514789884467182574156194290329644937740920387761\
53583915049547491640686823910351732470149842982811621159443223855556954707064\
20694906325640911479429842503609844058548950640358756468196062691186089533083\
25166395159625021175789058372856083291815798053958657442834417326655709938019\
51243760032093998707595514162591543893069234309812792401012111685307460792050\
26959274415767191489557950947980389208143192223490129091834408058362921701686\
69120891763003550291919127587820620086493288799364153422093331958149164219006\
31447093367367240380128777248505434114339012869146067636434436396470320159482\
26028922760867696259914693891037664903942314722767757267925887478793404764808\
40801443671917125105246792587671710055175372071621275772271200437285399489311\
04288627124033786844623770735460018049042994559515811675257774523373980482807\
37692783574412270425716009893448439230231044297443312756169301866364355438702\
34744819186411736478122933379226655142448536580667887852820231115802561179483\
60294320249065790941029293892541390783363524527939960383630755157547120447917\
87080804879472627624305344471158096235661487864774994463551893563099109551583\
86837476137755566104988728771961611020289431847716589143773759638525907655222\
74674591165903433900253441723996378601808360374439646151138697667381961155698\
63337366914769179091769511720726753115874484527436719608722877793815880296417\
57178582828743959873681688559027039417917132963273854895974593964646035019473\
94553448059820262605256034843751728582498605812123235755346855291595942874855\
18781343351174040507683105706171486545905431798416259598011169812493334868905\
36244739124951554242923070375639704222195477299992330601356270924204732530355\
02457720454963901935798251796270826589234798052548384224616516220164286217583\
19943446472671749073643753702957614266870684860868367370801329624901697471051\
77868321514055123974752922785001729695386104566997145421752564959769241315316\
38738408719845434726609880106819980059618657077092681696429949412218922255250\
84656002646754503601492608733138181269415750227353022214960720012754055775431\
19305555799460067280511601155659909549427965451423426419714509497684236556730\
59840612611061636029936283047036674297475458878587855774966616696046498600586\
31483889299718498286369386705189956353675152225886930252587121701789249512900\
11332118154210272836129496416387859991659626088297742866100211865626409630795\
44791568543320188638598844262259588748841130075384418511465764414113754448324\
78196419044730162974471468480216863937434741815239990441893145226708357925335\
61481797870168651556232812484036557755721280812672820683978704032161022946918\
83191551971786886648881164239279255333584881023093051932414236158436432661670\
61215232268123221623641440907830382938748513013741130217500045424288323528060\
10699243144437735556314811169894478187521179040612558748731018035466936353282\
97373920990476237873713728736754824377323628042047372810914332398461666773974\
59166767184593928062808355842444866290022053948493927702066141324933051656531\
66014905701735659324959774615277448660891672514727183939058758487159473440864\
15202146234010095133690115979973061220559301800360903268316193083822303863370\
07544632901110685234268512433462791962528278440336361470997662869192732949108\
25066689830195108773605714257481969123699537277525015207987262411605816801491\
33278380735567928769262714216449404999581437288588340600681017718063070330858\
01672613614494542895713869876234334135335724301130159623474305273372022565001\
34759857588917796684447006664161723707072734823421618266840456397099675530041\
29633569198014755163347659247650879840987284860761478855835002725754950066888\
90897748692356850027346186946076917454013712145584938183003284370806883733025\
41806103367647326578529390973379531556298268618905352380530491489969930809034\
63538757986168357397159056461820684328516030590637611125175947396801659297371\
78972725731194167170508809524621271400155952043895282500111355489753576724615\
95590051280178319516733832428551643156828969377126513646560259134997407157030\
47514088863356189875452064561434212885605265375474259398957858183913687082417\
92041443929610323282035752387163915796974358762912175465807429107267266652801\
78703206711992181837658339676365488870287555425283439472208047226022884005798\
24916763958136827680428346572825267962543364486580074933274145754739995137143\
16567393134152129203218881451182645217436176796519693610418977597018630629348\
44067686853170700152555696800061957724988693350140638542515559015705875161652\
86069705762753656879892981222325200230832140758738944136004485996593748097364\
17336858242047871087092041157480190500481572171855281520628828763148897555063\
50530931570699437263901644405118401745446109769242010307997738542956880116312\
25964949596377237168665938181556167001772894071814946954786569168303251913695\
68633277305807534979757552089369886674751842766078447864830804206732967400809\
43246033356123946236938115283633111889939836267762075604691810529098556416479\
86294199254632909193382477825577061585823074855945908522217008374070019048101\
16926036309161368610558399785883999861580180395248520193808315149808785297974\
02931415896193915065454163293592780071628758423495658815785720016423413882098\
57915158882825309615180652599036369063139315328150255250167486754121625645692\
08814249506283801307425871100673694378772805800155795528025802830184335164476\
42236514178333763985717848919199314188788595992180381948927442478380559088846\
93558556199064472061174679080117588946001999953609875656323637644659182338869\
01641634299047791076621417947649756387299261540087220675617603758777673985490\
61704516065080094867919287538415182060491613454749153499084772157919998476257\
19421686917272511142312973538692125779269926002821285936291950192212812988559\
00221991209242751896650729453820523472936607479003216174726533436893945207036\
23162717663144589549621114173231644668198635189923260445065642529009216186178\
42055498899811862680667653126023630326752858908707294758037917281062033021864\
32681145204602714161253593129359080662167139096903057344643981954381703643195\
31655325195435210034687910498281042487538231453569341483982545534101768525035\
02956822155502879988733774872512905412539898439368641896222936982095692488131\
62760513789076445020040005717923059834988204430026307353635451335682142641177\
95774190450170743779283758144231719125338451836659362345908346155962144802579\
94916573874228355768230017827063876383279669648068417781147168438360706552013\
60487531394200645733541431743821126189321176258145996208383575292889251374768\
72027086189534672882976134222845969925875952333823100084788671612231895647676\
12994183733781124419105430640139656510045996803416802526147612282908312446847\
44938945437408210839224457921520217414797753152980141921608702358087369965485\
86141807435973262046435279937680808241873862446943329686613113490615945105698\
53367934601941914360757811838080207460644758927440089146166858138775042380464\
16106077090154333607952217510873032949687447410399728177590985274807652965068\
81397808506394760578134258744877243400329271328736576078053963784851379163523\
72165190999599401130193825273214844612683599613313652832836786196198165918555\
16632554964399620398682174271532653377577085679165970992732600166649383674614\
04982547169268023593296330619142394196441794448540628248700144845558528627941\
28222330467782430611786872069443844248836935250548411536490175211776926167890\
94477665572541028066557913335588813498191704012599151730641278393259375249135\
75447573744384380350950956568304798263168699884248359329054492250619565165388\
69339102228657773655270519909198351297989202982567327917848550782302410982171\
58966391262601298600883098206698674354630861999448374624552123955009598675397\
69282310313118527399226776525353405853396317733168782017615564872958307194726\
34070610592596152580140294269737744905534549580372004287195378301217978963763\
51302072533396957200637460688799254454502417842700661795319924691165007671630\
43306043024082179700130797008637900607375859051175614658449227634362825635120\
42225657243203376199246176907107136958638037234014698341685392874999615607327\
97506840532771546876252506741746365265231304724237503199518708528343976712067\
14188359857381623136062712682074058660879458259199681116270622149603503776966\
62742943178669272214027946856959569843100183361031363205505703058171514224004\
10318627305689206275417895618785541954291844349070802002760930478546538556292\
73569674569542807872849842406906938869483914454466623822809150721836121198830\
88317481287289252541041993411082407110918818997009939659506821465918987128364\
58942265863906177184191077402919735014758127928875936642230725148953455493480\
15817484982349715691343942679389976644520220362287475323195103058336434278595\
98772932927630795574727667195832673812474499216457732539653949234472018879699\
06432783982713015106495726198418406342846862331717842892242497848311241887839\
67541517455097050442406610994086063015882466897234720078876092799632869946080\
15426490066829269943174382084639866354775970300106953725223305705005607644941\
87975978883665001099158339122912674768944711034288877062086433869352025834292\
14078096408281956652650627111751074461998712938089793491882205327839330307326\
56330054104867372881959022073467145239824734528691523509702991753012455197227\
73203939074790366854664557696407911397115503497343820065063895465950775004006\
57570059581217743665462677436232834185749677112830943843344165519495940917212\
65189300623685538476078151530028636393383039761642388042957394063594575039552\
83680989039375397326246460816232645882523523114080843062131540061118370427799\
48272715955069185376924900494737214759649452777077236348152719795088732944743\
07707238375892426947688752352485788041303082287775933970315120255111903803053\
66979773848305551347766436805502416958962895750737172783548469325747021111118\
92025574973667245023964819764336133234655610600186694916693291113191912526200\
29820741875178449239322660676548622051624779069522049627424881748822093186187\
04245831642281740196138494647744161654697079394134896681404005240497650139395\
54414314574172299682814742559229337085465228571909698301347255143112513644073\
99596152606693908682335691167807433586849708599269662971845673725249666850925\
84624581950598403243086868057294978183946152636954355121908010675688469798072\
69721729012764952257461430245929428433270472151318123681615885173728160418461\
74575124670004109668018396087880522945992582224525182523992407467865693466270\
06851612751247206349532081210760126655593584766989126531823223892543307407015\
09386098446201620727158309846238112587053648213438814741881525342358257413095\
40887831508511574734639644458896684967452876320805689266955415345013838690157\
06172100045466903697331681681803886119326902479529325598798113227337391623776\
13789502907952053360574644757063517858898153203971807839473984800757159688224\
30901440633873626500004131723293256534000214649385326040933401515693488993875\
18406509299559136441945997703275118933226412352233880187246051533843251106619\
99751425129433083898918253096283068249377945375274664651786272447339108843753\
16529308387507558188413976250567723441957272915067478129688141655220755123841\
87988502407321319842001556810684501696637389412598462175137533780712143155363\
13959656823853126626504051290917591383830089706981075667802202169062721231609\
20819739365496297555938163940685947935945072211189659885165215508637584052313\
90843573716189749609569603081530707008120758760462495186515458979634771247231\
37555480189215621572085165073126604003969066004215838421497301921794064975942\
88489466356190413823317099161084810382082793303860922789303039416866459856122\
70235294492602774105266630681070800859697939823562911596057196476204704243068\
78637977515004108996117427625943963328587148522106345293161036823952597290827\
40029570866755893523009602568906152873255431282533033337876432652546430898163\
98723416956016001354629849500567748368362876748577128808329607160345181464623\
67532558975515728417803132408034757502177746875405512961669566795150673016635\
27231701086870212191173271478144901787585731003399998068002736403272504207055\
78288116564333364244265988417388035700583861188459215378220112968713597219304\
35731222747949276620560939054789379441320614245672012192560672242071557307938\
73301831758234587207479549678095740172908641434080538572848597180135418616642\
89166248767367762071634639052957629478961820735686699012562266960882097091151\
92054110028259767869343881504078711970902081163016033379246944377729048092344\
80373961122039585902302642764353141579538273505855530184473378368225776428229\
13391057327172545781882529020984695909221583367391831932130102188579760732251\
66867916103083126371911845187421149100386934331409952449014027316050256255447\
12271937973326832711611548494686626294906802593177580814255515223192324544266\
87345736312886272917044258000787565239488565500625123277774167994473723706321\
97198755495482933333807907327580666461697407295605109462159008144002830091775\
30275935633714245870664710916929727954742685314515765669470139495396739016505\
32196365808334920356331672065871551020817877735885465229933483462437259369189\
66626010006484475069138913642069915737328963985840698892807325207160387584045\
97708690361474514535967708917131792298974105165126467169015283007731120794330\
01462323675581781549273118000847000334638301635587055809873546767115407253556\
59451955395426761986320768492695288072625810664362577772457139722512158355881\
12955968298017645590899095176127417835657281735910403959032661095106345733482\
70288552633958551136441628816176485325101737482541901075757658016750115100945\
86451473203772601227919779820865490832308882691931107019438706300120177867493\
01806100212042152606330992097041032891982805406322838924133521538275292941142\
67279470606264554197688737567858725641524228449392346484417908117607538125768\
70203918306155712613472795217637316724475121069119651121212537201297433189356\
17128083729954655625202343466673811311526320592588142974100470831889798225219\
64867502733670876507066342340668175079623204732477248811624697253435972919988\
28291974376459052371386405453668881038894245634421849160014068397031703663707\
66655264007951927698494816501640781977115048316265826752324960946537581424238\
24999335460001730576258533290270154085767858672980820651474759031919423470694\
56620913142350928485158405398501395207811180423140278708862873407493012555714\
03152848508663108434789373512502515359027394748133543228883374207941639279840\
70922204102418986562395093147008783978390303264794093573372555457422535252601\
55939600346063697718602058439130991279897625658292673620439411879605331354393\
50686877911867239446147082399047330462390249867519011289568094093944968735930\
60765981089691152293164226382919423461941383645984672613596425141920352112488\
61289613847147866828089331046553456863367709778612709451009667159773108279322\
56041030538681239299336757318547936144239161200840109075385162453758931707575\
04836478454118087303414723217886340204531960671954299740892253197200027699872\
29329233067498973337004348802671683965659962846556690212753281654259479431165\
75039180439521275645810059539026910471688196786393543864834094604435105956497\
07689465568730512775293076800125742168369443638909875343296817525423721448697\
85538722666693515494310560362900052748275667146399731167073875594903384230791\
43430621894676516477453486286379780370421815997723063155695740057815384205532\
01957339581337542956805878011221619644903573735279659930029310416866864842730\
45596875903112968666304846966886589375656285805500150118410841031488696792588\
94058552104248875376167865010615998682329023091163671743627065986206357458750\
44461772467361249025201897038520880755399559398273968682870978582290920941194\
35750288227495697284739882166201453914252433323084772474616168674939886139436\
74825474637173931849207387777774475870305402808213300398619814329406403117521\
12588975943814866463775649747812358230281351809969270634424878822179728379987\
04511590347511095649166038686695901020139646714878745341060057950994913344499\
21243121325892474614541912736963757777291065781900320106335228583109549518179\
68712865754278687303813269715816768000115195345699946618813093289819862617933\
11238304688768640834089620968457666479433877352634852767025006782136717504592\
05144906659956133235268456058294749985619990575815864792457178879983144621019\
70348944454019487843908893066667947932386984996922041345025976714137479070990\
67247519165060968739106398918366608524446840130276095394997140242436334008037\
51654919640941048959799911916589097005341638974010734653855978673777890088086\
87262691180209472548712594713834194941903690744230875328571491511633428694407\
36232612258368244556747836372457311052727128126523634676451026260090331219227\
03008990373656435559755447164977554340499543324834600078510853219082774491651\
30138655223240093836578871661924605402481428686986637660554111533270425402879\
58652234970888352701666432299812924965510264481902678768539281182736021836836\
794654792003554576672839926398950183283886872231960296630859376108
0
*** a(t,u0+1l^(t-1),r):
44422743870826410176372213510382771895777479220437207187490884312818213436126\
78883764534879757364850771235790022771786842400576478125097698450404181966519\
04734160308108093597798294996907581257881568308237372889828518668876200349487\
50209126995235618396223729081658052520020339017649339498914326696416773044680\
92700566056964343241984344820372629073788041123998565235046934207623313468780\
37874456271949392992966661462482317741550184673044437506861869151450996234287\
11018853001242364994483553878135550411002049204322847338543702025862394047840\
85925545516150340620943449933408487433487451574308428733861145198847351696001\
89051466554424881306350547438625507344704338528075553188747153207706200016007\
18900730094884423267797776878606654222990013021363449695204559501299836019519\
96452843925630548916485087603791728802736806533197007184867670800599070625334\
60125773820166565233188191810827573819800685031670981488119843692574320125548\
56387455222821279651714403212497113334574686182421588477460551170912921575978\
92898321469721255466921211855944260960104333570390594787880227736640925909950\
25403903479263481489821586785559889746096014097765662168450586099029666891132\
41873256264133801306059393506037822718537557064498865780901920444985563065293\
44838363882877382301156236297625920601809873740621676390129561616734026336501\
69745090981802416538341523694571011670945506286793951903262014006317570511513\
38250916008950212613024010023546283595351785141454389762305787851817653679495\
68361762852443530068624203941254251590183279480280679528386136535708537396851\
75944675036850471004157738555586239594741875403745371424047926008912604580914\
70435850971908374388848648381837877386853703410226052042430336913422024670310\
78254195116915458169014821357431948245999869439906617049051920652101176910138\
55841982147945805329468270912136566273843700645387731541767371449525576956943\
81996564301382510826135404054956106304918401997980969382696273825710484452086\
68263829528710242917971278672862406655788782843106063052429154857482345418008\
65298989048174258818096549315721628313511485086107030390650265558372659397068\
36482811814385857294985897583499106906638100955307157611639303284371045784627\
29276171843706133764840910872570639582201238381695340947655956462370291042075\
88242769463106636651071757915138792788071208680490398666203486891052777315149\
53310709575246729295881763391171324071410645206690137158657524227528495168838\
11912390188854529197655533148797947621118086276139596257527436988133894524354\
37122097391501633976099467616743650041762767943082568998858132798132545357288\
71635357370873381624625656186208168934775125512011429989507525535873798841238\
52708603358808539662096038093100492489538015299606412722640311898995404622437\
17447724947143134457348639380767710544675695990453462545673133548266580696160\
76869583307675991132735190082681960634194273266578180159995772026408805034460\
12964371919506226641898680042132742661893676880378078364068954273520626010292\
62154009635880022137140153999270549182496261623534991466383389178307940290744\
81684669277580172478886738384250598653497379009526405266786453771187155070596\
69791241622798775976981846861487081478804924135808457353577892689830232893003\
78355811683602244397984365781631488678909869727398349312183053299259652221706\
04193991899484030722060321608205686214431675513747721595819120792730765367433\
91401484063459932757108390575232922159607173997812845762289618500061435034589\
60094536366673721314103316667589314582906110833292878608410293485670544918698\
19704043764671097486363298978914956934325956186631708690683063922192239029496\
36619448604082100946373665269800686107625345817130617567113937943049744750389\
73262843649536043214650149588090834027302395701555609094725117440835893673446\
25889022344512024245562984975315046581605085449439276799625998888420474530012\
65891593249912987178323250966845013494683811258618407071081509231300549475901\
36150143806826724920928402638656927100595417388525953940565863396343008805361\
68178033317619219301015770622660443861896243571074389561674510656278237958140\
44608669532436254779894804394162272470223478741127184771222980618891546829585\
58119474133696100277424750620066081999517971137191665636588509185133374489584\
89072157109194252832356549999394696007027334673642707294345417343348292793937\
91320178577003447908564419817557421578592643181129300139841870561975803566854\
12725039348559462369020044039668295564204363702033041183969505392389099279627\
49472550119470326890686133093563829106467247343437789201572846970002737743256\
29595684300098182497512255462199431518993477528709159418209541055214048608434\
44515385859119088586289398413057723184030370406866935426203711534762953473583\
67710457594452508666155308074949809084715288365482935291372075897587427372036\
21741000050166982520309308408209961170395715387338702790663200647890203464003\
74691748884475815377344247644923079444787497890533905891414238643318557676956\
50956814000342391288966364131057184374400720564336835340881526731351945122015\
54970471640474278664577162832369830803700644507735676105133701547787437337072\
21586278493539435793649894959127862441272605736338314697255871541223435303828\
45366174451216295693071301984627263560233006252308979344148278351282328228300\
78093653225741962204466763013824584191125035059236771443187494487934481170162\
95085900447531826618299319556443205618188790149190420713916800527490159568269\
69967644001256633058959928875468236613027577908529916351744180269191697200776\
59013030633135903247872355525730876042948215638319227811195514027433971576163\
63455682317827107344909690461339120005209036407844727104360491517913211602488\
32121794064307296086226279155726265978641804555356122430192540585829192993492\
38349257756567613692354858562094778000681962991222258579953001730031263762765\
58587765848860558084181445939701549395502747969865585579974859135806501895648\
48008426781917933647862667564723935058952806086230248840673590259937294972052\
61508086386816091058787823591400688476438423248286094153337086540450383878067\
35382739763368114501976743224310354056428932375182418722180215867214654428562\
52802443056777332453265431217536919296161904313165389721242990709720878792000\
48277507034095099660275397644837728612234517115412656323042671332397590639636\
31455447036587370154379949352955191461087109617696141170393563271331126467677\
31708064765879469477569771598900369115633229362654552879459152435333069108227\
39275407703745762610961169962706937222584592018892776499480351811440208656579\
82825492189752490140220365803261515749259710146873861977956140870899900667605\
11597413905983895674376835783884140906839015684112569284861763450206971019257\
73806018418883669611516096693249387685585014549230233793711313316572244360882\
41081721313504242119259838930932823534931766482549802757592960714330044753496\
40013722595510973121154081199440162538586457248156108172883268730304527723412\
66735516647074995589433979143845028721351557427254366027838416778375509821844\
95108478473211053003617226305458465892903332265536737679602213009610879477622\
80298069295847721265763814054961221031281412789924125471360302782494783652371\
72737450655019338875235504201507734520543431160478508393434315630766238094876\
00030139768751277243861106148220580381694772855779474161470315478447905309474\
54284008608025744736640645197084780667913818324677947339346783358507756602181\
70807519006341750039335715683600956306916172407190117094593343141180402935450\
96005485189777683334937277607213424381786395620755617853341067042145671416696\
19741248060753413666014306705588719244171795045634794330363073999520622625922\
33174397105257377945733315259980247691914687282473830427566761906717739854125\
05766329378183107916302023685317936052574442473756669500726690016304830050349\
48717288227558482714283409166174978197057604214971177347245190393169861420931\
78645200997982733988765606490435177348001043180831728692400663446485801815622\
99788236432796053837266031868503993107324621081916191994531378531538385930002\
96786489339040839069637244750602290521139192966044630962474178180126315660955\
45584286686933354855354359132642616300568782342142107436668192222811784117506\
01049815442901113427507183639218351813624799591301126690029443391035025888061\
20008864139544615556201981085174253181528753514584245802823511445169468113243\
51337043139103093912057823561601888417779736213862171331640393039594655473336\
59225001262430857573189961065496688865152026820589751517541995730081583027047\
56636144392894850550798899682221639201872559493307457782503178325471302879796\
27059869511120656585756722963276934365594084369424723508059356354279329635430\
70488459609102627791769365442726457529035655502723473582495656843979833584750\
42259769303287447138689388604999993568780118620372366710784743182347256723465\
22161927254152260134936398968900818947027116990627689485790721447059489485573\
01324747685124350457732644025083212332926845056354587653247224930150716375434\
94931611196532554943885890354435347610154841918592025339161352952474693563449\
18219136211863246538451444518303184191119581806818604433203615768628955713121\
44593842637857488465716597748218190614219804809702100950114282356762495273234\
20212363048731530226086363498386518709058501586668131481361816117870809851860\
62489937878953061745225466498033898687339990711393962993298101955173401753342\
15884815228137816528304228789818654119984106822284962163612031038116035990035\
41954385246577574138877849794775746963406715560689875134216888073882233204592\
41530251506835329847373451127272960819038203363780191798783696990804658371291\
18218481508674946260742913071817108571908285576132004997729288285257015587859\
81899658669391503591568209156032838023189533032892861366675209592063101739362\
25552440332837213265789639630338610318569530725118195083847892374499748075138\
55501942733342705674450150709559303261594422346177121459026263066308403412666\
36682743776580476204060466150970841333086913888601120000652014070228924192586\
10356607604509276960978809183396378149591339239068389508365943121923433309769\
96430716970039881287748418129148500540997535424525849043377535709579349192443\
85027130945057970187553667228552038424585154215117720055235032572132155603579\
08334644850951091353549764919945094965477571451406932559380024073515960941676\
64419889384874733026491987523986391812644135556989337994972472329460691433838\
84533140476627147207947517019340965785130461929035829149246271827397051345918\
74740569897691338183862182727777553490088813987436139637241993132039270663170\
85023849697623662264241692394613078923649685895346311266349761629140142635132\
34777130519439651851557822856085154172994814009779831935802702367542367994573\
16178324011218052958888969127110621653250093374809589436799341403916298193503\
75537024909755095208430862362089376350080076181897781057021356033054659004283\
90216869464645119036147658103654431441424599350998660780010657954678510356538\
33448142488770459162432698325706094598142331188834329234144619700720569315852\
87783585090707852934817537427867283439793419538099930226598371645539128791643\
20715628611173290566517132770574668128103258766779461625581859038866883949113\
20032364020495720367487337997713901960597634082705310951425652231201572243202\
50535750168070811050764287450562149548137666820933502953229485243395059872930\
74670794962986584668586315128091677059394862555044848226986277928391683941402\
43696855049545420733249775010672548193238746383254002159854893847874728017437\
57222356141309996533948387126401999523834345313669095092658707741934683667849\
48941282451543433399186491101081737206229761909590815030924372788110563637409\
19701975073425578026986579352223849977518167685875763691191218139694800422910\
91670372009132254932559224904697479944124395461933050805983163536102334934646\
93235234610554545353737678935918354297678723707630894380610512795299600564312\
94977393329452300205206736715058189361206258155671728147341003491343860306899\
77942176557259871581725023593573175476679036668032170828115259572816955297511\
17941594409915368093378096765531237438009529317215352936920376295774307517656\
57917236338453980175958474368112994708997186129525672416578523941070285834571\
48962647482290458776401637719045683079479496650280397094700786857792618204016\
86022244147877777576349024250621826408117592804095740295819335857052187650959\
93756880390635200491261246988723544775488020499179577798326667731593923126410\
07652115983882197015719755351517430125491164914961000714971951236978753097182\
42770724199657060455871815452587773390125215036181985379478074514463769896718\
81784413262641689604960225371461061150065650246942820857503301965636812605904\
45817531584682539425621399377787798300361573429770410221693989451180834060529\
82072204188230056031951033757924729354422358691263219602995633545962837101779\
35449372111897336948308656836608497238578425400185150149128631415167105632310\
72328535937747619123808982166184717378539547016758254625390092394457915652711\
67768410506977961456566735304385361147576415030226543757990274512282641787007\
94416109517634729802570910695048392586186884278295435806282033585628497036667\
80542479241096282411437683343046855266683710427557926800385696846479264312348\
02169663288511342989275307309617133809315065929242432418543909759572948679233\
02518741994786684122954255338326002018640889273562102879966658271611963171043\
02410866505590869695626854728053541676831070513896823172438824980118016487444\
84954893458291338728574716097089012897033702097638900592988313146152787959820\
41612133404474177597197220558028291373000899367620838564224610729298199354591\
59563845561355650346123380896056876527280004048420475054714029175428595635400\
57278893585016115891134017494612238686773360712269304632918098102028396218808\
82415950561754767654212897361612287667907472727831988301791123030252026148948\
42533287232284394202710757174545701263889290478575683745229957892866823182360\
92165076030630851353826510114954555444467496878113401098810154310677916113681\
06137228449791255620566890271078643128323530844992279048399556200868627692060\
36835454095036356422575423040109471750037398238759045676176155653734844977965\
29035045543989282315252507138865952420802837751053052362311469113541520262271\
24256039652993314955419677814342240036571088609026931373723309466537400728879\
91506770920307654643283552296458121863891968928788439582144550447482759725743\
46388087028045631503518675402292095829599235973861151902445078327073247412324\
32101675441867942370557536160604850389224514590865638347392076662889899200588\
81672997488479208233490918164245584948229184323831340227293553060695293134484\
45980119054965907529714258647244282844373029437391109848995868732520904050727\
76732477141798208184005205607176524183195355316865414497600755035809220727389\
50827533879011887803020177088092999220270891347357940252215809353183558025123\
22807007912252438514638051270221094461159763441926937108116163060798544433923\
88355471759850384540450279407405327783090414824747673183507766862562729037673\
48096377592625627102273652602302389943089298369510589742305552516402745310790\
84260250312303141696382539604078285177380427633526308822480525332531325439370\
06994252095837432854858015372875138027849702567396445865489413038116774167130\
62406084583035278287655875549276379295211275742932715595771821264809710606275\
25588821566470694625960469814893112491519299147526440948281756672195259453099\
86518552744956390737912988870462715546336388270285140649302325914242998082088\
69384239487020994998669272324411613131677660788474065476026202020953120628086\
61450174783734174054614990850990105422181837640083046401971820709120551716155\
88997637643822257280872930005518392689416378077341353499457680754529985085317\
75256580042238741919392694706121805180913283910860520846143040510159644169494\
18927491566510355853665861446775899469956284062430997199363030382415197131324\
03417892957929437819268251478626023488102608285083534331143992248154947164466\
03601262023212519906558863227990172769432766952237406232408309878886052874315\
78218038507660333199117401988235318936058687331167560078922355386050946626174\
15266946927248268864999418152689470320145124861650700435765958613665476865838\
09257082934514529176926055420224845590987043228521615622146390782785313890285\
91930199864692048505782504712657957387446641690085943434375426426966047924167\
27408147995574903247834502902496204023465539157138565789838164689383468042486\
05376487492342970955425090251380628577588822525091799218942311400808265938593\
41544509946331522771811797914973906593588534480016139571978336954833019788132\
26680742735299058363488730823906952842217656044880218977491949343210989533101\
69592858635756636062369557047420100256162887323969219176444437073576245648488\
42945925644089466012227945781607447126074756489432839707978817844461708624428\
38830829255222798421488371671235429154603380665709825084166086556154431834804\
18068904065936142282116963894737229848315920606702867031496507687821575128345\
99886500982799612929926416441893236014160280711665302095694720701585039109315\
08205072264564718000537386054957661680231890344726333438081961020879549910612\
16778966111342310927098462482617657936761915720328615286731194244445421606262\
24531038332721322829032500987764444901973425468050968032555361611917209072845\
82685202882821797564519625056110287967331584498912775499711633692121364993370\
22050860958137893257365998964363636639587088988361149692074060625454259377459\
35209794640034496806781637048867530075046241852686409843760224040295380014552\
82498980299550018336817462149841504844202004907797722080054161457564594160783\
75117990779384414767097984283236551686180870584618126567566516276923667161487\
34664935883791066280315315654487853332998107586061324372632018403980894900861\
50005411971012031255277936178919718444843589965909810606792407765524861978427\
60802912022215462960810160482808349302574779909478561788850210969721647729648\
16839622096375500046081962522872942535896025545774682324923353033806515099338\
31885022669101005548754267376663501877514426786777340974094895579959345341941\
73616857705809162696588015234825424045045531066251416005719718344631518601174\
16091525075039225115344670627059047631358457115959867021934462603620360158727\
42720976221701869414188827342313921749884936401141399805839303190311936504294\
94885100042183636329833211414342619584090936192089731151616631911813214030249\
78016208339643016822838412208371194206137272702738312572012675636488591111931\
74476153692344403616713651432584346577918340753604292282118967618011308946587\
05438822754278978678923478952062389906387954691836596709411523936095571435791\
12128920216611130778195365580106747314341570136782490300189473807276814643326\
03284026539544348325270864678832699694890846216829323956198019861176178970563\
72108226705949033019822417515705523563478812207206195488371683534442036914446\
44732810554263018807800825095952435696869320847249313356343062506412295597315\
71751289747750434936848446103856752815952334209973914532167403181275921694702\
47888130582752739851056652933571949669333185257991218410296684787275091808069\
89374952827733029471310676175933928425080122663803434198542046459749628756189\
86999029177801844218269123075829934214210244502152051132582800303370924580464\
55897972446779652315173375156132654773541630678157244377925956416455791345064\
03242062503843492087530365865575043356343234438338417869352823855370465056796\
01596521085091543817812080891903318852938807704070776079853536922601883807490\
60223140826348989262239579712012124904177779645294773907422257957161805185912\
30350115793565403321176294966545239669157353135810271024703188661006330806750\
76628967176752557515521720568128990555700533614519089456106715945068888873788\
004613545209430201110437433364985793105006450787186622619628907389
1
result=O: not congruent.

code version 3.3a
start=Sun 14 Apr 2024 01:31:21
end  =Mon 15 Apr 2024 17:42:46
elapsed(sec)=144684.386289