n69-L5-f13980-r2-t13978-ver3.3a.txt
p=550224220650487319076012814828235938251203674741686149669339345100068589115153693304240823763325536997827158514692718183533350770095196621091852305040116842594541284938930778344978859700736087381001134326156745656887167818765933382191519380665488980394298180577302075149539850774248928739587053615298663014681628683906694688164305050567363530665246026564521200851334833887279380909683619566168475019086855288701519081890201458809787693508874791339073037506935435802874797915074720011305471584241132378457956954719992326391300250828253673979978474446193882855553725519916207946495643285427687107331165704239015283113995076954380267007244386346861523677063024403303142161318302037832457297775575262126749648609253473687423701119885311671811435125037826892742948349277786734773753495956180824207786626707871100356149501423392839095072970189259496628547553858453992565642988979083650455860846167532119106232401682460692245288330375370652156455766426995010807469660483200270500408087672375126484430761681880934820465700201539212824521689367630744836165745832623034175824419611632378814942559270028511743464036908202641095464335019210178723521202989475086588467748217485985720687780864314560315474105271948711645312487748950833652429581836702286733848753997072501457389819814377255412445481932307211221319665253375399343654819215343308141201822464250539601043026492231617501208630935370098631560597888576016098883874643598573394912934219192892188546689664345045421147379291057364656242767969807876105969348220342470512727073195946418381078275090237455009776608930753714418636265017196583482528356670101007246905329732749540711043967485277697738897631829031282166570112809259696000632906838265097298570831034276320362146646816462289639315090839715544315156855155103827093685553603872319665527782004216074885790419819612661179453476489311185073413900447647498482513447068928257949774757742167234948314194757027238853672591992167086330991866992704868650538601029504106676819932353946249548292840437936636158005672665127721780231588826076617912188976303668496133126179863029384245602924200572036488621017338344414730187545958838523694666595055975645501662385555185851781499726398219504988895077773718879051273900731765272231682738885029252831148699622152612441261640643977936257941295315248882861327081276582293888227766091276642142345724053400401747894213846669599939917926441701217232109093824956405338377231995053258907669834615958044516335414876149339562768473249034581253855544578745016684828177273679250020190196861103361282975461167935544616715442039961159907277266303322455638610763813811826513403551343091912819167163798941111140336302490989719879710588165595707982211242821482160058709730895298884199163787958196189940418227493897806356040993569245781058128697655259379657057949969876630408964847859204564104650274828057554122646169034969137794991891567652580197581830102458275771348352024884397372130793951093872325337989103870210120548413683351543913434058358188952884478834525328664705004576767353215394552423863062986761526709169161517833807108304668332530505626417724303603691536657933544246710359644270241498017787451605275431860037863530377727877734227401010544797500771224378881379954449639585718905822698718944529986858451842183879943811293164132017275849999915150286014049873399354323520514710399076593050802319449673363761391218776070641714814685731265369809965021788767325053581058428960326126966179233325852984738219929568885538094914391550674024323205501950409197289338729225964311478577688474859629166920122433590538138095491977125311137569605109652091955128389059204357003679850653472910284402148722717206770816718555000299573016156013678948755033681530200288782600586916757814770099237982279278754261126482504807477152420808209042549233423908638000631451266699512575824554943953981773255720937748428822549174049008108710171043809276292435185800218433210908533240970589420717980471926595372216352488512830983372493864396148437548951450693055519608913528553943458627576004397841904457240832730467810683056412014354568629686650828295893503444627715127661872589059082616918624138255970921720015022888142475788407405071407424451499804223711295273693479815707508182437159788883624389866239317781540483410123189436753241930686862449793093221986062975320140124810637508620245143066072473536924442327204075493965723121407733512915533502461004642602693062239140848297104865279213780559651372479534422594323077273058933765777515780899917970188660338050945481377850195592941087145016240418105121194574203662238856170233629825554921851425163994126585514676307521361962557954730855197088844289919948380446335715399747110147667701270092816555516255780534996825336563995118512373225633278379547843069155614045522725672207458890559461687228860717174419026425343906090737226468558920110116616107038323696559042210290429600599353351891207181387844110265809698034096779844224460625099789962917778563189503793030247573514254280984488706599176509083667139795064940551825841711363417572491087476381279523451283623230034719607386403241724268436279944836788044388947797390108086969797544959029095644533174805046456773854902209439701309032633889977612599119775051772528417388377250351342827443649422503194606624571700807585238890173571609819200615370234893776568769229130143486123658417202285004039039584520458510721160146582063561472050356934256135167648310391196162842420862050765772385998898427676375582235127861270372724889923656760104149598683725575304222992260949890282590325903532298355709673886028425838783864127751131572282722692405442477334353550545255155508720281043398880893000941999764941184443658961636314553570807014182543068642708329406973555165938977633638526494056849936561736278947787900252914246686090550976726041897702421626337603975283238624481898337878459187106501014625500475418527241713496151909448603411913457180388662412873568592176708075596407103796200490670248871000979428582318510429347863684574831322140422113036134578648967673550939166825503417866940156779893761252978285969327797602106283966100221335641888447135093169253476771122241618460479624468442688215664416850338865350336637713268946138191401089278843566519398458106351141172113597754818552432164979176022510105394693704258214812217555190729390624168321003856524299479822350943625474428866008501084732527351573927125272019143372611645447842048554158561268073641367096691917863351518835037496108455906039232038655688573937382523204127119989050147154641523453293449677918001953218030401930321496933804422167063334931623079106962240894067921244049726689761555529772067679261788505295992476842909108970944854045726243066936801362071975291815159413305178205914372146722550008344258823427679527465457222593798588213110926507466377551009577353508204139604434592120445992873118027194170729243773859440625874931773373160658589291454120896017827921438398393581190377836216177451298832073553740813984693865164882823661544206934024202753416646682145776015844281280530475469840221994622845220070104415006683586352223302103067683782650403050486328836048413538484241338852604098590282466162978235241944953965174210790212650771439877732841130895213601161166001724154919535629047599190344723948989303773646318695437642033383309982098227063015406152716426497566553278293528746460169700678688382303957679176360582876157893801909687075022133564251824460935036789547556263034640663747045181077239845888344554359280535908630481767686538090812413474935494808329652797012076279274980814051676392046235577754888180891568277508713967904116635670176929250794463034268762539409807866145034549353307646281894294542403773272519088499646285813424662240533696099874651076904465618008204651555849915347374605510983665478305195389233886829810498606968514598227190576116477838988145118459628881037983592547899181243382250805712533022425141889563501272412688155021208168196841483790923048327202881482224793366340518395174756345503735792104859187988272604837894414088398305495370682929030047635380828450762446493097354683445184926540635965540431469412589738144115719943184400730857697293288078751141018330405894416375754651356828458749968249780146096478606998340517123704631092586596619133614361509876193667728854479666236103287443367871457847610345968488351204229305418852763547938105601692126765565708939749809421100692230243861506929450272404109368818569914187733202163289371734998351255942066494218121977128833963250797802976915101587184239276024914033825281029904345554052150139033289633259795644366857290618598462839636453945312574669413614237564562655116647704683171459270755996956953408162674213980062665938570952453569475310585403073604826128053539833859785856973164386894395581294093892837106543911827280946789240621661506955315991612249548409523769078077895787233907739159576625395512093355262204402284762855193179498975906698477094069548131320005540421554768855974384581963270435096429161585352035348959826674636240802610967428932068766526126477019915203669490514708872477664020374083907059360897118449118398420172178874209891153069790928787810558070879287935423473483049212126609445131685054314625926182908784022071942096358581047743687442978870629798636479972062482584966120259436168726784617673990792304828436787174977189714443707867317315950912394706229158379309969839522784262585920543267242530403638147318242047836772208354269541386884699171715923482249850849618636207609924116888616848122707273992974559557657111260724622183664357132259571633241477618396930578362656266603389541062250470102117441520435841081247594133670707202156729393547665152701149746408840178471988676598455936509213538896006134557961438690164641652674702578865948257774401925461370300898562127346415672380705264913979238648149066945153531434695535619833401682385548127952860610762929811381922057820018090446012593019986525177955627441406251
g=12
*** a(t,u0,r):
47869507196592396759613114890056526627854719702526695021232523023705967253018\
37131746895166740932171881096279077826648196740151699828210603499115053849016\
53057250917896869777160131607939640396021470986863756368721491836002326362042\
50662186117897541294303941710225280538009967017359656800344073664530983682277\
30169549988243787029453939936062716787640431111334447406613054819330613914247\
49022566573266605564101170321601244475269164515293352721068464993542631033829\
14850107418611500640983576027828978516925842255060639332396043121822058069636\
25812727681886780843317412023271009134512096583220877833781141626879432963091\
75716950310832296302616121769525599044831230873733680346922772914237849064750\
47805027219429005052210805861997430022115447594855878290939668636506387167445\
92531655414818773170607743652358478573098500662383517700127134840646557620668\
36371856854973532109400411802775896598936165752943622422189463740802253400847\
42657246737611651679148565940249860462038423533535503627496636004145476266323\
64132938051591753391151573338697498387480074641988743820397329672450621201695\
69000026564924805216813712110136297753053971466712855489463446600843325331966\
94094921280757699836935195366747446247158659537913142186434158722527761373619\
79309894584484159774530762679291432385082122088275692811072737625481087704365\
97428979692717348678082845585543897969452907433048241507226051508913771985809\
45772016306113400602897093993075885357425277069781620403562000798018951639821\
99832199072509312081337328522121933329516979493460725536804733839915380993285\
06585858505649769755731544213550564961027629799670302987876304807636867492100\
41860825171219159703284093969125721548491599814405593552055062894929063464975\
66229998203987150675827303221919862041290305525235541864639849403295715064316\
35368918109009170343667985150637665243063015226124524545700731013870093389453\
32367978669894996758441630403923568549440503334943861369780269515503318536510\
79629242836532357259685828956685728088333411479332371070147711810048734574649\
35218661117948801482278686657583604409384191591635819776480835564293674544054\
49767174510028508435964081526316498418951561435993769869881158644627543301169\
10499047619664509693403387176631354247746082936366357868415639828299754499630\
99368671272772823897627360260804544408926924266528089354560710626595682758156\
49941067866384077992645834952066796604660255194772859600428005899193491162771\
20726443881918356963352496727561158834987292118109422499254196085717266600856\
90854323783508164515800514228100947517565471269159924316188651216103923816542\
43457476620911933122168389053640559136451801628906666108966848996415267543250\
50787666920925831671610562953482117040682659445237812546894792510774658789100\
29253272495523630685248163857919691091529755664405243829520571966960075660301\
64041647379266845579941763750797077104573910041007208670216706042314988164294\
56638577447718961921891386999210730662616494257137537907374516689230440505203\
67082804877119904515843204687630771624389009496586037035938293353981787597297\
39326060876086479848252823697717052051541218422506144930153989498342014413521\
16368924021834946380128905151101032754750828965896257182329412714286232536287\
77838879173973825670965209626800560371186439575448065747885481741088566853102\
69997555111582505279485502998949992618074883222338985743826146284779804719663\
59541980179212158264724103603351814582918887765862008717346695689562275727966\
15520833195483730460575932993492096722251338724930418142575520649086401161188\
78669685600164172469442658895098636258897312787737522050651722376818014307802\
00990206896855564453973200009616984815077905932014700685214319474298693887639\
69890610545142850260628524055731900685416879302931274251240862510617579298849\
98633704458297251620718003977918250512260610314186701783307880051506054936260\
20285759409673628012399641427324772158411330756177814226370545778488081140703\
74418611646190036893490423919644412796024643010576137973828226665006162955534\
06966202464914066758776210295830205975476984193080900599112382612245687779952\
44755069952942590784524884747078273862206174273479968261121610658291524814018\
76719203000282694701896413069912683953935914442412124459272804829674628826888\
11332743966553211872032901632875321918362820646994022056680717480997532047969\
75703313199911031278747885285219085852546324996132744674830519771242648246675\
45679750179115624728156236514147141074039064342964148052538018481232792915989\
08689669405719494765706107722756127237622643872938292863406413449410432256879\
87296701658587458161641291637514554392795571861478048681032579482327820107398\
92674890129397768387543584907425420615844021467294532230355090988312072397779\
98582847090010498075040329914252906544723804281067575310576470630095219020662\
34701653842196047713348204892347867316678891088239417445529900491982989413870\
27646260495801456013123341616006366722952673752521437416145350247807424375931\
25443728966419846447528074383681726773846734997486829993631538895740122445650\
51747412835629027904116217064982800884822888861732880672461044517131854026167\
52210130206058426170820300113539563552008005598618384583729394035663723864114\
35531321074386208039041739325376492221254013885839148428052296123420429504209\
97231278882078056682598759749975777793077633773797025991578344510073005427045\
35372104357585614829229343224832927582822965987953513964438532798904327409327\
52639529848068381053280283759585403004034066167290614998416622197581904163207\
84467565445612393052242706542335813812906101508548412505146740032670264045458\
53583536073099569467416280844730479741961791143484467885968742392734955280887\
58897437198529258664450775702637691081953979549883046598329662359366160660210\
23388124697191562465840669929943669105412655180498294594448087105626845754732\
20035394616898779349751656451001106814913715458496417603299251553954259492782\
65588272418541361411870029074165216122028496836470774693813629920000467519373\
60257688741803026944268831165177708521028666171040735326414055801032502621672\
38341437083424601875989317075138187973544237936398507572290091108793315183913\
83246705050719256200844294900753105725052479087635020806061727328754513874762\
80426597948128547928748105439831402265189476725939028718766585525254928197388\
30046692140615983531883139583791693383522704646886629273015934569843026439273\
35517614054744544532095416275311342739594371729879586931659898665665473417213\
15396225822421179483032240679893741219685411158213864826216143566382541318736\
30449059325522795187590594390473628024538125404365301219788661699299686449679\
37970233240984728534510139051207882305714957783909148232326222009255331090169\
88809577559996075134548533309248047220230197818314682350171850026185038791886\
89575505039145503767648618507259505176382081188894947783656604771745406506061\
49574846937833229755213760145585809514478801379961268365892853444208325771334\
45111906428346497729726835650851795355102916514066024156356287175080743826299\
83903991754508166683662693448056585543460032601056395472482613466825133784524\
71406151365876099313532187534146099084105581472012643427282966888489090585065\
39231060873621197784812899648017655657735457455617910646604921099497015633874\
85006171152693627571783878835833010214421500014779995997271411295599909835620\
69428307229726503074856904347968442545754482340335286329105288290135211537000\
94203476395904588926044431808834337071022573676076614277552692562008990872810\
13482006906373948840137377459929307537198665922859762292574066240508519137887\
28813900679972319388048324679793340050636296923330822495846108022495264675271\
73756644014325811520765814730330539284481911828398138234092865328435461800579\
37377652265248036251891282747091606994692268657679456149264315606890946436906\
88508766713804685358942635221590679455578896612551998863348154193513378806260\
77004576558012213357199196862530598771265030457255166722876817425582009699037\
29509873443920246106999038694868451106331252090898103052044666506889535570228\
71625100380203802058825013913122749354979716620896814025690652578097249414825\
61414427813207521633284489946985745973108860903532900201753783889530721853806\
76350570428635846196645160628513492685947453128142246906546680440759112472377\
30872710393638808855624989762302905055033905864624449451359228849092410339730\
96254098600757300481683274210009925848655476794957144019042867061518734721502\
86042166777582334196357602240312159511028621736991575150872155825343327885882\
06175340944856559266959784996976612010208554802819408858991613838085028817014\
16752094279944960167806320253706209589619809360222105991658428381806626704837\
14932421939962389844386681169509951483503074359169565557717352549465101526566\
16265451936655672863460544352020930067403619873140657965545801369556665301659\
81241557258616867682826932032897344237066393408455110511249127026571071162856\
79097927769334893499733068831664094095521219078117829987743684018066164109038\
82767507184050687424840482016675264890469771458630804527853389337057925627075\
35950492069335294982715416631708998268777300350073262271924567477967190555676\
97725452999141643980493050733006625549795620562605303170718108045395185521664\
98050381842193025281455015021726456599725372455577913064209920258962383196551\
15370080753916174479248137375756943598489205246257094667923026173763719893052\
00740004842230155051566025844566064877293783394419367789999673760384822308449\
75087264250100145116518816687058161799182126821450100658968827939285342955737\
02391682135006206339816930966578667553283738878668151616867968304212997879907\
05065827320920085528005329603175510951944948900724157908988842174122779181740\
68540689629351526587635457238646868285000027937569095527063014864065666476301\
57788395253370654264516604432382378269912436133749842637296751513921617817490\
50791381634971213580475161937623889688242283572348185115989255059463675426871\
318988731363748935902272190303415738688030955927388276904821395874023438370
0
*** a(t,u0+1l^(t-1),r):
47319282975941909440537102075228290689603516027785008871563183678605898663903\
21762416471084364599618181313563226357376378386816622818690941389929823345004\
84631305505047480469376681819342633035147660975520494801264922964324138702708\
68470666737232052313909643529647978462860427166585407871604486610915685019262\
62006681597574318213023434879326363721115828454882327321479571430602675823279\
12826904888516414695548283306410425573254576417416417632320551602812255964474\
79047232620696425920972270556244737384547384298105919340069651821571229815962\
27814880237267392557762039471279388339862532254678109123048025056455531434780\
35766180767029626230172258300910362274200986840702258733739752535913276086994\
72542900469780395798737118438296310136803775783420753253112775893558037889659\
19054280065223155088186964989687691463062885712241178416217627543627631671005\
50896318270433606452970522011939392040327704077622431359865446916195330947964\
12281876085455195912721570929442390801555223263035095539824260877661045504641\
76039456005021733237230290886528561624405591025414160558093912090008660038457\
80850600972224520099379071741054271342099328116520753702228234570948574466082\
26346703794771979149154331052187130773053387589201496873946409771694108944037\
95639665911099284374823512533552450403644396547031144617842016503349121179028\
43435543144525195245001433567319255464056897002783319191051039422604418284823\
14211418417537384504013219349477311962512342850588728215015311133673906218674\
61903093336043687804540347734511336394694945246409452829485139198077273165776\
04211308407883680448194400027187914789061794974386736286866232338583570164605\
01149781203733882005545196337296690266325029701596333856054429988090798367677\
09146894776355114461162621575690898109781221553681110348954333892913005695760\
99330194912353892523625824401779761044866888614329989780807619163135954384976\
84869496156447927830183680629165826382205555020749104342541415842911326369424\
46530056137261870394631968853735317420651418243937746115318427766255070958848\
78492009840730999166390425891404482519621154906674488514682205270451218514812\
49195138021407491097619666796128952460113037741327174813905513142965157745983\
25320897647024687742904497668853982359840955546293181341192471554411251574347\
87881675051246699485010953821025181829513971114039260741289897860772743875878\
83849791224241732268592434550318902390813585594832941673986304681961382068946\
25085910044195157458026605960577697239182840484567934884320239808869941697398\
78315768337720714348952232455364155017363569300548890703358896604424568370375\
28015436659752025844902085731184920525687987817080152705415505904502448376086\
70893555806892201422511590965511058224123088647016688264746576504903685699570\
40411280857644048723348759675644752113466195254469551371709990679983523066505\
06983697409390215170976915891592512999923635212949654547570537007345850369302\
67481812189699203738881141171633595827414005817400324827979407301997906706293\
28380703671635767682327765553290188042499480651797691782651646303936019923765\
23931508452223416861491296988547890533707411314201476597623483871924290109917\
47215258228480521709092940724076882952972083805368713996325626361248459748514\
35564869068525850663252965837986760826690043718259007520898292295788698268584\
27813675167771212115353485723099992702924597208289112344471822764265094320587\
00236899947267190928347964481474207518747406297288882180365699187383398995460\
79710248905880469190914140660233566874869139429241562761626376733579660917956\
73167735190966883130713432930787157681208837928108355130529288786279876212310\
03277675783098603943007990814104145909157470231646715619867028445858479015367\
97822902377957300257632793894171763895929328966115972248353036504748411720702\
28534466476017972866456877495413443035108189505977659234074456142868054304808\
93615808152091172518004243249999200064636487873922896821469734907470976759776\
11494259788187852561381338587234706901817463205856872020106063140121034645700\
34472338068765629209824759602774686366563455639137441971536378214403783322711\
61482023171874285143323449290215305197123344684129623798350097892104265908110\
50550016758900134992679212919683802529178030368361410385028289831632391713935\
37639264150845703689595741843991697528496581329212481573270594291560778806039\
07017068220601709080141587753205073371482574134108230368223272417550204013955\
04924810521884410650821107358812116463992638316033525661129535510184140123851\
28130018033239960343111784645483068303856866357157392945436224789072381311398\
49511682099293349447139667595704042273338151495254163064009216499772327922256\
41034948863542621624468371287799841068535469496406089331155607183848715243782\
51472699422309227982223774397997126009726978944503580192064097404461940641114\
50394738280791495440780984146458811370510168202167700003627257957592380340147\
62960671294700289852052958379040776300849769456515443882626438175993545934828\
59634030932323066603303613758581936810928956434297326200601291322225868164666\
02876752917978119537402237558488745702238717725391123423352296879003901681039\
15977829858862352306787882870855200752559637718174495105755492954794025888664\
76502225429853033233995282551521590011814312576806514538074683524300654452437\
44389540044353021548316015385033527473616971316626945233054455492715844445125\
29218402008647849141537051923398066346238793965103473574042687594319220197726\
06057466286596330696346027624417754693642870004448194136365856425195905264780\
16830007222099606925205434053343448136895686548680039947616317733444169056430\
27680277037776585910319541984446221354123149865973152163141515468680530507544\
05346891943373749944169732303756798081011979784941862154670700723051607089403\
21969870390327291632899972574427075207649291327848888909454430931998950975942\
17506252150037873839984396032024082598650339418743585217054432570575474900911\
59087257793040885993342787360669064212579893424557317513424967507126898927196\
89450129101092647324219764140290608423085807939189692391627687343549370407630\
17211075737638112199253807683469932939365568534830708634677561325933621905937\
81140421084619034865202406453618012555799002316512779187601247704286071186547\
13984912914242012895084334112936788446049367798054672066826739714619814080176\
94069143955091661882091379358690639436585662064738507097464027275936784756063\
31661089755264722181151790800882476731093286997352235357732773393646330044601\
50851441617565763626905433315757031550493624823061981322466532720791937395532\
43892173586148969955549323190583126552991710169832366723009481679767506145660\
07648736307180306367446804119584803198752716889841226988276495319493775560397\
82041651381145545535300849018337150125744793245690375656491713818987509610370\
95442453257086360046181393007176062588147804393620293211430666785863275396796\
42108469386823652401705556005981374922358355387088150338698682714964551911893\
82524413251009181663867906505439705753320124370226184798237249391459126081169\
95583256217100026836724041799228348928017963260814367938316146645367373626081\
90125620890406259091537564688926028979690574788426291203980863820805307934662\
34182427990016356430964475514132395247876429209001612823080726604100498212795\
82879663438294850243372569883696998602761482773230800640980935303696462596130\
80124533583407807637214870964658460447527419324929133612678790723581933243472\
19557459425836720087814036040916701012734957886696423308845190348652565690364\
04131639010898386209790970822458855726426267463976316748981260881422214320210\
42275809867558844452553516350140543038560017648350008444169715976259686920383\
55667487186574940123975403066763521591556832382094711357838924347648847297124\
43844575802429093306467245014366416109695805799545209526858978645892199926137\
84043148705600033803092719874216073944595231134246803474114267363702880199292\
25544753838954601709415298048018752808376926658895911932958693087356929127783\
99285622025024611094274911813318239024649283676060193821561394478074713322295\
05284581985029045713321278121017890166991444016058919611602254272601878731896\
58409664275124676557039840637250277628590368249469303647710636948271748039395\
19151138584628537619672227747725981275764149069198083149000166872474524972694\
81092564297160201857284472638598273962447309245490835089849352655424681485251\
29630488272012963694537489448975328999820356372026602133766512267708174552290\
18386509688184836102146595318009720895959327234267534057183970126201450553860\
42885969209858208011017718502758490033079720839568611056014698736497844577738\
14260690897416857177371764848491195686290846034242541554972699319946780420873\
50392968814215695708244305523883400317026027527454972850157382979931019899824\
02285389270717101911006974876710344664330015047012604425711941583699692137272\
91801999129207478399116277641714616142387469346288959815717527865346116321904\
41407146990377021160655677235897840140400285525495785964896055466134369119279\
76069030089981139293520476476253710121613797074048841257418292907896340275040\
01054509401871670902454319888815791392124687702371270751557618426496303307910\
57521712160071050371521866241822641348073831820506391640020198757517079940956\
18762446418719542232242888412281324914671057829651730155425898187020286837970\
10595712009618287416268273727759737350230708634231151051050347711996320813821\
52455636970480383154421588765892891717784659447357076206206574061989594465823\
89166720982857614712880669368816113962409918467180559272084128767569419473487\
17306720271385445347405242104893855282556339581212195851156842231750779513471\
33743231604587670751821360297391884389278915005313535404287820999707574823329\
87293095495680819385478727845099203132298878191160255348591026187467210539792\
36434505652757198468372735415918213002442178247155016859856558967784587727634\
29517917478247406527826022145237408197572832037033838160633056725446851571390\
039460125256119637788452969725215557783570829997188411653041839599609375860
0
*** a(t,u0+2l^(t-1),r):
47099193287681714512906696949296996314303034557888334411695447940565871228257\
15614684301451414066596701400476885769667651045482592014883076546255731143400\
17260927339907724746263301903903830090798136970983190174282295415652863638975\
15594058984965856721751924257417057632800611226275708300108651789469565554056\
74741534241306530686451232856631822494505987392301479287426178075111500586891\
78348640214616338348127128500334098012448741178265643596821386246520105936733\
04726082701530396032967748367611040931596001115324031343139095301470898514492\
68615741259419637243539890450482740022002706523261001638754778428285970823455\
79785872949508558201194712913464267565948889227489690088466544384583446895892\
42438049769920952097347643468815862182679107058846703237982018796378698178544\
49663329925384907855218653524619376619048639732184242702653824624820061291140\
36706102836617636190398566095604790216884319407493954934935840186352561966810\
80131727824592613606150772925119402937361943154834932304755310827067273199969\
00802063186393725175661777905660986919175797578784327253172545057031875573162\
65590830735144406052405215593421460777717470776443912987334149758990674119728\
39247416800377690874041985326363004583411278809716838748951310191360647972205\
22171574441745334214940612475256857611069306330533325340549728054496334568893\
41838168525248333871768868760029398461898492830677350264581034588080676804428\
61587179262106978064459669492037882604547169162911571339596635267935888050215\
66731451041457438093821555419467097620766131547588943746557301341342030034772\
43261488368777244725179542352642854720275461044273309606462203350962251233606\
84865363616739770926449637284565077753458401656472629977654176825355492328757\
66313653405302299975296748917199312537177587965059337742680127688759921948338\
84914705633691781395608960102236599365588437969612175874850374422842298783186\
25870103151069100258880500719262729515311575695071201531645874373874529502589\
93290381457553675648610424812555153153578620949779896133386714148737605512528\
55801349329843878240035121584932833763715940232689956009962753152914236103115\
68966323425959084162281900904053934076577628263460536791515254942300203523908\
91249637657968758962704941865743033604678904590263910730303204244855850404234\
63286876562636249719964391245113436797748789853043729295981572754443568322967\
77413280567384793978971074389619744705274917754856974503409624195068538431416\
26829696509105877655896249653784312600861059831151339838346657298131011736015\
53300346159405734282212919746269438017282808513104477258226994759752826191908\
41838620675288062933995564402202665081382462292349547343994968667737320709221\
18935911361278749322872002170322634697499260327728238551887290102555296463758\
44874484202492215938588998002734776522240771090495274388585758165192902028986\
44160517421439563007390976747910687358063525281726632898512069393358195251305\
91819106086491300465677042840602741893333010441505439596221363547104893186729\
12899863189442112948921589899553954609743669113882353681336987483917712854352\
37773687482678191666786686304880225926573888470879609264611281621357200388475\
99553791911138751840678554953267223032260585741157696721924111820033350633404\
98655265026346660660168068322461241008891485375383384230103416517668750834776\
90940123190246694849700678812759992736864482802669162984730093356059210160956\
36514867854489203993797508832723164693078813709859631565573300586511848302458\
65386015190039164683049423726930154935916259710966020609246719167376964820663\
90966955027287967395221742545062566250133447984256688362480315350064620974113\
24192663337595819738621907135899010346789295951499521593728112034482393066459\
28995819111083080256434501829547709180134308831389851447197906102400744689443\
20494771283106261364752426902411520044247221182694042214381086579412854052228\
42947827649058190320246083979068971227126550721020929859509410559064135007405\
06324519044986978828537704454270824544134591283969165638617197730166983321766\
85474792310306254190244179325552478522998044217560058520505976455267021539815\
28172804459446962886842875107470117731090212848389486013241492785629362345747\
20082342262347111108992332859592249959274876738741124755330483832415496868754\
28161872224562700416620877928438247772550085602099865379906545015786077509266\
79542570228877980200699068740399468379057073789298424645580373476073226320866\
88622834658991925019887055696678106619974067905261276704566142321764679006996\
15906157484248146574074055414573844730350555350845032978248149324937160933205\
94397674275575705961339017978979837425555183348764608817199871306750131048199\
40378972357200562919238285839949609249612048708050712171475813662063372382183\
52628640355228719945097152191494813795728248809877982144659148114208629289295\
36671972056229674531754095848103188992042679047739013026866200943836136710658\
57086435614259823387624805084254540132008607738113046469218873347267994558387\
53310151718684354665613829508542020825761845009021524683389192292820166452272\
23328488950917756190716645755891123629205049270854420523708797823752720742987\
81484909719983922761174915973781455632780290565996939314565932522446146698484\
92890587172039763311976699841979629128038432053193460982083638484652744431728\
43252844509263007494602917639056627345832706333758912929644899885772980052357\
26756921069072742866460135402824121851605125155963457417884349512485177313085\
47424640862007510553572325170350695369486391539311225791545550116241505705409\
09774983932694492474390525057746501866491520564732690924604148813753731060818\
97318973423647392487480846440332517998987693354968625874010624699058760598206\
63926673841311546456057314944204440880635179878965388377207116068525785661080\
41402568667581583299723693632220437648543945786789126635456968462547793064426\
16494595163293511636077491864433272912144989002842452262556504977223961064163\
16486851942840695825931890675270603448800452059791934641269502541977471490326\
21127105244808495476200137330335768383908664646449275217713139960556117522013\
28758931199323516328559603926802630925694100774203589059632549412789744594747\
40297907498178946330945651074763975288097611608063882540217055854498694111260\
87408238900687398881618825582178942918393324226900929406050801390365768433292\
39678124680881933222174675268650217857810845031879258227243264358374288082779\
30118480035472793240774340611110930327692853104341294728161923284838672695556\
85033527935623597284454710370102347682816910289001227920966688382555695826250\
89269419290399439862732814710626925964373144076019192924297809671954634024052\
35520137533658537500621470146935571555967820532214058490656604643589153348488\
99334480909605333695601775301972791287950631416640652979019659336108497937764\
57789232544262702557594502807142685552854093675510431382540291591510422953090\
39121918366419821460302274350139601085510176989938903127821014423267042368117\
57489415980074255237524334847274869912607007512690249054989634278010478983118\
00254962002136770897948581139697054281841135524717556924649559916784269562704\
77613408700218323002739715550838000937924572114991750314660022593731794874501\
12162974836574419889425105860578291083932817910355093693671048805941891244364\
22029060352535339312008046302842593958097475876611122498464744906935083700334\
84403024124880329462158057611334467608236594118766672526108191696960621926060\
69699052637809572552521877733749646589419911570944346921362189463309995617385\
60391491852708161157652408167470675002117308080422938531544138737787692393139\
67660573542593454478355593018279424233729505938357682823499159157765455818428\
28431824455474591565259238401336714514386800603573340607337347955334201495742\
46431345217301516128297629921276339755697220656291510877896843861492701321830\
22256901502318173180752753735266231740201764942924725318420712631778680756504\
84960824751331557050301738522214014423221685139552210016991443352066896899282\
67195921457466357089185261060698154191976496310125030129368085666548784423121\
58748374626959143175119783804175946491796134974123761845966894950403730458724\
97207758859891538526541980913356090290782971187843865026093378171768158513630\
56271365847025614188883054595410976711690827445620417645981561445160689972821\
81180505858568759057948265789116421525412670597837389345245402177957589943459\
42981044140515228979679175544561490260286308202854385379655970350183950484605\
11324246852425836864462192549088745449931609433177917619708695846544699621051\
77570220515858867508640891905071241242228187254268291934823932695862970882027\
73264129544405615981197942686405190124959260703850715780298407695202841907288\
04577187563917018053787355265632779850435208794769135767133395152117387249127\
16693364204341673530025547086586110503100573116561383009778397669356902871518\
16026175877443722685632015885241524904515899721422499537504888200856134385523\
46330834678793872225024720597591338558351912104446968355757004045361651123376\
13389639252353320040992474260085088214071407320216055949244254336231706134225\
87096116334886221270349881191658508641463642643290474143410838805907948408804\
01440215824442812927933392445349047667385116323666827027741035042365837708672\
67047272249330149012558037768503272240649331979281256991912289358243448294537\
68685964511899132591076328268560854850927309989420773604301276327289361182129\
33141889821780474395563813934423622453981009868532159572689334182631503328773\
54798503675960602551425410441519294827701035125472742717330249098883050080587\
23272735525937140950440566560219930374265379862229813544872391802765892166897\
05214193318054704841347772575078433764212501447149286402407412529941493079965\
54794057842212536504616036087680137071218418292596719277202230716827828165188\
67892949812511816149915187809332546895454075092517086548880481949329775691691\
81008531815557883706766366228282815601305051422908099378490577391840122029197\
527648682813067918542925281493935485421786779625108465552330017089843750856
0
*** a(t,u0+3l^(t-1),r):
48804888371698225202042336675264527722881765949587561475670399910376083854514\
13259608616106780697513170726896025324410287940821330744394029084729945705836\
39381358119740831600391996248554552909506948006147301033397658917855245382910\
00387769065028872560974248617206694065764184763675879979201371655676991409402\
26046426252381884017385798532514517000732255627303051551339976580168108668893\
70555191437341930040641078247425636608693964281684142371939917757784268651731\
55714994575067127665002795329522188441969220781883663319350908332248466100882\
02409068337739740928761545361656764485416355941743584642027439796600065561221\
13633258535296835425770689666171501554902645729887097089333907557389623126935\
25750642693831640783116074482289333827145289674295590855245386299518580939683\
37443193509131323910723067378898816660159046077625494482773297245578731735095\
21680272448691405725331224447197954348570550600989647228140292342634021570749\
04295376846277626482074457458622558884859863993386197376539673719169008561182\
83891857530760787652817753507384690884706696790165535366313139562601955179200\
08854050072515289916452600737575742651676865162039428527763307051664401803970\
89266891006933425006162664701499982553137621850722939217663331938944970503908\
91549283329238447954033087927047701753526255508391424739564963533105430797439\
79217821824644009514321246016525790228626125164498609444723572055639673277486\
19425032716692627970999680887193460128777265242409537124091373227405528855772\
54311678824500873351892195861059948118714437713447889139248044731040164300050\
40622593671852121578544689330367070253369549002652366379593428005027472948842\
61069599915944131789440219943235074728174769006181335035256138836554114130383\
23271274030961612240757262020509100724855748276878075441305225770946320990860\
46634747543323142637739658423696102379996430466175233646019021160118129697063\
33115398942755013936480145021011730233739915469074948316086320758909705220557\
55897860225292184930277391131701426223392799979503233493357494684497962721510\
31653968289219065419288729960088111621981353956070082921538507063825849793765\
90739636540684237911149586567635326548977051716926981465039755997453598744985\
05301902573152207009251499339852886457184799499490757964695025893910209472612\
28896564849367235399075251208429460793928944625759097997121092328494678858028\
52296238158026065723536615635038216768199593514670720075378897968488076622273\
63315351406047796122406511031433043547854859895129951444641921756357718936735\
72169868041346829799442593241753494767908704615798681457999234055958828075026\
59708944554883775493521104701815144774750285109011738895004132252667060127428\
96607655814783003095078815333032917028833929802213723826546759720755313041301\
10284658279918920020477150967787087354237808361295921007798560154820215069755\
81040162328057117275182005111444836082479377248705050678715193401762522415780\
78205078386352550833008804906091859882460724604690800142346202647525747963351\
32876376926442937132819451216009763713601208532726223966525593339059592642302\
05496799996653686925747419103304626631858690506624081095455849063252145729647\
43930155870537468320890044677042087417774695738793080598535849514450446275502\
59704696353235383184076024067784019596830312532669464733763703798098343446784\
01710151016061703658509932367894992473830369446223770522728496269654812398093\
80360616573518602736563540110543746592010406262436323830214389743266366173225\
26398826487809274619000979960031597462801077527601472290189065305447859574683\
28023001295799564345282343034428149840967720049107105814859859480732849070138\
37101509790242397322614055641988810955142646622640275296304714222647059170501\
62405714429358285265721265330384133227545714875517287656150166720595164181701\
07802409028172025502961918998176423223419725688142074117004700696190656009727\
35624676547563802352871818328778244717828563656011173814701924259217158588280\
71390009804793750258075868984740912816176848678598890095155904657310881082251\
40205771938366410591993676474024589310629982734784780265991590088576925357261\
86319249480758710374567325023745320592846984575375553847833182360809864954062\
81206819610633046207565653325301782376024317368298338385488480326346431918907\
76611659653255975782176073273977483381135427487222640878477926903040012559251\
92469929664736879016378591089642907070354701461574418996062840272519803442300\
14963147596408688659625956078216682911117988588746206117932439532015502662623\
35641076738934703284116456954120327425024465649765822723955734171985118864198\
21531234909387442976294052508592424995873186484058654229972296552672156822141\
20462790281351517884771448060788905846268559817804885158994213455899779559575\
68670098125102657232828474291887733454218407353226367012047505113671792265893\
68023410296583786576712480160359262425165719994561337096764392800447024839198\
77611762137673438486942993118847870440527611055731626423127500769891017725805\
77320215624384372182709657446351369710806958554908986441782959770714354723324\
14827534695635572127529982226022694695215979793513867995945915501949373012885\
73805040796291751739675409426102980311070230995372996696285025873142210422378\
65880783670092605207620715840929825977301506111194626041014237541924047092223\
27062234906210616410879425170377603336160759950986163281068955839580179096309\
45833398350779816498306238437272191685016058426798582628111469646699009669050\
01829037902570866660068519189370405131699099644122730463902924010638102290534\
89451414425584129468206069773622835462123806940324645852948457941354625526806\
57619076433148641514480736907213719001287481315253704614775028163627477395571\
59933364132293623488928549480735209183555379150283060152549897141100901730582\
15799157018860822881839855434321878731610373730002284258937302600794266878675\
24334936810562318716355999163262047982561454726076232659915443825698193298963\
46639997281892169623366339987108674368091122636723651900474356021885534126074\
00630540131010672298352245107485778687531525165187508315550882178753827385544\
14263051371261634326439683040974221531647975919063765766231391739654793756473\
06827387793089632471435505260882764112783389598542831557444542690350866444729\
43377462505735657485976516695552245757727661903342435027064323403334622196647\
61208524056007330336529131966463485093315677036538436971454176969483637300730\
42073705363860242528699579581840414954046215775176084607336011628098017150652\
95122358970675386438447813198926147657311447927972066782590482003886567988182\
87595765082458298082060755430287480526167031303071289864313267732504392966512\
19516778028452246218517808434967116787550767303824614347210757381849975490782\
40315052064041975453269596603796572280855385591776003729428081578420838400463\
99601693068646048094142901857401357576380351740861860556440699347745029391812\
12267688774549511256177707182913348321083559567845569012122943683922741332383\
51510644829819935041687015198052347678133663158593751065158651407237493993020\
64049242168102004423458401251064587789711550479467842280565607063303326053877\
49583053174174827690923046371020218261611092834109442206896542103551521090750\
57813736775749428086355220675622598354495805474865616946596051741671095249709\
18621234267171549030083104054464229954243529325413628102965220481835770142753\
51244722428468285318848361099595412112740489466525745947030334153275784635999\
81101705245019965951036104614294318370111520518022938924355446324714913682968\
49377632328682405311726268743629075615511743302961619716681835350955237327937\
95928655061075226778389498840203094971165971690798206383695974501095746858581\
64508210621502292895309514558394469362454546887113963923724564995772706456452\
76383882252040239259112146892724431499186255516507675407353388440588815505214\
26100317327752593003887491312127508824251127925670831025045761804191226438107\
24486275180410153158431824847200736908174806914465899865737628800564646670167\
90891100856042825628630054393503811645190598396122548743866228955874733391715\
94403981652000887846181364759701009974559780049121234529640929697439379575804\
96522525827948358262900393773536042158790298415441014343627133689670977338306\
43589604563448270777499146525852262083259070028347325294375753506842911221837\
55498958757652440752803868872600777912431120117151593865926018378327549392346\
39514236159622673019831108303768740491675181513939065224012670210996687009164\
41056783829558080956516314008226305156646422391622445010142071513884519350318\
83767272894353756402061298037147419371327572540345765124052369510783242023783\
40987480030242735251545064442571733225279047014387365534024167786968365387575\
34649492253731769875828719767075088466514053973084373160569300817673040292027\
80031558468751243482631612460048925252628748077558348983263363005513519681117\
53288806078612829465135044497907981998020564314137566693652845600653494392475\
83172255093563276476164634544466725819226806117575304826584652556350215591629\
24154918243968919248084491435391907997524927912420142087593053266632620725535\
45273662604023455919159281094627449959086741851166647856548380865467698876879\
86071812425561653115744064368019398692722661424173452772904553834787965008869\
92839872062097946465115630257783180464317707319652424009142757781263947006138\
93486507619222582486313905577352194220528649486701198816606579558768298327743\
82823430224204767276711568878310459248459294104425263482447943247656709640913\
71152187804412446802703667128069643121694881023708321016672816531202412875561\
77036117303161500026916802031442848413520317684343276418576882627398769102847\
76314240038685190647518077423007676108477206522922216166980578170628626591039\
06661599656591728831301897207677899044591982506464123830465395614283041568367\
24090007574413529117961181760371459224611874540961046458945078842354568970246\
06956270701401685569978699584680908222380351182382574940094792227292275981189\
494187361746718742695764865286356046225613170008728047832846641540527344637
1
result=O: not congruent.

code version 3.3a
start=Sun 31 Mar 2024 20:28:20
end  =Mon 1 Apr 2024 04:12:59
elapsed(sec)=27878.808366