n72-L5-f4685-r2-t4683-ver3.3a.txt
p=6805073281664595321147239832350090731718274818026404838897476923470676796282199182230000448008933265217984417647404395041798839545541381300774453868636953662857176855971979957794454662224032654153076727032575722700511619526914903824504341739930321303220655603349199716006259474623321935702083518345755434261835800363210918960546024759969061345979670899875757672548043213624673456806333467572414333455430938492235643013005184482788503934640266780459612963761369903354220066919250066451888572019434986937691722956031627912719196948185324045627856685730657544131661543216426096167285444352987640187374010807861364381150474306429091001005407558107874039148204169575409799288263263029864808121765425692941074511772323037739141229458378717293715724686708978677362702486352714799935903444316251448170783833376430684529507393104379454670002699545520600708839689338212152164724264237853635040674929527388025635112516838892469748609335748383973241859822678771145291247565754307198173466640770576982184942136775379119679360222013850248029135081351454103818306166952196087802728299302793312213884853179543693600030020239321878874442716779387911176819137406992158007434328810901936002681673899501439817015075191210043754499503480720053213413038254588357534143818681445944001177461854764978857910667927018903510295820285184038386702177800892965857870231978685789217449432658163562539913743977634100026381295905897850843523570090577081760322991553132799231004638586265929585547429725771764026135117900170777715694424077763721452970327743999873996223040216444835494877901443556353500107977806315215061604077269201110174029551594740271676018117295898125974845818031579084838365325260662858752811887849404951655756957721153577826102586723704524460107243423059518896638599820509882478925488200666578156524039935036267890870248439157135984263728896253414442528086920590440635700302292400991298867880029866502679853331430011856751581918873767905161510028153364914363408065625780303709402035085954675317391777465344008385231804447918789902953508492423607759671212935875379487828555207535086187691078064598691350108779658450203133840080771733896243355179195830873670835102742812358913924080873212940226012218578748045308295867421936889475988431426331450487955277587932190545132468684794591324603874620332769457078835821330825887705043428275208871388218215162817273676587445588488126440301031553229687743961946005079089554022022415157936712361209247366322191561472106180272444846696333276018674836793675386698831705178495576531562505638076158814804481798104089390117119826825387659210610232305876667355892271187183115082207489359553140060579400526156299639267553975434432549141047234542822462107013777835433626485801246672937710545414218671952726116021096114019132018461173254695353390526325913789895484631703322010001615904214505668301307603482562636408371128650237520069133522602228457861508345692743967939864214157825606634772605749906087787132522272157805176149968350417858838211802062844172500873332125117178499179954733165873349718813551298720534785308551071155277838364519504084970863172750498544333156111016380050676512426355529392793815885142316417169228771590408624080195504657622854577548047178585978127879032811907822626797312089478369601867587326826658511436107801273465156555175781250001
g=7
*** a(t,u0,r):
61722014664697879562805465279415322936684752599499491888800115695879038542279\
54658282610406344102471552711866806195786302911547467806032839802429658853716\
97221145940836658582171957037863719761731684059141854618048936403891091181776\
88254379581168014220211346322377241424176773434833529956817897511396001788754\
85070929432303497215244457291938640803561506187312209001075194757578825323344\
45508817980044407586121245772821279570232588917306871872196987686895813156250\
23422776006957598102718629348216275331524863927211206865168363116320040889093\
84466013957706392527417019697298469223727898028159789649948227802730257493703\
48019593118553791190465520384175350742118180489668795445477956808738096644124\
11034975545821774969952294010951187494965854001622908450436603679711551219123\
23541864423994840063490900936872422630868263205545672165385692448487787184842\
91759822975842201340490766373324698189216108134093925104705277287547006198866\
75237842637303668591696454287791615421391566287433342431789133228417425180552\
68861549179721366562174962425518785768872163203693425641851637074567467633534\
17799356183384613009522722835706494413911954411890483543737495762814188731274\
29362314880559544322782268478059140326731984275096853310496570130882645656256\
96911640283468443544071471209067957902271835824124975809806145483838308998661\
92281673887526540992003308830040466801082022663542095435122370176578771412872\
39278353866493507150758780721534131566129533386914489025212071977431981340915\
18761274989971704551935454895388134842638531695357844087263807885714574297476\
31546579385425660930561262459793587032790006087489808316540692784480329642942\
64101484323873796002591851569546422299483973500114212128888003822794102911517\
71560653086295088275046158400003685317269784714983639251210037202463408385417\
79800458638796730422107789497701931533431552233772720210890184689937297483697\
55296565801741792076991080731671870889179306269716070207540736848004185074899\
81489595535101977327611115522582735464427645822960890512874342161067015605405\
24663426234244197883220262821223802179013283896919546049957323432317223580780\
45910130545486631502143342423929532599626438927231475306186024194474381877308\
09534929141352004136784993082250924477094624351751696758754721507303682625592\
57543677225449682443514909710869433141571428064182189757050408994705908014847\
43894456144463491139211526752672246648131487587306813530356187793267837734850\
26606734225497974330548248598111616787361254227746255200305507107475953574281\
34893807697186357573584035659689548791412719261373507604502766499088040907683\
62276829306266069040234807014301372917942899667750853795621928491146980349455\
16277223763772815671455719030322070929841730339973131061496496738299222621730\
73235450346469069633546112258723113417541535274074428414200868552520737760380\
74352045609549130630714656251225566411492859963586843112223926136857654307027\
04105000221211280388069543318778921456842241147825217738753415164821622929197\
70084712929476802129382899796625810447099966445829211223748128089875621894298\
14471281949638910279395250502748558215378369993966191902050685728976847021797\
10172592691856705963596770704465159263991007824080990372490495832500622040737\
32272446392910183607879097748216198628276040039512250516206515688122889390170\
5431779269872549775755032896995544433593750907
1
*** a(t,u0+1l^(t-1),r):
61245659534981357890325158491150816585464473362237643550077292311236091166539\
79264007000403208039938696185975882663955537618955590987243170697008481773258\
29657145917037478196201500919600162938873776905432931815043046045757422341344\
20539075659372891728985900430142797444056335271609897421318751665111798908356\
52220326889827064491422283972155211381703809888181905293238892262206111125700\
12081517290010988784464301207871170466603450965354117624010241365166738523291\
30187980602273250598066997148174914882439225506604284651214472772533667916410\
65071017157591789718495388894783486550556899917688876168636609727075227943035\
42687578618190090486680229708663523338375261786881935943693672687832730958888\
31236469670605950907339652271065125408455643441522180380808096264322377174433\
19942313099884626303353705450038787616076556653793941509203002429590968540637\
95572040439093694825183781406827153660743657464922307160126515500322277374840\
21735455759176738404108940307621228091788764783561199766935192839664479230978\
41207711424199812465223226221573216308693436475550256976479022455469372513980\
99249636786158932424002701821538969098699844510144912005913722366629294220669\
08959298117424024135065095512958353135676720890393790495531326480478920717344\
29129521780729436813301349601059715669288480972119601134317013159266238256665\
63454803196002080366927208320878081721029570448939234720628592236957987069002\
37431663153080657591712130815193735842906923978195193079041747276393366269926\
86753194587623521606110153699944124981669987349307673294969599886596600736194\
80035194539011129920071815009718002568369355544366954228099915662659643526624\
45084163055663083133773612362284211763545287927345965728775306990644644564901\
81261949038220043492328051334072014096519080753567006974739838458894231032939\
38059992034087163594153264110178322359524142238583735600662807299827527822853\
13965721302720631608921689810920268798524118679982870106710764237269863911146\
45359025338028422927067259063202273338461831577359207785652599718809607546708\
62400312691091265815764318124698370409164228784153904569968678157756892197025\
81388222150979016926051828204560726945605066190196612762477863037515924685311\
23022531672785891646203410996720873240777466280679743200528389588283698305439\
15974982913897149061922181631513219214348715829949251137095223919774329893453\
90854476879842493963936465355463089287010296393137962709283979067189695657514\
04571180598619820173642143041125088322629689972405324895562245200362026699948\
41680735311430784802894853466064601887840625507426854293332403361829368045110\
54078441428488932895492090752890006203030440684648035739867404235978260545214\
60473540669675340798577890989294226942511088540215896312400051890263837221122\
00564393949087279680475745350441898650261721881661505592922581805147369332241\
09059361685329898090014543137930551014711768431343063727675340157852137680622\
20170342005612075357511123469571145877792742043045971295345174915479008419270\
04494202465853497151537607295439062185655975525078599891260546064926195925984\
92860147469321961688484813067776959640397500545280675536764737768554754486898\
99840499914742045608861183719976453514434296628084775452305894431367761672175\
95419186056911979324246072738031509112953071704036411758088053053264168082859\
4143992660292497021146118640899658203125000900
0
result=O: not congruent.

code version 3.3a
start=Sun 3 Mar 2024 07:56:22
end  =Sun 3 Mar 2024 08:11:39
elapsed(sec)=917.491531