Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 1031578082] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0851 geometric_solution 4.76645016 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 -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 1.394957156675 0.102612603226 0 2 2 0 3201 0132 1023 0132 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 -1 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.159788082804 0.110008908083 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 0 0 0 0 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.196156253027 0.340739640553 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536487056296 0.489877403462 5 3 6 5 2103 0132 0132 2031 0 0 0 0 0 1 0 -1 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671015313922 0.732779204089 6 4 4 3 2310 1302 2103 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.671015313922 0.732779204089 6 6 5 4 1230 3012 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.520707832338 0.473827289573 ==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_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_5, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 871077938735567545509404475237155991373285064234743698257289801/140\ 8937049948292265424171898368893736444293524057275368381003*c_0101_3\ ^26 + 4782639489680700722519834566389299887949139000468831935404641\ 3/61258132606447489801050952102995379845404066263359798625261*c_010\ 1_3^25 + 2147825757505434420984250754904976799685328619797680180192\ 8414440/14089370499482922654241718983688937364442935240572753683810\ 03*c_0101_3^24 - 77725887307376447663435770028387643249768374867162\ 53466592236661/2012767214211846093463102711955562480634705034367536\ 24054429*c_0101_3^23 + 31077659806286608997112477609540976820054438\ 048940357303200761183/140893704994829226542417189836889373644429352\ 4057275368381003*c_0101_3^22 + 741986680651482356388368824007119073\ 975581990504020797024222359054/140893704994829226542417189836889373\ 6444293524057275368381003*c_0101_3^21 - 4053175343315901282726727441657468323287164907851670526733223457530\ /1408937049948292265424171898368893736444293524057275368381003*c_01\ 01_3^20 - 417345709636299009701041725014236594898105266508377398746\ 7268561871/14089370499482922654241718983688937364442935240572753683\ 81003*c_0101_3^19 + 34094296116463174449111740436914100095280647581\ 119221631629749434145/140893704994829226542417189836889373644429352\ 4057275368381003*c_0101_3^18 + 197968669658596863166954707598276213\ 80954511738070368274780630127500/1408937049948292265424171898368893\ 736444293524057275368381003*c_0101_3^17 - 1228784268255156620624604484079428359009440126387208122118072430035\ 38/1408937049948292265424171898368893736444293524057275368381003*c_\ 0101_3^16 - 8847437680456680402724306672176859639807408404866175464\ 9688462025236/14089370499482922654241718983688937364442935240572753\ 68381003*c_0101_3^15 + 21445868688467996701078375868074403480733819\ 6568197396266630720246472/14089370499482922654241718983688937364442\ 93524057275368381003*c_0101_3^14 + 2309781581544618342354754952518950569516519191614475324908862482437\ 19/1408937049948292265424171898368893736444293524057275368381003*c_\ 0101_3^13 - 1408087751579031488432038981447404786731848550402593614\ 25849672971610/1408937049948292265424171898368893736444293524057275\ 368381003*c_0101_3^12 - 2832152444249616947248435933867520869315539\ 23004392317467329598965862/1408937049948292265424171898368893736444\ 293524057275368381003*c_0101_3^11 - 4993616367961679730852345881291236609574339697560738639317005427471\ 8/1408937049948292265424171898368893736444293524057275368381003*c_0\ 101_3^10 + 12434471888878629776597050287435457753886578512326166097\ 0591945497843/14089370499482922654241718983688937364442935240572753\ 68381003*c_0101_3^9 + 807263784086980093886635101831902860934089767\ 11339931085762990178427/1408937049948292265424171898368893736444293\ 524057275368381003*c_0101_3^8 + 25301288221817325832276934458952978\ 04615897585966430110566796891408/1408937049948292265424171898368893\ 736444293524057275368381003*c_0101_3^7 - 1196480553382165152150854875518565929141532912426638156763820623931\ 9/1408937049948292265424171898368893736444293524057275368381003*c_0\ 101_3^6 - 250522967819775452919382259862621346648534979495789419106\ 1737718433/14089370499482922654241718983688937364442935240572753683\ 81003*c_0101_3^5 - 411376039121619847995057085318931110397817380762\ 303749183094726638/140893704994829226542417189836889373644429352405\ 7275368381003*c_0101_3^4 - 2181184799502513738373634042857846798152\ 07487853122913622154952713/2012767214211846093463102711955562480634\ 70503436753624054429*c_0101_3^3 - 149311713608287443367982664682129\ 719506490172354906366655989840879/201276721421184609346310271195556\ 248063470503436753624054429*c_0101_3^2 - 273339253815413101946314659924300240358389582208538394325578872556/\ 1408937049948292265424171898368893736444293524057275368381003*c_010\ 1_3 - 2531650270465529899151373749754483255452530399369331583509189\ 6578/1408937049948292265424171898368893736444293524057275368381003, c_0011_0 - 1, c_0011_1 - 2056649478637927397222123203725373139656652432826482250/3373\ 22661254329490482161178093707522785689870999387661*c_0101_3^26 + 2942626163569260796584159406762615991608050492021564878/33732266125\ 4329490482161178093707522785689870999387661*c_0101_3^25 + 50149272854157589290923406210523888111806787733278738827/3373226612\ 54329490482161178093707522785689870999387661*c_0101_3^24 - 136777653990074757745483477498086962410029015457907797255/337322661\ 254329490482161178093707522785689870999387661*c_0101_3^23 + 97983617014421313718479357262265392510474127923155511396/3373226612\ 54329490482161178093707522785689870999387661*c_0101_3^22 + 1730681596534574696498262763674005216416478463704697808543/33732266\ 1254329490482161178093707522785689870999387661*c_0101_3^21 - 9856609477048801190496176515993060660372099780821318027149/33732266\ 1254329490482161178093707522785689870999387661*c_0101_3^20 - 8141566201941856567635644419937911412119932890856703862154/33732266\ 1254329490482161178093707522785689870999387661*c_0101_3^19 + 81534106781974490215443304196454419994636624100848666034184/3373226\ 61254329490482161178093707522785689870999387661*c_0101_3^18 + 32822536043864391446112810057659394491159131941161598313425/3373226\ 61254329490482161178093707522785689870999387661*c_0101_3^17 - 292914224067312833315006819703634945207527423278814730670705/337322\ 661254329490482161178093707522785689870999387661*c_0101_3^16 - 158992574366188473277011689303692264737330131625951481559285/337322\ 661254329490482161178093707522785689870999387661*c_0101_3^15 + 523239630242897999989078951065294100189122406418645863329863/337322\ 661254329490482161178093707522785689870999387661*c_0101_3^14 + 453656252381758050323040694591984771511402039845695661247020/337322\ 661254329490482161178093707522785689870999387661*c_0101_3^13 - 390605394707611053812600337346331262959028276949621450936517/337322\ 661254329490482161178093707522785689870999387661*c_0101_3^12 - 590804427517291064912771504486299748092237112014874329097890/337322\ 661254329490482161178093707522785689870999387661*c_0101_3^11 - 33838726552034444342811002845890380796416034270136057276732/3373226\ 61254329490482161178093707522785689870999387661*c_0101_3^10 + 281968235232042213728380417409944708194348778948215113491148/337322\ 661254329490482161178093707522785689870999387661*c_0101_3^9 + 145172067795406601002018743872886105571304385161574700998141/337322\ 661254329490482161178093707522785689870999387661*c_0101_3^8 - 9178116749348931785384072134291713694264472720293290542396/33732266\ 1254329490482161178093707522785689870999387661*c_0101_3^7 - 23489113063522730943297292141083623024427058706620785803224/3373226\ 61254329490482161178093707522785689870999387661*c_0101_3^6 - 2916737682784633065138095742170853907239842551335052366239/33732266\ 1254329490482161178093707522785689870999387661*c_0101_3^5 - 1114176367602574465932666745117988076374225027576370428610/33732266\ 1254329490482161178093707522785689870999387661*c_0101_3^4 - 3389648066837842143305568509960896731654967957292016061083/33732266\ 1254329490482161178093707522785689870999387661*c_0101_3^3 - 1936705210092719092496726646585718295383251291151809483767/33732266\ 1254329490482161178093707522785689870999387661*c_0101_3^2 - 428451858559778855986142827218621201702031432109057267689/337322661\ 254329490482161178093707522785689870999387661*c_0101_3 - 33246922132553230489836005521258486450254636952038808070/3373226612\ 54329490482161178093707522785689870999387661, c_0011_5 + 824047741638209409727902306264352978803250411309916570921/87\ 51161800921069971578707443285054263629152323337114089323*c_0101_3^2\ 6 + 47444800298397551286211484201415360426371363054565655250/875116\ 1800921069971578707443285054263629152323337114089323*c_0101_3^25 - 22541579734887208146464679718294625214598338603682441751274/8751161\ 800921069971578707443285054263629152323337114089323*c_0101_3^24 + 26299846789321444291341781453709786302629453356819968876761/8751161\ 800921069971578707443285054263629152323337114089323*c_0101_3^23 + 58378100691757089529317957518886680965166033239016630470560/8751161\ 800921069971578707443285054263629152323337114089323*c_0101_3^22 - 807504756598899246601694670454917314115391828875276492614472/875116\ 1800921069971578707443285054263629152323337114089323*c_0101_3^21 + 2983231789174136619733214761512398478785447216361304837300256/87511\ 61800921069971578707443285054263629152323337114089323*c_0101_3^20 + 9684243117071551413304007781361560830269751482079246548654129/87511\ 61800921069971578707443285054263629152323337114089323*c_0101_3^19 - 31458310041093011778656087148592529254510398349642291542609901/8751\ 161800921069971578707443285054263629152323337114089323*c_0101_3^18 - 62356178213910484203161066080615209619028719726446434190997164/8751\ 161800921069971578707443285054263629152323337114089323*c_0101_3^17 + 125614789154721081570744446678721660093186742028925537726104640/875\ 1161800921069971578707443285054263629152323337114089323*c_0101_3^16 + 232943803481807626794377541681547739416037569963619316337134937/8\ 751161800921069971578707443285054263629152323337114089323*c_0101_3^\ 15 - 21032780419068288193150546320685086225278899592886232542464535\ 3/8751161800921069971578707443285054263629152323337114089323*c_0101\ _3^14 - 49074687249815142790049490651653631933608362318419389230608\ 9257/8751161800921069971578707443285054263629152323337114089323*c_0\ 101_3^13 + 60485573791437725586212007841067256670072806017782802849\ 210490/8751161800921069971578707443285054263629152323337114089323*c\ _0101_3^12 + 518981764093191825524673603959030095673684451732249060\ 271875325/875116180092106997157870744328505426362915232333711408932\ 3*c_0101_3^11 + 205094216989821449279846902369561889920982136278928\ 394746458229/875116180092106997157870744328505426362915232333711408\ 9323*c_0101_3^10 - 196335968373341510432809916927590119702629188293\ 200295355264047/875116180092106997157870744328505426362915232333711\ 4089323*c_0101_3^9 - 1765410577293831972778840314157597067547515624\ 31629894138244008/8751161800921069971578707443285054263629152323337\ 114089323*c_0101_3^8 - 17735052496908036029536434334723546801072691\ 818509057924754515/875116180092106997157870744328505426362915232333\ 7114089323*c_0101_3^7 + 2532564236331802726568235560131859385536937\ 5714733581890456257/87511618009210699715787074432850542636291523233\ 37114089323*c_0101_3^6 + 620032770609984117323515795048239529286812\ 9107359638467454394/87511618009210699715787074432850542636291523233\ 37114089323*c_0101_3^5 - 398270431642865380167713816945211802826347\ 079331887128925954/875116180092106997157870744328505426362915232333\ 7114089323*c_0101_3^4 + 2446600625184336012866967685189149311350185\ 039612295901324048/875116180092106997157870744328505426362915232333\ 7114089323*c_0101_3^3 + 2130050563830212754262654362778944504481955\ 898527647390202221/875116180092106997157870744328505426362915232333\ 7114089323*c_0101_3^2 + 5890342755872427367852921038779876813434750\ 59198028088834203/8751161800921069971578707443285054263629152323337\ 114089323*c_0101_3 + 5584771920096029842956195159376810630030467765\ 0676171589977/87511618009210699715787074432850542636291523233371140\ 89323, c_0011_6 + 62919237200727056255355004656787883842708763894789723545538/\ 8751161800921069971578707443285054263629152323337114089323*c_0101_3\ ^26 - 92275975773047791811269526881201881480180889040650951850837/8\ 751161800921069971578707443285054263629152323337114089323*c_0101_3^\ 25 - 1529474401388974910180671866323931521653458545690698372745849/\ 8751161800921069971578707443285054263629152323337114089323*c_0101_3\ ^24 + 4236264609589860170761620304746830992305785710397551191706366\ /8751161800921069971578707443285054263629152323337114089323*c_0101_\ 3^23 - 318270123978382815742440284797200722203568432580364016149467\ 1/8751161800921069971578707443285054263629152323337114089323*c_0101\ _3^22 - 52716967628300150598024557044814290445586675196492765732831\ 931/8751161800921069971578707443285054263629152323337114089323*c_01\ 01_3^21 + 303292990152847411614568793162218818506075313992572682677\ 613861/8751161800921069971578707443285054263629152323337114089323*c\ _0101_3^20 + 237087157842966212801335245011495577525650585374225794\ 010290817/875116180092106997157870744328505426362915232333711408932\ 3*c_0101_3^19 - 249526953950744347897257812472423735685115311013125\ 5726575510708/87511618009210699715787074432850542636291523233371140\ 89323*c_0101_3^18 - 91364788162994197344076790068786237535479275284\ 3708500826750232/87511618009210699715787074432850542636291523233371\ 14089323*c_0101_3^17 + 89358737024987503250398682375213124542520341\ 29987628519014505126/8751161800921069971578707443285054263629152323\ 337114089323*c_0101_3^16 + 4555826750447983930584568330279610719005\ 066564913060614646659491/875116180092106997157870744328505426362915\ 2323337114089323*c_0101_3^15 - 159716032986593316077919091486845789\ 28978149199973671822244073309/8751161800921069971578707443285054263\ 629152323337114089323*c_0101_3^14 - 13314419210454991481959109011151819887277602608972208774755768129/8\ 751161800921069971578707443285054263629152323337114089323*c_0101_3^\ 13 + 12062513931361803082906311699471702111387975706499829959211310\ 556/8751161800921069971578707443285054263629152323337114089323*c_01\ 01_3^12 + 175417844404508337434771038189272287755767060190044299774\ 88794524/8751161800921069971578707443285054263629152323337114089323\ *c_0101_3^11 + 7436548038825885903871995524265494234244908308832082\ 19141587155/8751161800921069971578707443285054263629152323337114089\ 323*c_0101_3^10 - 8438603810897177504211786174416722754979108150224\ 602835665417318/875116180092106997157870744328505426362915232333711\ 4089323*c_0101_3^9 - 4245208446770134955926622457690309648724816740\ 300739453906638587/875116180092106997157870744328505426362915232333\ 7114089323*c_0101_3^8 + 2970731938936677622426360302823675008130527\ 84080208322780217219/8751161800921069971578707443285054263629152323\ 337114089323*c_0101_3^7 + 68776811109589272116930137015188209067745\ 5164805187707371877578/87511618009210699715787074432850542636291523\ 23337114089323*c_0101_3^6 + 837892189641786986163366739705803360929\ 00582738498608119684896/8751161800921069971578707443285054263629152\ 323337114089323*c_0101_3^5 + 36143422796062228971877210263156052791\ 690401487972786441184314/875116180092106997157870744328505426362915\ 2323337114089323*c_0101_3^4 + 1013667001785808853066391519483745191\ 87559513890824199403172849/8751161800921069971578707443285054263629\ 152323337114089323*c_0101_3^3 + 57035038446504571809276401399866857\ 848079531026636472998428013/875116180092106997157870744328505426362\ 9152323337114089323*c_0101_3^2 + 1259201096891290675820966113083290\ 7996919411449576253874505191/87511618009210699715787074432850542636\ 29152323337114089323*c_0101_3 + 98659515343431396510569874269118559\ 4510594894116442316735730/87511618009210699715787074432850542636291\ 52323337114089323, c_0101_0 - 89079834681783851397560174214540243862765766956056785142033/\ 8751161800921069971578707443285054263629152323337114089323*c_0101_3\ ^26 + 134994652956322312643729867674604813064811649760824556291048/\ 8751161800921069971578707443285054263629152323337114089323*c_0101_3\ ^25 + 2157552412438291720581497136210334382533202492487043768019559\ /8751161800921069971578707443285054263629152323337114089323*c_0101_\ 3^24 - 610076233846581846288302134759929345991602488473243002780102\ 1/8751161800921069971578707443285054263629152323337114089323*c_0101\ _3^23 + 48337037195207717028260196032547631936816899288751814631107\ 56/8751161800921069971578707443285054263629152323337114089323*c_010\ 1_3^22 + 7430502113043984908653116973442400817289283393253443535286\ 8728/8751161800921069971578707443285054263629152323337114089323*c_0\ 101_3^21 - 43293011595274211675921940542376460597800920247385180486\ 0891993/8751161800921069971578707443285054263629152323337114089323*\ c_0101_3^20 - 31349841237083283737815117797197785887089855845448489\ 9258772485/87511618009210699715787074432850542636291523233371140893\ 23*c_0101_3^19 + 35416880219928218343251065281179328197148437644416\ 87940972350144/8751161800921069971578707443285054263629152323337114\ 089323*c_0101_3^18 + 1117990853149201826538555754229411421638766212\ 273856430478159318/875116180092106997157870744328505426362915232333\ 7114089323*c_0101_3^17 - 126554709109726763495298998865312328146826\ 06319430494212523450809/8751161800921069971578707443285054263629152\ 323337114089323*c_0101_3^16 - 5830859468878087838726193544462241389\ 733456051915333404264442786/875116180092106997157870744328505426362\ 9152323337114089323*c_0101_3^15 + 227199135503787178714653545924219\ 84962606241613589350534509108548/8751161800921069971578707443285054\ 263629152323337114089323*c_0101_3^14 + 17709831018950399936256553135871797942990042600084312586074594562/8\ 751161800921069971578707443285054263629152323337114089323*c_0101_3^\ 13 - 17617401599638754569539041845890271642810805884063674378497421\ 702/8751161800921069971578707443285054263629152323337114089323*c_01\ 01_3^12 - 238197171056662733115018480178417617467331223118124243578\ 62853371/8751161800921069971578707443285054263629152323337114089323\ *c_0101_3^11 - 1780506281663627593085235926528095817723250059791749\ 18293815806/8751161800921069971578707443285054263629152323337114089\ 323*c_0101_3^10 + 1170465911864719770802306111816162096285221677332\ 6679620514943725/87511618009210699715787074432850542636291523233371\ 14089323*c_0101_3^9 + 550572920268000478914687741660608782287257048\ 2649854726680678440/87511618009210699715787074432850542636291523233\ 37114089323*c_0101_3^8 - 545101461158401162526114332094741486687374\ 373028748516943564458/875116180092106997157870744328505426362915232\ 3337114089323*c_0101_3^7 - 9102522259634731963166510529767317236805\ 30836254607346008588352/8751161800921069971578707443285054263629152\ 323337114089323*c_0101_3^6 - 92041217606322257677773320392473580201\ 726801355329206872594209/875116180092106997157870744328505426362915\ 2323337114089323*c_0101_3^5 - 5449594609902922564630187979297562778\ 4744941364834443174257467/87511618009210699715787074432850542636291\ 52323337114089323*c_0101_3^4 - 139904472743863479247176975920869098\ 236486548150462455004305116/875116180092106997157870744328505426362\ 9152323337114089323*c_0101_3^3 - 7489570532970430079637814544542137\ 5156866705863586781026562139/87511618009210699715787074432850542636\ 29152323337114089323*c_0101_3^2 - 158650474912608837940626166939956\ 92538009007723707864836943281/8751161800921069971578707443285054263\ 629152323337114089323*c_0101_3 - 1208510535927703454121918406601848\ 037399649097316316470465732/875116180092106997157870744328505426362\ 9152323337114089323, c_0101_2 - 91056427179023917733395210242615152201171563203966448567428/\ 8751161800921069971578707443285054263629152323337114089323*c_0101_3\ ^26 + 135373988341871164810892824718901382221493993191855209414920/\ 8751161800921069971578707443285054263629152323337114089323*c_0101_3\ ^25 + 2210432700939732945330208439015447721483310396958627299646796\ /8751161800921069971578707443285054263629152323337114089323*c_0101_\ 3^24 - 617475944694426234563422394129856181593317766258381591782431\ 7/8751161800921069971578707443285054263629152323337114089323*c_0101\ _3^23 + 47373448559895168120050148612760413611636675533922559263165\ 59/8751161800921069971578707443285054263629152323337114089323*c_010\ 1_3^22 + 7617671363689517400281803884884901519209231107877431954789\ 9535/8751161800921069971578707443285054263629152323337114089323*c_0\ 101_3^21 - 44044273297093257524712929189982789646321008938495016352\ 7305300/8751161800921069971578707443285054263629152323337114089323*\ c_0101_3^20 - 33400279163505391747019702547515359363777133893074617\ 8683306074/87511618009210699715787074432850542636291523233371140893\ 23*c_0101_3^19 + 36164598927386248692528409097269634735702483172877\ 80408398123758/8751161800921069971578707443285054263629152323337114\ 089323*c_0101_3^18 + 1248349383510633392535763414887717609205857382\ 614853047959499343/875116180092106997157870744328505426362915232333\ 7114089323*c_0101_3^17 - 129454706818904883557358714500608833458260\ 32324026821405290557466/8751161800921069971578707443285054263629152\ 323337114089323*c_0101_3^16 - 6328419798100636616960000704060421385\ 927760064716872500194642336/875116180092106997157870744328505426362\ 9152323337114089323*c_0101_3^15 + 231993666713800494870953611442069\ 75024136490083621199064901198887/8751161800921069971578707443285054\ 263629152323337114089323*c_0101_3^14 + 18780502553942211555698880532420675276873787295091582236209488955/8\ 751161800921069971578707443285054263629152323337114089323*c_0101_3^\ 13 - 17757738110517340037023069129621685165203161741531437613047225\ 463/8751161800921069971578707443285054263629152323337114089323*c_01\ 01_3^12 - 249666410676235909612995224235177909916353949441543357900\ 24740770/8751161800921069971578707443285054263629152323337114089323\ *c_0101_3^11 - 6364192954010588400726797486754451108764717459102366\ 24134419928/8751161800921069971578707443285054263629152323337114089\ 323*c_0101_3^10 + 1214113754895555512994961451065423494928597488516\ 4768572896177676/87511618009210699715787074432850542636291523233371\ 14089323*c_0101_3^9 + 590287461315848320478076689684626435946111111\ 4414469083574060354/87511618009210699715787074432850542636291523233\ 37114089323*c_0101_3^8 - 505074872625989966106297708212466239595236\ 025330047548628353789/875116180092106997157870744328505426362915232\ 3337114089323*c_0101_3^7 - 9681542195181963640631500792899599194554\ 45057629945752785418474/8751161800921069971578707443285054263629152\ 323337114089323*c_0101_3^6 - 10611328786515581520023036107050737286\ 7176565963045784548169548/87511618009210699715787074432850542636291\ 52323337114089323*c_0101_3^5 - 534683399292869659038254307505567216\ 98730300784146222445745373/8751161800921069971578707443285054263629\ 152323337114089323*c_0101_3^4 - 14542549797910771874241886844445257\ 9050350796677383184495938620/87511618009210699715787074432850542636\ 29152323337114089323*c_0101_3^3 - 797105019104267510784082489185359\ 09401757151923000712466852861/8751161800921069971578707443285054263\ 629152323337114089323*c_0101_3^2 - 17158165944678548128198394806940755747973316970073335584015133/8751\ 161800921069971578707443285054263629152323337114089323*c_0101_3 - 1316801552226614682346249642793855878747865988770838807556204/87511\ 61800921069971578707443285054263629152323337114089323, c_0101_3^27 - c_0101_3^26 - 25*c_0101_3^25 + 56*c_0101_3^24 - 19*c_0101_3^23 - 862*c_0101_3^22 + 4430*c_0101_3^21 + 6023*c_0101_3^20 - 37937*c_0101_3^19 - 33038*c_0101_3^18 + 135536*c_0101_3^17 + 138668*c_0101_3^16 - 221076*c_0101_3^15 - 330191*c_0101_3^14 + 94847*c_0101_3^13 + 369074*c_0101_3^12 + 140239*c_0101_3^11 - 129982*c_0101_3^10 - 129643*c_0101_3^9 - 25959*c_0101_3^8 + 13330*c_0101_3^7 + 6334*c_0101_3^6 + 1154*c_0101_3^5 + 1883*c_0101_3^4 + 1652*c_0101_3^3 + 614*c_0101_3^2 + 106*c_0101_3 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB