n78-L5-f4149-r2-t4147-ver3.3a.txt p=16583362282369017613344764216118338382003557636710607950552143805651577892857665261544543461848023406102642009625911692662808687775535547037725227527374804170245690477475022397434068989897798057552094891233258102039963743355692242835626061572564972052040353186458975325856388633805054773923995716697342415818318238991069565704776935565099002321374064415776444805204509075917346675734941665904635379612176120028036431966877315351974352600280663990186946668274703836152283292570500620465209561403281899329085107201056209093159877102558354244314382191738045268962820536495893181499754566934612208843056556252729869832306985387898876446792573310071863285378262597978997503709663014119045266802211404605374997889063453936869636313700368059977826840499967312635714580468908579519858477871600259180986932729143218055787649919177722330679576637305208254286900141642414965560184469942596582621752128061057225690545139719317894973234262313650216170822209221641635572189705282609042012246965323672124908425889195422586545495637193202804594877755621013513442916254147852095256732546787337714700534221329874958572428246811100842900889161946531282723263122201872838183055165406700847864955198033625030364964680802600666298629190536521943451433339080001243697186629094627281655056704557736877861106694875625248120635401621798674988297112443945884368334854416219265491595032806295893899139797819187510713150356300271338165528702605162757211636873599638256437358509296869155554499199851422746916405554808115226312911530931459673524130108960417088258173874028309140839504196699122936186944538094208074504988196114427796131301285433759842430574258604358763297820899924660245881714208659317657298587621359076583165811838019861325090190368878959447536907938482641018512006777844534181196820951447291233777911822723125851441061807945151039887228088622416797877563524820722526879358384475513213418300556404513744719390931625773434373932448747168604443966188508368373993170248569790118864858094368154272735872876810451879254043300879245401381837500121446677499508992916767047466008230896191084716800473823990995782395325479884855810062247966923799205117983275849634442451971124720937544671151276402254732114228333230037501010349487471955464930872838814031616600091198580144748507708104076420862659386773266857578143414499150958482744211933147413575198902968239359949552786066922162690487725854193725380280027950228859128623888414809327495490918043488715277926646012442022398894005611984186293743697735555235273414545625978878403632788195445814716389146513019551531120538486828456626607128808951381627013409522537006814627318922278648509127584504274813849878232211427687413828974311381691408917412391896378926862532995925276122973689318240836078243594455811374679581040076877679941218541885391402439637000739318812457850695430781591702538516609924545443308435322814265676074924585239444424500376840114768128842115402221679687501 g=2 *** a(t,u0,r): 16135611500745054137784455582283143245689461580519421535887235922898985289750\ 50829948284078837812677413787067536601207696091285320559608726770664638413568\ 44576490568345831967927033491271705575099981883291699601332848847222850885522\ 79064157910105717806635263650424582992058266140692318295028047832346514170591\ 22364653831068743074795830484132925869696467655048079546398733086757831549009\ 82409252102243626473647872794483037716278374710450800730860624518991082312868\ 32576171643671097103712648903245393288047199809306627691447644560420789278679\ 71789387256111804670082438201050406559926119362737767920429402923390616334683\ 46967824256067827291738306999229766730495078335645711095021127378310445985516\ 96681029872946058740680574156133230458122358425515806468195194550286796248047\ 87282229896906705218310028554545635116828138337135992382775122806809796763142\ 11538378180697614900594892541464748909648206034086805969004209468963118089569\ 37231181660334210009572657311411740583239978597877916297259932977535898390187\ 14617670876725498898632887081605621924614857995751528586008868480076802407959\ 64036197973539683346909726841472011201425651545739749380897350179024222715521\ 12675940719924972601407686717154545110634420930448308566202392035850978244638\ 92484121011736259010907234505037017353467798215885681411398336642137824577801\ 01107636130904079593454903898133469813453233219669205259047638630232780694479\ 23895296680164012035059427634823362766922678012448023513549829545853688354527\ 72145543433274966260482829611520246291959631026233897859601848582687520317942\ 95447940368375833882466169098970355656644564933535148193382456357561507270483\ 26684948753622041076688779735626694419242907925025516080551525755582381515420\ 33491839332506931275522891922754245341142414360971101218259484273175830450678\ 57582143704659082035096014534521531391306319618102729302296115443348693096505\ 63018653615708094674356656006441381591873611967376471877551645836272630995052\ 12397910141864242789535465185840578565550692582021410737200430913656967851418\ 41317555057755445278876181676172070222501080143371844260086619939254294468610\ 30743238896270651691927964703190567271816856626579797727401694312505767904353\ 47223096503019193939385434714416823282648848307005131021266737773927216605276\ 29518887362184808402979999852663574993675833303886524235335423076738826037101\ 18210952433408668532588096897230914860843115264297844557256130494795012467195\ 57267993215104342760947565311266325631451996542262657010608779412386746046061\ 32638126178966952439210323528940774486867347029141687777190466395571680236397\ 80283947684088297688736331109694323084047465428507630632381311377124999381139\ 72265939387593151994171913985365559200497438574087664225731517669583724460503\ 52936676533997066483335041310174055044675632323519948019825828056412544858345\ 73766801719357204521488726654150488726569976661456582716339107569098280502820\ 901621437979425038866665431669389363378286361694335938473 1 *** a(t,u0+1l^(t-1),r): 16450695384110065472438006102389391674947529175616923086947726655206365269714\ 80393945218711415323921885382087354890439912150621827333126266142342570715580\ 57368837249536552222182545964379786156730916781321033920372236440334088467048\ 92941053079984452275624030360967303523249537524734614335732603750963763676491\ 77169307914100917913872008057821030280307190045023324676287300331000790232906\ 21325773982965752787110678121405111422968291585577794784186782654510949285062\ 05463065026229936615501487884912055644134452426343447759420414598085737887410\ 35986713420414090681111797220392603604775653039913531117231210380270803087364\ 85295047956854352182327235912883790952364971951655236799857100060929046677937\ 13368531997905950946305374679223190765115498004225775967574134628863825157310\ 88369961004862745710753903726731007231134134871982430055203414002420676658825\ 26049405092756458357029941830558099607781110365687678850207786015633518134483\ 88215141014441455631547868502487612187640348169676148989601082747909158482081\ 85920585313167209565718215811873357604540533537292411466927849467868641303901\ 29829299475592359589038488208366120361576820486509590324614770172242578554775\ 90724083447241082035556449356030122044963356179860968240157012229767903821872\ 36736123374760913606187026340181625092127498283821784131662024613567031840882\ 42855883907355443943172933881755808895113676622725438455267479466794366340106\ 27445153449869167460204472984321455153943778610841150385859641222494202310063\ 20625261136494107431036965030450240823868400799613593706808873375155210848303\ 60826677127881631255299526974489817894544099089482905455123737622508751502897\ 63691129664535523893191438332725262963914660494990043116040198920388203970500\ 48534331570243448946884592792777195661267497477989036391072362177790774724638\ 38357129039076885281413408446295333134815898315681302639134374634945430166221\ 56746664323517399709107710954151953277634761635804172767246898940989157191255\ 60841445900030142700122488658123179791393922961320903855398589379596826422001\ 09544722114381707828001204751040795129209734329110862801650490215560390660700\ 33399067816136162876045776963581749983188408811477039409642837366912355355723\ 17004431378206619103669425731450656419720100226669157217982121142585610351936\ 36672904689915035905196464392438094957581116790807227175182671831577508148822\ 58237682234266597311744493445069956363778386785388963824047360175577237787726\ 62702825559489730749085287552699069914080555570323284434248621970285356708831\ 28033937481536707933912272292609710473764037258898822481986580333409153951188\ 71574178933828973594271778479770573997302246356710760110300370900419321054563\ 82824061533907920635373626591451834251689063787764607309276120789544763273195\ 78739139898998036949093896176457001648836821443917562626585016887935503082712\ 20119904733404261958187889867335338968918208477045149079761967840231751550666\ 325188557528869104373825393849983811378479003906250000992 0 result=O: not congruent. code version 3.3a start=Sun 3 Mar 2024 05:52:28 end =Sun 3 Mar 2024 06:04:21 elapsed(sec)=713.199218