n79-L5-f13845-r2-t13843-ver3.3a.txt
p=27438926675615436155984950771892654965349361557297254784678850305203770322572693697751465593759523431610540237592316320421085686762477115962053161092059916142346455967742279395916651283182488735727635005074445221894992502697325442513822414335228270725306806517067180909033554377089316278575328207845037404823686123571275440435002872265001429051017240421479174010528170699313115430316789049951997033566292423834275565013626865693016075607682511144640397633054510581881089178957088576030013436272933133430907111197747424098070495121151412830433183162826285943924604238482309958988132583289121709716350426161689902206784945048791852461718235457941852191592737693417899769479968762678217120566832547215117170597480316617263181003221710346729091205811009863227668616931845285050150484461190264254045935703086489909428723384720699314235248316308867403309951719347327007044086404795147234001676971931282628619501066125592385749055337173004209655137484562003135303682374500165715853573976649486735440076562742659698620961797332133090111724898110308731580379170587622559244043242113698071167505330188760744703114389103968362931946295294866264439431303868982069314436463690906306093450238578075781280561009585085288435439674732623213264015684480968012479475851678309644897458505533872515875506270858765807914589349192318407475983547305719004352886452917120430465446510747421257207883915420761711784988070221090043206251917955039146039782499265903478045829768864272161701196376465962464819870182711943948541374415961365702476578511176521547781846387067258622447155824426100331243553234135798985417597609542560792358482794808618448515469770999059498518202674535489361359139868612483326206232897617151953563249150116089156068041267756140337121458684140888082509001038995305487924956082590510292039830483615025195995872687260708012421422759247764477168888744026275804252659014197305095287463083927937423252098712024331272585154845286348557569116351146638761847720878739162261953416675919368359301096330231373271145597196505660915798847785148489801075302924910036683203099857719510125479602180769227005338583702569481834276360274777279260041373720926470896903723807695605140921327498502455340371846782264009259587821780097135253239466390492165935222537966272733630213327820086322357124114752470340154022871026073380197064647587602334040985158463152339121353730930889443720437818841676620287701414866243212053212674041068084845324236287837713717850694907556873390957887101864706596019666104591133060023446983014472371038101244443263221768265815069481157998343548519031237270095440144933240609182417928839362424744288664224526965975804667698623003684617313609317210427201450244693430482795681976983666688644677012013012696199460878290591059367560015868820812452289847603144808672304859829057367411530815134037000202335236864103217794520348579211194566064341702362011641721014231541003310008185255106089407348359556928207900912755262015353341710307571869778564971993503291314233930877466427985103045943905743511730466133787175954802884683416906850125690353820959211043678858855787483024591079238832096702568762126635784324027288808397063624529875221428959432810255254863408400777124596762230643474661089464233580164746700401723947348818492699084893128689453908075762856703200821879085426954437993129486385974748058861574629631186954533178914186912420668486050641689179852438581679784628645720625129672612264379036936317962345353084626840888049218011061140103518375187002593337781951368276191104555344836069785099376787816138480534749851879894919523706722267339379359157787722000697692485864607429259309939728299356214991751498553958963999781317143034517331290193837138824819483675200397315467710752362699005199629401901220511956970629104748164348874804406465399798654678384695123092768639160406035415264286290116904195581293030148710426932747208745724590117491082097609378792797896724694249554955226269160743868525156206925503357018432343308148877767154960119131908874742144843426285807053539812078675831088453207696768459226850254634322548886744331397364499629490623954795536690067682924141396864780738194093725567453968790876547968904644684728510470615186734873694777677057675523037520779496918513494528410015143450306808419596482437979622236396390270896760772710730686506584256638549987782705976908951562612568300221589257771850671503954411321758554742973359521556937716464569395245321000065649224315251879510202643618661331470727274845560576496206670918437479871694778831608075348641556590301509551842257371918748189832770383267417002404335326262061278499726372127750180140089479079059197888750923233734585407760475464567013818481016183620391176420689645610414113427177393752355573620009767071009051050005865785383752368534403638683213059090724410128149105700753924756791642021904818010077137641829537662882161837492171630538832077401677001028263428291921368743069163372508023563069668189888811970336080719873992647558704150889117794231752301945855298435039593591861227141530153126250519670014749699977061212745098266951434467075602502582758658647843735806378505160564831373801695008179618095314112123190127515837538482855231708705434926133361321892673403473525623614072948222421051125726723996835327354279217410881463230785622836968867601852918868834362522036627415072002476177397016214288794308572038364812808041027606682977299031184540203721697466177993923603471700350087936379093150838862942627514177992226407072937163132749819674212254917259096639221730990600258314647020700850158251861903333661305114719621643722474172061949830873068010747328216085097830967356762854972597850751389288450532882789192227853290457951902760124812870285362426410319528390771220653524580530588920889933284996131314822564416844923586680709437163032979620402783172506552844605222180207133921301685430968475796931516956475165453693081096111123753836200784714902291202973852955706400158948033391565783638914777537477739828936556580703848033205719344346757577539952538168874892136700953170776147520374254548322571149704784307703009748353985143619387705673183285070940058338884289726382945350491696699344996328373130806365344575028893917227429550510629965384728974095468281925571546828282829524080858528701326264755757319417517083139806819249262375280746694810990648871478905157608732563196329605784656389385911796934366373043615065260291020109847004391422063072926874315058594008929748989615295046214329304863065842323973564936402305546200847219625997768659327812794455099028732776075791822344758968533974141223071538900259612873860913018218886846100795624141892981007675209949551335389849932834765878846179527556453638434023554869170882008325582222347739306422925790557185435919522901961518521869616980022797060410928253066956771038380652736312853527839865080690414036385654033752264517345575404611325410909701353484038864991861423225030947267894907157289965703532749507292228666777808275077813886922614781171043628481341596822332764220141906272559256174644369660316813616814325644285719693651016863002172100819252853431126038077540854486067277303989750201552378777727754910537212737414565112792019305937097591681190236458540340701462047003435936095339633449870456690069539464522391950755708524076674619447857080609282866915012801865595378565661578650758558176541428334705380257642934484001305426879150099963254551366178891742874516707919160987257233311674484789032580008067879891366642232002810654476324345468108006901783778943617887928110177751416883313844731709426282854341954826376638745351265227801772689507237449458687821910858924157241179177810226564585350433844616620527248358229726402912115844069519318159850230474394133440339998288236820933929722516293705075948835827660966467204912573973081361283597295629846790606025930920320879974692462461629673421570198417692864856023990598700233060707445126363424046618793504779394206738790931357316858927304809597933310397660916961066589725702078526716588829805851692532146080167092166374863264951435220980189712530103523795761840573969118159353575866454165221491315217108099452966202418385710200186255462869367603902270274747652657632880557297464003526218767657668076924721540572228651108379936019558374740451399702662738735669269313434832912747162555846534486364414026393586572383565657046718835632301961748271306677642056365132538918098213960710796649107329058911199161402126438014869835085170865848266078593722719104616501999298914267709004620825967180186367346829671610559796621728119783553887885496545378618838150748309895512157421217847383339148215872805080151764061408394364597604675751435171410675834283011197694193546927417742401482778611071252749328267733952403338409619262440128497004732066346974199788767139486780845189128150195290794470389986567808110577685830992966119452308936772267293237113366891818547056319434540739504408372418199360597436813492511744090261821884725201574554400354600105318988193586119466524165482600209802504120858848068711281943825438936846374784627128651966996386313867728702688048467675452521562145631503304425369282519498045028712210299144375159075822530989081079527271650908101745232163462082305229893796189911923109416134667903114800039672104338979074731789144574199647331473652978693310985564793999619228418280344177878287930146791864637702311000133465363945343262948227522911505977539809985795935399705433032615738088497029737569422808819774341177842093618360121729201131674462888286679661635643553255248424926047162635579919157506202665701646662464695680572007753659213647483472841102036653504630868053857787908729939764918095793279537477047582737840206759186519414243222196579881490589821292947751446326200191037560169619167576137193993824966808829102704884813065725235493993658386635559054411714896559715270996093751
g=7
*** a(t,u0,r):
26670636728698203943617372150279660626319579433692931650707842496658064753540\
65827421442455713425677552544511093973146344929528753312775671511567258148223\
84903607552006454955728309850472533790511272612249323607556819327126218003301\
23435386733841879144998215934589299843580614854530815422775219018025376357488\
62291211127972810282279184158138903758875768967775713823338191973234819826791\
89565533411166264362359669158491932453134536116254906674008325904664993289842\
85588418681946290095901173060057291005694841712084210496223324521257759173271\
18105403426714993749471531980480528013646487095702630184429261422916258494499\
49665874256805927901248651194803302281410380021985759345296373232270411909612\
35893093889820750867751979811935131502457020676652048301587057293895657753617\
06874627089627693685493264950340006819196471912994851973343666136345221911601\
72730712056018508468519854608831114496300167172067150181550362740757989480817\
87732160091784793634994267047515179268014161075809673905303301106847754418985\
86522705957486700683336358859660096322008709612855381116912758521003133451452\
51748151809434754438514271862090572487698517990266100090351272273606505713736\
32242707560929522833631897889659404705301316702900359247363840109763292623245\
31550090813005052783131697484032966737892408543099209527472036529298084741493\
34920666560079811588722310056322354410584124140084464934620060631657889803838\
55008404254899521996476864252298049950668589286458180660546535336072541173562\
87792491551580491381759600951798221593231444746280723431286357894444395468822\
93753810186354613421695219687337435799966138259048764753690901724452765539771\
31957036617411085832559692999648495659241083952291333793072458376483871698863\
47817391283865969813611225896840768205784098494321619874900990343693426305731\
22779760038627152300738044905079882520174081880736229219888270718081598591935\
40081733584561799780552619414117577955175401039948087649996952770509618330797\
95718109331453287651598469413446571861872100899362604524066563298489481955352\
04750035024101564800471643320866451944430125556560734130617033638419661733197\
07688649189103358897536342916622187083515440760215256740529711790419541080128\
19697553032854438659084143507236061700031936277025441546614876133155838528903\
63069032170970885673546411239053311246395394011706297102306373433255515468374\
55149468687837574026184073625955826464824539296265559914109674919645775249988\
40211572271916791817846965515767177825773375087545014528093601106626301249481\
13311154536625813343427904674900671446490344095988518515587543722475356855743\
89929160498362626532767820875109872125310226831860276851448581626240210928482\
13700306155958144802882825632853523980963784201442927740288162812402136262605\
56766483407058759736984545097052683354244938297036257318702567540294803237538\
43761124007952310283964196669850231908327696273778818993281118214540134695875\
31575282583305785521732795606796311890394260548933421807968719811467892344814\
24189598574247651527776851991574353808128973680015201606574763826934020130820\
41135028068403912281233458322171023913972353134455850807825433499902529020144\
79799489683678708998236295452472176194584304303871522894856869156810772723296\
55553651080528881854573705789592350399201337927904756768230515749035105161210\
86149198649641496715511198866471034999713729321860767167455113213450540001513\
71980624990458967887288976844122372188281657030139275065904364044762604177912\
09764239021010593996831982572893431838399067514281806198606817665207243240567\
29964457753627795180659831116594237757286603079776856027257861777042934043853\
87673710136966578467815709626039842124004926141590697424097198245659444811300\
77874402630295508460140684096989377245381322947861906346148512965434330540397\
78647986337622175451489815215747106309883084368604292347389923659646171117263\
91466642363688627399363087810501682530454653497863028690084430159420133179887\
63161865995556164028105674164799336242430402064518331315892630219162376955207\
09189674621235796215426249364787810349804456040697340472907817976517881258942\
36849844750456151751791549011823829363986488648406126166274578780226543775256\
68775246591012515652576647320046257753146335561121774379615062972313239021000\
60608392470197671004795116681614534719433698217783847780929716192813777291343\
31165147107483022728439989745267058812479020955550091885941638781538475855423\
88527018436878047493152101701054549533434604035614521784520120638110460344248\
26883916969597338814189546911149884880354312884132721230435287325024323049238\
87959300577306728439067416550502324051745281253592932633701393712672356270173\
40337081731750961669736648455403478658973831900170163431821515591374315635477\
30479020223480910335533322518251216426727289617558649493593020797620605701543\
39300730221544033680008309343618412664456093074113281486360147604529148310579\
49777878583106083214613060423908248837447792344300449994720522997475704182632\
26798077798903303717480571925235166670459717520853427060434664222495993263237\
49137135007885848497128911278156730883871550511925433670837770349878823551547\
67943019974856325104414162057041112037999070160690160953352475479505887886453\
16983740803945394087405335285220861682748201627204879678548176266906152878905\
67219326169420637572492393818835939932337678226032362539753373930900103714050\
70003714196018474499864068444298997602887080679320212905980494158788336958539\
34658311373078017489937125010093742574492740285474160478542615374780233943781\
00844406767489492256503282472333431177957584193332352252286345108183690412122\
63538208097700403187885715074722376982448952442152356086221064464030260347150\
91700270773495033365110930350388373917962071094845473398325129249482841318109\
91737227847083058159582962647522589227573243110501515301623963800753261317326\
57262536495729224680561910315052436763693649562759591613341715052382389013584\
74617434481693860820989674825420012288728787162742885027049290585072946620954\
49748845660194169702516376642836311372633299644414028827595920270504836536883\
38671001463951568733264819944153898037754209695391575130503470873254754000735\
59598044849914334153088953736705395529614044222880677929191763336431178683143\
78711492692808488754506152309633232635395656282079517003165554351709091029740\
65944898976891293425961144738266048118922283102830287728857873562829107030774\
95813195688051426832376822686010483106266620204114598393843433002871546771288\
26846224530688492183423695337667971601790606678492032808432689999873890230511\
81830409909072234974764698311368666340362103562559282583456696513191057174150\
22865268825535811052343713392807453708758014409973346665919977539460304070963\
89799893413471539243423848650078487293655787089533283409731209246592012200260\
58430838684215842437137762607065960032572677045821587427194222619810819814493\
05994459696093629060348858431082443366855720807201110859899293282208299404229\
71558648577677208930337473008074439384975688584666383383252108804626410802964\
33756350980887815672982544068838640321113074468219779328969275970017543273098\
27942835543524526245719542228788390838111281996313773535054509011369710560457\
39353947803719590891217195137777304217078076695728963384276537085885911411690\
98377012111618211096873397298846701237132740839027475923595157649761345486854\
02527730103317082352222946641392443413358707965823054448537318547598268341333\
62961042893231844926887492653389716428342392792588277407403024009742447961403\
07789475992149396677678419792544083762495067319561509872637950009827085338331\
33196587066123092774377210581057079221562346934420380091238092860481429801423\
32305420103480087384456289735487428083842616083154022077696062169696735515248\
54041992940636305766004355727772513744240211110977040104783361661899477796902\
85837481333822268424486459406123175021901835083167656571352211080469057204854\
55189533540107351270404256576623286199746464005531886193662653500763666282524\
81733134672866455711689501047852793119868773402749291911777065264112861567252\
13382420327968524342571287845141245989922413585716367093532795034792744400579\
26062512948050903789798285089167574219344859528955839102907266828314875067091\
03145810403099090253109930067070547183832191599016931350114274846421632533707\
70829337436206248877345297811010740247718760510988182051070529772658657591190\
24200428283152074621043365456614835682581864941070823459750681931971009066807\
87869088278283914639698108943429323238452616855848828668977504534797027860816\
04514628393098482969687239943318544668213152491442840099141149061118440805464\
12231631973242961437902470264210801751068252735721843781701342374765660565206\
58283665379075146676889593223888717448303949866111769109230868841587561276134\
50045614241260809961257672347076237401736044934149923091804899088599568489258\
92219468165958115098152383256198982265222521906694390948348151062772516306810\
76442865426438090264741926188476277387424903735987982849379904897785007085827\
14721415255734490871952895930466877144671302370056524165708121461488849087403\
92803400547480032278736604939832664661467629065756904971192048749707943229901\
27831105805398509584055538212119014589426089520997679082684107683326546216995\
00121386809300508044682674896365662885144000683456769896594389262352482897201\
82758563856128541748766063929904852612205720619239069528989827796897976762989\
00225684945408976958681026816924278466462921297283337548736515856771522699838\
10168695306193649208513680907702497422019112904917478970172820659624862514997\
04603832078349998757792741465263110984553376410146902811784208178368142109602\
89910620005559156842015159915365567556653539356015511796272065012037483497698\
47285501451500389111067710427690250421180680969929296870644411975075644808853\
30629674521440582906658568850848486983088400535256199786773818188782914803829\
9884928900161835951809763400888186879456043243408203125972
0
*** a(t,u0+1l^(t-1),r):
26423686388617665018213507593332626731631435179677256357645732843911230820637\
50403093466136679042106464095024880140061656550551635226546267145719413165369\
92450796370969358150582677351857047366525057125098866907486848777800975244011\
40810985004824824708470454675935695215399312865137011576268041064154771020845\
20973699913824913890776599119637617612960252588444457213862838343853015939506\
78551037731433243396041524073691081226716623744808101982582322887029206314936\
90351488879335676298716902939130834607493963548083430769406441886801668810555\
70715538580171336399939388165846449050557167770742420645684546039370737582513\
39020819865539206346607459980036605038063987614374780092099184591230871058597\
42968157835285373544902424443306102507063900114831196002498288244878105367009\
50329491653612622447664623608207228978277986061948603343960854412860543930938\
74835057314759077834552078177267863436149239698251713605795266789454674763402\
89697603053897897397633209019297446126643659584366991739513455726228793729921\
18128977198621083084416577759107688022730851190514127588052455201364215549124\
25343076329717765971490991567071215335034642823689562126551723456258297327498\
02314534342772767992579750686977373180252230437132763328406767516154373247104\
15517219601773524516621218803625254082911923278811253883699147302174954327220\
26263993721560554074011918296541591869745382249898497666706911922105501935284\
48943511622909711607620596990702697636310546793065049358134067416294091718252\
11053672185362153498595160202244534356257079517148494510626299025051391807074\
57700534166110589223346189875417644727744229571464979894860430412189314006995\
65920397389472094297073029175577676254988851693473821443136602280405317331281\
40893156179385729352374084916314464796471282767522345616800055247918487173270\
75346614112343567557212692637440253978320618159618301171555971915136398604973\
03599495310630672004806761826949822603738591771059679431015499504116010753660\
93905904615421312765935520622581325826114025891035173000695576601281246011321\
01002349514619142904170979956784355167166883653259245851629838882508368569000\
80765606141056105574411006408134944610519927419842893252191473718286026810867\
75070723838105786449277808845132024091698307237423354124886960613404395579561\
93040615206424858954346907431284299105225066289375683240247981086651297732556\
26861047681468707600015702573863642886446534302781619544534585337056462516192\
21320724380510154856570604723954518771831029021919597726907549244527909571245\
19669384587212611368025794446429368933096914983988624825628399799119103551524\
04837223827081491101908859570710706642668465472306015028749983648219468234699\
89499377395254828647300577247364139499658563977355493224174383527102116482396\
25685312264400808257938391901709602952816744423915551232418284507514295800153\
82244817304174974077631194848833100131398736123095681780380367119961059374617\
21097733670497398618753788240066716409927647025332186420857898331732078526806\
70261917105967580680297436695356072754350001701496542332439812310017964388868\
37050444475177950130481296671039810729583720235062741078123346152681209306995\
30912457371792795026030403827912248637227042226983823608793379627581043346228\
99483709866820281096660986291540569376986510724868601612969122084692187520829\
27944113476959631005182391469559266157123787383695389693682380683696368334833\
03721545129436199666110375206676794668019789835415763259738582896199987472561\
05970125696741977385750204956477751913969446518779196881953050834973842840191\
67649972033686797077135203050699846666941356754964107360338807501329573543447\
82232286894957628667187786388761695437671547195835228003503705669310746248233\
17894084087422401900324566651646883011627792179826147954054545252791420072431\
14030875353014562715827872482267966436643426180006104455284461403538336199511\
47101210489950769738257874034478518803320814113623556202213278028314391205999\
78317774643745458805623214218828972017963453897254272692597328087503466057473\
69289770226594724028246376685484219513232192558839031764825338180439011988026\
23545679521285261457793479113566201314319947086846810183253517865594816518078\
38508809122577214581719456141156940551728313935555832024248256833680709030065\
41528685132510655532528495230858844583142645456508071412587774376213649723830\
87358062412043365110584063914292363823474585576332035479590327311339045523429\
21966583080981028534882174833452192593310209553803276212441230632202030155875\
59968325145804770862206310365676274835165847024094455293116442072014838576560\
74181899646035369842409384915775450680895787908652257331537491919036501119523\
64963590234234749061683531340075668671390740864057476733378723780343071972185\
84826436702893124128722828791230371830183518417396069405689381716161155648751\
32455353089863070405193417590436760695340758878982602954079035126709433974370\
42835490818447693555218495049612802088952905378149519902176814451202780995756\
04327725226691236090466862925927433645733238654919599032097306220435845177466\
77385865239294312862896236173729353746057925044222420396107790994787352963107\
42313917938052099871965882778735175815425004696239326129710322928769722257874\
89974632092797751549558989588135483333833866426952982644487545005175540352249\
13819147223407483520895242024217088636667884909124655479200101950058436087068\
74911087212722007143383845588333266143601089191548729453147341435095852357071\
38967030712216183994659929408148430143247437134682733066704257825013750296153\
40651403001123848809683807634626640148532051006357052694394804875700508093491\
87023965430129103158368254749956429047426276956576871307644943496770720899492\
11221564562629338611730273587884777863166125992115422718711007682358000194794\
08480401663313770584031268548934417105095713081700575345127445617412953342166\
14139735231879880007593744478801951238103893548289595394699662135230700226421\
92445050829085584331906437095555012174944261355680450906428463820396345263353\
06695615607784964427493076859106345526590398721780565597710772860592754717097\
42942566265211276430179034574300621204071300346360171657072883179983876648876\
93305470360563275503523315276180345571006506776372523503921469231464223324966\
52982682575282484229001465714173665666549400205393595549432539959563636483168\
98667631393771929597942985990689510636339669370396673953590671029839948632341\
85666777209458358065410370624102978633060447794817241001307845660252365782665\
22893944673922857996540142603059934827699952912950439912058313240615798654303\
37554202409914158724998358512189326837210602603646696633609875249180028866982\
17097997817891960950007197528059236544788032795066186048642940710391227181417\
93598042548531987954132887088503686485381196468333901155937401753568012087295\
20852775363065695747905005545889423365604411517619535691757239077034793705099\
60568585069277947309790072704868717039384834503430730203789114640706370706042\
40340512942698716255056570480221898279559247023697250203777552241620610702936\
88999347731064780342677150142275319577399064519439966557404745636961825279828\
85091512992195595447148064985929239071091733088940497854174374668671842870082\
78804374212944409494076295182797884733586613022620361871459161742498078898619\
77095743480955079512643088064598120670122252497925369665043350634485777473086\
85837658528286368626739400839157328196568349558732100240680491524009395486321\
28118811014590809325712608462154626461413296563027274838815958972615203072871\
56791425288518383745477693683353860764694187066602607003446857880106464177791\
22704026074770101174614458631232476636177510388731302497800703111773268414373\
10709999546966382871637250015714396342325554823124818169569246779236580556774\
01689752265260043675578389471033879357719468415505030474183515720585593743227\
83190837988138728902037510707918330808736077350916104195691542459353602971476\
26900741562884135054937550497210107623822885635110294654832443746126965668797\
73568938981451025566210894556668970961351469945316428097779129474630335071259\
05851101621228075043103035179908456675200909756218993324148232117803922693166\
48969341531865247273226078745749355939536110829613655407509977320645292890543\
89227793640107432010025578862745819895093004639766774578353957486732543343580\
78506843571056191017369878386834714875054697913664217402449506348837744094975\
51754128021271036893070741702386920537372773599023871390678916358526833056930\
02796226349781285800441644971730903578837314847924302477598083196511870195438\
11880233685754978497745691425324854439803771449855406394519471754996973760969\
08414672417935156239403373317319960994113917062242937820759663278703015559973\
18855112921861487911362837731074933027486320700684808284145397833795083856911\
03285932627915802461616397603121827796164414888463349729843742615556979892136\
15439658275532576995391713040863806503507498555706479921048631145524622637303\
25735061116934033873401723168212608152356154627321427452626387259842553316513\
93288809558922134474990369116295887541479901422185630423433046262771359744002\
03981146838707069016896451190389769618305891759592489184421752002025462274068\
85906743714607782643462431376821616306190662766173626498585180760332781900170\
97342485079584762599824501980658573413985259936387725730885181954367737685190\
69955243820423647843684896671294622495426038020912781848165847909889662163331\
69668039714432967912767313605656461073254931285271454793655622191431045637802\
56370837016321485789916332010408955779222639637279354164893442690554261936154\
48079722522068980250776142007251415512474178480423320378341761806346214867847\
31670706857359535019403908434667738227425265843459812612973249595259358650497\
56106931993616126248928194590396822176540119109096618195916222975306425875437\
99790510868464281213078396917044334325837582011781605344303690242590480407498\
2293401780715893026330043369398481445387005805969238282213
1
result=O: not congruent.

code version 3.3a
start=Wed 3 Apr 2024 11:59:10
end  =Wed 3 Apr 2024 16:33:59
elapsed(sec)=16488.943740