Magma V2.19-8 Tue Aug 20 2013 16:16:50 on localhost [Seed = 2277907281] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1107 geometric_solution 4.97098732 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.324225476471 0.263187418429 2 0 0 3 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070593079498 0.725838356980 1 4 3 3 0132 0132 3201 2031 0 0 0 0 0 0 -1 1 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.305073716382 0.669945753177 2 2 1 4 2310 1302 0132 1023 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.305073716382 0.669945753177 5 2 5 3 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.832310342592 1.026839738211 4 4 6 6 0132 3201 0132 3201 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279253967308 0.204869301604 6 5 6 5 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.124210819534 1.796676968036 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 8918844083313447887083738881070710822193238353732464936882456861088\ 1/17487782907225424950054193306404102307045625330540358038433435825\ 77*c_0101_4^34 - 29281701189205136209082992847284168428179044036738\ 4928245300540684871/17487782907225424950054193306404102307045625330\ 54035803843343582577*c_0101_4^33 - 7077445985532050130228217889479980841735718087220181431104166413925\ 997/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^32 + 844893238123081906352895186301297884647132963152\ 1963910327017016991765/24982547010322035642934561866291574724350893\ 3293433686263334797511*c_0101_4^31 - 2280198419722453077223915618174371450425889353949918464498294789671\ 9281/24982547010322035642934561866291574724350893329343368626333479\ 7511*c_0101_4^30 + 618649495931046065443666713905850203760333907531\ 8907169882857713027034/24982547010322035642934561866291574724350893\ 3293433686263334797511*c_0101_4^29 + 4824880023729415699414905571937458971789766649367281592665339676952\ 77492/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^28 - 4194895212113775008477566459022998407648486211\ 23919668882650537788668553/1748778290722542495005419330640410230704\ 562533054035803843343582577*c_0101_4^27 - 6503479534859523525082429545792667874278533595733044049709524289164\ 85285/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^26 + 1482629663284827486062247115966881759604094454\ 66059443572056703294066849/1748778290722542495005419330640410230704\ 562533054035803843343582577*c_0101_4^25 + 1461770114120801686131805623580858275109299611290185997459727822939\ 14935/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^24 + 3666060462039568455636684387181696864932875414\ 834101672823469679233250842/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^23 + 1635838356235618052777390877722435917094610583937225799296597951396\ 117074/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^22 - 143408427441073495455109074073399349108751888\ 33888488903994224541024896150/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^21 - 7395589659035329217653746322538893439440108976119065163541643257774\ 26489/2498254701032203564293456186629157472435089332934336862633347\ 97511*c_0101_4^20 + 30857863848021626847946189456054638173580215421\ 967886347014411745502830555/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^19 + 9183312513283117400861624158683497973280021829642007354209928569471\ 669610/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^18 - 460371452325628274492962962843710896424404398\ 71598336959726049699804068814/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^17 - 7742717029368890813870882888923768062942836138077456763595992741057\ 359297/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^16 + 495322983307721812846610969929084714016590637\ 99068437439600537135047938752/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^15 - 2278017305667975625947992582743783764160304797683592564867330074948\ 707569/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^14 - 370627075318964513805959273168864425796533844\ 39338452251815114912932273958/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^13 + 1327553091175994039193638327534113834494340939870232506653389087346\ 6536097/17487782907225424950054193306404102307045625330540358038433\ 43582577*c_0101_4^12 + 15781878127052612956808461565285405390823124\ 108112423042221328988935557668/174877829072254249500541933064041023\ 0704562533054035803843343582577*c_0101_4^11 - 1424873398063527997682504388233999828171202418134830049166879674473\ 4982665/17487782907225424950054193306404102307045625330540358038433\ 43582577*c_0101_4^10 + 50846962183912283865711394682852101917064027\ 0178889231837382816494409288/17487782907225424950054193306404102307\ 04562533054035803843343582577*c_0101_4^9 + 5730525089746265575088315256325643417805679386486062321852251196402\ 723844/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^8 - 3743447077186598523473046281501472581641897166\ 979951918018878097536002063/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^7 + 4727851862542471694392525528318915767981998721561098502729145443732\ 65172/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^6 + 77176711496272873388089248444885307183698157861\ 7179063620852574943527721/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^5 - 6187828084325420204528073490280019847700958869106764370152089069047\ 46363/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^4 + 23228420582995169568594739688670123072802519899\ 4051684066998593483183852/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^3 - 4560574624645043447034557713587777996367856270811075743802938173187\ 3547/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^2 + 353479747226505107302573841455988028725693996222\ 496189824123646032019/249825470103220356429345618662915747243508933\ 293433686263334797511*c_0101_4 + 8747193538966405029092221354110655\ 07839806284061306524062863049409636/1748778290722542495005419330640\ 410230704562533054035803843343582577, c_0011_0 - 1, c_0011_3 - 455913785715807097270280980047127109275823672447373715399324\ 50784102/1748778290722542495005419330640410230704562533054035803843\ 343582577*c_0101_4^34 + 1501622532764061227420480731286326220861079\ 42363607928075068242069560/1748778290722542495005419330640410230704\ 562533054035803843343582577*c_0101_4^33 + 3616613445813387515220488548494923815398674329788796440477355353579\ 467/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^32 - 302713218823623357875927814821371962318204541774\ 81092715190537245248705/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^31 + 8188181923326548124925791844528028358392420006531190790707167428728\ 9717/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^30 - 22801398694487594569352858299605103937269292571\ 365635547716572904805276/174877829072254249500541933064041023070456\ 2533054035803843343582577*c_0101_4^29 - 2467724346754943008844853167842438075247506567246070910385215033292\ 73641/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^28 + 2165855582458514424418820838332140420729201878\ 07401010121183954822689288/1748778290722542495005419330640410230704\ 562533054035803843343582577*c_0101_4^27 + 3321197231648458017595844790981279286286712238948345908203698707615\ 83070/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^26 - 7912145909906478974924654196395730003831828539\ 0192619393068775114482465/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^25 - 1105672287087885327597505974963934815022888183954460425625969068160\ 5716/24982547010322035642934561866291574724350893329343368626333479\ 7511*c_0101_4^24 - 187524708547588953480737914286145395150477863607\ 7816711611411673758155268/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^23 - 1166761763189245041383409310256224552392532599543288756409094646375\ 66306/2498254701032203564293456186629157472435089332934336862633347\ 97511*c_0101_4^22 + 73535390348323470401938133097675118418773363956\ 23813078856715325245810094/1748778290722542495005419330640410230704\ 562533054035803843343582577*c_0101_4^21 + 2590766580907882271022440560673269121222444787297006127947826918919\ 016917/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^20 - 158451419772642687018485026423958671425740043\ 86467763003276446446039991831/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^19 - 4599494265057405018812810383454796026765759439202126595399929611939\ 742757/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^18 + 236632551334473323877977481866221779617703659\ 22976948304853590316435401943/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^17 + 3846099849254384760790788941015750679978557660321448097379344168191\ 906730/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^16 - 254673583253430962024141845260615127228564115\ 29782506678553786705707550625/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^15 + 1263094572992430828378776979013656371621157632546976044343042356499\ 682035/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^14 + 190447154521562019015843567516074386188867040\ 49815052874225521479066109119/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^13 - 6855486930931637294715965179241920083753309057939854560811030733388\ 585422/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^12 - 809383383351050115355934477541922930766271639\ 5322322645052186021668868869/17487782907225424950054193306404102307\ 04562533054035803843343582577*c_0101_4^11 + 7317755191635943893383992500241071543959160371590446668610515055729\ 114784/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^10 - 271427755671336683259772722660654517354773952\ 228378236409660080482424088/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^9 - 2934470444975533686863674653391634565024921922202067763140078411448\ 459162/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^8 + 1922209516204200696507743593442061869071544163\ 858236960670394193210740148/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^7 - 2450084633498152133002875494049140177041915507797029470485061843258\ 93309/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^6 - 56380608473250968489225103867873672277477930105\ 163627485576798934873069/249825470103220356429345618662915747243508\ 933293433686263334797511*c_0101_4^5 + 3171875734461837983732115726110414503506286481402531417486530103263\ 10615/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^4 - 11923426801237478164020655741927110895537727333\ 1847584259185745621440680/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^3 + 2343450064832469576034765834209635340443163770394013931147627022349\ 0186/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^2 - 128734160450434163568575730115210049578271077335\ 7850361927704523023569/17487782907225424950054193306404102307045625\ 33054035803843343582577*c_0101_4 - 6487805239300926422991534815996906818499282017568662943717337699940\ 9/24982547010322035642934561866291574724350893329343368626333479751\ 1, c_0011_6 + 217448131365984429277176919608482755437903476049557336369988\ 03414/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^34 - 1155987464596859793844378233124042093227250310\ 51587450231381030636/1748778290722542495005419330640410230704562533\ 054035803843343582577*c_0101_4^33 - 1617789803310712916964385219650627184806862006730451989258757641386\ /174877829072254249500541933064041023070456253305403580384334358257\ 7*c_0101_4^32 + 180233425266170473857689782660988565647397211165045\ 75427649954695110/1748778290722542495005419330640410230704562533054\ 035803843343582577*c_0101_4^31 - 6518791342364748619409223567382230\ 4761614326140337074171670339017580/17487782907225424950054193306404\ 10230704562533054035803843343582577*c_0101_4^30 + 6705238513993032252394782189993974459493333635724260741200767574852\ 3/17487782907225424950054193306404102307045625330540358038433435825\ 77*c_0101_4^29 + 14635599143465975499377689342114619011127638776387\ 3890106785648109387/17487782907225424950054193306404102307045625330\ 54035803843343582577*c_0101_4^28 - 3203740027680582819196355515673359359502421879874797050539687225026\ 11/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^27 - 1433911296941867474611206115361208901998474550250\ 30262210296702312816/1748778290722542495005419330640410230704562533\ 054035803843343582577*c_0101_4^26 + 3896384210501802954481733432904802202229439570983735256294100706603\ 73/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^25 + 3999573441644215745415033141455832847791065515217\ 1706333874689519016/24982547010322035642934561866291574724350893329\ 3433686263334797511*c_0101_4^24 + 998101366123335041114529568778588\ 079467054174666133671977921723868070/174877829072254249500541933064\ 0410230704562533054035803843343582577*c_0101_4^23 - 1979615074253306396949629665759019721568135373411731888152830506949\ 92/2498254701032203564293456186629157472435089332934336862633347975\ 11*c_0101_4^22 - 58696459242128074576601321559633447543735355254598\ 22234864733042391646/1748778290722542495005419330640410230704562533\ 054035803843343582577*c_0101_4^21 + 3985308299973470232236833725082002989966320187770340093340371140207\ 215/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^20 + 149482580107270472621036788873834084509954221946\ 88127370817004701354741/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^19 - 6991880371712569415977419231631115324899897577185342527093426911229\ 448/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^18 - 247357986262279871415242208804752721134873939028\ 38315547482208732036138/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^17 + 9568773827008692951663023745037331099985983378473031477237562456940\ 931/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^16 + 275002179743611493214584368170185570069918907986\ 53519175994745375583846/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^15 - 1181305870928363657784745082216043918360423360875391133956696496748\ 3519/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^14 - 19493412621027068169844477419611630870551381484\ 015572691110956255310621/174877829072254249500541933064041023070456\ 2533054035803843343582577*c_0101_4^13 + 1245374567981763981866159022349064756221152690540226396172357247434\ 3982/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^12 + 66069257329225466153517213075218429022745388686\ 81759797700387854255999/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^11 - 8959157050515019180322683607828626796403112973664462852632777870751\ 293/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^10 + 177165379884372723928880414350116313240252147426\ 2617591153551478332790/17487782907225424950054193306404102307045625\ 33054035803843343582577*c_0101_4^9 + 2787163362187490736281849028574287002128077800741944352645030071579\ 578/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^8 - 2388601710684559611804118356403176558990523728195\ 441499396575586196571/174877829072254249500541933064041023070456253\ 3054035803843343582577*c_0101_4^7 + 5350975376327587185486607471943040901027800305740896426637245047923\ 87/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^6 + 50655188168066950185513536295171328651849159410372\ 360191412604042125/249825470103220356429345618662915747243508933293\ 433686263334797511*c_0101_4^5 - 36133621873899001550914414467090522\ 3403006070819809002577962661934069/17487782907225424950054193306404\ 10230704562533054035803843343582577*c_0101_4^4 + 1486388399011995941350142052337288088411111927060857506682582231942\ 47/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^3 - 34025886664511360540351108536798928339695925149708\ 931639846731725475/174877829072254249500541933064041023070456253305\ 4035803843343582577*c_0101_4^2 + 4116426467358527739279069902540996\ 543239492193194186475720994742536/174877829072254249500541933064041\ 0230704562533054035803843343582577*c_0101_4 - 155543882039791549220103184448611225561431688429180943348444579312/\ 249825470103220356429345618662915747243508933293433686263334797511, c_0101_0 + 825462511665533510428789797530382345339805034400354466336180\ 3110042/17487782907225424950054193306404102307045625330540358038433\ 43582577*c_0101_4^34 - 28133285755743460156122203455531310940395764\ 155777246310429116716974/174877829072254249500541933064041023070456\ 2533054035803843343582577*c_0101_4^33 - 6522957150178827005571994885978609965615264641088129330245223150610\ 57/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^32 + 5557372253570533412814264647692110516102048831371\ 501502219526036377200/174877829072254249500541933064041023070456253\ 3054035803843343582577*c_0101_4^31 - 1540448912056695320465101830062506008630154888623940740980574216664\ 5663/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^30 + 54634398041474655547313252079940357329069661823\ 99546985612731085833291/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^29 + 4502581860542745026713614121286815539900686491914176009967723879932\ 1551/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^28 - 44052354234068211375611466103684038980174591268\ 042123537162665012308513/174877829072254249500541933064041023070456\ 2533054035803843343582577*c_0101_4^27 - 5869590126564139476894303145601080188916442930322578693209676625376\ 1046/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^26 + 21924062658281253920946884748000962395416949130\ 019772033815337195599106/174877829072254249500541933064041023070456\ 2533054035803843343582577*c_0101_4^25 + 2464380673788954937834453322673173368618646736764661586440613900247\ 342/249825470103220356429345618662915747243508933293433686263334797\ 511*c_0101_4^24 + 3402764646938122305876267975619621529493693586374\ 58816555866443975669312/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^23 + 1565674504273311284657900270263754941402139674975511392114931716436\ 7057/24982547010322035642934561866291574724350893329343368626333479\ 7511*c_0101_4^22 - 137254962955409546325314153323798065974197993852\ 2804808552609727868787295/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^21 - 3442744155944221859936014088999093314289959538520658892303561226751\ 74759/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^20 + 2999971359020751188590185827034043291825218821\ 629928440631491069410533376/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^19 + 5925434663350273528815274158384339824844820361474150177530867666770\ 89654/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^18 - 4526505580891421458820368469821523268020929214\ 190808656118985345005714491/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^17 - 3691986079567283204763785854350897061033011281182444344006772815084\ 97268/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^16 + 4887697404491292405476538897382070538232531356\ 671814698171038039117178916/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^15 - 5679650417517801905601424431408523772546753036200948520370109412610\ 62534/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^14 - 3624683736153026977034878999910097842018810782\ 414254676459148364995408549/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^13 + 1510915988712056890113588752988423837208564269015017143735853859558\ 150142/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^12 + 148576255860914767251895131419378741736755975\ 8668458595756705103397262606/17487782907225424950054193306404102307\ 04562533054035803843343582577*c_0101_4^11 - 1469858556605055752059956513570091259007243562974617647499571993218\ 168060/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^10 + 110926797852012871336449125378263709299161878\ 352049861861808896115604695/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^9 + 5597318250944997870722699108060269994196273128215770528770902394308\ 04071/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^8 - 38913309241814179913713810480406434902191027849\ 1725188736710737601818604/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^7 + 5914906942485158733199270882660617275207040252002535215729149287814\ 4950/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^6 + 106432168032365112164163434171120861754084279288\ 83311193293898963268261/2498254701032203564293456186629157472435089\ 33293433686263334797511*c_0101_4^5 - 6329910987017267787857558843361830233952312379462764439302467278633\ 4496/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^4 + 245466814530662503762505607497738781244841313794\ 53906916802430536076485/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^3 - 4981268010251872175550972474828189335102532534713784456832251919138\ 277/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^2 + 3158528880694291239559376255508974213548277250077\ 93329416879777534966/1748778290722542495005419330640410230704562533\ 054035803843343582577*c_0101_4 + 1355838488975561014732504895905983\ 5903668532597970303927883095893758/24982547010322035642934561866291\ 5747243508933293433686263334797511, c_0101_1 - 441192307900133080162066011710571715303081620617162736947628\ 20115113/1748778290722542495005419330640410230704562533054035803843\ 343582577*c_0101_4^34 + 1458567652997145630103939718445152449872954\ 69082572550719397391230374/1748778290722542495005419330640410230704\ 562533054035803843343582577*c_0101_4^33 + 3498343164150700292039841700493339585376259007626578361973658176815\ 175/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^32 - 293377358969774567420227782049653716573046386477\ 72932974344464883766529/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^31 + 7957430487027579422373483228978629766701080252532924896748272708163\ 4851/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^30 - 22858638934876444437131721773741971827673805221\ 594085244277121526188679/174877829072254249500541933064041023070456\ 2533054035803843343582577*c_0101_4^29 - 2389498666468276057694715875461107411919020147614670299483642835095\ 82277/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^28 + 2124280677677013007203931574238591433579518359\ 48250622941653932097965675/1748778290722542495005419330640410230704\ 562533054035803843343582577*c_0101_4^27 + 3202881380000199403811200394660015375688531751134921990823844370486\ 72651/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^26 - 8093679683072318371193544301044641653550609719\ 6421138382505688442924517/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^25 - 1088492524752737330812618618344412147611096276777879542697802785601\ 5293/24982547010322035642934561866291574724350893329343368626333479\ 7511*c_0101_4^24 - 181486384877375637046207851219923904706775080319\ 3158289029586788817086292/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^23 - 1097990985978217820156674582730470787016298989355239902072462832383\ 14296/2498254701032203564293456186629157472435089332934336862633347\ 97511*c_0101_4^22 + 71375430351581644288803118825114143703915747706\ 41141461117230793743279545/1748778290722542495005419330640410230704\ 562533054035803843343582577*c_0101_4^21 + 2432801301266101490912081467618367154295337798336649613195928863835\ 323015/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^20 - 154015362663862077432076967670638543608739210\ 85659793284755349293544989651/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^19 - 4302694202109388455085869059156312652786217256044019180764074423582\ 674141/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^18 + 230241204085129639814218892924145363510169411\ 23094260053931164221351633984/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^17 + 3512063448751246072265183094234003078111342448823675508770059802381\ 729413/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^16 - 247855078530406792348619028418576345397434027\ 55084799631194595422849602449/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^15 + 1446982916679352967596785714090333648512028777376622425110016861271\ 301335/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^14 + 185132091320488015624161422801195155734923553\ 72683593059102112174736284923/1748778290722542495005419330640410230\ 704562533054035803843343582577*c_0101_4^13 - 6814820277879024771273963520549707957253586033169892233842320158017\ 505315/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^12 - 782984070215541427663206597931055213039594372\ 3036101048000287483571644076/17487782907225424950054193306404102307\ 04562533054035803843343582577*c_0101_4^11 + 7177516169308873132582892174848573683129356855234961530698815281423\ 848942/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^10 - 307475731376688751760010477422939937714136498\ 180616118141762083718706344/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^9 - 2857648949966729094807544706510773916396405673914968687140572446908\ 803931/174877829072254249500541933064041023070456253305403580384334\ 3582577*c_0101_4^8 + 1887450132281180767835356058690922062402182666\ 710649650677813796776656607/174877829072254249500541933064041023070\ 4562533054035803843343582577*c_0101_4^7 - 2472887150482484685191109645823085966881534561577406438191708873749\ 85528/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^6 - 54829737587552441267288519679660318212275257426\ 793261581425802003612503/249825470103220356429345618662915747243508\ 933293433686263334797511*c_0101_4^5 + 3108586052031244932968112086510132063754862086081695283916703616667\ 17811/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^4 - 11737208926101098942679329448606687152426369807\ 0431207801694109883672935/17487782907225424950054193306404102307045\ 62533054035803843343582577*c_0101_4^3 + 2318431017539017654563934744815679080769053097240502133620146122678\ 1141/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^2 - 129930754933079458865998245889452231115481060788\ 0790266627418272690323/17487782907225424950054193306404102307045625\ 33054035803843343582577*c_0101_4 - 6367365617129058536931468951509053440345178886071506562406654265250\ 9/24982547010322035642934561866291574724350893329343368626333479751\ 1, c_0101_2 - 942815880634288072092424342143045216820772448642527429148902\ 18199/1748778290722542495005419330640410230704562533054035803843343\ 582577*c_0101_4^34 + 3553815391171167859092520448963698111845186318\ 52055238022562069382/1748778290722542495005419330640410230704562533\ 054035803843343582577*c_0101_4^33 + 7375281027343704134496105257813852378842672885599048654677927831959\ /174877829072254249500541933064041023070456253305403580384334358257\ 7*c_0101_4^32 - 662649536023580282736901674146486284262887542955315\ 22909462199461894/1748778290722542495005419330640410230704562533054\ 035803843343582577*c_0101_4^31 + 1955244544370492009431651352293008\ 85045165238501027887274576389525625/1748778290722542495005419330640\ 410230704562533054035803843343582577*c_0101_4^30 - 1015962158605580737590576304512823940939803200245260280447704569764\ 51/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^29 - 5439286575647532293882960541558920152628800408806\ 32981075522399399065/1748778290722542495005419330640410230704562533\ 054035803843343582577*c_0101_4^28 + 6617314998569885515966400102296578652258076779676363694167384120742\ 42/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^27 + 6908063622692700654447490755953384016391236830591\ 28731966572389806482/1748778290722542495005419330640410230704562533\ 054035803843343582577*c_0101_4^26 - 5047005066538228732952118812530083918427515261718430925866586575871\ 10/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^25 - 6204684197032079286647917958686579478574979588057\ 5617967295433440957/24982547010322035642934561866291574724350893329\ 3433686263334797511*c_0101_4^24 - 404557676816844166211619514242123\ 0895327539745943456496357838141501172/17487782907225424950054193306\ 40410230704562533054035803843343582577*c_0101_4^23 + 7362221969545409935138064475609165774215970343941730699078725048771\ /249825470103220356429345618662915747243508933293433686263334797511\ *c_0101_4^22 + 1778431572702561377338269583379372787030475411511742\ 0402379666786653412/17487782907225424950054193306404102307045625330\ 54035803843343582577*c_0101_4^21 + 4914470147225745792161067386425576195411211694233887680277354354478\ 90/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^20 - 4052932324129879305057524743871750711654787068337\ 9024510866394165230610/17487782907225424950054193306404102307045625\ 33054035803843343582577*c_0101_4^19 - 1330885401961834350451166386508763470887959487209510953390665816218\ 574/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^18 + 626260312641209571180432410249789990016684486129\ 07922330026421317186363/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^17 - 1847460817784145623964938900853173601904377750106930833828577630481\ 106/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^16 - 678215958278788157739655541486875228664742298903\ 00231214631632673375071/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^15 + 1227690118483527415369931845069387777711145257784012030156869301191\ 9657/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^14 + 49322045704438153237972460849979350089601844705\ 548222580826889375773679/174877829072254249500541933064041023070456\ 2533054035803843343582577*c_0101_4^13 - 2247009656536026934449560989753052577135933320088008789464878629222\ 7692/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^12 - 19163294894351550883707328054351628847716554036\ 166810411261734852475817/174877829072254249500541933064041023070456\ 2533054035803843343582577*c_0101_4^11 + 2032781547139004874341349426855753006994801675311742080919710924170\ 7117/17487782907225424950054193306404102307045625330540358038433435\ 82577*c_0101_4^10 - 22890135318042912349687757636747598583554306476\ 20346388085284721262203/1748778290722542495005419330640410230704562\ 533054035803843343582577*c_0101_4^9 - 7437034425575164264492182015438721840278543118155564912909304689910\ 700/174877829072254249500541933064041023070456253305403580384334358\ 2577*c_0101_4^8 + 5468226770234399051766627753664431220876287836816\ 890069725672324143061/174877829072254249500541933064041023070456253\ 3054035803843343582577*c_0101_4^7 - 9238876043359481006854053272821985057875781928652143701751773400070\ 95/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^6 - 14176617710576977621621236473338300289440780973795\ 9349400134580436791/24982547010322035642934561866291574724350893329\ 3433686263334797511*c_0101_4^5 + 8765426597557847132396929519041891\ 43561620547564805795642748240947667/1748778290722542495005419330640\ 410230704562533054035803843343582577*c_0101_4^4 - 3478498866741214723187774454890933886895789650491001296278415593588\ 09/1748778290722542495005419330640410230704562533054035803843343582\ 577*c_0101_4^3 + 73771426340428962071588697077815557806909027928686\ 469867967801537194/174877829072254249500541933064041023070456253305\ 4035803843343582577*c_0101_4^2 - 1089435977566760583457263910353729\ 407291715059159855036032000007757/174877829072254249500541933064041\ 0230704562533054035803843343582577*c_0101_4 - 453372940960605666740949365771135903774102820650237006653156080078/\ 249825470103220356429345618662915747243508933293433686263334797511, c_0101_4^35 - 4*c_0101_4^34 - 77*c_0101_4^33 + 720*c_0101_4^32 - 2265*c_0101_4^31 + 1769*c_0101_4^30 + 5058*c_0101_4^29 - 8571*c_0101_4^28 - 3929*c_0101_4^27 + 6874*c_0101_4^26 + 474*c_0101_4^25 + 39940*c_0101_4^24 - 11133*c_0101_4^23 - 173932*c_0101_4^22 + 57044*c_0101_4^21 + 387605*c_0101_4^20 - 144433*c_0101_4^19 - 590085*c_0101_4^18 + 281956*c_0101_4^17 + 617860*c_0101_4^16 - 421897*c_0101_4^15 - 397840*c_0101_4^14 + 445087*c_0101_4^13 + 71165*c_0101_4^12 - 285684*c_0101_4^11 + 119304*c_0101_4^10 + 60090*c_0101_4^9 - 87561*c_0101_4^8 + 35134*c_0101_4^7 + 4850*c_0101_4^6 - 13058*c_0101_4^5 + 7522*c_0101_4^4 - 2359*c_0101_4^3 + 391*c_0101_4^2 - 10*c_0101_4 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB