n67-L5-f12229-r2-t12227-ver3.3a.txt
p=678090755367133153040868657084282346799448811325248629962602242528540681759594806403687598174680755615775390039247753756277627899128568233677574720853138731723637278383917747526782587058188559878787750013103976020932413760936504178493835810119542475419958637790357399237425169961543021437440909044191590486025239245973102404477140913283901214922541718697991804947692170891636310163484333823741829380573581234024551113310635036168623877628811260769502665247053908006919667968426258832915020087371090076831790617836920204666274472269208400310682174105220220306778477616186636089428187293845671763417722292779295999097146465462729675075686940052485445070578623228642612164164868883647954853785502225379031195167756791714569990224088016420178890722702242435284047714393024102704691696453349444379501974397500777219324843906958057050973664038624529354314423361136855653527240493131642971030079720452388111141557169328809555514528034764509696818220308866400965264327350438849701453932671365438962813388691315281559206711425819231988467225863087952300537538261147565596138957241838940116928024230278972735445890978582675225614783380788729006922893751855995558661379878953461391732684343929690962955495825299253814534389859196655055621259097644014131255480719933206141263322057750110210506545504823629002729194552766165420293222190891105296109946294948812439314004681481096383106264098492629519064785761804084358324513585354830193967602204659452176554734745210903557165553573153641093621376900938910486525569088048369122125958795668663371447231573225096658047510819902447156523224672075037127391788149993843887628847605582714073666103460439561771332572580942427740932795572635723478298023595134643719218370150950331386386819860643148254193232891326498977933723844127209414887867466840902074951914564589651753681681693648119498514113922974400335844667555480651789838330297100930286069308074849256261719441322171461121274904213462798793375566349695971702989890076645873087151495723496267099688668655398719736356279325326231581260608235892807847770012586896039001682115283772225816193652405912089130241656803833954858676805324047942743941040261031227249123283923960294419979144884958259455655499742151358212224638783955581723777302466770426208245496270287010563097239175620985614832992001769712462356583475642006789184326027083186646104878525261090355307361699061166940199790227255003800069704386894098614243194364553953683590613211596981472512676918107127264698033625050352676050506698260679917027389740970755711027563541913163376983907052021201303768352603284731053408809222592374222587727853881535187821987268617755042770022343410312641553745213867780543486606743506343750642639854140993156000156887719751434190032678085242470828485127978637186858890421075975640559064751421451552239113225809622197755049708893519441173214846367796856700037704129077038038079878856060360699516111102523194445998442512431289087109244951775092348269289629785795732797015185848129862857503706585129809834052144445041696472641560442701339293202390723839217893676785059080819112073672433467543216744774671496466054626583443026857094935512290140929568149820433646898309617765594105096227101396306446198039400211226806935814225419614175055703407555099190470755345366008892076869529975862210309400248040892829144475127797313210492795811255066257582975147761766640260188601101774175719104311858896308437418054703125117194957986109322171475709072555101633581378493223508650922138179014535986548310890375378500724259943795109594684985737754006260969070184002231450239493706193374236079344756999181383096144960486489511249318436919724810261495679318476906272437408561228608378575313024884238367773530731080424815193925249867114742377771976995842229078444912223125820727184924597431207453526473912621253061478422254501183444604873995352868983516976454924687340395525123417249426271959431529179229284762475801003640114051757671454243360789766471434465090804315243268419397760975698101033553222458086051100830659838373383176386474858477638581192176825783129579563172665269069355252924027555532750374315101830018741439562085873183176266235548601621123898003238894778092466254201238994428340519370193891663026266619034550951308264036494047693196920598267323190959358361626500667287228450291946672515185164417056232943016275328132644237764323925468053920116037526278144674972696507416069113709637894255050644858491287754838195052603717963853915874399416104769367474923963813520218165688476167346365429094385934014449734963611418583926541755920221673065663163070070779644853047882559096412418393821604106946558102738954205715958007418638537995578745673741302142408746001532123951808719652221472885795886271571487051042018113446939800944161592687873240294640489064863226425016677512829998128742516823719609620938536319968863608022392932179809177855656623634506654379357823949584292462826495274372684056798484919916800636626646441293932631227862012937630787226222473514451284708492507964922489321412214286933283623572028775495674275430888344032164001485923610917937965078955264143412526687418118228653647522151865328480050852271846584192759994679601031303852651902752356851729762920305712642365124522396326851832287602556209284316505625675312772434125546423590070820916135623631994677066340305856389911575440768746440477567119604300776726528910560633242322988630131687325447462804663805999743990143414409827036135460697764067919901307416636558847998327492607695821615526119126047272653157070087777243759572985327814443603541588423502568815669010987580083020992671972508666961352567718227860783401524446760400372271081299222411648811902644353042988564140017778460126287293184978787646007413010777815325978807630808050197683609455728004822077983320224750561704033527301735009335086271301465647726167599238305193117381206591757768101190101771408578915201796229675255816728566863156640652309441379522820790757297916904479707893257611640260217606210091260554344840267815265508220381622628467488129255282935755382453404166661995829906702752740157913879495516149220139558941013627266052995378318767479006581308326843328516338020238630988937222536402924275799601880128913124125624203055129415107140130405549703117147331882199720041542915126200855451636467142828019722680883338101109425701485005510197170452547058658003252327737000213085925704420879326394390106252218437838058681035618104742785964292089753553217640918177089928511306275834590414109675415655819578813372541506012678025947941037954522433797062000089427906907155157053783846216951552700225784490091440758818688863164844027897755598360991704032292517064167936081634474480719900515495993564735979398295600083783132441316305661992684308807031912279395258130960143277014507236610946346698402432272211493182623496542174822362608708210508549212620194296422417586436287863702877453706610452390485432969305044456270997949902054097775236231033900596226759083875641412103982807253989741821092890778082553783835662460937491383036814117712106156968968141408901813711480823825447902084573596386913182606748093068334066805112112312438256193950175795598334590364953021546644164522724436857201634257598929371681669047910606826947211977380542993234159219433762660961031171196117963042989226550732832339202769141463022395256622969359249568938559259319542813791918418804153578560248430808987925534381095401081968461652431617073288762531279102361401568516997048217639971407484788473872721018174669126046928637428744828218482452289930261318748835593030053905550795298527093192545237030260205026586901111733207790331543599216912086473537204618844330867392937014574956617054929919880856544777072284278824005127828204184985165098679908449943666741503566274413920443346840203174463679948367870358548674671560706784663095692925953810337195997644649429275974772470367871235387203142908413002584673912051849400785386039537969683730947460351090522086108256219621570458551280245084370347958334420658576384967405996989488235699305381133980931092273571759060668392939515330032730221257801084710647381205283131654103113225854803812966023316762663316537989990256885049617757309677021202651893884263784897736226045415497140298859106736065222606684220220009832055699297006733001476536938577810921643033909880884791783575396220021662503985820976763126662820706500845624698154727462530930799045481183663523637937989791777251617642488121951352416143166440895014083721774378157410472804996462406367731685286863125703897833234337063351129813736109778799946838007399256167108196289993104676493936764563535940839575395138418519306205847172212483608966238080029143020510673522949218751
g=17
*** a(t,u0,r):
57908950508353171269690183314997712416672928487176232998806231511937374222269\
39646687492088411773652958721830935175817078610942258557972715606488116085804\
76891986235739865756387872329347693030136484738511190795521876281351839774568\
43373578184208927400864467667296521894876109514715774030757453632373961827506\
55543160610294534234783399444516375438506277680850014253291139414574088796156\
21085475522291009838373856966650767282320888004791495004816697155276120984037\
43790939644503602504330942715461491092561434918763272985478499839931790397386\
53225766858580681419888198842233872203716719489442036859587348380335187832289\
63081505171142514636646804822570090274144237260790788196798026635353445132818\
90047369264067326430012424277165137116602283277267718771503973257674809164258\
37098067087711604255000946861354656637453034166965421807215315090889853480685\
84517550410874728112263381134423097259688081266339446914889822606803360409406\
94168889128108276014377190642433573555727477764504165850134608487424263394238\
32504515625315576496241181510108870771112646590576750200210191026694845304548\
59856532692658242716070790895709604642675025007193574571912151264085020207096\
81841662625602853971242971595608236399343480556275761236893975394341750055526\
93879880680921805348229580446388770373185941197725898611193791683307321480623\
05268930411751021003922877894135886285823174159997984856311172749540112705609\
28132704058068804200913460189302498564833228277917215877774347241011163781938\
27514732094939526558734018295554928360011933072302955688115010385192159357635\
34232545972574240196689871670833869952081706792587080094742680035035855167637\
81891085235521538575271801698412483329075660741903090785046651215024498573621\
24881089115830039743441609892486090810208891928301271554001628846368403142388\
16682130372008935038159562597644156166375494051731053290220137886811346092380\
47662852193407372419446430318909592126484750840288913442779756876819829723016\
95427336626403598343533661254555756164273773478658121031341230317105066548482\
62543828601770396559433452457901995590749209217307436526452341480847029379154\
64892411722637491047419744930999174673694310332564838292066807075128447106209\
14346621897317543535751297967797972599132398415214980667921058163066219439818\
41653814825107020885042255980321715067375169511334442852522288198273797963414\
42712904139577356626057297116343248689099823656693062085407577324525952754640\
75602165636879873290764457863836827038221775258260880634866840521207157930011\
85347132720314620649141390838789025377217539264793841523944256622426105913418\
17312320516031961112307609388758608991958721483105039997712739956280652559908\
12724069958868984126430845841375621589544175630488144354364081552241339821126\
67724798287907084797070087526299293756157577492419598883197037441297713919625\
61220269484141735688281245139506560276192547879809851562183219932623179048452\
02165430755480373867588815548080568826699056163208803912951888159288654219733\
43837069555808650968714302902880308165423700857598280531356065608787635892618\
06694375639484167815869208119997444045501952171091625818128190710003756945798\
20106511022603449359590749274957803538511999466503344511564135718173657521779\
44592445705053125647780387693123185348508350505497570710052054708662025064942\
57159383364657859938632760422781182692247608938175913890548176084762281182658\
39758607761885487107822010653409151460641150823274974474055550187164688500844\
94120137361134440255547962056795078497233212876387887506004878413732512257500\
38057323961851799200102359386097782004192134686758593713790565850452762508914\
15976117604224773009011641077962554620426069179451294449879633173101379792779\
56661546911289231555303317323251139566078595244342682792175612163386515989990\
61726835444926363299195503854945090101592560620625116531160872137855011450257\
26053440106616925623920313501119234978925056829886977784553983310100362533545\
25919061809187154334057108657400201051421923830114460566605033187546885217751\
23016568787324617828265445197920548764010938350197086923263404952913990334833\
81190092187926609469494561397852293859971195324249688196650969628360051893860\
21335698432531365158505784439808894766016140490966181087858101241802803542145\
58348022443169265550651241725748716591672999017019092029400507929204082903156\
98632930965493224583279681304121660229333358991302252781790507326323497180477\
79096047441535552426682817333323023108030761693813250709151559742631818574923\
57514113124415673710135347303982358506509674626631349795864691379607644660558\
76483400736589241514706732666595558693087980763412618404458167045028917054683\
36205308323649907332360619739066891681428138335517311448224248805375072029617\
06908530843385484464658299713784446968687592204994158988346888368659000631400\
01554437472116229776613931953669642425959568184019461093674565466162815100172\
53409521251123564081557037888730756583868682839971581652944985763253826964314\
27218450590612160894774367915606086501846706859415904873669229119399238134139\
71410526018020438058804860310010410242145305125742733058312179786458034680572\
68978763723919022177427795578474297791055072967270214983917692990521963427840\
15698290061703545637928073349016472495051275137721753394107859657981634212646\
31314647736125830027288062958043267171076587432166457459204810623798225817234\
54214654621201356984485426416509460167842320142072863324455689618780788943832\
29013246097593213323518289032378136758247590599228885968343589051400359571653\
38076212561905716786869722316596593057336443708457961378549617661706753294699\
53534837424516513671193768581335383393390899927741864522401584995092831366593\
10902490187753338191791950342953593954808536485827749871223377557518280494784\
93483799718846496903307112042542883859017167100748688218024751917161180545977\
55471936979695244632315681697972163675691451663158147129749512634922243550429\
36113395841634691278292639358233398014266846748619610113577111707226293811248\
89553067324210364256705408420003407822258357034179365134104935887142367440202\
05905724711234862384011627135096615207158329344438740324150840094858453089170\
79143399918333562563768520925805308422742707162043731112420255295266928379086\
45523880460880973315328600056300918080032830694090805205014976713663394464620\
43821427398560915477649517775530555697542939975128843169474370738347449549068\
19470570838356647518809393477748788739818197538055157543094474080915073939454\
59137021136044178614503392135054446495344478653441232347989486555595627402136\
49662804970069920306620150446134827034159541646413162158462690948076371432498\
71050412393140466927662600599281995453809040803116028914277679982468328100028\
69152435778095727994174137158412065347950402335785042845264061444424715507951\
04884125035341752399721205253086603550443839962358570389180065748180080435677\
16046861517796046604701729829766783681177430102757764592914474461881658983560\
22573454654453263414745597557865079656554322492163541995000517413029511091776\
52257629797765936801317394907239515213328724482500931395655741640617641113439\
25652613865805149879276320214890960462354693250838022585131442385794616287148\
03572930515657439148222707896334501294409777401716698804008341165024066690760\
50195655989485683416145366915658230212919028682983716221971973396433312460720\
62020148474043871279947432583881767916484680942112554915601583279913187352960\
74588895629782983296587471560904521599108756884063614554725240010662511766009\
80588603201712353416636939513515479177864535581992009356687303749521167433644\
07705636414808329858401425560044316621150559644766603534037918494213758643363\
24238422150927052135494201594529431382337312429218484007727444930585607535682\
10447012950964910151578251489239619730774115700379165286373977330994272641816\
25189139724404559834948805861820153351099198267590616128620056816951284359410\
22837217587645540279653819885306126016824556896941620350206714840437847042073\
11520892279388270719677765426109906229131139831305861536450811556821171602793\
32930205227715641759524242423276216472142902295328720679548841971515280163028\
22378108075703460918479516089541621263428928635493117944326040586948800024562\
72983912515314472323443451679379832373564742464176107064717377161272302666737\
04278483455781522567715259970010610832406788839657556719964374998326096254554\
54505270831509590382756121831733883718984997784038911141557101700488833517221\
63492224137253001414902384840930848649186799043282177772881466684856146454963\
38626414052434202749839531894642854377546697889503804285923498110935112874958\
21238521018648609306377510951545996583189647667103996316541113937258219969372\
59693476997387448209415487499793485069461002057167320344888139516115188598632\
813354
0
*** a(t,u0+1l^(t-1),r):
57163050677449324801345227792205001835193534794718459505847369045155979472333\
84217983086452612558769840986538030858564165420403189653830209901954896791959\
50843026225677642661165077720890052955977818073261046651785646024800469473022\
47030358793077430677902513165727128755714941827758076707176268632425351077971\
92766843553253269742297898983287241797026688624070915709045000616494094678172\
93413414362167823528980282696588520865335490149928841087892828690746803266444\
44983328009738333619614736193365382893476919949083652373253366938012294268146\
19050727707006457186142566304453342233879618887119012965611398928129465272388\
94470385081116088804090464245230194497779381745722054390984468915225941741178\
37599452329752641897541538250175890619784221080487923799037294445222323331931\
85800551001101735816119201644170931551958908434135656420939707987845604782456\
87058893438369315923463735709975024578357204341363177692332693744186455298747\
13330648167441775972037437601371782795641995029832566524196106504565168666677\
87823544112577319656125662778714025831437893531447541473977975451409548702265\
18570324426125174015980886094945195215193262390004898552835999432814604255951\
54323795776795323065290193272948177148298072727096565249065130278021188872141\
93139039126483702469036927770849804946833429074570178605663192493007110079818\
77449307186306921201764620684726641848886341705946488564250958580635029286684\
57161439720084311406756495245412185351468865852791818483564139021279169869056\
16621685194419228207274915015401410547412247751699521832647486832221300162162\
28756482734051621177762952949078398559256298391277410444810397271118531506227\
96410052521715055057323335868573446658560634666773191489220523389069850465530\
10860372511293587240891425221739782848953273882386383981292005992375367504722\
74546880449184463977949076428353657667745364737247398037067419483117054749270\
18945883371244045608423115642670709792302862948903459054172523474425194913938\
28156024327937041456204773346124710124687108949073531650375476765011207377483\
43471250013223002692742857637015670120610753360878418023184219986363051248978\
18389113679371668563202394586454688817241573314229694004932457101092834789852\
81960424191380198127211175862826335949729053704948745553931442659794874692935\
50953355851949904690972625048490873304212257491867605766599869966211723282386\
84083112634266641259679509916952410591230856373058842316157596820345876079815\
17251318070128493189829552668869373762553813281866419643082841404423459174473\
05910577146633753170054089551638347064396236065832796726797433644853872699076\
72124456902827802362617464537146964145458082213416333393526744476750105512883\
54948935568298072152905389981592094847758477817917453970408572305081322563477\
50459022197547625859402908412962885991148522044624967047464991291585448283658\
53757244935751151270750690459723688890902011548805275019813178458081194306610\
13378756588840696920816594270529179766870379795767004330934943464028495910111\
57909425802747883801669973474388875624651264429690105957767170150126436835453\
19722902416961538019646068436952980480513051147810586141313893171584504807152\
08840502098424716405310306368605888036259502986255643352750077763958305961194\
46477086334144947214378064198246891392028734749571957972568948617566846756143\
54549602080101376965184329082440909847265496879253273313503644542686888802085\
51424480495631692777393389907287956301312049348970495880127434201147344737953\
49582290158590554022748163950677109102069787417792727362484909253836660226080\
58644407611055113261927738831944297692662727799692616511388111255189319432101\
44810148876301503099059500502016901106579831754423233280150504408576654760319\
87664735417115716863138988879977412944033086406300798119208478985637977727824\
46177660749499911312906100409506687301689143563450788332281750833971633082630\
99605444976438019087780824685531048111515015114279534276790407412663472618007\
79098090287054767100246068616145631717035927153145773135419254071548037750075\
27755231250251349917128536653216654107800024624374876201769379830569664932394\
50050641351782355717545568218254664782149552293141085655476308427057990335508\
38391093417592436567471166607446016730388297931949052291644472303091057829073\
45067193114275984612645195286658276448220536500406433935344997873909885114006\
25231335835961110449303010936035784043709627201016158190924353250691695694546\
57819634652475961001983155751746262857224744857007693615708155577328598429344\
93424352885108211870777632057678136090149479754391367538540907298605672656734\
23741811265743244258662500747002407468703943540464680696672406111193649973182\
75668705991612262155948480608938395418552600253912287530272882602963917706050\
57287929158049137475066682270164272593212693476358402842126963577025219592822\
26358771415683819322816796998762890591433156884225299416823956309104511861177\
33752021562877241827579136932318533723889109641798645589499558546162735516296\
17265988112278748986293667626295001078520812508767690642275363170554517268243\
30092591842144296584979504966438847580946712202577428534141882388740191142532\
52633604003821704561559287672896759997493473666755024861174022471908682868465\
16667047449667551490366938914778555402023682600819014181771575751379997238010\
35360946184489548844266788142424442886671619678356350864297020323023307217715\
12766924877836936695458096568053249322589081826425554780463871602613823278279\
41520101241535221114433158845778418369089834748419146219336821510925647680215\
22246191088625900762682875776218885184232578508466114100839962164893200266313\
47575957785559041012665511608976262530009986696822472824806248420214586466086\
64040748510861901751382452153524449301994843392918961523935957003498724188646\
01881549371179855842491680856983198001348327711863166472827711787080650117399\
38949464723516500263515362612869477726707135541033159286157891277797952357156\
85179850930325579329743202551511422161624065350218186564104806989685908293773\
79266084021439504763937540161666127393634420351069326473127003457682688234297\
81707875798092492962203514841787408219712496062484611350420559953121400414720\
11379257764818727448778528267510392272098480254804291952892593927295106116592\
36740785981876651644990643849486737636379012031754740969353191299318783997277\
55200776694363995020677451387321145729541801404020626219984654019235245866351\
85964509621469149717044869674171228229117963143536882680127215047085957062014\
30974834681130260622981685678982316622453624712940232868097350311905285597190\
94456375397855904939673052489568687575874114294995662411690923266075387725522\
73179739633978236089015892629033632514708455968415471164796351551780796941831\
60064992225918850935701168178619872468761345631225750724306327631908706291806\
48029645673059832872324327902051530202604399400782523229600463027770266753250\
40547428875295160758505337525167914102145870698623882379188409802536579066910\
15256934746726113651792199931241524766364512717674316044245241427615782026191\
57907707165710403657506515113352355181306925923592839773463454570305235900034\
30123130549032484014320770422895877833448485258145729554175416781293748864245\
66056183167095106793854499714999981956893960596776553971638210306926567002706\
20977679155897460327647007388641555116499696931797743296396221982661923190149\
27731832744284523991798226777766194793438625332787920133316316984738661520545\
56063745920265872270519014667262894271719768212254832634231120994131729998531\
92782426813868283290661522259828511647470495896509676683474703818321246073257\
56084135243189018818070728041121029170526840492433544237932043665833956131563\
48165093528374127576371910941672494912541398568888971918634936857709212122459\
03286688428177305922459562067247071935647048636322759176127942494178187162823\
30251106308750636933093493374138629127607288219647411471225653274812567581947\
09896691365790621142562260144394688796467331925201154514314122494717921611788\
80107859709044862080431330508443385188709075969310118589259993140983896558729\
24660612420332887591661517989252752325546213858269451443629594592491078662099\
28881434552480114232175915765203263144110757423560536799844089244493955996143\
30357656030925175841525561786554096827769412057728873835546544434370668791638\
55628526408927193822697850298265743479764546828842295450737667592024472063922\
10946069450775860295858794735540590134782614908600470834113157767578555802128\
61620544435250913574663595340637828350426781725394468223113672617486804990086\
80868930967449687257745580078669702857461201780856799781069682561496838587341\
65461444050024329795405435283551844402375729488722094724641872422843886925270\
60798127762058101686811775131529166175123682358538701464567566290497779846191\
407093
1
result=O: not congruent.

code version 3.3a
start=Tue 2 Apr 2024 00:29:08
end  =Tue 2 Apr 2024 04:06:31
elapsed(sec)=13043.510182