n63-L5-f14128-r2-t14126-ver3.3a.txt
p=14079648229625035475034116928065994414687947610785495666002765607663070864895249333367508603237624104809039658170269848315265984008526425965013925517489457421134086584486440101768520419642537609945365694840260816072034830375170949906961545334509952634247314230571861048686226311250253564272601264765701682233624661995038959878904645514675200638367431169712106220304399870746104272149162051355342009041708306374599783935918226747768736031672797564608897175689279413774857892194804544738930286172579376111633349806408971145560451915517268321805752625990512940252124466291427429313315580027703914631320704324326019193356067963082414798327094708178688613158708328136431436878764007372489664185866090616170043547954117056972401103663416979067865342744813167179546648610127787604481628401464575655452929574418273103915084998272413893278072647138621712994599573171952838076065597458306528422838116038050493212322278344511737023644791938487039568759401690123632023746752565343329571240122916270476822506116115692674319561096345900681448267515780579604066963432691286724329027254792135822661512770333168209229415424498869531275844024887366685377632647800015113626519861156920648154230702521040585467000768182358671657864194317043527068136924499313895625541773723141567914268434136348349043906027604444848130279564141738100214330837723884491546208965816699350311446768713314492775834865838566052038967592471604445844519549920084521427171668698490279749692312080848828981401497877957368309344377637521538692657163266212137042517511020877012184040102835258711774849188667195311568619452149579701394825818668411488291883152004753936259392858352652545635089558812980912195774660689790380933420847197855243685293216753606937190879814720162444380047549147071720190209091894255924574485621469864100660406388305072716817739504020898824667403710039517662699443313762849249491266495908498947827615078164194971995791448013328895316416373745088747844647598440740929703099098279762778692832574259869377285524899359955986276657822725486891348326060543110818802033972423165417188584051788295887589232084358767366500909306305466986506106246369428088541236708222786701732905226037259191838601007276831512099137811068941683264479289175203206991950178140639374660035611183433170464706394264912946566041503785787233456323433050667491152975382426234574768729171813545790453016297724100191121887342074347164475921057400180423113856073269791520486450796916765806325096496658152738203689486805013968683116749103489698657180077042548464390947241746946920248822862293927847321526043269206499962543053239145967660100000933317736747283698883090478922010266625476200514198447670300965315542606805566959803089184571928122297923159175111478799331748369818832774388649057309322825515090052289321004647335734666449032854011381105944277470733555742999074687652638708408424772621357776063265911032476862740670746619607065870187837798000379844425944810822133980074908485264431371535351428574007407521313616229496819335678322740085205506945541684886001568948856468291164384270451305438479028506173919058395614919147314544494733968985614665093718657201760431409079931966558055239062678700454739945237020771172735952585504256621750955214193589703446708708971162574152494065948060923056467967351237298452604074905573008037102296948043027027695147840743331900114541331067722097487428662131550792597718141583236513159604386732709186172546361301300436739876995512466017993745589298752536227681004224419825893752732443794121428520847256123280825855480156612451721923119412231272564423584757032727221631891333331269937705243983606431751687881470059640847282501062908565518115738744899091350994597854955681530332211569962663602980988347850087941641691230632052944322980385754096699673496728107302450321089373558605678996354891523572910343740647461204657619414547004563294716299844106652768451206343629951065324172475234401842594241356963538701090707034170247425198855894250742846313039854622055600611835320809886803905608969878711318048559342238149102146515305912312096410665504529651700957162797814683269204328699876273511230809339757777509085538297552388169750668443276072035156425555539797591147788055725495906391460895675665735901276367354857801106869505157277894419643778992925695424586910306875730572060123615735355966128676948809016625352532147469081545464086828815628873333504227687864957200959777407979555737168360653574887389159230328341599416181522297975331862391294825700242496441729209611653716533151030638569449456729915942075495265944662275919601289512493666620025641002021461586270327136379127590144103644740018529515610399451906781258264716540976924376455110710163077401233744258114122101071066291218238393838095372589216820403553474136034480941045164914223927867186955525134338239889445261450778352735709096695163304395408668923627701646540060276439662007123873447932401558014193542990849021037536060196676253636893450276493413214566853816148471357369660079511686938505881767786364004775337990313192482236512417575761932770999099225033916111031153592008076008565942751037447330169668012509987832456758846985735910713010526707115692673272051108051165532889123406500973593268307905967356606871291527534495606395272301583683541248390538710335141813423421735503872653119251495067694064746872392582717607132840952840666117335270085437480915517234132846254638983188981469176726110409333876784675585193342248728626943560605805215895931866676282321659696308862865920290369721513858425785432291102093824710408723555789422281043371492922684758157534669738869680460327096846836605073985272200503215186502085054501295419083880515537434374117151890938491828373777035397507216976340781840093690260173815239988194894385581053950467835750856661656236587890754930646129737175716005891866699566978061405336701933648128065942116396295992489256430558538322461271007620962352275919951508506256927056737028761638534722655564486679391336331105814474883375510255629863708239600725598158155033530531433864314894985406629223456055468279518444355777090213188999299301889351523980085156905015929624848641842116033411457440423763391731534184754047437434769105405432338839475839043002105039557098875100331592161050872427127340143907671585537498731360359715791992060492929632432737528365905496015938218384815996160939019775994518486484074193588271059422241933028911328969868624219963218259019084663796923829626889998573801653006380798351751082910075078100150425469752900702058549407958092875875138478053719637540578473391745101692815720620462868397449811017993218519744434431416642164394295752933082328493299709691282147945025767220222588939358446591542232062523831330678098098105116496139132484471332906990036946002298935831144087165631679742547123248381646884730744836155740302201980927372015542202787831515126639729623626844020873165163760865525840066530723291854784193271295013625649649177165459483905972526041345183026048048118439148030441771908425285743349767381087890226914301060906873867726569519848589246216794946132251659972299726891885331994181707057640782187169192842269958019474760432331766933021317271386717134725850980790319471642314341555402816999063117976296007332060926477938678982393879780602900845801781928712651116531419441473205835096532348212382533200864415680672726961218710121807955244250035263049832766248863875738997100414701711836074206783567887137919039456201332014349296055218469782789985097959141478844855387355431815158039990218522455293101466754275485549399217873318709619835114329811147162537935109587835060330116233064211445707813274827181192488473364236635509299613818112652596379712426757458498639184799114283730878884574104754760475132962334602976900929315289026185795157100914939411151141953444245544520228877361325383423260461208600340708567386940550734019929293610727764501467909595389778355261111181910500296469534386027846105673674137875592089809147948313664235430853632960408340898134931753883240855735152093267135368170477724044985090772275099404886050474397668501523021193901680822642247037501613909887774915510363940232834212366615765158247215980556380811989397189853657046576791647964110593179645984893261693253142313677981015309757258955935988591420989058248470659446851210662238845337976060003796048520192504380729343939637071480223660605655952483146536340034532687221235164219553975169898032863774404056305624165381965100499508447961580645169366907153389851637348938940878035257810824047039646653829156220432176408572418076144774782415819595340156169048059419093918600431455955887924981297471297022405532508792167942022191903145406144214117398475115986774094242707073086300621017606614507828555945527815433315182467547404701386633713675789427824045195532265965416224776959784423895983871714254866140875757648913326152504233821767271353595548598515608132648781998399112726205092857934556305980367521382267810380773599462185000558383853743799310938855377860237691678958445838973965631319764232680306354529724369539288495101282066089255268523938041840911195642960404782378422987147837649428141053792851237565592352510716221552204690765568416800990361313134528853858458569060601369575883844953217003732937135585228642806814751286371359707478562135883681519794195993209104747090022657309563634867005412241804612455888349774856256607747749672267643864104321051122529940436893201022658199201336322273792525504221653891736390400932843913962442594832812898551673734530456584800381689407192115843892867317461453466977000798171691116852852120646560913836696103918614953796046600257312486984002730369163700860206968467030758147334928222677797023015704597415129777420704326589353372498905243024128004926830923161171744278617458852201281041426645457698017478436769112643948936452767001087323317187788028167521724334629802089322460850741743476115192579428802753515210960331545883143810842479262275253012830473240088109730150940054207555280382871913963761141321938684693379495449505611759377643465995788574218751
g=3
*** a(t,u0,r):
11137001749633403060751986490100201582018166560131327071808187595661489054132\
14222269369930516096066690395036961268345001737539335074440293832601508433416\
08201170624883287741204988996519372472494667842646186463055129795508267602213\
76406582359597372533689625556382342089510805012198950569339627600429670030646\
79710763807581726421357460210808370494863805524227602026078029776016847926998\
71826220755291519912703423084290933113173574850702010531828736056376659702200\
16295912592726090394888493856362510286504301979696869496176138317465174159242\
54835032715849573573943045283651909658683262380191379647337467712054188118194\
46497587981901054767319141693426930085382875559172665711023298316393243710200\
77677390504446431706592065169272997762830442681486111147215239021399050611079\
99514496806555847934346326729336485402519683223363347938958295546388664977497\
87282623790146949181678875895204639824649497860979401309469221705087839857030\
30423343248298888686736887792930783681279186573690850937226769947166602337847\
51290538677282720960743902557960498243846681696807525880779894426055854057943\
57252566013335360535004676007786057992391926236859070481337074244098119548785\
77210175124232689996485694143103104397607632245709281370577704781429910896307\
27895729143980354301500498022018633140185154409372966783511587487105113523611\
48372695356926395926328130512919610091860963543940522317637856853788783057471\
62823365645039116663014963986786856448892789940505811282006618855951423724288\
58482146427833269140271127953710589181614357380040063135121751371663757572134\
26896410139057082357514914507779866503175438033072225667134872388795732357603\
63581179750956948163597355841021067901546857756605624191318335890133503497755\
06693445210308731798593344364849350461761137533373067045539168835643633841812\
65826625036223814531493125190028319476805309703119163346412584711952596611864\
13756347591798263622667731643526827878222848671035378543156195285351632365199\
54511625036662607539515138673929235794603056623955667743285019539372518514483\
63377758601310565259138896006576724088721867238449961699849645420470830825787\
27784986902219261287624386326330040878217618036118236204224281070728033795472\
02074433339675597372607041800855553287146220311773758573673063259090924574535\
60881684460956378375827578635461407337388294945577016639518355430779855020035\
27499151548642064774904514720248335891499763251177412887580808607100453556403\
54271468306015395640509270478258036116175280315132885659881591911838406276604\
92283453485408603516378294409406558353332392682218350139168188840744969272313\
27100225942341470371555112164460419139100738254329767101405816524568827310120\
90075167460673097210720806356459420198320346520424354499639514473765721890751\
31797302714129605266967245414214043316743549824362313608529146760425661211611\
84987523002454801923479350242592712268077933237218351063995143494000866043335\
62668919842787056057610918910331857969821830045694092234536030797823925261184\
41652148844629800020398593493590704375319840945215532874073975559939234727448\
27241038545466418311027957926982601836911548383569975190931401045525804695334\
56946762120008913145784659250124458222618554742169409857885205969929668248342\
99976341384951338669878050055744271294554263465887961895961546228061649161901\
37666162174828703076009823250308249357347916885902034378906861942027975532990\
60219287456817911255607174605667694479504999234008190924706990557296626248417\
17893286454612427034503606202330527611353132561560956743415160822819584113630\
41150049959990179593515133251684803880449312041187455074936598459055542812887\
23231082604466503452072484799103268751558511424281717591020045834076067532482\
95493472151812586367269032699440904927793518404669099579617831494195618385777\
63429953878959477485131490489441735911932876238203981694484857092086116719195\
14617208189885214181288417695690668060956612059317668836233984490421781129129\
26714204279104118574920449133581591125627492640286657133322950123523375914336\
14525006045980083961738760620461889336695174060652576410439710375939797893606\
97663886826083641408295449545711577307141446594062400160213234738357018774840\
20096866607933639390422727787386313729798087326144319798945979003520788672619\
55645568479451597097909606577692520675533778579406814485938229183404225080848\
24605273870288249955778004666656920778346650793215065385292864804350246209268\
15931624388068018441011011811459591839297118285881001732769777359248249511897\
18205138199584137698487503151514207128891814685407804802818089777722465235108\
43452027336351018171675536222786025240462000438249029644028203259897611473982\
87648758899238039859829893546568468478259664582639752873907839127471817759925\
71738994224375891708168270581947213436353626569525933439718070504939210798041\
60327442436672544715112694294488182038126154775255120180756567701394589548587\
41737767682571185895120024131876786637726476349838973145296323892270925057615\
75640691023615570916626782719168706289852722381368573440843679401122893744368\
35815247831901392777729235033773525344908132230242768882186028748700182764382\
56424912783881227756607160706208381642073978954003754732962479657171053739913\
26625328512904558192426468471936515296614542270112275231553620179076035191598\
27978602465866039055269368112747691611987509717441792659278356326861732793259\
85460052147760625329296272420771936969668988121986375810474041741321990813874\
19435702484342118790353333783096536678387887933718744343912356439191925773682\
10654093931643281978031052694294968244971746201479627694226175621534593330033\
26294330243053068509018436437026099237634459172441187336058477546135223503105\
98043212523149278110524676495349487790110589926667145732347036243657634999428\
20862828555843551410899579748785483066216145899461367482005807892761937008314\
10215871501410886221059913606604665593574796465716213312295156693001602140694\
70130059001836571803813066865367028181220650252681643228449229301878989750456\
08096562055150896339854703790469924963275002861220322219321752417394814310063\
15226503641866730819334566437157537398754090990894854196783586324984457477944\
77055468247359111867600333255275697113782428462835375196842859643540140451523\
01090236237569698002202538868301466508628966521020436228939939124008985772605\
38309682241601614965060445351914657198499073392542953849374312473486071307423\
89452963302764642811664122808902687128322408002993369025868861215166081757990\
90564288409596906336674923486998887187710752804721149623510658186938677721898\
65465745444553283125816948514648172345361404922332945975724528703754390172350\
10786128902382800515232635849117847635250563952035887940570068121838200070365\
80417902451538187119606785103253125390990556145635058256637559560114714844605\
37952168243294291192242878184582424349729480146586763547744894698826858220191\
65399190579041766913551264293882405174728465172026132288833620510673644534844\
63093949262580212385713429687759435577788887249913787845176962426809870403977\
36040060616853660920794415795644010229896659984405211694892121391773372293717\
16490200234093757484802390611063038089083971481297607397730282593858710050831\
53823553679340453550197442764401986196166689325356814812580514270206907064417\
03236282462589263192501417996601928440494950750735589064568945690292095056117\
07033176352778205305815561357087435994583761883752803412127026323999706350092\
59820177789307241771810285132570954670642802905406233469756580219872609396020\
98552536233502931796778095981868782124856809097662806113981465657900096322628\
51262136843260202631909069574781337795099309289575434880617405567506671683977\
53272112194035379125355488030038830032325838243111117868785599453012710820373\
63525295651496724235951760993984311251976981168610155358301732066709547286350\
88393619712963969266823717074220553285174398225715501041992808378287799024816\
00286950047680306997563060976407124608566172066111648995331467901153894489120\
57345074016993480262695878762430595933430390360271161084102258052236716829976\
50424731017321643516886505305774304076222847879719583206800869603629264865925\
24855578470470976437622953071001740666377660272122995816869787672417186198199\
30702401735478406200972222836131771742427238422421935396114792050999740505699\
99363235570119282983110017991834145366975814002345074540291622459307633830926\
66233906346300267437947227096515691105625292354085691553907385841416891024496\
73153555919970148976671943593893439952455536085377487148171343944951111823376\
10290328969223558331372645143010702234525888928361821208360503178862570361851\
53918078269823051685289091329991406352971701500050328961294128166110734866020\
62997959447227762144546048421395537953880162600733668621938167455383085459812\
94811263791224926832075692387752912502007752309331829997118796827267517549437\
40881974966602237864423379857518947930172324252597559911743272430029044098663\
08489530179116406940789414258460329251865607336981664282284506262340380304707\
09413373838011191917174588335441681628311345254952634603887448014118056130658\
62840681437393350805012232643301197630557719962511411427660091740243499109616\
07557535816801828613325828339395806976595735501453289143835508359765312477939\
10395564617689583375798689412323402040728126935683334524121357994649952753274\
24791585646019046826751974552861554264948399208215720903062840185494820792193\
18648351798012810832674484526076846719112989767284699907637062965065179514379\
21182885582522008922635568257030918569887673839328228363484807137879535944292\
09251275500275437392401359115857710191632108896363251925804811200969237880763\
13538076734306060274314296828448266181996244284526728608035341772043461597220\
08487380423712057421329694541928224138137445205422336555367653939777122332178\
51764663404723208525189712326022048684972438640995209121330376847655703913182\
54434843681013636087341386978600727438955403302805096839486921734526540665329\
36719089607117330328182978030531869622252793566754376401096459725133148904332\
90969479654939358287817622678285168394533506278565349959246318090055893890166\
7715981602668762207032041
1
*** a(t,u0+1l^(t-1),r):
10925807026189027528626474736179211665797847345969544636818146111546542991158\
71348269318667611239630533181477474012940229264640359061650654885080620157181\
89588000511895614775189723718456426091853176037791960423932718990283711326571\
27802159179579723244175915842923764173780511617530196765875538581458184505413\
29273770815023286603000491938795569537312658769659442695621429969897691518774\
97518517453990163656457466894323342725439562685391605780909101365042083348808\
25089289724343168326717409902069921595862627479449773361608954910686441400217\
72126403776863804163564858584214768514713289010149823775390486655567699089404\
43087393519538835018254935466623638111576626338707950179208697210519794082320\
86318147953793212394836210583256442811575756663505969975017731328199321459163\
18107774363953651070863147334974857992863810595865939318118378437417957044928\
38092687814354023470269036276458660561223780455271827327620879953411079303483\
58544265942705357295711535938450427479990706423747282335383025890014264746105\
77751527197941076441892880385559224572977275596362376843849807932514971869739\
83853339097785385303620263694111227562700549633125965478530429346928117281741\
79412257770422967683025156327494322392596109510329206502614790025777004874253\
41146758300542041640915785670147230488980631885807107742104920214909694177398\
87657663207300737343654398581574737586958416826925215320463940478558907272563\
82238851757965049975347170737985588627485214910028457085761234174738691289567\
56235329491780805123704671671402550195869458061834499358855220056145481511980\
01607603372829704057435617772486948680738482823848352866873149145013259556890\
54537288858081658375412829497638873187863921136695277335604334577425535669099\
78753620079898326012273622284605683891689813812765486760225530994259746980084\
22606145421124753573247364282505658551202174879419052789906657062547680114799\
71017605222800824995183514229300655415298268734163658343222765539106026188868\
32744653639001496144960490026509591626563807762565863677356732190332584535068\
64704349778276863010229814539953903783626003763637383412241877176087692440974\
62403476404705621693042381528738447182676196707999685580882480544734455404913\
13286675438164682125338893094138949874621323592839995768862575333823713615473\
61876342783441402806121619495724465352482069377708931621069840473179731347088\
96762758030020533837327311533391540647033901748310584577449693399633314740542\
54000833635231285735821989748581840741026570827488140672652484606304176069083\
96980985973043080061579717397850176083673750595956308101130865411400880095215\
04209576904243970933409313577270904237600724254563715892150333278211643479966\
90136953159901799539215354908486106288111996080719720722781622290318837151988\
65075482814367349794142329255916684720345125997098805765130996063325301011644\
49494712831738212759317289239256567281957618447637724937623554173634225094346\
96120204548676049937681508311526576213124829475927453317319797596853812898456\
51987443114327085734297482365393661940895318044863784463061194733897403474715\
37217504312619393943562193870213020259726120790961189314997177258316086527913\
55993283698011272567798856609477344602720604905086551263867155287819750392811\
84300430992063513031384787412462142256098746459581616221575423353951756952762\
91819142664560143599220762126724654236791382431681388973491434724416825554488\
88407290855234765024464181408341505582927786859153421185300410458232846989597\
63698091389101445485176736299631465772958319681126804592781497848935521203763\
84238228532177470751665920863852601531262536212340663891467509992701771457396\
32398634767466506547165926933127859103930979602076628129749122082481704684205\
78132660416948883718079354456088675377961782910269559132469579316682427139523\
94970473084794632779345179038946633461011266701449165353881478006901171395822\
29257842674274242989481431266568847554111669984867902676254831813612265684202\
66915578407818958298531312930037060320463886585161120019543121739385764487389\
18927186715146074784208948472159830752560625879982805682049576803703265695877\
38795418681467643151500971994275833110419421690255907110398824471510804765203\
53470503777189006532197265187119822318992813862310988829307306835312429848233\
59773655044316611059390461067369653658930736002047646069643572498510339649479\
44239813556692391865592581063622971585331227579690127356494643600727928013137\
91609280057067992806857832067879447872685921352520426478671741126139875627347\
93081146956861303228857525215644784743388177238781866658643284029725199775529\
89277842241477105058432637305792611361060066169508529713989741756865419094577\
38578302030099518244283182543789041136699746796622564134200357980933161291659\
11086548063357385544296558750431147441985352993618362009129232252633157495929\
56275721025104797343776802493707748750424647415420952288580400172291025903544\
67242108371270847350964777150867745171777175281257955955436090190141893608988\
40325127982712620772822229317414558888654503878561331213773318856221701069064\
28056425180221846770566228048303736621553363603879125983029530099862631890216\
01751873982669826471715748050591282116623777077505579864448652609310667132961\
68724721777514459111659847704453521959763444755508376206935030668726932122225\
36676859056273130602893842800875105803922007004721657526675100517882053916017\
25305942435729766441888631350845794043569070521695862994851904413736870886935\
99850954649620081139461677643088384908254110033585013414508203030104847535243\
12854079508160792433567758395414532690389475413840949545789522480797527716947\
92925916900896562785080033723302469037173628720372138271531452055374125712275\
90494984725618002293005245209091280057049074314909867368269658818050979468465\
60037364044670791270364189488062623083923804321089786556304054266476944523959\
22032258261813966760483556205720885588639749756505412807005109473791710823235\
25690171662990113425738229946301913866785366113882370600855375396027934319031\
50294478071804166320767699293811203250949939595836877423759393016306417072830\
60196923926787083585086755442774018990433849063128200830220054346634562582661\
36782608546081758292361388882546069482041927290973768840391983670527369140811\
44938082579461549493943325109736963351069630872707785731551697547700345081595\
16723531503770990155356391394545858389425133947678043220119426649083680574666\
17213020888679346171746345511641574224498342111659740030435191280618052394691\
45736899880969910641289179046663889327008273295149952095884033821826060571673\
01645282509447974343405754800716791074589696864387314888953519941989136249992\
01479185876421053349962737571321681118779314319569973504276071886910800574720\
43494680533999536289272901694215455503677208051849311260620412412957040100396\
68079497543358242686700977839742049678116405301834802165676407441579825510579\
92856854474508737199640684060749363357255738272430187934430960197576167078431\
64805189162784127447931253397852493057350412776148039655951103468020808386202\
82132853399087788716228150009380217368394194877242028160854976232637341213558\
17947402505255064232878198627288138504588068103017627485004676729246977243293\
64560148742311241409548945114002454220259609249654726036109328790999443592904\
69925859912729795496057016896792789468804148903376507097478510563421827766810\
17266428381486583207728034909102212808845763870786568202036121905719054522973\
26953802736412667022660911836757346174992180852838479358446404868041902517461\
80122336431350537388495325514450284360162937875836077805878150885626390324095\
73425307446738201317776786333793069695318664992048719933450198129437645040160\
00681617019685782808186926310126589260537105533064762915521650032285541841479\
06568431637877949440074041126841751620144295052896941287031787716519100751211\
48664284320177041910309992983053286155872734542547697608832388497536450117897\
87386438984829226586736959946513184192474525313909784602246800368262227716254\
82300603586835576085780027711309914594616918988078914034466943424191772768725\
36952707041013394904050478024375297045700290713858908430439285477138191575168\
13259075718186444646770431837038370110125239407291333443604241762067934879649\
38337627998396009117515101037722193264378681435903188201498203074052842771710\
73964438435414113267880371632949806327146942687509200813231730756539473897343\
98226942256294573365166938339944597089715836746865356062998901912692171219986\
67973652836784874343738847318408735022889375476931643523364049179876185556181\
86580651428719951030524870582776618121355360061199460502765803371425227055368\
89305219642708834523115467600598396118718129410921688083393480982176902978548\
68377264893866932268227223230092209168408351679101551012166900057366971323406\
88714969281909662732858074959413729584776252581594816786048276027761812412595\
99145907173303838916299042692079271294328348445026177612531958793555674109434\
32854456914025703901457124481119109354548307577114755351520577572156934407651\
96592639820855480313182655560433305870505188265288551773219544448742871753971\
04379732990413704455991773111506611076248787219859488328526208837457592046854\
70878189372741111256562380267220159562374577432525603508996655483157879245108\
40034081091437568520378992394390594163849591026662790885863683696394896759217\
21413742681808824699822417513300336421744573685936029609073026528374185758207\
22213806567961998996403792657693594252884551276122537456796916385449531356710\
83233779029123993582762580236986084462999791276003419987438951123886877234855\
45359026280927609881799563430980509619097998108189486086503835008789037415261\
93812323066778132456217312691372761766408452041457321617996744898995861187664\
71031867520607530415868322331904300797970489860186767594140707278466557433338\
21705915046858672333182322079637306927356020714806930819408814707687517366156\
32669328314117043746873471928437628941377235098579968580836727264213142296201\
75592937465389441636750936727803705217279605319597213763907525596337956447234\
30837315059712948206506289757710860523587864566582441932206248846881635472527\
7051329612731933593750776
0
result=O: not congruent.

code version 3.3a
start=Sat 30 Mar 2024 12:27:34
end  =Sat 30 Mar 2024 16:06:17
elapsed(sec)=13122.854035