n59-L5-f13256-r2-t13254-ver3.3a.txt
p=4152020466152321579894420587724367303156655786857898200862150582146384818146675055310772607033672590845122747205066228123096252715572249090889243220087075079314261264874303390626295134161915431646219647010500864324874894915691052240064263218661649796650682343496504069865685828141704151623543948747448984460591990995361303652594298902426548348368707341647144002251336138581987273714157473695540700930759130324895364444727761377712787786588201258744323564259395332545851152808205701467789356992258869955220108769113859189983243989565368890209804873294653533243209729462455807033439966848896088330612086052210287581215380293733679706852138212181742805549010335646569099683678985672359089295790862023537832777592264680929365004223195397350100493369152850391515827095815940840000497686771746133062051451648650103783468139757684033969489095987859001168547356808154482256613985298202819291121509079581971130099251582202520394223400185938499378850846582749855956536543931503144114940207578993669886724088886243972166157388551977845000266201734533692269704244075817866276984071958253730317278833835271271254670448396274122017940677177473684017216776562403382443222726611686040613170894212496666050747933869030023767551889107804539780190400141214821251824807559568670828627996126790865035853462899338963901523330683293343820096170981010400885537984005740350578211215475201818451775722415326676143214929855135497097212387247016016468627728314161157022236944161623476712431992090099451872962016986152607940266879816181271896835210490008931475854521020398692748624956960692675326959899044186149836963555803744389402980875821973561658864454113678008270253855655183786820565483015493271417009332688952804873272866270547918469548336242082472654237630588786578250830797438405434018058180301483592699306185635399073655813681994810202634950102641829581012285645617097281688174168735127383622781627236196935593073830673548971677657361673753921258780778094007822917335308159387749125441866167929174367960290626656132599693887089664226662978661292557127641521167736868074443248923155701997876314971677997001090528792743634917179764227859816313348990642876370143140919552490711886080596248062361827944621073314878442979804053330725384078663935461859673372432937626036717662990533604461445773285954108236577137167466220046148427393243029651641267574689045072234108764377720661134214732134331040212813319604968020702450650273091638449924262771799890973311961249252247551503932507407411720852189361327849605129236337013039575096885179964314029832888370565282215182797470241363396601986362682323883373579872993353397165624042669346217458597722078161914070994007995993430120933551464736923980340910536161721491347246637771021029526962140989906810267732440722399502079062881562417409210174579321596467241102467396394043878096795178938098231776778080940668647683403484107997458209355571347628497814434567638526518954443786307109293279953715265635590194733051353056042100603194016513283474378879631285272616006556626026954179409207833005791104652753270492362219074747840231005183847578783712911231033667843204434700530143309937746267543374837243501278515349655516582000571144883240787524806397764383317862195854603595048870483404670846071840343335205915446551759307839300747269385140352775033989124357815409341230748834720944363037332619200372706201501795827730425925208548976801523180967739065646263884889936824220614238256263284975414049655770136179758817330609675820185202780201618207405318210051515205579094665972539539957657333147679634594414409746768290641508472308288637946822587505495129507096300938387816795553881877877279849658383921033439613644507982337591502001761601168020459808868627501808613112541200036713185950046521860445489773968350541360741953651867056535595930525651546791493521221655184512055172096242335067050466206087600978378115683443255550999125805797738773107465318166047076011958220407408011307363295940704337918277046760237592385184355778029194507543394103626132329480523615662298870058144811096106782504399437380649188397026032392919316270289478140345864389017416421336931326038790871779458170320628141818129396870471972526415025335572549113390760405556199321237831865802882148484914880000120118008604139781857368862515476978738242502504270669267722964394969151362554693133029196399113684518714992354616118868971460059655085503978191767861290986149519204000595885329700695066866985822684064784027133234299784810910285912922348005306432451489485102265216934917699245488937898179545992969396063892493774785306512531967044845875254724338199174080497460088500296232666224364063587485715132815308234223645751486772148112252006685591872644694900492251966733035450352458343391167417006243304953902484698403835068499939787748224496844465296551559504485685799076850103773502250508504245674830542424742298568225460717630924307170019995521947130820881680106432992876061819552331608541675633077926047226704209495305839174523678979971740834125040881110930575536055228366297350236158401171248107136730194824096703990930829187841058289177672831843977239753938188301431105830695797610779432936957101001922810899118594894933586143042174929213973351896642865931446620539156974044621657984660013037119100941282643450019863028955590591326641760643569268450949220322085513749723535066980634536055152551378421110071142162467768322387147731563626066166340544525298949677597126640592090440176777391352190009062514368698506442054814839676128151221204433555771110767530701341401107388719898717292544961668327162197298947916895843924074556296948608755426958182798300927830242545888940426816369484278505857437082447552141821209769050612736030665875371431106111593790513701356467336743997798409781959414514854353676190215279956142616179521116590519904232098477693459055667969758053115220764148058770592963977790902861109261476324736179119847729469130177975172622431221170206313420412824118528490924605269422219455512583945234584952707127643723561955396309640842000124948202634726761268192654770917695783595087844823747051753594201468384885521122388596385678747842163840067256373427531807488211770844466205151805419613906021328901870151705682925511698427919534614583902036122963599218967203976467501264490598079405261426603017239229688964058625332508187897318128508071767097949769993947064471546155938037511776946266517244403901839180546194530949717777241840681780399681661896637116119655910811417038638542608883029497362061672404130692504259084320976699722439418202441984616838885644856045015383598311095243597239210192275676860348683618718041409398482903570090496278463114298949828980909988230329260247799066804318889992538044525757612719001749992553997661931008353360788542623211803785678070049182343847970291782497177117962896737063423310208445702008898346744284826055505629114197257793786893330321040880382095992482326651954655184930295395058616021118661732349948950058322614661680896501510961219541787280561515164752486785796621279040010217309749702255808352467997388532663686384794767979794438777931413978123963919923656158142726663692431657185669476872973339962142878766873363404881865950115122212394615278743448354474867292221523109804045548741987694772851258679708527240085699230016949012211027413679735431232746239795232642028760645864777622360665394733647930985990209295521071823298147169132344690790927651514340737345000102352108482530857362893506169053043169461714357036310627202175423777826022716809438047068657924463722042938459005835498353483204757928086931688463026268438457584520964946853846315639356343179519835782144474496128775211796163828478819056057552555148659472504551754376436789940144415682344309092403668321199979742716657685527375892539720321573834494797205399893016208088779382747106301671844603439002426133753845342543242467625314728377694115223089380004917286892530496688235093898087142238452868624542589087790620708084511519343877951535104407217503070826613736711535773009110539284466176602830530891853008433530920825023138247159293459714011365842098745017316725115054811302908758016587355606940414502510088314291405372124044203918277368346444491450902761887418187543004393185344006380577611408556521499711179395598949865134835457364608048406468990934435937481640233762600379056549130999567076067550951941545994354798686437949497229068907825066714444241703620580169727219847803676477339357264178018703472089371752090487435655151555273882649061981254080901775850107260562102309723017910030662026320794232624740455088081416228560857244471608829618680414001688919157281596792147768997024138048990420708583807076866275993818177844269364133098366997047552456462927517423232111425514609791849402000012618792252644023481074486406317370322288624980498016462219485539570919358622048077042627759841723645993744427184698411316167394991853081341433649202469891245558354799070473682761600015516497746327269027187324470439550951164581888986785852318353594496069127850092261546286877672129914686617735894657668872327508140142600851721973952656845945042292862424936162164477467750235792320438836112091563177229776628646443516100346092513476364925047881374690213030948241650827938088864744500570861950797036862916706830459024304237924953279428511904764322731314790763445495365429576636655038790256375897650946665071848560134259285496998023376469255651954881614074110984802246093751
g=7
*** a(t,u0,r):
31057113086819365417610265996178267427611785285697078542448886354454958439737\
12941372457910061187097952151814909389538636075997031248042319985153928625132\
15932706742612597893618846876035311274287137229596385464651500642139693690707\
55680688875589140478947103929353850442595329994499947054144108736630918403765\
22809264530255132140535579015058164579793091552063713683999431659326480738189\
79032426444429620782948302173260465636551052916526436797454154075402606602770\
87442966623005378646979064390302096347265046413592971666741074665041948959298\
76934045224400842865920877637916943661013095202974274071297840367053295110749\
10445971279242072539938271194361855065973106363368656339188128292459879325156\
47936062989176390139813351650231589501572178751690401263320928538386676703237\
48320372269705266107530414485833190277630034168538747657409177843798918532874\
07342289249955272794726100305570882975888879152731440531424018348748525487910\
33390819975353804332438968922554893348607643517979752752690872650752696184869\
10491180285726636879428060199118897431201817738774568711763975184085824773790\
27732456770878291089849349540041304326941962652875031564487814886867773006753\
05995055411583786518288709475062059594545340344577781288130526377957555824193\
05628686296364956054557365779813741102839567046818390248705544998339451351103\
42117743193589379577986238241203629378223250198917545096020192824036666435375\
51247675316413518287148656607679803185335407789925454526332342328943605808991\
30083394390000975588705642150739319626102503591378832737446526680743939181723\
25822217597146780659812114456600448505124007804873974120080327342969511483622\
41208306116770311501861498840300774725417829812955889670199229808513366980452\
08103970369843015222155509077689545369747680412360531621436483927264645507518\
86550972733908102685527850709454863413211803157094267677608852659718966292158\
87667027542782138752829498406571726753078236192253438146308148877065319679331\
01568022014317851542166810503222036345830515893611022427234297388738787184571\
02754306884154390803864683273147585783346717731968355019452046509441148359881\
51417568157155369722389180504636424391426023850450008715248670694078252630524\
90788285993550646647302576562839529075348893431891382587290840623725471035682\
57983734427546481191691913613716143841789367296095969860126473259451902369014\
57861794276681458674057140311133557545350545283926196364796180791843630645160\
79485433086404272545560543348553306318448037347014440681168524941515540743967\
19743764227323150463666878008575360217247011461330689431500050118283109695673\
25077405398206582857992863782647634377449990283410798867839166709706590310961\
14465111725103517981003085730458296495623219137295001081048967675527740485052\
72373008616768146045029408026386566035482755513903540868822208921058533255415\
74963446456125027448208164027938456974773690300045436201484671858061127820987\
40597967368026116365197056593617836177923952157717751373405379018695421465660\
32241208591949125118912435193603883540196420138391677290435626816172619808745\
90883317462802594463282869398679113844927918775179889302172576008131835467169\
17155996547195833434208122444378258138956329481542326403336427216372664109068\
55518552775872176092249924348909655512158669379286173657681473402475402071596\
22637969589575000849838757254238650196459261872406001283712663835519247991618\
78784238723343279142358592055994634647539339363868821103405385897672744517019\
45021568493716160970914251606186245959536329603751349853167959081041913917802\
11185333737731628101474595758883276851944643666766219784905826813998483372865\
99901184223295454110356871308033101914086963074303644652205327544471172933012\
83100609197078851844349731767767367930393703373337135284260818081762746146309\
06347983516132263509283262049378349813315965582886257560331873570000371538737\
98078015017268727989266630153748722153525531826830531215555152147346102736708\
60228438405798820321285694474886474119245790774536364684476287123097665771910\
41178981219658374916424587895123469824514316645153995548034923186998878733132\
90779160725592920975472229903648570176529648978706562985027483160024631877015\
57209103471139982985007996078885911303544975843895100826673681628878335603709\
22858982356205558470667163302400898482704358965568293119091615767800962053918\
73194460612256777367436925219190910463505838906537036019998814281252856913990\
65212462200395697568744236024565763984036459244572222661611991001650539536768\
04584522956592562390385608938628659163079692114737141348564943822673184390356\
25725547838300402741108255791585343539409271373911349544714690533804972982212\
21210014619822158203433582431956343931491934585055919928702211210556678796450\
10008227207382317855682044711163105168636388408565932279206699921055190585544\
06068631237954961235671923639660041820566509355292977709483877622579683380361\
17576477324573370723932903264461678793138176317495665041645385401949671961187\
86712942410251440431891733735422886833255747487024887677025437118770188621439\
25530579070976070500969310817990417976646484076093584138274185728424334585216\
26023250511160030489927821929497533594576484947046716136045661286301583684391\
15494382625525407089814103224349955468470520520672186888637167220721632894165\
85377000172525689751765087504079417300614857545658781762312328036961389812801\
31001680091996428479320423010151463296925410843105899033321433752589070514558\
65032095922974924227273049236143588426507271628836492522294887314381267787607\
47786482818657001500077743857113460916299716790854112964603368028326762484240\
53482363132790871732357961304183809125520776811011755934905936472073312909401\
70214243249274392586443742403223813629376707690020822649072498583265509380747\
77830467371472155304248614637567884510353210516905642057111056549790281029407\
19467690228179520970888836560966131470737363964137902373018513158274796040353\
70553875953401097275842909026619816461016429093731254291215785534353143224384\
68792440659311211604741527820152723412791035469544624931477505224342636439611\
34981609346125557077561742860810576864643644612912570792816279471168846269835\
18943697995466700964877033859385523703077673237937920011824045916607214535504\
53871201703954018598873475850828282750424083811891708758723019976772215787468\
57439769094583896736339513554709905689494380734511585174871612454719396012403\
76817892664279554724042247165246416520588091558073548988141185757070485535091\
50388897376896829971738961883098684562857502621286939944901629871444506064026\
82213095828975799318579507209057139238468481542660449339548646235232167150693\
15366992422107349292238222062915408153468010949742300652118704276912162904094\
95614472077720671196286286665353701969630529714418457305266694313813308994430\
39025112439424831386982988216242923168719639678839319828177825330788848423624\
67593234406360359173851026559633647250498895182105774195488297525962110801385\
78525807802376780335662082078327860955503844783796758975797761814643625315766\
93731058313019899221725688586001334323486011577587271672192764254769277728734\
46476460620466224324374158264864488862402058926976556367250121028948062907595\
44441938879574880768700984058291682873317621275826851635730686111414871172228\
50009936914720073458169928613342607045900679569009274149242197837558410302405\
26778611338485054324421025620941873668340162375129631068536615257777152607686\
52377520676553049761723827014082510993828711613883332726871534060076559377144\
93308130744434261445167629075736233906316034914722721698581386499217345965920\
73561274988640881179673363649527684054371589302090249029703436487919662732216\
81780246677044098238544698280837165044066923104323858423530543702156653931049\
31125119728543340471227357471887522802293039354320111794390425758484755205994\
87744771676197108005372282021083096391199761236504069782948355136505397633723\
73814748047876316222345365783735416826515198186870856243678130595612811522799\
85023576918239436274573115785663766738428964721461646922070774825809659869229\
69783070750602287582108146833847807000989172371071060503082811287771173074088\
75151507866080501649889861272952910386060998854575750996407341993991430047877\
54605908997121834878506453087147152314047960527526589178880428216728610263731\
67726720533336002780817839621879080144991208569221087268202080388052189580812\
36266894854425083534298749987676172898528112052276403777389417455586223927343\
54305314990240429279430819396695596044615715000504983923360515799019712285007\
05636846018700533633448642214983619780525145283358802309004525276728173967029\
35195687954086003305860405884899338963521218864763404554772949673263311529646\
63440052653120977405526064483469002068769349597444337599702751348437155757851\
37915692374342697830325776193462849281243033526960094388566049777295638437158\
31925393001071891485412516313740175183599047680249291961627885564361609287203\
32083153415441166449321145390610484339236960344747865167764938970471431470567\
68116063403142527972323361187038887841114711072529621158175341284886830597076\
31869011636622584498753176185590066449203936316500976088826665437088036516587\
32076689163506109385224929902914587717637265568824941184448925656787291822753\
97500430588772000803209639358152682682793471492847548192976904708288864270047\
39196183573461696709183350179569967865053012526904763713403023463491057230533\
34132332421796901511176917144290810547374272298042594555175452148559900322766\
2251447327435016632080078125748
0
*** a(t,u0+1l^(t-1),r):
30683431244865656475419768143283074370327686264879867704371292802061783806103\
92865874660956597884044634545710184543942582968130756807892078167150739644348\
48361323907474211020567283210414565550398655631914076013873608254734269568760\
54074905185909591997248542518439165076307418269967193680497989781243647995163\
77481345572003399267186888893219229444474725477239417663737406412088595274762\
37306100457798783099731009767432465381565812975017428868073021205511398769315\
07513840019252640133846963348172793048969076603803751419413976173082888076098\
65045801364748961066731990072754841397712135501334209276322331592583402522518\
16603706918930336373013880230793330071863804281456466623877041187336698958944\
70353944584226406835992068007381209413986417242645998039564393301962238079802\
80760367790524320392332856022768352426695982955280928501103452441935027801863\
55649668122616238763773513537188345613879520981107666514334691924766257133109\
27374085510409707756246521435518805059653808235009408134008763220462891016869\
34295430790310139911627455196723081820398587311436372029403178691229177149506\
70446905820426546945720146136484657617125816043415305248872319787961609962554\
15949660359840131332908230350362115027231292131875642208460506675548975607057\
04357752905098532786521247742356089137698449261495709082611494323225741374953\
78108305107035496668625441257018024211907729808823617414383586225886492641366\
98358331629451323548399541755448361703158912241650950394331017354397492904872\
42154583494934118930552766777267857224184157959931761220552116600360656491034\
07463394123384319395188706662336539365356472951606773896710376880286723243846\
20659008315900080481117175993291808184603978919484495275771698968571361228013\
48648173934911748996220482898947291481609005113281327363959306981615739344995\
24279637500478727118455991543164631099416473974722812585231206036807909211103\
48911675607106952591364972356225275495354032815608677526900697887902769041478\
10238995011471781135910792729787546603701539098099659857922654773098881991173\
78255926186350394123069519971732708414295754550701356095421206377643059676407\
00397838059007778375462037958457643884042555649040850856375357811395492906360\
83813560627318085390851074973179695169362075195411406058834132648306314298622\
22794090564113435295000433369700842645832008598683050436675753661410368784360\
65989125628967376952043083810063768751355685781846870472706387172690431880713\
67299111030551814720814494030188360119429277539363197410940561406122974077261\
70976793802128085819050565305263624599659814799362806804650450584774355702008\
73305083675500888679220222373498130755261420881605053961675326468547019037166\
15761654498464571909039144859369894532440586821471932886223512182105615265312\
78454082042502219154113278785427369385323203642746947462646540631901411865978\
92911747234059351984259135316372352545932830390018151541306380351747558101216\
16713767225897459884867145484871097507333958080953767733885795581304701153907\
72494990841511234576037820331648756599204751981646322884534663391913858340458\
85912796263383846668938556798962386539307128308633607211638413997338805361280\
77243691775906043994491714554004722947444822843395426754098422076068714941980\
83192794787927190016273655205674111528723605175524709001372471717151500175012\
84932432522320756187207007501179629004255875031695233888587778842845888055890\
75429882909827116692784758729117693856325630735159169512589010933663313099033\
92207137856759683098269561413063684176600732055043111686485456899585527253015\
72280697369229509581537067200287087691961352499652722488028617667840747610358\
25303442701892166560900705744166393468596611914318707751309808897545717643711\
87448329139894748011997930182326316711979875391572383656509016794682713104441\
70843796548692169429626110500655883037487297547798053926584564930789137121828\
03181354408772179123085614550294526298737123021427490064565852188353970484528\
95332641687012470878917283712488107452035614147570018050572160673755581558077\
26512389199635747410745682425797117914861069519744388649729690154000229122707\
51184224299750225402237938367374723743924345715593783483870735367992249942666\
45424501958786694419680359762428727878769702070372298811379479577193970603129\
83947577488283299077303520963200887672083584592987925955893989374872875612093\
50656024588847270687882202856927918225308576138945012859330379350061311844169\
90898408510818743988371644949403876449469175644035925864881365441470252296352\
38753960514601475409752627012896496151759214535816507294905739953149041797424\
16325106754684488804383691216552899566341512761123646141101813241285929189645\
48762300540171891594033980504299115194348315051278509127421034872461745495423\
29406523938844295314637742034157131978104667157660727211676138023609339361921\
20434115621455503145937903168059854151602473814921805517792226688618163125784\
63755369977085188455864191861547032925306299864477669071892967663156159865398\
17354096846491730587122982928445873489005344108170310151499729987661991164764\
18405211140977695321144813762693741824521058465552351174043613975007464249297\
88276981454207570230022273269918017816032115475758720888419443436600094041129\
76404209572544486416273559201597081672726891263070516190779233390525784370038\
18975405250663749634431015595607873509564678778398181446990388261115597689385\
25147381802119466104569241449868892214475773546865320034257405806368079024410\
21736255196628969256624041959238117442765873975548352906384922092684166971981\
18468196260678508166520658703752470076397714850857205188291295418360264005152\
07919072667289377286380392251058602865989109710344502187026052209708794438566\
65492414119269754172970488818158286460039287410328058740193284028119266620818\
99487587416467811189625302429361853814373024828868007326477367366704569091887\
58939335666610516039420922752077501546624213862965120125214814470541543146820\
03795874772143597442310039800363695674720776872015236525679766724447824656176\
85077023592554793283294103020177623799535528358280050567328711712285037872824\
58223809233672174706307657719437187570817718407676991732474907124590611488513\
64304001094451727290165946553590778097024599629460057337884986540605256071842\
05094676549762058482042110499681953145138232536080177503604694870099822816763\
73860948343445855198068048819425962973979074014443932412072355085611809696746\
50358853848800255268806444726092382097212031632909562436144834591544236377583\
71841437381720263835715364748141614828812425718089637191553882987964558798550\
56357590665258176064746331320178109488273005160462663184393649154861726636847\
91518993850183597763320917251997976771942326326015454788657382968767497842414\
66923923616892481302213323323123510368391659704485614904534875799342293244497\
40427216701517313362273299855352299761609376634575210365004562726541389017458\
06886898698262440413737845758782440264864550186599153917735096085141711072492\
10602368938444439395794490181663488296948317239606691020206612274093100412234\
98218251461660034124138080033495970675208773470370312521056755059190502996704\
23724738500701256384642383633335370680902568913149298336093368235819008674750\
04468706994660209743409127298232023587408719415556207698937135075314959620690\
99140833395692692895170557814518966052032890643713708016430460163042333173098\
25253200239492587093244836809994712086769224592541172940706629245317267081658\
20998646764669390072077417330757988802726494495534469097804897955075638208168\
59030359117830105893019890223220690984983355350240763817181343078772217471678\
37382061786905897315212053124332832240883161088562425177741764123760201549609\
93095724992427257484337609665158643004766652639164881517365069245847282426531\
33825485935018086374648418678776576672318925244441928631088936678502986761002\
96047307845868533176430636916551347905209389777776079638501115569354931619414\
22792912844091708139456183575107584271115951149863051823633875013580037052605\
73439068639811421666991353697333587726870327445401279512580618444215693373476\
93408675514298249362537326885312205045094917623290793732323793504896920991646\
50717866728654399357310972567797059860025505552849572174258055793528966317354\
95526426134856999966866669560697520802247918221714103480204059428024656396922\
07152468548309232693882865615733476239503346434029924453477723805843005481577\
98932132750561680122789807808680069213920153484802489828196229277644678452281\
92288272430197429461897560874542841546752691691675378501822755582186587404572\
47948702149491569993473992776568041467657864123532292655553936068853102355126\
59237451066937909683196310092166592906473503664518925088204825947248111257231\
10002939720128880083801820392090364343342980417795943163342691506009435969321\
08181412653261034353757685303434552966361767080780093252874747039333525140454\
54268536668171293860588034165580199813742909406021693528934501914523033774389\
37713168949212596264770489897942711131946676062524963046762419651308005156082\
24114666918345358518110914327836548281529106260159612347448632633063325950854\
81218181282706002599704006953410506826152017296650028515565382029422538751013\
40915338625442533202782383954884866742425052480429988683566518797280492856972\
17583981557623674590336796103843358960674298707505799618462476710461859218669\
81639010241695446347709218960831826540473497670297620834498441630374186221075\
05245713448807366599946178836404958548809608593921761198228153927521077992679\
4657512800768017768859863281989
1
result=O: not congruent.

code version 3.3a
start=Mon 1 Apr 2024 20:31:19
end  =Tue 2 Apr 2024 00:29:08
elapsed(sec)=14268.988746