n97-L5-f6413-r2-t6411-ver3.3a.txt
p=605953832780258125603842708290678025069346692802585861589076183685444068983246865598534215429357666669214636652879607175949463240617554258536925080717573385470784790471743713889173509182796930970975211723651286392511959865493948692104991479636167467551094489478120849198988062175559007946177661925770972047507621988927043820129798740788640319273836834332091221929549273935656622112463524981496426581079597953437397435179989879544717624209710986541123862767028462661834196328693832565269218731839502705416853079897201809229986044441528231051390493268289988248950943939500484119181846341865045097103266559168825128023110556704176162842360519250019122195756173614775821460745668942702243143710176420366316988682040450680422031852460543483151785054790775725578849873206279136676054797400784731519969489950440715830278452480191441187935362907770392070974516052709881807309750262790537523996308236411248141160993238394959545680856568708368162677894333847227788740444996010944822902715591123245724641315524805296587131023967000720981261998395283999779155259224933345857662566648856988473015085069350955644243375706965954397236239332483918271857125610392503559325947546333506105158307852689775539474092455653195040697399157812372061218796781464810926173862309669608701506359914242860165656515830404064186904260650839536353385109763238569248011184792963270978199405055580528752376015821462322710209842279322356082989715318749494282472071609342542911127642593680369572736060870962438687587677943745222936458524453472860313416398066674632959769530442414509056885611341548086808754533883414207826773298965033425847806218647955249328559257579068625426734120836066443321842402106508373546897046924578303080665839623457904640457414672190026241015687283535382902441896681250875611675912010953280969078366918582309888337467873196131157475049671372908163568465487940580245023513883168165029298864621331310042197157085878179290094968976274063287679983504802024085763915370318656244621474782426470847956995436192675757245039904263712004997010073347285346783939095158378105667056812931859951641733465550086703891035366987939936297329457718241268637154485736541278498510888206392123547554216642591595999830293240679381145615646337968083329250086613941197505501937329810784830140415210168421018619692020484683517602236420792846347877906303307385370819108899618265166065693867528662214775563898335326203900401474391099639912477930445477183914337028432596830076893172022807453834488932278928135888863809303134044459645324563332535230634147196715537451075558450541383533981464604088361760787408577839650108796561591730209678313768728266886116089030240890155213098821600012284857856891992863204401306271472604724259963001132217090507202714907217304380989950082347683749890938516712891160176269439096934126375512515794558199015700291816725462902886058318048833439288737357546694867722342242037451671616051227585896624822349109154077472030483316299724921235136370443306202542653857096786967126192711696958739254297473022285096687273396169916298420549071831013699045800643948984735602557145993774120913539197999315920737837375654011624189475614393400361152860870846237270989169626815701604986933313941082676205413803945429772626335595241674923967345115546015409546014950485629305277547830784757704572708381376197576613304063459102426169284109696039629874892889257563248242704987540665597035226224539318564202668162535718170402052540288426907558755093347158198971216692026664779671191772602270309036717631734945289101045152078884173754411116422065486564081648028927213040319385341672593753491594759953642403049809028577658204927188676912632501824962300624025757893391545927512248778376007613739095163318801506404965623689669393833543499712163947726346921701120386732598341722364921744445921066888771193823472925950147710840709216429323261477133698077724799043859804331345872476138412770084327555222066595966418381356930410449808923113830824829382840817337439452071967525124250526375871054588627310680224035196192888754375004290654121753976671526428378570668115563982448103017854175590993422846360167139457245978858183500203337676971236947399824564157941884653737530549223050214873916792816283199775921025054664528911463113173261163969407114237574495786015053601395357630141395908407677990557909414962503886366615213498831098631875679951184815965805859826615469064599378973319369719549087759045758639343819805948945685300932683875623345091963792471379880002687528507040586609258547845513476204359903931617736816406251
g=2
*** a(t,u0,r):
72956841466743078322702662078197634218349341813431337735324772515727465905582\
92261806351953769466306697344225300670470398431537417035353272784577971839583\
56106824887727979431522564905056087504889054154915276148816584399678054714225\
29440974148194563093151776533165750243558162685937304556719790495862825034519\
91768746681607594362776839095229444056995485358378312031773258185305730234060\
84077721697603619835935938626511956707814971840019548492027795513130771502269\
04484837237974737440858413935313476125732189110819623097831290319750759999018\
58741538950211458517369365031585828794949429956055142969123329372392654541398\
25110271828100062202065177023023123690433032190089038737785407013500745027052\
41012104565437317670261922812635036249435371474920596809397359693524734036008\
05579699760705448167500432659003306218596552567861504951902741769409555520534\
53317327462697696000939316399807178891555116639142761957835859027531292999751\
30872487526786418477795206225764349577519717756677486957171238785246814389186\
55770909057528562688680614394460679219357341029321068197484126257302452238141\
21510162423498550595669024351187009094272432156310637599315979234912574285428\
44084578554135061060265463848974952680731660644682899966858600609596170743132\
48836323551133302208422088766136573367484036394504450598064932810327298236108\
01769475672154939237374605466490727778257752083686918956617860723049040636543\
09265010430411672391961724377439111609637421764842166499768168279116496557421\
72886387761798555642442692484154960634419813238173533432722762580835625146526\
67068904490276055223896517740458795630706223435051953900244720758687252138120\
19158534612519862501378788148662399775949825213623608175046404449719227690912\
16709066433171871107272653167915941828874893766010145400436042260542364577980\
61187750286770353769973101105558311319328141913599959804332981428936432447480\
45861500831071533447069527583300408289729080537713139732786527434264743397219\
83667001397816369992597541058636621185242556380414709009402225051759816117230\
28044733509254016400128310131557527862670570687239223136402769959381776647092\
52230439148480658185347968330198466709276248743913400082679569931220710940049\
61167512552768376802815837956730617779748993212381909135723284171042831852017\
96624332545092184935489059913042778906418109192663558955193092650634587002844\
99918918209198646620711514039125994309541650450930658977893359573274949608337\
51668839664546234282563545294328617822328465834125793791154601744167246744638\
29475610192026400973389529412970774252372417683513224845507091094972374451825\
77491368338332238755998803992771893873099106015644317245268977754883333088377\
11924100317468765709812064147909688596979594072980991727508530160880089954533\
63189376970672068748289634474711899899146611234868689974122320956852228404672\
70868815611706901664807161490315134733745733507481421493079546090363977848622\
06207377000594130918126257256780134195362861083274215092763247019128248688051\
67104190013740667861355243944531508419936024883138322062174157518831256411477\
16898857922329834108248454049365114397531457762166547880377650404157990119439\
11763685683562002874299955241286397296540348280444884988696742709602306861047\
32404267709985063542151318219950297446242108056670976608456683519117402553093\
40200038469768355416758826484827630554089117694188224241809240475932110781806\
80740317143693710386661061508842168049989613788304123743453395513000124676930\
04677164071258507265996700741132389978471561344897200104394724114894213133452\
08020802860887412807765836310297654520031098417216684582315430422682836450054\
45399513738028792038800909841854532719700704075004787323351670028095321972546\
09951327012503643421296724747529164713166941870576635837013711578610922361950\
17558637365344539306252169372814894562604840343372736578031288896453408051736\
34614028439778438522138965809052068184689724855806580488072044149404304612706\
48975181530376487368181543567731153744214181569943429052313094576940344074277\
10029464890024959763375654874972470728205898973837621623806026750516594756259\
17879125178197677990844111390348675160334964274115560811070176412359065241585\
45252934244818563073369284669388775246162029123099986781264552458708195818550\
80497253020891416581609280940158826060644141916616554203969292636212453608001\
05866902406737228443006317229356148546791854047170525926427527783186612265184\
22830255231245024753777652283876521142337101661891093401769959046362530605102\
32295138625050749072440613554137552323578432247686627754729160599822535004932\
4333667755126953126204
0
*** a(t,u0+1l^(t-1),r):
73986962982469517136229194682291786860967231191195733700026202027992720822854\
44228958102770392457110031110713531660003618342946167940337496735855235561571\
03659828229165999074658680854712195052715560733514578220685257102995768111353\
06019459663576047787988637165278555687196442391635754870228292521136635687000\
68064484799205043784842625029298298333547747194833819759796634754367355993179\
64002407136855498189101147062268354767642924100219160057114566712236438541752\
91009955371733516956219371607157603280331397761055448340906981296026310597011\
37477922805820756519691025501300911095210343834172200635630884687451354813162\
17989735799094830522194004273348201018287983641278003570461779039438878470125\
40926727304318077139028079530089185432359292832955189953716093177569518486682\
58814629076263581571858827472294881140287699904783137496904690781103876487186\
59884100358765686725205070867246316799492356658133980357572744080245605276325\
87039291752662970898162746513005208334012936362876421573676148302978704625578\
72671328869802637078803181209000406417637303485715136436152922059938782543829\
25551418869677516841621161738205430319025448224962864209937550370289246845936\
98195407321095439829388813421593369786688835255114469152437168890628674815087\
01685341408582858801065922245392654552905322622666058289233623722101022546750\
73887483219020914293051821656632208153864381473572863825606651115318005496029\
16621742305259677733044240419313251889839943500724489448685160688373124831073\
03234451376375445547693129172054158583576903624426814220394097268438785966701\
88115558457331448030213993489285871648747756490198036305812960171392969153359\
43017085350404279164604236154083712729596957297204672410076129429491010806149\
29901802421015659985033147440220402801541731967025238815558478073191218562885\
65373956063244686007589000373660048273172476143277035648746320867717096360775\
44847917371045134832950077391370264552956152272880185725691320595712003063127\
42572598593632714087177406671590792746828207093427209053554914275912570995961\
93723105992358101349299557035408423189635188379667019476368589801000954556561\
43665586545095418309227466221903926787397258900596562708431690104668179450000\
47828515636985206043387157927880468695243787967041786590297450143557556222021\
54217865479698968277601446971615642063734643957011798574992330669788065390758\
92359633831753777013196643390176776621221225249656424096351986743329496239020\
02315326603331355530739276415594055117162007295238865630398479011319109863125\
71253920302711159126668285226941291829025516604293727189671227763256868111029\
29499136828159188970992142587354221278284060170350258601722111161721386794774\
47059241268795151936611736149998114432651232859725739949574680503683214148243\
82437067509294514901712328649188729050546521858616835928906440106575224985137\
35656830450078178515556099817005630822179020442387720633762562937154831356451\
44334889798775277284910431985488823797789080882622771285933492201292019641288\
28101508311276873304580359515176886861081300981986620629497214560210103055160\
81672346780037149041670566772653492258626171036217072227525839820163543136075\
71647392208994356735481931353497251743418409676431233032557078777761143419716\
59689045576322061947646810254617369752376755761790085082164128386081684815055\
68425454295338174388590138818915728327693366033724104484426148356406235269589\
79388643880772442177834847261043427897871526939800112201625079668914578264561\
11886060906151692169254129239968976880160943855580964557695978525154347372047\
33383222834836819799237613068831757615413597315134195909474369224332012712222\
99695021822369730132372019033973741238168238933206682160973745103242847282789\
69061935450387831077577492455758397105296375435194412256639320463026525086329\
87075661314855218017386959139706799220050257524300756944996846962267118962765\
84604425851303549365059532602037022635802453529019796325528210885733102933650\
01992272963944926143313674996843636812031159216695121987437116676448637969013\
57097987234817670989270493855765271394634055354697455151716909188023888868266\
16055159337690502347857691036225691337847999483966029692954057640772772973401\
85842053748275303581880312775185792836847041162213524800601344312361052404028\
68178692639957159174538980089646118455188120664608648407845935472438044730373\
16664026444041657748264712073956692172452536371756820727714295202052203966602\
94248954848297487727875841726422950427569436153794871298638803983063662681752\
43880701213610435728779060755483348328147230709655624990468691937195444552344\
2700505256652832032471
1
result=O: not congruent.

code version 3.3a
start=Tue 5 Mar 2024 00:03:50
end  =Tue 5 Mar 2024 00:49:05
elapsed(sec)=2714.526971