n63-L5-f10535-r2-t10533-ver3.3a.txt
p=5615212873525523437769042908486049963756074295047625255232365737749501659524561678738504367072237267278894412877234645195348068333769254009431882917079907942591619650584171888674550038746675466605767932130969473242946276580901756240903689442149748859297486311455297599327992884580781162515602910636413511707679070527888044655119154307388328793039380156141925132126769059948361263382937785999137939789930829887809538311660509980752522350437636113386552063727078152988539060603176194752532402854617792616948864407750242614930472169241104767862408299983702162431988586134288355234922456664838809194484137278629740094631743074244166055755911603088701354190292152852729866169160882036115125720170522849206072762426409674840712463335517809430703483478425134532351437836213482862477267614475576010660231346837813177450912676145964600130300973209680859254486661738466499259193323142337171411147679537453921010572172945252134195828078972181760922240868031426439520253890744934244397960426743545432868507748052723047547104702175640016060056443450149642614656082267912362601142427095471747810280247984608421213455321880715693378471917551626435065350590227871349535587919113855182303470460217177981974934930826785096321220921022747892695238577178253088760836056817884488285594744804136009013785496802684838415246384794848022490727870754529592204151025117419468611583072109175903338568004492416457876795498338988127020691777387365587145559367386938936346187899602621893283427660321425518400298567601473406942571197482380337246676795639899978741947284467254015625812672185274177268198554304339321201153802365218951810826971345048338436081354714897806319789891338521331118964623431795755055671430178555776954369501365022784047182966442274218294936361523200504279576878857227260343950015920238809635687775404894487926294982157674428146338489558796011880205570215250967692628848139336517846018883327438402104816804077377548212604539309413541102327542777129746659558341181741162339874277372056719244664605079940460667973858058976822680212928121277771178418751178164555390994562732355010094104497974073198257999216153698987793642136761495035069282739343785833629360110602261004253054681884776622858953197178506470557842576954162417488355269397426168545131705296520948855636456274709260566023873822190259557885643304615274070696374524506236878563232826352545786784892855507075940891448209337585217173379775360600806954238940245838588145515999311187496605768245770181244303515436661551135240368239380740256688866189896732270089662716450536432951143947946796854634826672589416048364147733785135775293238491537613626293209391739245408749640004447218140464909751320116732396188363087647071712436296112850494044955386834964120547630789970777593060006594087243988852666111933391873185451683741509228729988941260785698292912112282333128157705801795241119568168152702839262463531412170395512058118397042314780191700743899929969832149094552965447797350670070502820609260362767825159765027271419336308687271098028076189073730713067362753613121310378629536637223014954202508750079743706902826240073293133672456930660784468072690884765405322754312696357743630965796282423165294709485699236323592486128481792627342570341498563310504232811669132545998276631548510592553060160347088745638690271269248537460864675057016998360396074587495922510310881959863763182776333048511153376597186716176834767161257378751661012882259516603943899089116701525277940908195121829885149465069514130060053390231590432163708871017986319914810733133567317072593764758133287337944442487060466198197596247525008527275167911133651356745821858699542384874711932111392653562716505556555101533738240371772507909202841831580326242260520626088955973149780744664004055308499497816806954534921356215635448496541639994116191159424730258047657608534721906666061426115544014146702779622574586374480731860038019863916410952236255284733330969342022547379111325957674245465660737971340244811451907043912503231901921078520571123599031281658789783362174365217669963561956714151081857376077995917389063635694138433192338555217290725404583738637913690434024154929391669694413939464387540497328184293235492592749824497862335320472557187833410232507515696409835590251241964318400962055386062158568527072502198158148328509759267410570236746476000134510795790247656709455041949977820009371694199976271152408134532847536475960574482621428499510909323637915114212631739729401075446207635691124307334904431418941532282445283144184076419693056607544073048543615975785374774284726093501255604318934485839686219950473794363632782567332323539388180237637247352396259764058534428516129823050382163062060070980022379722884135611179600236926141907752710499896982430461064634092687718592470772227286122528404361622967932607605348387075548037024697263165045891794429359529966932206947872477136392318971011631337591295784258761384926257304532254473778602445222854330136581278809274299921747746969348234368870267810925282045658784564216659248251351786507810950105103679714839182657121983620020604287077518899534142489791856089076356070084355144539139486701322425313533213377217971812774619710688755450617527634546465021711176370178005101784428552468789591149707167835657643043993304459374060303114706551471010084713183898887229800374477697510135194719258220836444616105294359089136157991150614235348686148761585597164656424474556122096647549604757996579574107049739909191612885113565596521217673689497592190544871425707436797712396507100617210306315411394114694372957941574973157642924044498464187404531156271220730979068278637310777982725137404653550741259659334875359930064676390611562377088065623857409002149525114234364947028820849603525058671801677374011488411868958359845203356520080345370816720852202439460013047893106820923092168909549753799184811729525382011011546241387663789270582403679371000370692259182884207692873580921251071970910788646103291811262030684609240278587032552384440840092452446787707802850473818867889847351662182765280229673216698028570767608950104018160481361757587658215874442874867796806765664851677999363265967058267003383939319492017322744960723269818224233984106090305177431366999989363310479999112595880416122704140324554151731856691117596245209175468533680209479700776436197233921150697854004923893162364553278559937066764915528847327190307742972069193090756278915670575529455121152659709120867497302023690150492130742064698421206974304631885347945619533534677203838410510370539488605563972576866439503094076549939035421371621031072608343369170356998735628096424006816230761976610152779363226237848156407925997918165176562705292428681858197687172810267851582022284483070529426168765158540101027649759387209552320106885708011236116627998504799174264157612021863121391833195594429414647624145560584023167183162263874125443458539268494869088505772025280258042954090963228063039318140684472819132174600124194717822116132355752611524913853690072267120378836638598161929896804729521042870856410951727366355479074870178633111019841350684519858349891405377201759494619525010845789682944753017347614280334540855378825586492740189567041069327425663466104597897374446279296350989430563820761271345035911713853161719528670091221693397713077710434052052788949451581762122149519212247205478466304416405699893593067070198216469761414216212391529664084451456121244350291267196134563599319762132238906260361943623138358816504478454589843751
g=12
*** a(t,u0,r):
44921702988204187502152343267888399710048594360381002041858925901996013276196\
49342990803493657789813823115530301787716156278454667015403207545506333663926\
35407329572046733751093964003099734037328461434570477557859435702126472140499\
27229515537197990874379890491642380794623943076646249300124823285091308093661\
43256422310435724095323445910663034431504124913540105701415247958689010706350\
22879931035183194466391024763064932840798460201788035010889070924165098166252\
23908312484825409558020259222836942340935590915262001940919443777353928838142\
89926639986961729945590868907430684187937965331871047355587309822903792075705\
39445939533284460472928247096108335223372228218389293532870562889210057613641\
82793648582099411277398725699706684142475445627867827401076258811502689707862\
89981814091580460808528185077470250541960730140916771680104240778567744687403\
58932939077319940735465851386973712891814362996313680845773835620170735666246\
31777454087377926944251411516162031125959473955183683413948363462948061984421\
78438037683761740512012848045154760119714091724865814329890080913941676377398\
24822419838768673697076425750457255470277753404130114805228047218229707962847\
03352910841458427763681737423855799479446614280770569767368181983141561908617\
42602471008668845454307590628475795843308807211028397442147870732197107835878\
41799258229660362367376332082009393557488926645768734072267085440359393316630\
14363986711905016165534219098924697164474939095511490769503196820975146267421\
28257140414720238854081178725554056957985904269797341436511919982993557827573\
80321250065013774821934181455884344347145696092304189217516144866157707603867\
07488650837719182450558319130708170648951716987454366040445371441428446215634\
95601092018227237746373153819374635949089218560403423661503085781808275160012\
73619104770855022032391559034103598572613954251707079164703680950416445617220\
07741541030785114692142768151066619507216838534432619020385700836314475308328\
81862034221703797327646672945392929871899421897645375395731684063952368534379\
08644718145814417034249702221694273500094253164431279565018588400807528359837\
92585586063993729229591902349137094091960280554261914750286669034880884818088\
03402443745507821298287162557742805176446274061563329933990684215517940934836\
10536423721675908450916501976740845281909905775220764630851464369221925655709\
96196049895028505862610820366294279142844056607527131585674700681737387038202\
88480645563391152196670870516412799448949997284614596616144995442812349329240\
90819229459150459220535109295191738581607173017316042914636091515835743748370\
78613380715328386913181870281086202345907932300909010345675133913963269997120\
03557774512371927801056093385916950690470117657369949036890280395235964309467\
97129643810463197662207444800527526979519108213288954671349854836134699320738\
29839911530086285586343296898258665025261646414361928956545345221622714099708\
25129736316409646494717633851824153360595119943975865719275642372358237880536\
05640225648740829021426012781202181713546904694981687842246095125898457045389\
02028904970483029036293097784119633620070000637949655222609920586345069379655\
44528627574458152707812324258203450157086194904772637025938532235767588559389\
05887398890278543410187405627319885064840338624933530603679862130523880847404\
24481282776709965109522170153988299686917400456135986883168596699967380082487\
05567891010546221066438808922701277749372941467813729005903001328810305807613\
28315511927129336122022235272655609746390811957205561130404804271218527234573\
09670968143890559318485865068538536580750118065066298703555539896483729585580\
76998020006821820134328906921085396657486959633907899769545689114122850173204\
44524408122699059229741800632736227346526426099380841650087116477851982459573\
12032442467995982534455636279370849725083587972333119952929529275397842064381\
26086827777525332849140892435211317362223698059669099584585488030415891133128\
76178900422778666477547361803790328906076613939637252859037707219584916152563\
51300025855215368628164568988792250253270318266897394921741359708495653713208\
65485900862396733911250908555310746553870844173832580323666990910330952347219\
32394351333575553115157151003239786254743458839407419985959828986825637804575\
02667281860060125571278684722009935714547207696443088497268548216580017585265\
18662807807413928456189397180800107608636632198125367564033559982256007497355\
35998101692192650762627802918076845958609714279960872745891033209137010539178\
35208603569661085528994458679235451351532258259562265153472611357544452860352\
58438834892780628299819427780874801004483455147588671748975960379035490906226\
05386585883151054419010979788191700781124682754281290385844030573044964805678\
40179037783073084889436801895409135262021683999175859443688517072741501748739\
76617781828898022723489298374346086084278709660438429619757810532036713435543\
48762397354576555829798170911385517680930507007303662740700910794100584362580\
35790228819561782834641092650230474194399373981975754785874950962142487402256\
36527027651373327398601081429206248760084082943771871346125697586896016483429\
66201511962731399183348487126108485606748411563131158936105794025082657070177\
43774502196957685510043604940221076371720173689410961424040814275428419750316\
72919765734268526114435194643567499248242491765241176808067770547119109783840\
29958215800810815577540657666915569288423548727130892639292049138827894891900\
92684777317251395796448976773180396838063972636592856397919273532903080908524\
77216974138951598073752435897140565949438169917205680493768245052329115291755\
49836635325997852611433923559877134992362492501697658478325462290984862238618\
01099237228405930077274679002879440517411124892499016704524990859272017196200\
91387491957623056679682820046937441341899209190729495166687876162685216064276\
29665337668176195156801043831448545673847373512763980303934784938362030560880\
92369931101310314164659229434968002965538073463073661542988647370008575767286\
30916882633449009624547687392222869626041907552672073961957430166242280379055\
09431187788132974621222418373857335842285661408716008321452838508940607012657\
26995542998942374454125318813423994906127736466136027071514555936138581959685\
78615854579387187284872244141945093599991490648383999290076704332898163312259\
64332138548535289407699616734037482694416758376062114895778713692055828320393\
91145298916426228479496534119324230778617522461943776553544726050231325364604\
23564096922127767296693997841618952120393704593651758736965579443705508278356\
49562682774176307072840829643159088445117806149315160247526123995122833709729\
68248580866746953362855989885024771392054529846095812881222234905809902785251\
26340798334532141250164233942945486558149738248214281265617827586456423540935\
01212683208082211980750976764185608550856640898889330239880383933941132608961\
74904971134665564755435317180993164484672185337465298110993003547668314147958\
95270804617620224206434363272770582450431454512547578255305739680099355774257\
69290588460208921993108295205781369630306931087852954391744378361683429668512\
87613818930843832598961429064888158730805476158866799131243017614075956956200\
08676631746355802413878091424267632684303060469194192151653632855461940530772\
88367831789955702343708079154445105660901707602872937108252937562293607297735\
47181704621683472416422311595612654096977196153697977643827730435331245599148\
74453656158573175809131372969913223731267561164896995480233013756907650879455\
809705791125008289554898510687053203582763671875000800
0
*** a(t,u0+1l^(t-1),r):
44921702988204187502152343267888399710048594360381002041858925901996013276196\
49342990803493657789813823115530301787716156278454667015403207545506333663926\
35407329572046733751093964003099734037328461434570477557859435702126472140499\
27229515537197990874379890491642380794623943076646249300124823285091308093661\
43256422310435724095323445910663034431504124913540105701415247958689010706350\
22879931035183194466391024763064932840798460201788035010889070924165098166252\
23908312484825409558020259222836942340935590915262001940919443777353928838142\
89926639986961729945590868907430684187937965331871047355587309822903792075705\
39445939533284460472928247096108335223372228218389293532870562889210057613641\
82793648582099411277398725699706684142475445627867827401076258811502689707862\
89981814091580460808528185077470250541960730140916771680104240778567744687403\
58932939077319940735465851386973712891814362996313680845773835620170735666246\
31777454087377926944251411516162031125959473955183683413948363462948061984421\
78438037683761740512012848045154760119714091724865814329890080913941676377398\
24822419838768673697076425750457255470277753404130114805228047218229707962847\
03352910841458427763681737423855799479446614280770569767368181983141561908617\
42602471008668845454307590628475795843308807211028397442147870732197107835878\
41799258229660362367376332082009393557488926645768734072267085440359393316630\
14363986711905016165534219098924697164474939095511490769503196820975146267421\
28257140414720238854081178725554056957985904269797341436511919982993557827573\
80321250065013774821934181455884344347145696092304189217516144866157707603867\
07488650837719182450558319130708170648951716987454366040445371441428446215634\
95601092018227237746373153819374635949089218560403423661503085781808275160012\
73619104770855022032391559034103598572613954251707079164703680950416445617220\
07741541030785114692142768151066619507216838534432619020385700836314475308328\
81862034221703797327646672945392929871899421897645375395731684063952368534379\
08644718145814417034249702221694273500094253164431279565018588400807528359837\
92585586063993729229591902349137094091960280554261914750286669034880884818088\
03402443745507821298287162557742805176446274061563329933990684215517940934836\
10536423721675908450916501976740845281909905775220764630851464369221925655709\
96196049895028505862610820366294279142844056607527131585674700681737387038202\
88480645563391152196670870516412799448949997284614596616144995442812349329240\
90819229459150459220535109295191738581607173017316042914636091515835743748370\
78613380715328386913181870281086202345907932300909010345675133913963269997120\
03557774512371927801056093385916950690470117657369949036890280395235964309467\
97129643810463197662207444800527526979519108213288954671349854836134699320738\
29839911530086285586343296898258665025261646414361928956545345221622714099708\
25129736316409646494717633851824153360595119943975865719275642372358237880536\
05640225648740829021426012781202181713546904694981687842246095125898457045389\
02028904970483029036293097784119633620070000637949655222609920586345069379655\
44528627574458152707812324258203450157086194904772637025938532235767588559389\
05887398890278543410187405627319885064840338624933530603679862130523880847404\
24481282776709965109522170153988299686917400456135986883168596699967380082487\
05567891010546221066438808922701277749372941467813729005903001328810305807613\
28315511927129336122022235272655609746390811957205561130404804271218527234573\
09670968143890559318485865068538536580750118065066298703555539896483729585580\
76998020006821820134328906921085396657486959633907899769545689114122850173204\
44524408122699059229741800632736227346526426099380841650087116477851982459573\
12032442467995982534455636279370849725083587972333119952929529275397842064381\
26086827777525332849140892435211317362223698059669099584585488030415891133128\
76178900422778666477547361803790328906076613939637252859037707219584916152563\
51300025855215368628164568988792250253270318266897394921741359708495653713208\
65485900862396733911250908555310746553870844173832580323666990910330952347219\
32394351333575553115157151003239786254743458839407419985959828986825637804575\
02667281860060125571278684722009935714547207696443088497268548216580017585265\
18662807807413928456189397180800107608636632198125367564033559982256007497355\
35998101692192650762627802918076845958609714279960872745891033209137010539178\
35208603569661085528994458679235451351532258259562265153472611357544452860352\
58438834892780628299819427780874801004483455147588671748975960379035490906226\
05386585883151054419010979788191700781124682754281290385844030573044964805678\
40179037783073084889436801895409135262021683999175859443688517072741501748739\
76617781828898022723489298374346086084278709660438429619757810532036713435543\
48762397354576555829798170911385517680930507007303662740700910794100584362580\
35790228819561782834641092650230474194399373981975754785874950962142487402256\
36527027651373327398601081429206248760084082943771871346125697586896016483429\
66201511962731399183348487126108485606748411563131158936105794025082657070177\
43774502196957685510043604940221076371720173689410961424040814275428419750316\
72919765734268526114435194643567499248242491765241176808067770547119109783840\
29958215800810815577540657666915569288423548727130892639292049138827894891900\
92684777317251395796448976773180396838063972636592856397919273532903080908524\
77216974138951598073752435897140565949438169917205680493768245052329115291755\
49836635325997852611433923559877134992362492501697658478325462290984862238618\
01099237228405930077274679002879440517411124892499016704524990859272017196200\
91387491957623056679682820046937441341899209190729495166687876162685216064276\
29665337668176195156801043831448545673847373512763980303934784938362030560880\
92369931101310314164659229434968002965538073463073661542988647370008575767286\
30916882633449009624547687392222869626041907552672073961957430166242280379055\
09431187788132974621222418373857335842285661408716008321452838508940607012657\
26995542998942374454125318813423994906127736466136027071514555936138581959685\
78615854579387187284872244141945093599991490648383999290076704332898163312259\
64332138548535289407699616734037482694416758376062114895778713692055828320393\
91145298916426228479496534119324230778617522461943776553544726050231325364604\
23564096922127767296693997841618952120393704593651758736965579443705508278356\
49562682774176307072840829643159088445117806149315160247526123995122833709729\
68248580866746953362855989885024771392054529846095812881222234905809902785251\
26340798334532141250164233942945486558149738248214281265617827586456423540935\
01212683208082211980750976764185608550856640898889330239880383933941132608961\
74904971134665564755435317180993164484672185337465298110993003547668314147958\
95270804617620224206434363272770582450431454512547578255305739680099355774257\
69290588460208921993108295205781369630306931087852954391744378361683429668512\
87613818930843832598961429064888158730805476158866799131243017614075956956200\
08676631746355802413878091424267632684303060469194192151653632855461940530772\
88367831789955702343708079154445105660901707602872937108252937562293607297735\
47181704621683472416422311595612654096977196153697977643827730435331245599148\
74453656158573175809131372969913223731267561164896995480233013756907650879455\
809705791125008289554898510687053203582763671875000800
0
*** a(t,u0+2l^(t-1),r):
44191725314645869455242367689785213214760304702024810758678718356088578060458\
30041167202936885850729348489902934383665768738929778676402905422891855741887\
55081960466500974327638687088049363359221873936258707297544219871966916968216\
15912035909718523522671217271153192106711304001650747748997794906708574337139\
43428505447891143578774439914614760121992182883695078983767250179360314282372\
03758132155861467556312170610665127682135485223508979441962123521647415321050\
64019802406946996652702430010465842027895387562888994409379502815971927494523\
07715332087173601833975017287684935569883973395228142836059016038281605454475\
18179943015868587990243163080796574775992429509840467512961416242260394177420\
14823251792640295844140996407086450525160219636414975205808769605815771000110\
12769609612592278320389602069961358970653868276126874140302546865916018836233\
28100278817313491698514531301935390057322379597623583532030010791342961211669\
81511070458458035631407326079024398120162632503411948558471702556675155977174\
93038419571400612228692639264420995267768737734336744847029367099090124136265\
52669055516388682749498933832012325068885739911313000439643091450933475208450\
76923426040284728312521909190718142737905606798708048008648449025915511527602\
39285180854777976715675092280763064160855039093849185983712967832798904833545\
39370020283428381478906466685676740912179731587774992143592745301953553175234\
90380571927836559652844288038567170835552221335209429044498769872634300140575\
68672961882981034972702359571263803532418633325413134638168601283269912512875\
72891029751457300981077751007226223751504578530804246142731507512082644855304\
23491960261606245735736746444834162875906251586408232592288134155505233964630\
88797574272931045132994590069809798114916518758796868027003660637853890688662\
52922794318328627924365196199799415095808977495116839128277246134972178375940\
25115740989034856578395448168611786940224564908248088961304433197724365084568\
47531776165601110621072414510030294761481056291808638045551044197913142545695\
42629241475944932757443144560591741555717721550509271272087036339294406023990\
55956070290453831129611033935963616312965925995255158635594510663064070439794\
10347154034643319202189996166179484592329022108062925822563335597015774394645\
01865206836198674938589108819618806546078869806373427205600128073222069363804\
67507864084234292642343394535341997106772840687654815697407486795659154498832\
08792835072986045973474968870521091457904559828739609421132639266866648652640\
74343416980439264258201413769144872829656056455784657217273255028703412912459\
76085913278704300625842664889018551557786928401019238927557912987861366859666\
83499960676545883974288931868395800241749978245437687365040813338813379889439\
11676287098543170700196573822518954666101922704823009157940419695047510456776\
30105012967722383445565218323661961718601144660128547611001483361771344995587\
99221378101267989739178472301732010868485449244886257901337413183807416514977\
34548571981948790549827840073507646260701767493688235414809596080102607118401\
44870935264712679814453334945127689573743863127582973325242509376816962002236\
04430037376373207726310373989007644092033544237570081674267031086936365245298\
98666728658311517079771860285875936932536683122278360731370064370902867783633\
92583461931588428176492434888985989817004992698723777096317107003592910156146\
64102412781624844974109178277707381985945631168961755909557077557217138338239\
56730384858313484410039373949474956088011961262900970762035726201811226167011\
28388814911552337729560469761174785361312928646508971349622762373165868979815\
08246802181710965557146062183617758961802796539856896398290571666018353857889\
87300886490705199517258496372454263652145371675265902973273200835086887744605\
05711915277891047818270732189831073417050979667782706753694424424672627130835\
06537916826140546190342352933139133455087562966199476716335973849921632902215\
41940993290908513147287217174478736061352868963118147500078344477266661265084\
35591400435068118887956894742724376186654675595060312254263062613232599340369\
01421754973382786985193081291286946922370442956007800893407402308038074371577\
00992943124404950377035847299437139728103877633267049411187981765789721190250\
68248938529834148530745406095277274259185815571375888309187934308060592299504\
62734537180543452118776319476612105859996286924905830341118014632544347375523\
33538132539694520187735101120658097211782306422911508563770303919488534117916\
70386463761654092889148298725697875267069859062844378344728681422984355501371\
85489203825772943089947362079435585488160599001440355833055101022876164178999\
88049053862549849784702051366633585643431406659524219417074065076232984127586\
12776128419098147259983453864608736814013831634189251727728578670309452345322\
74497742874178429854232597275762962185409180628456305138436746110891116842215\
90595008397564686797563950634075503018615386268434978221164520993696449866688\
42708637601243903863578174894664228988740384154768648770604483009007671981969\
69933463452038510828373813855981647217732716595935578436751155001108956215573\
93000737393337013946619074210309222715638749875230277603394074872175063892787\
05438166536257123120505396359942483880679720866958033300900151043452707929374\
08234819541086662565075622730609527385458551274056007684936669275728424249852\
89471394794047639824405621979828191287486666060315015633903553340321941599907\
53678649685846060614756680900616215389445433081248222481453085337993405843761\
24462198309193634605053958813812031752759799656051088185744511070228767168264\
47151790001950387506498122302029131548736601998545071528052673528756358227240\
46831374623444333713518965469082649609003194112995907683076459757808846916762\
64902445213311682008637974221174707920093347041380140870229198175041581303231\
80683275931068331985503026869187506806647353693181565623995844683113647564266\
60868919720914021559483516956649772917348079769298714542915081850245936411067\
90664483290655463218148787472099247994618726554941152760075621926040843322895\
44902930986575813783627554075282154134848519410824373186229229883170322148701\
58931865425209560869245782382705854988903160748561316631602444402176330002840\
89213346942472145491493070174638485828991628925347759301612957887488568158435\
42411741297121590954824497962109373600632486052451105528722309594559921110187\
51039187809034302266704715439885212028464987721937190184549624251915066327429\
41681180347143191078122720376692644148437306894004917657489888777745293768833\
20257289179095942082907166161457753257884641799388788893503824480202087661946\
57514541427662315370709580049393118856933643736096755921902373588590491864990\
93037760361595993954849065141372622401579805001680799195051537888176506658394\
81817977105950876036063773391767592411905220484282378623482327695014589204066\
12062765353727249328159493276802025561796262325731487016689367240018704043054\
61972654042583895563079804869588060485611943376718680108657021410297741242926\
00539616397730527010720285408687422373814443457675343882878532213306073936399\
54190094373217620319228305842583726151429887171285213645360318577847222655661\
83535636480477520624652572438623283653183135736569786529189261321560683997147\
82431854523368922180622822868185372693912054854326251880243827326906336179147\
27040001921581115989655449032183948467901316716200385507115529815757112858162\
57743784245996361702232988159152133845634463295967419303679227283357901552664\
652798072019226904849631409888388589024543762207032037
1
result=O: not congruent.

code version 3.3a
start=Tue 5 Mar 2024 09:03:39
end  =Tue 5 Mar 2024 11:38:31
elapsed(sec)=9292.029708