Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 1966401940] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0652 geometric_solution 4.63681005 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 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 -0.522120756298 0.196619514543 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4.092030134010 2.750787131797 3 1 1 3 0132 3201 0132 3201 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 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.066029127889 0.519845298666 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.490477813804 0.552200273283 6 5 3 5 0132 3012 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626394146267 0.758020336946 4 6 4 3 1230 0132 2031 0132 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 0 1 0 -1 0 0 0 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.626394146267 0.758020336946 4 5 6 6 0132 0132 1230 3012 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 1.352205614924 0.783917475879 ==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' : d['c_0101_0'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 11185023056500138232307835883849653914872395242604698/6910598304964\ 90080517108254929290116942526684477*c_0101_6^26 + 3049500867268422690243425278690010604064069188489920/69105983049649\ 0080517108254929290116942526684477*c_0101_6^25 - 267615760986202369820406524639871167218697081306137615/691059830496\ 490080517108254929290116942526684477*c_0101_6^24 + 229034043566255665750376928784465961124349764022706778/691059830496\ 490080517108254929290116942526684477*c_0101_6^23 + 1785096134191287973290843861010662708142551411249949387/69105983049\ 6490080517108254929290116942526684477*c_0101_6^22 - 3551318359571449109880936116079557448128785335439118015/69105983049\ 6490080517108254929290116942526684477*c_0101_6^21 - 5599798725454453366757820944971982554511116170865455383/69105983049\ 6490080517108254929290116942526684477*c_0101_6^20 + 13575651187338828511873785275252008253923295470888713632/6910598304\ 96490080517108254929290116942526684477*c_0101_6^19 + 15179207968004782571065160703749050941689700672882657780/6910598304\ 96490080517108254929290116942526684477*c_0101_6^18 + 14497693093421576982994535466736820539300477561542492324/6910598304\ 96490080517108254929290116942526684477*c_0101_6^17 + 3724407230163973299956002059482761001504181262750500542/69105983049\ 6490080517108254929290116942526684477*c_0101_6^16 - 87888665784211790943025366323092833342983396562585283555/6910598304\ 96490080517108254929290116942526684477*c_0101_6^15 - 54685902151018558519971555889248635063478555431261358260/6910598304\ 96490080517108254929290116942526684477*c_0101_6^14 + 68090732944133760180186585717088160626059285179430783800/6910598304\ 96490080517108254929290116942526684477*c_0101_6^13 + 30627918857046222943144363839225027087657514690029511982/6910598304\ 96490080517108254929290116942526684477*c_0101_6^12 + 11791882878720922031157655757133768510603215357624031204/6910598304\ 96490080517108254929290116942526684477*c_0101_6^11 + 18933208308404458930366965807207771993060087289601995516/6910598304\ 96490080517108254929290116942526684477*c_0101_6^10 - 9216171261231455221678380270511074193477806142039174550/69105983049\ 6490080517108254929290116942526684477*c_0101_6^9 - 9745245782365720746379616598328865842363957469408861512/69105983049\ 6490080517108254929290116942526684477*c_0101_6^8 - 18093470572853163706049521940534001900378167444380895209/6910598304\ 96490080517108254929290116942526684477*c_0101_6^7 - 2582233275744996881773956942115174111760939351712223164/69105983049\ 6490080517108254929290116942526684477*c_0101_6^6 + 9819280787243781720518478079464696867397504549079345851/69105983049\ 6490080517108254929290116942526684477*c_0101_6^5 + 1722729951364519285367870213760095810007313698484463829/69105983049\ 6490080517108254929290116942526684477*c_0101_6^4 - 877507813652491034300143919736360598193834656762039069/691059830496\ 490080517108254929290116942526684477*c_0101_6^3 - 405716056219910222558233758344575175138798623739580195/691059830496\ 490080517108254929290116942526684477*c_0101_6^2 - 54404264306719246610821208177086863541824246346409069/6910598304964\ 90080517108254929290116942526684477*c_0101_6 + 41263805439711477692843940334120634342815811303369697/6910598304964\ 90080517108254929290116942526684477, c_0011_0 - 1, c_0011_2 + 4157388583012861390507625705990256574233181906865/6910598304\ 96490080517108254929290116942526684477*c_0101_6^26 + 1105078610249271590923731959898024648765343589386/69105983049649008\ 0517108254929290116942526684477*c_0101_6^25 - 99471299984583155815907721903943254020951919896662/6910598304964900\ 80517108254929290116942526684477*c_0101_6^24 + 85810015659879280568459935036043788544315509268000/6910598304964900\ 80517108254929290116942526684477*c_0101_6^23 + 662757741570666863174332133432814792582207699232280/691059830496490\ 080517108254929290116942526684477*c_0101_6^22 - 1324342886129415408773578028052821076266661294316168/69105983049649\ 0080517108254929290116942526684477*c_0101_6^21 - 2071391774311641966989802086248289653526518392264068/69105983049649\ 0080517108254929290116942526684477*c_0101_6^20 + 5057750379986059563199803125905658991219912678157377/69105983049649\ 0080517108254929290116942526684477*c_0101_6^19 + 5605194141398470421651914946411697907297706337364341/69105983049649\ 0080517108254929290116942526684477*c_0101_6^18 + 5358088391890513986901194029747329479263396810500925/69105983049649\ 0080517108254929290116942526684477*c_0101_6^17 + 1353220938000632731324978658956816535796657127124426/69105983049649\ 0080517108254929290116942526684477*c_0101_6^16 - 32664453701674730356971093228646217356588366095090615/6910598304964\ 90080517108254929290116942526684477*c_0101_6^15 - 20097264403128574581543353481839530260147075574581077/6910598304964\ 90080517108254929290116942526684477*c_0101_6^14 + 25400200964022434767893544446588137149163796799555176/6910598304964\ 90080517108254929290116942526684477*c_0101_6^13 + 11193521647457744170346576146435715041762400665227382/6910598304964\ 90080517108254929290116942526684477*c_0101_6^12 + 4321869029933505688208052050046740560428473187337944/69105983049649\ 0080517108254929290116942526684477*c_0101_6^11 + 6995723030979855450413092006600439794392565123245227/69105983049649\ 0080517108254929290116942526684477*c_0101_6^10 - 3458798536387879609098196170053670355813917805555396/69105983049649\ 0080517108254929290116942526684477*c_0101_6^9 - 3587127817398997104119914813665013744243841185351962/69105983049649\ 0080517108254929290116942526684477*c_0101_6^8 - 6697356602449459691067890325867382151128562967935232/69105983049649\ 0080517108254929290116942526684477*c_0101_6^7 - 908839136217754000074133415860882021449034885140214/691059830496490\ 080517108254929290116942526684477*c_0101_6^6 + 3649578975094190282648612627205576270787159676358696/69105983049649\ 0080517108254929290116942526684477*c_0101_6^5 + 617046098542670832953777346045859637669270040492031/691059830496490\ 080517108254929290116942526684477*c_0101_6^4 - 331684321532510188937781223786236393029208550530491/691059830496490\ 080517108254929290116942526684477*c_0101_6^3 - 149960889470119201291481125195943344246549502270467/691059830496490\ 080517108254929290116942526684477*c_0101_6^2 - 19390222400838949053436070332138014744246925079189/6910598304964900\ 80517108254929290116942526684477*c_0101_6 + 15108402615289230064118181702673432396687318870208/6910598304964900\ 80517108254929290116942526684477, c_0011_4 - 2826306118488449771672355854106167401871083663505/6910598304\ 96490080517108254929290116942526684477*c_0101_6^26 - 723733350562962308184160876920901126444899004919/691059830496490080\ 517108254929290116942526684477*c_0101_6^25 + 67647694049802997468763996572169790934518107985398/6910598304964900\ 80517108254929290116942526684477*c_0101_6^24 - 58980216931316958542749781818847014586556355350541/6910598304964900\ 80517108254929290116942526684477*c_0101_6^23 - 450391879220769110841489703385869608800363884130066/691059830496490\ 080517108254929290116942526684477*c_0101_6^22 + 904832754694111896952867372510700781627158998233784/691059830496490\ 080517108254929290116942526684477*c_0101_6^21 + 1402192842223466512588980215749085692128388188253759/69105983049649\ 0080517108254929290116942526684477*c_0101_6^20 - 3455896939191340447328323678041786493943757842408718/69105983049649\ 0080517108254929290116942526684477*c_0101_6^19 - 3787729199518283428154294363034306452963420131722040/69105983049649\ 0080517108254929290116942526684477*c_0101_6^18 - 3591240028055959989532171812212766570511440817327662/69105983049649\ 0080517108254929290116942526684477*c_0101_6^17 - 852892616830319211706323625963123105727985557981178/691059830496490\ 080517108254929290116942526684477*c_0101_6^16 + 22256091706169442694789760403533018799348526043946181/6910598304964\ 90080517108254929290116942526684477*c_0101_6^15 + 13474761932073697817570742707545122964180424365959933/6910598304964\ 90080517108254929290116942526684477*c_0101_6^14 - 17515914351135811920312525756312399854563193399388390/6910598304964\ 90080517108254929290116942526684477*c_0101_6^13 - 7590660168618042611112419075476054484462983183993856/69105983049649\ 0080517108254929290116942526684477*c_0101_6^12 - 2849227374562550487853608792180615085976773943134840/69105983049649\ 0080517108254929290116942526684477*c_0101_6^11 - 4667378418286013794862567917174979025548871007762682/69105983049649\ 0080517108254929290116942526684477*c_0101_6^10 + 2443242211380532245270705704827542562326738124713969/69105983049649\ 0080517108254929290116942526684477*c_0101_6^9 + 2464144784125260524606665372898211925944185797583818/69105983049649\ 0080517108254929290116942526684477*c_0101_6^8 + 4549586151721629173985060218680436125676785049758245/69105983049649\ 0080517108254929290116942526684477*c_0101_6^7 + 568486985486656572326580336993508379860581012391647/691059830496490\ 080517108254929290116942526684477*c_0101_6^6 - 2515874915139863435706733191864982396332036824655039/69105983049649\ 0080517108254929290116942526684477*c_0101_6^5 - 413900568920954652566188043500951313776859099336488/691059830496490\ 080517108254929290116942526684477*c_0101_6^4 + 233838800448383746569756365369129786271514085982201/691059830496490\ 080517108254929290116942526684477*c_0101_6^3 + 105804022467764887148320779849572896444884047098180/691059830496490\ 080517108254929290116942526684477*c_0101_6^2 + 12917012085697728336032323827675327384153151664006/6910598304964900\ 80517108254929290116942526684477*c_0101_6 - 10959827189399138482185164877126005521090595941701/6910598304964900\ 80517108254929290116942526684477, c_0101_0 + 2191125700177073749204736488789672093498273698830/6910598304\ 96490080517108254929290116942526684477*c_0101_6^26 + 586527856831922574210812554104180181774367859640/691059830496490080\ 517108254929290116942526684477*c_0101_6^25 - 52422860467494562084807785046176703151692139750294/6910598304964900\ 80517108254929290116942526684477*c_0101_6^24 + 45127463462301408056224310869106843585824418304260/6910598304964900\ 80517108254929290116942526684477*c_0101_6^23 + 349343759187640423729303654213826577725883765047405/691059830496490\ 080517108254929290116942526684477*c_0101_6^22 - 697286464933713528393917128646960789067722252933480/691059830496490\ 080517108254929290116942526684477*c_0101_6^21 - 1092733534073759597713838163241218228094126431842773/69105983049649\ 0080517108254929290116942526684477*c_0101_6^20 + 2662995222940741816387215876463721556852043548423076/69105983049649\ 0080517108254929290116942526684477*c_0101_6^19 + 2958315623448818184522778086840614383686260526374397/69105983049649\ 0080517108254929290116942526684477*c_0101_6^18 + 2831846604391800448094937967458187108379077587575230/69105983049649\ 0080517108254929290116942526684477*c_0101_6^17 + 721036348349285713749392504204080120186971293819449/691059830496490\ 080517108254929290116942526684477*c_0101_6^16 - 17212661101732461126328436858700568235326693570525791/6910598304964\ 90080517108254929290116942526684477*c_0101_6^15 - 10626408248162380582619755723521773615274564497941803/6910598304964\ 90080517108254929290116942526684477*c_0101_6^14 + 13350126141690507168991874179384327304745585990496892/6910598304964\ 90080517108254929290116942526684477*c_0101_6^13 + 5914777307780582382323104883441637322346013247366461/69105983049649\ 0080517108254929290116942526684477*c_0101_6^12 + 2303679562667737814515237780029669968687265153163702/69105983049649\ 0080517108254929290116942526684477*c_0101_6^11 + 3704762963399085408939234288081079894283432291174051/69105983049649\ 0080517108254929290116942526684477*c_0101_6^10 - 1809120619064895432486919245698429964295089421253860/69105983049649\ 0080517108254929290116942526684477*c_0101_6^9 - 1888826104379832941458596708343403051176271689157360/69105983049649\ 0080517108254929290116942526684477*c_0101_6^8 - 3535449102018164476672430066953837051813058930117068/69105983049649\ 0080517108254929290116942526684477*c_0101_6^7 - 491807391855082884938031877838987367521969537750742/691059830496490\ 080517108254929290116942526684477*c_0101_6^6 + 1916788468357201166280079273290804189484569966018258/69105983049649\ 0080517108254929290116942526684477*c_0101_6^5 + 326101946381738119053197076794703649803542155772724/691059830496490\ 080517108254929290116942526684477*c_0101_6^4 - 173440640068512664661205560540308049456953462700468/691059830496490\ 080517108254929290116942526684477*c_0101_6^3 - 78668792209906532733760361337213641266503526739709/6910598304964900\ 80517108254929290116942526684477*c_0101_6^2 - 10252253625253399585910502356450668259579999537060/6910598304964900\ 80517108254929290116942526684477*c_0101_6 + 8362404699032443758197677544847944760873316710025/69105983049649008\ 0517108254929290116942526684477, c_0101_1 + 17358197010354953967009074879651150297182237172878/691059830\ 496490080517108254929290116942526684477*c_0101_6^26 + 4697325706225570038827310088762759802903938677828/69105983049649008\ 0517108254929290116942526684477*c_0101_6^25 - 415349810796974852408009376177156103960974737166325/691059830496490\ 080517108254929290116942526684477*c_0101_6^24 + 356264268648442757459101914023357351799316153095744/691059830496490\ 080517108254929290116942526684477*c_0101_6^23 + 2770142650924483413793719506658301982178588466254010/69105983049649\ 0080517108254929290116942526684477*c_0101_6^22 - 5517131724726271123634111289250985077761423348522452/69105983049649\ 0080517108254929290116942526684477*c_0101_6^21 - 8683012131955530231382483477594682826810988563963741/69105983049649\ 0080517108254929290116942526684477*c_0101_6^20 + 21091173022713978908878459838444095058898268454945859/6910598304964\ 90080517108254929290116942526684477*c_0101_6^19 + 23528456571945790811809341886174624201018926924708945/6910598304964\ 90080517108254929290116942526684477*c_0101_6^18 + 22431444564758552572626722308832047633590009446014432/6910598304964\ 90080517108254929290116942526684477*c_0101_6^17 + 5693044028146233792915423638354569572828361072638792/69105983049649\ 0080517108254929290116942526684477*c_0101_6^16 - 136463326635268569228213934923286073224603887301441588/691059830496\ 490080517108254929290116942526684477*c_0101_6^15 - 84637890855276303790321873912537062414395745980270061/6910598304964\ 90080517108254929290116942526684477*c_0101_6^14 + 105994803982189719736491948213485045590348343353546625/691059830496\ 490080517108254929290116942526684477*c_0101_6^13 + 47514240704406715132423160305393305704902303968301673/6910598304964\ 90080517108254929290116942526684477*c_0101_6^12 + 18190558365596076785989861274538821768424026172703253/6910598304964\ 90080517108254929290116942526684477*c_0101_6^11 + 29307118957172618303223220869609698379278185178229953/6910598304964\ 90080517108254929290116942526684477*c_0101_6^10 - 14413082673751072363952504583984088132774628953867707/6910598304964\ 90080517108254929290116942526684477*c_0101_6^9 - 15180487525099958445312056698775863167168619283416545/6910598304964\ 90080517108254929290116942526684477*c_0101_6^8 - 28081974823161900998974918908151490438643444750242864/6910598304964\ 90080517108254929290116942526684477*c_0101_6^7 - 3959534391012348797861196679677410057357367373288758/69105983049649\ 0080517108254929290116942526684477*c_0101_6^6 + 15275336979313749918714021041944895165700180619113380/6910598304964\ 90080517108254929290116942526684477*c_0101_6^5 + 2665930655605577631052247687576073054267988128530551/69105983049649\ 0080517108254929290116942526684477*c_0101_6^4 - 1369691013050043258110983221135664933929556581441312/69105983049649\ 0080517108254929290116942526684477*c_0101_6^3 - 628121854254583660515428798257610561963012251245464/691059830496490\ 080517108254929290116942526684477*c_0101_6^2 - 83501973773860162204053369155076564249845549484648/6910598304964900\ 80517108254929290116942526684477*c_0101_6 + 64064508720750167942221778571619645002208231339855/6910598304964900\ 80517108254929290116942526684477, c_0101_5 + 7437057746753276386437612412754777752756528844660/6910598304\ 96490080517108254929290116942526684477*c_0101_6^26 + 1966262882835787641302889217200584480734908208035/69105983049649008\ 0517108254929290116942526684477*c_0101_6^25 - 177970835168661284257789778500320821599165716542094/691059830496490\ 080517108254929290116942526684477*c_0101_6^24 + 153752119645249868702715598286612448455166498659452/691059830496490\ 080517108254929290116942526684477*c_0101_6^23 + 1185989445197582436023627935731172718882996533041380/69105983049649\ 0080517108254929290116942526684477*c_0101_6^22 - 2371363864194906336058949601785486553888782978737385/69105983049649\ 0080517108254929290116942526684477*c_0101_6^21 - 3705998328351558304364832438286338276840141983071928/69105983049649\ 0080517108254929290116942526684477*c_0101_6^20 + 9061369717879040752414812834211878540788921979869705/69105983049649\ 0080517108254929290116942526684477*c_0101_6^19 + 10025176405214179319297577584928339408696067724355461/6910598304964\ 90080517108254929290116942526684477*c_0101_6^18 + 9541031049189939447356803566194762500416748049989764/69105983049649\ 0080517108254929290116942526684477*c_0101_6^17 + 2377500632563648011077503814034046815829188646032495/69105983049649\ 0080517108254929290116942526684477*c_0101_6^16 - 58477550381543693701830557301822237163299205424052703/6910598304964\ 90080517108254929290116942526684477*c_0101_6^15 - 35881390230273519464186777667783023608083857260845844/6910598304964\ 90080517108254929290116942526684477*c_0101_6^14 + 45682364094956103682897735894671675169569906835359286/6910598304964\ 90080517108254929290116942526684477*c_0101_6^13 + 20067223073331959543481416448153460261889748903601764/6910598304964\ 90080517108254929290116942526684477*c_0101_6^12 + 7599106356664184020592006335773568378276424417394841/69105983049649\ 0080517108254929290116942526684477*c_0101_6^11 + 12467255601454121196637659709937533334364131060921542/6910598304964\ 90080517108254929290116942526684477*c_0101_6^10 - 6265659136997190115098474231870529512183006733316924/69105983049649\ 0080517108254929290116942526684477*c_0101_6^9 - 6454017221725600722249974542994826819799546017951896/69105983049649\ 0080517108254929290116942526684477*c_0101_6^8 - 11968878461285438852331660847335958769624335830670062/6910598304964\ 90080517108254929290116942526684477*c_0101_6^7 - 1600125373613107173243561652235041771236632980439564/69105983049649\ 0080517108254929290116942526684477*c_0101_6^6 + 6573802537585408688115254129967596433664071766590928/69105983049649\ 0080517108254929290116942526684477*c_0101_6^5 + 1100640598262960623521336298830615972318284758544338/69105983049649\ 0080517108254929290116942526684477*c_0101_6^4 - 601502777449460452471933220279417342465055576639893/691059830496490\ 080517108254929290116942526684477*c_0101_6^3 - 269799547665296670073139849437250009863603020499923/691059830496490\ 080517108254929290116942526684477*c_0101_6^2 - 34797868356942776706049810049885104333205857991935/6910598304964900\ 80517108254929290116942526684477*c_0101_6 + 28047319958180832464662494088086542279115718681171/6910598304964900\ 80517108254929290116942526684477, c_0101_6^27 - 24*c_0101_6^25 + 27*c_0101_6^24 + 154*c_0101_6^23 - 361*c_0101_6^22 - 414*c_0101_6^21 + 1350*c_0101_6^20 + 1026*c_0101_6^19 + 927*c_0101_6^18 - 20*c_0101_6^17 - 7948*c_0101_6^16 - 2747*c_0101_6^15 + 7416*c_0101_6^14 + 1078*c_0101_6^13 + 312*c_0101_6^12 + 1405*c_0101_6^11 - 1285*c_0101_6^10 - 646*c_0101_6^9 - 1381*c_0101_6^8 + 210*c_0101_6^7 + 940*c_0101_6^6 - 85*c_0101_6^5 - 120*c_0101_6^4 - 15*c_0101_6^3 + 5*c_0101_6^2 + 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB