n84-L5-f3167-r2-t3165-ver3.3a.txt p=72998344979814697448972757690686660831779048801385181068198596356845757573128015543722080323122166838542971605914651639873306464436882281766987240344380040630944131102116643412273178668508989786906542951597877674677281159667660419110036591488807455372694461382946406597152433081757331098450739852064599384127360904078277399745569783204483335712917887728858489670053999055758190258512833880830044170532284738247697270970478643842686193660193969435735844585900656230738318590956325398416138973552507397029560923337817876630205411752411644764108409811484982379122360581276018932209144605764812625083092787886697669623242053871053588381283903595856197576408105541939201719146531450689692075135597007282622952487280907823553331739583638216990579726910028551754005719296990666052671851806833978631066821788571496980461961654566997701774918260348256625131685667771076697270253370862264057523308686956891161231396755476217709453703934127833922889053942396759577065790577542360579075472446369858095414891232920143298690588672613430777317273644367267669224283583233733732051830285192319400412394613270278069992057050261840246295390323997069617175843962562709873451159527011664135394456730673510773094555522077007052034042251363241030376026055336880415745955397999409443681080186097728344235656150822678776085563200557853024921889548238486843829619840417997964285670835848216934714891812305130991066137038115344537514098790513843696573412485026576047251948207546296698927760864604953107557324406478339445145237728109230479119780423880881763018872887780675301471890108355987544835403172570735879389746241165519001584563380175063275535718927842356200944669087582829077551631213833700697090217969674961539296756052692142060963192373700176478316683282980988259528279423792914500113467684352090971940659775335769153462350953111718012361323271465862360801728192619154605740775465116162503958359774601935821403082431212722345269135386675992793963854254641236368689292441971578921681389451798857662795540079755883687546471070243307808763854305427264083271685014593169142643849334380180079705944913405319538499072039965457352615830053393145826145174980960305504806086969786249172188596828010805073194688930016127415001392364501953125001 g=19 *** a(t,u0,r): 76867257263744876413768313848293053855863338387858595664813121963758582724503\ 80036753935058024764168098574910102812817678659170705203704270063756408263218\ 27843841700505288255131236571379399662456125897280325651914351770611300464213\ 22868530837714250507447267836242566146801512035090469646668629064224023151486\ 11103199442610193208498171432095250570253577848798962256686100571337434221401\ 40765140365115704958293748252263319140119663485619241842498158298443489533910\ 10967449476277010644532194339150790289072127652274722224091606298575289461936\ 60615553149368644521584569208364793561622926987034769421249670564469264611327\ 38827262194285654919504864365760479577351356619794102612976175762457551177836\ 48668601968969106795938201658321781571042491080452436260064996968022419731171\ 35346345995259617949851336334336578632042644562225904857996898892814671422626\ 36650081629437622255767995179640525720440473656063927766607835164572480547502\ 42636609120802173801343787834650277478152105689766472486027460574471880468264\ 91089352118987226194260851508914751873285569317061314512161985057729030751232\ 86342515277736028077016360739257177793490460111689143068861636925785334967440\ 70981943282334570362937399206844068566964747088425791846490685492804985955436\ 26973507778049103409337814419617743596090794648014592681628075121809805018741\ 92352427496942951266465525896919601518563928113901481724322547810783573029335\ 92642301135457798002346026411077412491803346732984577756301462546250423970932\ 19042901562225786260002169143573793532769901969451312878634656849645887315083\ 30510924499002840988548847116795407169848809974027919472915086685452393243416\ 29139112031018001079594736549224719018661867668166886834035999522067734500879\ 48412348482559019424156950628583166746749697898063728327823325393896861948147\ 16227517934535147434285649185958555536266390670164734048535530659242197868279\ 69799845036564767319116668152842655838419937445800066996629568399562169820412\ 04393853013722189622982494139607260453050309274419711892370370398294552298643\ 40369662031226283385836149090796850843203666071072039733491023296239303599938\ 15801474039522858083626592304469046222982554930869254951201696560809579184920\ 378314592459895377742074007443306982167996466159820556640626053 1 *** a(t,u0+1l^(t-1),r): 77305247333623764598462150394437173820854012680666906751222313541899657269942\ 56846080168306218637468201700693066361608662583154583865833639123948752469846\ 30281698348371415253735972962099510201843340289857421524574832407480880523838\ 37528750386647095239683434604540244586384426633581013633259333503336410747790\ 87519741889576633055840041354785251998004310486114056058718500004792348376509\ 10797990167765936895378043114099577368838294046790861454136324442594164687949\ 48351879387822748596922691172992105333454305017814749131351387531045803931805\ 19080599036259633949057985557130404920948413750493656996299526237201283213101\ 33350494457500957796539080117132334161837689136146205761768062803839075685972\ 30712297706684030481385142978312219072871793023930797720236307492056735513115\ 34977949106343718337029976427409721530230921739218645056617963843770880376601\ 44551221695702224091983197431376369171838994873477397440491640493145543114724\ 66241376124339508124998168392112672221617359853240925320705679723044369815662\ 43175331333340429762319317899278938493646170851631464452402224288827201866624\ 50367258954532244761215884162272888208268183531128967245892187563539097559847\ 77939105352319382729677783247908707134297879550468104050744193672251168211592\ 60175636027496676648137460085826391707749431654555986372121682387461142939076\ 63533922810315845575676155674110026598441785254151632617338630704292311337195\ 39039123364149865227430619154160474671243821643144034039813151791528204164498\ 75561664534090320654646056147240880675406767507738784746888985378703698638815\ 97351442587316247489908099806919597524092962737412693942846226780526196053920\ 08792326344585055216800404563750215993127177455449889038218540829885784270115\ 26465980097844256002072374848689053736759667686656684044790979669645562016227\ 77288643392851587020805795335166296593453093750906413444823482400890301559836\ 84727479481217558016091691903001303450034865864294654272963640014374489876368\ 80772165566506931444196069604790207806059142945499026490047694446148082511171\ 28633876629694809217094474726641847144304541661220598364451086107044085956632\ 96233391270517290323419336420164026543341429887740304836963529589646101003637\ 873347724040863442572513175576887078932486474514007568359376059 1 *** a(t,u0+2l^(t-1),r): 76210272158926544136727559029076873908377326948646129035199334596546970906345\ 64822764585185733954217943886235657489631202773194887210510216473467891953276\ 24187056728706097757224131985299233853375304308414681842923630815306930374775\ 50878201514314983409093017683796048487427140137354653666782572405555441757028\ 96478385772160533437485366548060248428627478892826321553637501421155062988739\ 85715865661140357052667305959508931797041717643861812425040909082217476802851\ 04890804608958403715946449088388817722498861603964681863201934449869517757133\ 72917984319032160380374444685216376522634696841846438058674887055371236708666\ 47042413799462700603953540738702697700621857845265947889788345200385264415632\ 75603058362396721267767789678336125318298538165234894069808031181970946058255\ 35898941328633467369083376194726864284760228796736794560065301466380357991663\ 74798371530040719501445191802036760543342691829943723255782127171712886696669\ 07229458615496172315862216998456685362954224444554793234010131851613146447168\ 62960383297457420842173151923368471942744667015206089601801626211081774078145\ 40305399762541703050717075604733612171323874982529406803315810969154691078830\ 10546200177357351812826823145247110715965048395362323540110423223635712571201\ 77170315403877743551138345920304771428602839138202502145887664223332798138239\ 85580184526883609802649581231133963898747142403526255384798423470520465567546\ 73047067792419697164719137296452819222642634367745393331033928678333753680582\ 34264757104428984668036338638073162818814603662020105076253164056059170329484\ 30250147366532731236509968081609121638482580828950757768018376542841689027660\ 59659290560667419873786234527436473556963902987242383527762187560340659847025\ 81331901059631164557283814298424336261734743215174294752371843980273811846026\ 24635829747060488054505429962146943950486336049052214954103603046770042330943\ 97408393369585581273654132527604684420997544818058186082128460977343689736476\ 89826384184545076891162130941832839423537058767800739995854384326514256979851\ 57973340133523494638948660637029356391552352685849201787050929080032130064895\ 95153598193031209723937476130926575742444242495562680122558947017554796456844\ 135764895088443280496415255242936837021261453628540039062501044 0 result=O: not congruent. code version 3.3a start=Sat 2 Mar 2024 21:08:06 end =Sat 2 Mar 2024 21:17:46 elapsed(sec)=580.275610