n77-L5-f14194-r2-t14192-ver3.3a.txt
p=233218107197642567188790235373387109536805340710596232326590014282112243617411224495483356994691310876099897249502881671488834584064918004725251918569012710287804702753846759582332949273518045556108034466873069419751786915119368879709572284332737945589731370977023740741568391218561451265581524933201281117773116530459213161926461845994615351167770962434751360303804399329806643060307785757302126409251538273918586649369068062667462123493690178146382215537805975161348189225747119871621165905178452494466937781542563388143140113893239131421069114679914355617869519456952699338902158964290487606835901731353924903431956144763580305245221323548651449558481583082618317189164029469787501563458745636167430722947890185242861151768380230355756003441005521412304659054955895732152237721318324609648414640400883610878100394862812386679674214145113773046666664432251239304941920405887727026534686067303012979200128756979665063909118277732250483904122955895165227776282867649677157829448940407106259101123498436944656189953617832731126088924307739810806351321184327482199634904287514743143210718389814242384062843878402698849200769778187455147027692961233809866125118881794208845133479478309210352239859762435021882530084349868663542418073097138997256864823501621739061475692634966572415844859683212970163344540518059076990138022092520405951177580571470114505022325499570573546728139791442137865838432904788314742783663974631429352563770609496407991575462836438753634575206390596770921360222156066745340763720445171032940044802615012493853007058550754437060354934668286710645413866136101693141112063021648798318448655595989590734083614088426247487243293995131477981409748794831695214810698285316654519744939359995246538911527138818558278902462206864021180383917041943816290741592749088188582846400115619454923562170896685382135653512752668747775955037312765200054315703036921542947225529354807715619071516556138533293519736809150266354344223476818121404091956273678756534781878255623150720176775074832361786122164611952175810001778609433491150591308446336120574105440038257599649704602052921921856803978992124759915860100603051598588456346118488994624584378086956845098552704408640125841462428104261755013335086239249864680278595856137501035734486644206814943277426708681562432045391153398902910981613818173538725870120901270394149262271523231324263804788942474406357478831429634257444016971042008435785349443933443091176153997768418286509955522823222787015883197607979151711702063404939675276787743825872291640020795618307978284916573482611551235759663905877241293623761524160976022665935356914329783417271115288697511492091380808486588495081631531227366281982691351729236621290340660075512721824465142066993445415320872699037942583241461890997264340379619906693396233270630252335689972043005050209316945857806920796006790743600249586659377343706087222067374418524385878120655131918660986215293693309596036092522728290641657547734784319994021129735462180315727296806794665354299700239611867987893251205870576947766625467172800302858831564635704560849683715926537487234030521352552173930895960893989144509752050084008325177172813928269913099523402163957570917329470209190849255622634653272922203018928854251357567386785694577518535184487140669536068630811593062445245409179996589981596792315253569632130203500016651075004756437013798145589255661312959280212960990133599434006040641850582995134465887449201449624740099857250998957883178104412980456693272951808566745968961245753427925229492750507867466421494978021904312695239574221485391813910461519346396525390796371226302124132158769937628602340158379584563629654300311351635370557080003160689427775755159195126207404734211702774681149125608090600757543448224444375319540310226967890747247081359073572387131258995979286930559280461943744812813069285033076573593188025378069922928100646008491935265661434610379068602132539830896103776628784134946599406789944279074528427078264908419001722235421596467347778841062920509415914452219739409380364007308994611975477049840866882922302040102422636211289494390587829445009313466721572252301277425093318105963456074979232153215070863629067695417910867468557332322619510152746769511617946821093949901751509933055601930440619032230750127558738510018129495849660007015932620660842209070731653274325515829300651251062020527229252471979384500746381744569118582018741056111798456651323564669482386086486799381929398646117240839389437494439041988335196240968385051392007667482541748823330337454388423394660589500763072790584063304657322970796067161038037100340431203335222603906332614240271053456425007177448553060123473348427081016214139509226032318789719783383359991603269351930594665988339933968824116922112246428538096093707641300515400095154736055783070323562391282543773208293451579766170328890475376406311554459433641819706557612201972229049509364767234036629812366273618980358941505417705871746183072337272487196302086382191066840942471152874125015176206173044274925554402367842772696678088130772404911163804716927256344088736649528076358520727728107006857985431591450370586698743834005974769468215869556213210159906538984130781951213797307118662503041325759572502011372931557917638523482094047745883350930235623703543810605092087214327659736223591068810114498157973020778493639987163185833036652609960140276180115483232143958021912674744302085162978814952775698279042649410199769092797251375904242063155462811167428929192889749743532184314254768852984352419833292156465173478879951837991610455837032989622073625312551923168310957115896993873266958699487916001259498198421901379554625268830231217850853328440687744495144515905749343047793083291751739254407113862500258867952031347912793069513055629515364580617535593988825116709112331560224040119127476311903519111926277569630235991735595813970787737124317454666521317280019833897849378550317432926393916134244952714187144124718601229494509923653260811234227443437468172364231218671972216350565538687249423438979287784054790440348527379708596033475290844288542308868488556994218953311368065939311934642261858056204698813720153678204704010518885369308713911145355675912213208083404430943193708821775615934727463871735002447330774042822553469535829721881049745513432301800584946289924321857837310269281440219787887097539460668426845449305540390305558316532493026103239077495892317856593751559905187318389053058475175206512797833923721688155770449769931184203634107756330461215635170865762953181670858703329173937121915397142184021378269237831169183672295868122705851152844478989196160344010867060474625754149856513502273685757545957094289034677493195894605117268008578159036684275626707133838971703245493427319250088065408759376671765587583662327125036907164241417211927312379314034821185428952861150004843303956461012536877696711340837875588967043153873933173923507029323928636970971652105505912664578234862720706952694488295829850091554126474570298574218785375216720476077626781354573852261082426843215152980400075326046358671363508143511779538834262897554395956162113036765125626632499831143073856637130518789317134658020187988972889163517496944072667372039739884881426311989624778456033132101215457706613108837117388828187966482373362431999776128886065902918722631285772344619059374742220571665724293687192470780402460137110628334497751865294270533293839389413497597736466247747039807490440775837620393141558558657542797390599982332275560627246756758980588523131880964063389714515330429208840036400490022072090563264204912789948413214654741907809583601673716285483172395934830418933961134706943587404520386636018457477952622277038931664138469782485014683699773479653635123333179443780539092874515252928604328315796709815819110881732564046850938593645809732232588429396289886505970776918817645145822865314598837710308330251887781823713590695360917868793511201675978617217648416196242876846145315106846198843478291919078606334711192391367281097585079240590617013747874059073751158400435304697967907549649136766219020471924080684814830512467468500625393383434084527661709192960283597848875403385180483465068923205561595368905624707772757991291334319245178183448468757170394462369505319047801297008511463684315083011941113975771069619461391396661553961240824884302660838493465329439308965086802383601861994148761923005340184138582158453327381697216730385386976138664495286359896565820596874131820013958339925528036017617787211888519124385222822869919942006894020919357045366343624236882327539793898168384101480390577718953919918238098356833364746979328699135979904183862833474913995012044468463721199882232038781893377512287713303305787820422571732699260765965126045790167870758688356742521534244045536711606910951214323651911055053425625011760209628417263874887167631457540519510409643568671064182023815702445291711185419453904539479657143326264587574809303475406288973222586314002327670806640196792604689384196294072237121840907072483535743492370337976150566612968813405102471834697814732748812890485672908607095518088029186839373900202935255416333765707327199426260956459106349013504280033410135322429266178329103523284137510620990581577310571527621065153708088743437492686099865283209879575914309433903584808626689717813495355589806711304575523955473007618262982190224386730642384005172150297985246853750554884098324386313456950300493710439665632995458108070663579250160301293988921689978599694945061985580168280989991099347027517101859439928456371375145276569911076664136138127204096223090229346308076697235205456160132647782698160998495843655341596133657802857542350749339166944063788343029291739047923633371852667134643922399754825564857266872083159756019255829571062186043245130056825687578957177034223903028266209540962413228787521062167013881062008409651589435748633546868106210144505740413718315487918279272894116429156702993502251921307562439716675988372665431982815631873232050270952111772718567562850933865488616037865354536570101576112637453697118417039746418595314025878906251
g=2
*** a(t,u0,r):
22925339937528264354658080137203952867467964991851609637703798403931633547591\
52336790601399257815585912061989962613326830735243961358143986449226359533394\
94212912022807031364669433289135868238781654197880936227239616006537562339608\
75450955549908140051470593767041433714896172856784590659406663900933685933877\
09735494414065381737119946127068901979188560733605871786397245411999301282825\
53399427990260294262123261970676329793905602115267394297445117893717873663273\
58360527000890941883380360608479041880206099983925633981054470673195705406618\
69109397303558115723657376261845034501408222618975493175196914019209081800736\
12890302599440056052561048324374915987396170213805796948240968801114036879946\
96035258440065777605209373251218831776643970815138250842754829547985102164550\
47056496800559130912843915915140685894931726881501445761061197525046468389048\
73331136902968236757907758987635667083596404158861758553726568111010757822663\
26701080222567775286564494741890408605889963264614634830842018545269640439896\
35165970347244063295746969454125945082340226433487241939150022411109146269925\
09776136177187400263533775532469852968764356691958268409528222180892835098400\
99186080370729476621032717795377625178214647362651052707291592089626219696585\
44876343034981215020941694974306058601721406847754970685983496705676833292520\
72681305675716947559050007561701755122558436945966077873796433761414987621522\
11917954540691339215634168706269505357018650913496905571867996821929482278742\
78819566258156970983794136106699707371976031253800640409705572814575059385553\
91611630328900778925836564441830411787964357713157950280768747035028450857767\
69160419264892300127996015799721424285572578306531955639615891641446627139290\
92753908753273477500311774586427881611203493473328203173904522307714137989856\
72353689376938011313653924189861613991441730639347403035873379063763801678448\
19165339233608529387671712269535577598445354730077468417822752990128339471182\
63203716777122133402223930170262176736905863252775571579337698985602116357580\
87813548988821231748373073121801031256202748406524345647557607220455659623818\
02224918523831134925863899729047889279972141245258823447468171596644365947857\
87318773084336932437021575668264893051781083897731826169807138597265831635181\
27000371255299089241710454633975870700619503791121561494926383264588567530328\
84594879744872481290733639175132010753045234144940169129533047506746868253429\
42923769985033865745586261593798063551756392862789352279996366131832486435061\
32603128327055700797082352180832462682140442092796742654072991733407154864751\
74961947732819163215757825023943028061445584678617709917750632878965379672582\
73347423164906652437951965010551889855987498395987284048688542290055534492346\
51854556843260417863154297559326357038850310846593166368279608497305029538045\
98324251827396435575855777822420314247467530095904534368616792886308373929222\
90534094713181926039946760437494496337005233329034789498419097007493694232929\
86554122770529959323250359932761079156043276605335538466232099065935370777139\
65459283423086269771023142803689758331523909275578634995105200248955878697407\
07295587913290530862652325801836491608760914893245768315043271702922117348692\
15634604818277049864167282525567607063729084488741210337769700720086350859278\
15395546408779598038367623722393664795190964684589425894838399004051636800672\
96755775845635771142383150706389724493406533013282436279379509391230842171799\
67362565024981119518159677731975599164076637959788929487311627821111287488904\
57561965050059137374923371949232956339553193937942050145972014015307398367351\
75077844591528329154549880219120708486889161003756871316260479501772060586575\
69257609643106957707503567321488809061878853730103827511569590472753060544665\
20960462882093910812495310943660454388097596932165655002759304763905273977269\
40907011509952471071875142718421038289466427342383229350263475723661451902220\
02624435896286653770870012426094804652507216874515226330261443817934404975878\
69295741942932740286660076485086075584390653200383942089781918474170357189393\
99935721459126229054206814513956975729859478363444441551377873055240121557088\
66731698162077321704585206610414658947373544595806382721591857673134978480150\
07442992044172513535275342173426419365669762312850868282737539023995534782129\
44202157868966617661096078915165292151686619820602025401797939661782663551799\
55734964233693254911443566124422458157897882888251064070101185523016523792436\
59886913324774511981705703357827453349790487192250551834353713533853909333372\
17176638201969513594792501005531441342284781484802925340193003904696346438728\
78523819639924959798186445547665782055431927658101374301503820638938499137569\
18976937029454706584287174601377294777455666653815509135410693443633823925294\
84601146113984066382935371055428347581280618306307405290637524629029101454332\
99337295007404258033623269908771546132794538701155667705566191058007105556046\
96745769283949982560487192649796010753885491396495091369381870464644914327526\
48899182106681025222518199775275894455608345606325492740276740200367394929862\
39228126486099060425875356729187741399679254395714286724865188827873198387256\
19977375758558718812782140055865804316275289764524048962322165976947717959172\
14330386685828984489342033339644216181005835658248055217316840895207077900206\
40342551689287479425259248107381411673875029515590817891485053520017197510735\
54015927364894971520817509857851140829892437022637301821969810251386994808181\
99433775826373966106239978921371809124377824836184286961261898052655297389926\
56745753078087803428798498373682238540474449670844926744977421420401596621429\
23808672904872905610219663926011728714738882185719605283872705913535160421598\
06008757919596870821929268377544671968468149982755873313336838136033827470374\
88891015089725057421923700231437102309214601159287023530850946521979876090685\
13328434559320405793719045488625949672158593911496203656664521955996278851804\
59626745983850085931032549511553774432455768990312134340392879545486886726059\
24529566183240516639891725859002862602414253549900906210899935637089617724251\
52531723110507480881834363175334340646924921893388691106567522404234006431803\
04657746558846294217055835459865556171594157718054304638370969859155074057261\
50884094570060553720616609071899839703952669975002202995608386254075994703655\
73605149301688128983706358907666734620367036382515144064465948401317846214845\
30316577833867991339764391564810972280020802707470184194571223521238423540721\
72327924472843374969372961044982977582454105372577980190842835390766893014838\
66078803930754986683836461985168324612284637982561816268232044655711632930895\
27727350330996676758236861210879758115643968302744524323303330606429410531125\
63709184290320039054822836568296810467268345572594740067563911279742449313119\
32454806886569622922527666066251045476096778920117532375077586724804363170395\
46034202580763099668074098254218501424651340197123121492804048700544549344986\
81994800742639997706324502603498457066023838036227984307126071546096772644025\
58688049537973327404550357057395032850507207928667408042829597122490735711514\
01184909797473340136416010742992999698987433688338447931603500477376994960234\
32026715064306838442064685801157222280568855494794925600685986886393218108771\
05217301527065577993469500278256910434655391421476053536537160282194740698069\
45101987771356183147797476528112900835842679342278441197934681385749463215353\
40130763103282648380846458152063160364569834959782632626876096583561894077918\
51823863898767431208936856981191228975578168169169686502368871342927251929019\
00056112953768206804452631086299584652039383018120837954169255464186435400632\
06143700827427698329269825848115796182769434076877330499523326236515393236269\
92829564849362881805473442816574895018599674311045805447263755383096678463442\
60965529584353692737111977451783438766042506574692330886376056895327104596535\
39782265024021511247486980724948393120906747939760844750029813463139160956454\
27002702110212071403731892613289350057652451416020006949738870762790451810245\
31213051014411932971239013713131729783937555215361147616959157050906914601366\
79958776685444521527632415246162751511067048247634229087740621105439381635818\
01015432984478829849775650922372862398867495936676880168172660073811503818296\
14359305477429183075438997308612695156042390764188388407126803267430806303402\
48232970314249401008226261759620816208364045968835397544307198866491778324201\
64672727157907372104814679405940531828482928641429927067403488113130299277682\
25637279755951157826248553279716174018995215717552239378977317032796280506847\
67197546280680111250668245812737165305840457096839712499837939484234094122601\
19009457882217714958942747538801324337333294371890301173501695579065467789866\
81618967625875095934650436801498285671175173893865602860647341703890140857817\
22762330678732679628003656090929410835503721752095267323188162308502971889718\
08958603754531632438206067780234666428810040292731344713040966466495707300909\
07696116522513156358530000422305560069805483435772157298135079518822920830713\
47416469160774894280532690663104543899485356074256091690302637036014520199301\
54108027470727284216302194796865329750876338830717294043374169049629181165150\
70460950512347990553104361675733953116231237661735272238668800359926106659345\
44779997212397740048229966488752511492990572156221463477084223742919497657236\
79545106865287174612818214538531736219131723453532023346229840290757617199111\
00212489635001309959318253054202131612506581280493111278294496726130617678068\
68222588360845823779041626587297695447420839393382206963405410392770392292261\
52141431320078899938562020896413078660040110601470394119779377948410893160453\
11717933549757189589935302546933352577460401669284804683541288805099628458596\
50890114905024642096676785683978766052203898133204110174645083954266687512415\
34090677657134840457204914282668510412462366852525491644986103904261271363864\
53338782414924965703301196391077661313871054163459258725823519142824679897753\
09565221643509448409849318722616984267403950070729479193687438964844733
1
*** a(t,u0+1l^(t-1),r):
22318972858814393679967225525233146382672271106004059433654664366798141714186\
25418421775726439195845084276016677742577596148146969501265305220660860705451\
63745429100535431348920292632454756769597195388984797527434702460077769236017\
88206067610643021392937292202501171988968095039616330886116151936107362602970\
88725196494669959636239866168468910675568110500570518107408101586249574087145\
50969738134973653722128140087423446198135972761252183461500486087780269680318\
22941021708903999371714145577125577903720485945693623316245298508899582984876\
99631427486780383263011301203037332673293661288259966397419579569057061325843\
82030538746352119676806636059437227466875010065729550029976202586638996230019\
57381223120186113090727741812224233988045045849529304228399157555871559279221\
56696914993016366514335328108636456156103420778837114540524482229368738808056\
59997861664436014829417828434554764393694566408983421094523220429539466161026\
19178976371309624566879167312298190270434074104004278263596960068995977518800\
41560359737856122659236876671005625069989416782143734014004650506034031516091\
88052657499052229961548141591631382798685136677725394575705502163900756041881\
73876987705786479273986074191430709354579265031594158129072282431101009409595\
39620203748196360910520042818322378516630098019635307168348124463207252757825\
36679562087142542028495276944606896899581306365503089038884218829780410125937\
60738028988241720884396642372227789040352847328806244793771793447188722828847\
25158011097717417326033558752911108804660286785236228761025669566173277550330\
71996266759672477550382087661069892249320336044244311717899990755363405362038\
33251801868262391884529183235334082442820912959665393232057383825904803837539\
59069675154509377383314718493602729096563319688682696274086091402321902397042\
60877396473784004910647818361848997548127910703820411704303991621588970708316\
29645198012780633391660049483159255098384745144134422457636189838812635680490\
11074218673149421837160021539105700037862574906313552392091737466145702293189\
11533638232250171702129227851031115882183143667389418906116612522864767304164\
64627921696140789546339523947811627712037984915272323539396785572724982921770\
07593149381190686004302795436957784995477616775309621204990266162343235884911\
97903718505921900716497360208255247467439333802750085809404423992076560657705\
70251576720084399384773237732046118301794800688410724167815998437392424128720\
20730465794178443050382555793758643763001900274353418242071742002201108360481\
88098874678527269239885870841359783099499901406720735218665160822859254532621\
99835792451991799793977862205405369130013656701360273032845733128351849793145\
14337216651897931213753845895318574356236048794465748560116922656747860131409\
58112727262462075172979311052162079029684381973743296250705580195239993151485\
25530324515583305031631718592122320177849874162543885443302411792672547151847\
73185278372853614669612461585638080360644972834065405442509741440662731821885\
94234278221156837306562151023044102494744064813129308557664413841404018142139\
01266057208436988983590180735636926473314731614169637528296720893439243045186\
74345755476112958327119303959671945543829293543068362438958709073953678843029\
90195642737630861363182186548289114913518549191989153909710685238171554193620\
74601767968669456076009985658525673661238813024569766613794860474951593507877\
95519102222048253289176678765020311638036675578546583437808942510079263436838\
54288885787290876275563389206002694201445923222297055462214880798375892295912\
18603052444462456223602916536537069396696242724934427252996151996591231167401\
45014747989921272635711327944759428303105724395315692624273935791653979635150\
49623125563024779782381397687349735780486330640599555369859713206942704924969\
07995079326718080007688720827144511545686063340877448461485915217759254523140\
20801637858621073057766542809286809402868129162421923182301267820492379929221\
32768652240840618167571314233746417143895632297976675074323704713899517356984\
64817929846781925182435089721492751103013077429061477700835499470784366053153\
66977096069566430523780184628542040461317925527788739129876525446454523224958\
14305427407027463755125170626822816493017784514940700167409367032746871216178\
65842261837510778691005597619500593421104743167241384482787207371275408734992\
75281246267142475179724259940806901921835295186486407232472663536445583946156\
84270967214287329552646482991935190698991123015316651388694643484767867008506\
43450433419948329569168217816318283678280260674449418215133778079245362392713\
29438497211886901841522302606605889485825570580830518362731134015050257926615\
91808031938360311827939398157798731868818265278538163994444716532516931510329\
31292908176183269787551196432876979757909535084131680816467989446141983211095\
79616782127245932378910630824053843982996492084573943909603368331618362250047\
48184935220840157617677995221459175634877287423200380462082242973054730434523\
85336420350702068474451926109720022676977024686109666775685096678194489330053\
76395236293076033711037555630660255334707209303411491914999837611140993843212\
92920973598369075104336435798405563092058033018004651470697849143717854381082\
58716529604212303055780781315832731160402291256001541054875191088442488389550\
09271800669723640036928103668402354918842914267490731274641115703675659766528\
51279574737180180885018413467715168842216076547731854244304370517453161767826\
97042973029709550097072590980634325304381548556117902180696956674035965443977\
79102872294852375954905045603003887418137923060252657804605937371710192881139\
08957971206236040571068324459424112190472073585959913423136716479475409935613\
20533977588975962023377638227053127548326663531773817148185330172180212129673\
79807102064144664676079664127477366300939999525429675239942374462039036509815\
63447305636690620501303134406394004994830491667790113447634136135844090965193\
97004386442797180411586090063697898104024185527265378331055897774047241974747\
70969273557013766262459969361705963511556633696570409525692762690774110474912\
20523697698231103178409340434451413540702381126404035853337984134989587143549\
04346753831897923910392152145264459815978789676473018707004190173806657329842\
84392129661053818479880401358180404126363793424392644495341829252503973420955\
50758981183670345789043840164606456354712823159793599457576017950305927702338\
29033700795234526385968449109498540215352241930892159582598079979716356894818\
87602202428292642636983237769607426726327475270650016555650723204298241432828\
77841122808251383362858518535146194859011779086019457825673035065070108459003\
66060442890877438714579342949955327216639266072544921839977687421684672141268\
34216759172699714809392346061863609884711370972254842092981981068517747587270\
83895920005937209944522334278596182723474879667317564847058660320156179036271\
81443794700353132387445550788812055463504188633318899779195575275318184693864\
14602982573540474447962270629997055812198710649691584200013707636237165537286\
25299109166537617299036163775735527377604082401495606288829756327176613855882\
48895690140224287208702636524849487729334077301866438959295955693004714217618\
42252246873023384039216808017339064813764978677253199054470549294862445754775\
42675042031069831524980574070912982423707420863193025228745157121341108575883\
92363130784742378575534396506909321755814048413380043982162830508708409814905\
86431945368451543512148713161143485350866169003622042956687172010337981990939\
17095768351822476602716236471540635268457102804183091987711520275146218344423\
21663721008260866395679117122075285991483526895112299066904384410153998063144\
64245880057737715068017464852073959829096327109198008059145450131461260100106\
69663806400659519126257602580515581838159052300683220028528813029852727697975\
91188091109705267434219821745129373888911381806379283634823411903991374658712\
69322494213862140335113084864045524821060710876887650720510566072052939062954\
60398400435390220003911536677289534299804433141761066557251812293208725366558\
22626231861111853848801038892083324522048215671547453357985858921658659595528\
75250142238852716025916313452153677928004313673550985014679464188929722556976\
62991403141373761039617722676070959507722446768042682845338529397665806943517\
63552156018460061206750048761659032874584123714547074588953444242764607481291\
36258245515666051071409074694142776464224382463202734186795880698811069819284\
00365160316110556220623125639834304284236410978815336164701921989046421013490\
31120854415175335813130873033046886022236177731280203665824148651338450059757\
80198246924155908483946963874555827605471435851167337828770389013617538601274\
89530062859217565073132768303956731635492693226526556319781188287296061114271\
96227925934163126363894414440114819319255302862562582119065231606475740259310\
82715515786330078137803121077348788796861283231362545206143953215282670194233\
04866277171462028895218208422196791627240144167604446417386644282031886163235\
21030909250342596381854737401510250022758096195466833052268774067585342713092\
56017480683667437065221984134431760922486111544286830655458058086992406139361\
94788973536990410810243931805280822494209039433431413781912129850931735331364\
77600592359599197349950356480773266095207178291959766428798656948621695193335\
93520986409274696805005975710760318547541499941282457306618557420599475150552\
99445022718478776425387668290677673956044738101224761492949747835171881239039\
28102408209643770197830143757248089076001077665340942362504534240340833834739\
80573095199080624243202002210449074214820751053338664794840115327474060140296\
77404900367578284187734320085497349484416829399254091621545246943928042140075\
56052237816190749991051733466802966711758276546904544427903219426886291713686\
30024478542337365653680655684043965835838865104278288995065120433855894643821\
83013062018421752275198050762530701029459949657656493832284176342048036571090\
01144230435277764310829199357592842792193779326415966942270296476478165508869\
13372548088589208726408184075545597026830721093011709664916691576483437092726\
05548237144291497587208339794043188142325107037322595715522766113282207
1
*** a(t,u0+2l^(t-1),r):
22855374505368971584501443066591936734606923389638430768005821399646999874506\
30000055736898547974846585778993045128240380590578923836196446307468801976324\
56082048608698769824390686290288047684644985873777535608031356751176816981502\
11538083864608318667793674355748326592673702339419022224026989443453725549541\
76541998500288986879326090747230441444155431860563330977283113432105101991016\
30042156083881066507508440214916381686701414112881023816374583454571227049855\
65812122544123217747418874258707488344457759902591171212038027731161537434879\
26477323863160685055121290678136453521241157850046778546991836967268464053633\
17021868308699140316897077678420567311951420965950845380748880391751532189570\
72344408210848893238153800392873301262574864088337218541098405856587385677781\
75091929668919581174554463475928659386605383869655561389460807298622114975857\
33331143606214518843081997769972486003992345956952719616126181840071762630935\
91217760547422604049677726192322075721029668361467285996159896413391910102846\
82057630661545454760765035671458215850145902242947606409325556422062017644482\
80346504022017957536381587000834644872216754382623706044087139102009133668802\
61650415832466823080988874302614519506256718632144487948266287129027156971163\
51962173117275270315893042802461787822672409675279624895487107600776497076978\
95450335261650669997832154028960040712214921878989579162075793576995613295108\
52166424669254844792799069513880076551249519730647983174395357970997856188370\
22627848355029330177129454104339484460362676122812439065627122439759469173797\
39348319147835974920976432505588813379659278289821761215822352079682484069798\
91940194180665772253749842811522884842178155381893506131051448431961032142935\
00405727953416081332965960421871133244129627267407567762387011049399649267608\
94106424811189472113307065825090927478751674492940442497615372820435936566509\
89605322938897618311208828101876771156130669008622501576262764934207296726102\
72573390072817589760101171482051814040862406905106877057732395733357145503997\
21319713132293801743037244821327579482277409398162623331237492447656710510011\
86348341966789941228226471754289859099056661668721919611921473209269052521770\
81965816503204673233246331795421765199130683845144648673866730239390147510150\
19796911322678644411878174507931183404483330330924852761981541810067951352718\
48324498626627702609276669777852869316362491823032925480104157229513663162116\
82670696424550547742293526309178130499207797564123667583312755655336558195686\
77468022136840881771251988949354845807220379705941818719218242012959320211044\
47062775969646775128629367775650221261664977604318774892569298292356126224955\
31923168567251799989006028189563430375246946518888645338468740024673879758392\
25653576507014455245057183731576632653177319053572027508559528308605217647288\
97617260214494920513060694065078238008665492872824459492618979683196547762602\
69301538981605582420292802877664909878194434041153706722737248288243967800886\
33594140707140752936709412750870658772047213706234819630628135386181753165408\
81129295782934429680165493334299046963269004160800673748934991092550113045227\
80416761093616195570090823281586736293576497045148375329341206784194989828808\
05007032270510181960207463758958550277166330416039049980685968164480797397856\
14534725819536120119634050099639665818196485646894849823948759943001631805350\
46613082735221826774705480867000946087017703309274453259198290135713352317765\
69700217420632245297860105978978725514542324720847559407492772395411049582020\
83835936672490289549771011709306507846146622644133478273705568397763225228895\
94685948829804438017760816495155945388760302933552119928723570612143051246026\
63145938403097475639220240056011223683256639527468719187526143095928788742392\
57925995548781314950402242853293230213973189210093938863381605970119194809485\
27048699165568078993324150421213242648705085244695386330883220965603482059181\
71487230089889034278181701096208452247667418654145393493037858536699610250621\
68779071316453800082326424166209922759616317534462119275672716281471973596750\
88440495452638559993003741834870637045027760728561091271973871408072552518765\
91451743844186953479647510150769446356486341509552650119186185676167119949691\
83412138558788467207090371647973439448989183180665158613512500756373981776690\
59326668068756139682476253648893170202088390055127146382260407801166846674225\
39796810731454109677736210378366234989562487518297093376092738364757063394290\
81067319489602260164874455026114856849231614901735036416751413289091384686373\
07053006549267673777107478113347723820385641765113801458178172763583336225792\
68518151828205961955465632387296507033899581998921003881458539395889856719041\
51167241392538771569279177120396489198277266857313528944763458367000149996733\
41718334884745050920932516413346674089170911434568928977441275825481708469223\
12665868878185323370244968983312426459957932784468519177471889355897216118948\
14660075176267530935175431125941089052703745237604465454724550412362172981664\
25148726820495833894270433143204859172427445263681569568129405286225887112172\
06961916537514831350313173544866720825722959621363174964768957325855274078851\
55216508894595670840820444816631218952136097628925298049924438105197114547292\
67592857530124521667909656839116309112294729343929902454700411065414991192474\
33912208194813560362923767187419922116375919557760937470656513173567501078861\
47442124941604345971923865372018431346179642199577371094130634838615722189235\
35549440803506090319547486615406279696734759246653714366263133358700093023528\
01231778246720292329829632152806300884704944737973579053995801619525498157681\
23430823445346335196353276345362659349383626187187398960524162558763435618683\
72216259167044693189715852502536905929907209545372081227945169250572890051848\
82109048614374930084929019559316744926785665448729687752018237631271900883897\
69137198238183110557319089093441943721989239097931108426786603781156005365990\
34012422242292049046197251801955950095428945687188089169465942985327720235542\
27913504434970199702028373694631541556832114424112805785027402771462691118785\
85433457424514070462052569594941662089508060483744575060464060993030850766192\
25396329224485623939689439217363423243298346453401036160329145943003023983841\
58561966102400145113127443428750603163655764573247364125835420680564063895811\
41539212935558867145505830854031942958249944715020184316558117429594597447149\
94618765287070835720212719973056717023825418772452472543926550407745325605195\
61425601203851991322467448447694118037441529262590458379477089199340340950703\
85307454579999884995076025173412978758940941223713713064971926513323906685938\
32322282120423950379524032539839433319767130149226484065958559505901141729911\
62192269180583558772865086304100584189138330275831989080582536169020956588867\
68876613172775412476172037380392700474643787733179228614014277711402111807718\
77022907964545104450368887374500642315522190633957944112866701654662928136405\
98529913253089723043945078892602734409667712386066556074245727482375215860778\
30635084992079207381952543149793623798064154394805757763960330803703887077602\
98231140998498345202123795043879084135307919648597842291934313802471470051912\
14024598945087183797785749832282886912469459191148552480846660375041051624207\
15272589518335978060630834458486034817866005689772667818724737616023240980781\
34486213647944109343684157678077968279883851226279626016252276457817369227920\
99011340631960320867985278727387484391941442787982685630049414701821623800976\
75266924334478212192022502382062466323567248022163064875199892081453414944495\
03616470696533919296402419597735089480161338105552819120128047156564299789032\
98088328393569831498153030855700386835314390025778010060562420866515854904928\
31101702494787003224174948077561950272866409791276591391982177289353758793666\
08083640887758513613804412922429064080083068609561021636468500261872393188814\
53699511417640977642459044873295447872318019309222408804709274866608726080697\
03420801696854353993547563337765577880467347291657789227613523242659860400854\
93986561540308946400624855990711185339022181191306128855157654028371084750091\
01077925891897895317476873795767544741450363461527512213617302831465507632860\
27461977949938202698657312211521266684527106834123441062878135170229169625564\
82270721635687283228820160083866166076217235960228505227857850663359298247542\
65786684545233380455810515284260834063272395777679236615891205380632698634504\
18493664918361367917312701747529726543146765074874189751836641252154316675614\
05009699044590167517521446809889980202050164194507827661645748415198733363896\
96697452039742125153260306100185576805415715111803579094446775884587398006255\
50996204195903723967206401412029804527555064582352487436451334351458960767110\
35591646259773747727321900371788728339523571125115250054358489185973894242788\
28389709120201450697297642898383339388396385876961711064826448690064000459739\
29582331311740589816319375813458772228111739050739285675259559651236819079237\
94040889310338650286225229312166275552807094371370004223980038584380938366326\
75959450434953607726268603102586422198876550308007090393180655437735737329924\
22203323419443274193261598068085476252145281845476040857076994576436009706864\
38506339269685687428323778679775456819843960232452255131124541559234572254484\
78010577078484013476363547465897722546419898996029536325068707292025541916675\
54378641635789858718781129448383623087232033554894590925030766515709526810914\
32561790277010461607458685649153701912773600869667598222511298872439476423710\
38512855130853415364660014298628424759381915163290501347036929994827044197778\
52592678223476421098464680039150373435238360518251257616870590426696516070441\
56137919510439517597290535601215346414965608988707129796409423223802274556891\
73827378033493539424967700885350143164964211770640923673603440768241458557647\
03366087593074408594161562560544394917815991368743623410057356893363220688288\
14111909223424686052121233431593192357674092655330695372641962115939151881788\
43717108047445838699544590384704623176048698951490223407745361328125980
0
result=O: not congruent.

code version 3.3a
start=Wed 21 Feb 2024 04:01:25
end  =Wed 21 Feb 2024 13:23:08
elapsed(sec)=33703.409151