Magma V2.19-8 Tue Aug 20 2013 16:19:07 on localhost [Seed = 206410102] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3256 geometric_solution 6.38508115 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 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.436606330343 0.609199867960 0 3 5 4 0132 0132 0132 0132 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 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.647461639615 0.890374756964 3 0 4 5 2310 0132 3201 2310 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 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.647461639615 0.890374756964 3 1 2 3 3012 0132 3201 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316816160358 0.912386347434 2 6 1 6 2310 0132 0132 2310 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 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 1.084741442448 0.819281891794 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 1 -1 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.729007492593 0.713422415782 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 -1 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 0 1 -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.529011057818 0.221741597911 ==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_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 3292805786118787112159748308493755318420885378130622051475170320725\ 713180405/201886956963588924886124760866918720196689831307731671963\ 695883988461911031*c_0110_6^31 - 1410662214826587610489588461495667\ 3639229210406649051728993840733998497573633/20188695696358892488612\ 4760866918720196689831307731671963695883988461911031*c_0110_6^30 - 2706393076096985207954901030858941168686564602449238370112025937006\ 133438863/201886956963588924886124760866918720196689831307731671963\ 695883988461911031*c_0110_6^29 + 1771173810286227991192432584925261\ 8860176086338490872963992979374834244350312/20188695696358892488612\ 4760866918720196689831307731671963695883988461911031*c_0110_6^28 - 1100204737222549582398167552923613903386084538948414484632198294707\ 11161579901/2018869569635889248861247608669187201966898313077316719\ 63695883988461911031*c_0110_6^27 + 1090990048750372312665353245720450302888108083043498171718860751825\ 218411551883/201886956963588924886124760866918720196689831307731671\ 963695883988461911031*c_0110_6^26 - 2225630640821734067677865917119760209248453365670941229257982192291\ 595903516270/201886956963588924886124760866918720196689831307731671\ 963695883988461911031*c_0110_6^25 - 4488757288110576766860522255052739215099560956797369927633250646340\ 502768535934/201886956963588924886124760866918720196689831307731671\ 963695883988461911031*c_0110_6^24 + 2037500490618924987864362188463206174629938635334208449833173720929\ 1918443546616/20188695696358892488612476086691872019668983130773167\ 1963695883988461911031*c_0110_6^23 - 4862236890944952329962255958184689656431433823725106268379433944453\ 792197622970/201886956963588924886124760866918720196689831307731671\ 963695883988461911031*c_0110_6^22 - 5191500353412596868596282769136982301166548864735465107435977063408\ 6734691454485/20188695696358892488612476086691872019668983130773167\ 1963695883988461911031*c_0110_6^21 + 5914208665326180265753477391412612458558024226762153712235191975158\ 4223987472173/20188695696358892488612476086691872019668983130773167\ 1963695883988461911031*c_0110_6^20 + 4583156673332563268861897552335456387998145238869413210876747675709\ 6794983991538/20188695696358892488612476086691872019668983130773167\ 1963695883988461911031*c_0110_6^19 - 1535473957801746325892619665685103115758784194229587039294796806160\ 03225038678237/2018869569635889248861247608669187201966898313077316\ 71963695883988461911031*c_0110_6^18 + 2323046967045231231946532001829919025463025911229204487914256405753\ 9276459965193/20188695696358892488612476086691872019668983130773167\ 1963695883988461911031*c_0110_6^17 + 2062628382623057465135354790932671249565255770147255485389057622599\ 43102426847815/2018869569635889248861247608669187201966898313077316\ 71963695883988461911031*c_0110_6^16 - 1127763533324785543754995809939266285372217808185974157128500809869\ 55694481373293/2018869569635889248861247608669187201966898313077316\ 71963695883988461911031*c_0110_6^15 - 1356721250603119811898792073311772198302035628087703536010691699458\ 98214132295279/2018869569635889248861247608669187201966898313077316\ 71963695883988461911031*c_0110_6^14 + 1443480171583608458603456061648212516642407370597704636035487145759\ 79014365469329/2018869569635889248861247608669187201966898313077316\ 71963695883988461911031*c_0110_6^13 + 2327798296830271021327164495789086839327273207395300477121822889109\ 7251324713592/20188695696358892488612476086691872019668983130773167\ 1963695883988461911031*c_0110_6^12 - 8130474717693627797947043523992966055466943486220460261378768647998\ 4622373897683/20188695696358892488612476086691872019668983130773167\ 1963695883988461911031*c_0110_6^11 + 5616981285457824181958737229073415319790513454001534352137553675254\ 684053265073/201886956963588924886124760866918720196689831307731671\ 963695883988461911031*c_0110_6^10 + 1370038711462221253681366833022355762491699778341112254536858029747\ 0094672390469/20188695696358892488612476086691872019668983130773167\ 1963695883988461911031*c_0110_6^9 + 4447175597517879961888305712559231037609462315387331791120686517539\ 889335487365/201886956963588924886124760866918720196689831307731671\ 963695883988461911031*c_0110_6^8 + 4026259211166380050360093172526438635093235475565374850649891822955\ 892900396012/201886956963588924886124760866918720196689831307731671\ 963695883988461911031*c_0110_6^7 - 4092720610101346015146022262395613998518392054440137843520631722967\ 829385910452/201886956963588924886124760866918720196689831307731671\ 963695883988461911031*c_0110_6^6 - 7919294794187784636485701605387443848273296125002741890647486147476\ 89831643917/2018869569635889248861247608669187201966898313077316719\ 63695883988461911031*c_0110_6^5 + 571770223025652047653513035608464\ 247771004004844804350713728441972757985662775/201886956963588924886\ 124760866918720196689831307731671963695883988461911031*c_0110_6^4 + 9843770339001719444508194848868502125080699843837190088797405633078\ 1632693972/20188695696358892488612476086691872019668983130773167196\ 3695883988461911031*c_0110_6^3 + 2492311406723244391764855077717661\ 64059875259861375026087932487402489074161465/2018869569635889248861\ 24760866918720196689831307731671963695883988461911031*c_0110_6^2 - 6638439706172733324193375419433401772138893698190115194625994164792\ 5512908276/20188695696358892488612476086691872019668983130773167196\ 3695883988461911031*c_0110_6 - 188229866409490574100182757175286295\ 14293088385083845272557297241909371065288/2018869569635889248861247\ 60866918720196689831307731671963695883988461911031, c_0011_0 - 1, c_0011_4 - 470222401014779393905713500568970813091655512659153103421055\ 6188890030186/87776937810256054298315113420399443563778187525100726\ 94073734086454865697*c_0110_6^31 + 1988946482682025180647874130688050696811528642677830712434088775936\ 1097528/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^30 + 48610067771900747274158315866815180261\ 16221081165274649014031935643390426/8777693781025605429831511342039\ 944356377818752510072694073734086454865697*c_0110_6^29 - 2471430634413405543214331488049166912517295290984376558592724653651\ 4509842/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^28 + 15601619963154109572536962667024956826\ 9982038249891176918208633965256132484/87776937810256054298315113420\ 39944356377818752510072694073734086454865697*c_0110_6^27 - 1549901131518882971387892516504854426258708269491829304882367806525\ 508564222/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^26 + 309672075710613327904934454688309639\ 9891016530599708798805095028001226370657/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^25 + 6551961180728655706010828224244123115385657453748296901844244793409\ 591384344/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^24 - 286980377996160492702158146159285345\ 72718363160672277393156882762978917514526/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^23 + 5526756193262004721376666821166133525705697477227264078562106403524\ 936639006/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^22 + 739791614465020800961691905484335432\ 91191790445962882185354528509550320815024/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^21 - 8057229427886890948405590481513156601446534984518580205796838340117\ 9411406281/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^20 - 68460310912639170818716295757067069\ 635222524370395579071946317314463435160397/877769378102560542983151\ 1342039944356377818752510072694073734086454865697*c_0110_6^19 + 2147079023874443197470909130630930746534844054163521665040762018413\ 54496665550/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^18 - 2339924291042325226864104201355848\ 5552571866977915567726737322567206216446869/87776937810256054298315\ 11342039944356377818752510072694073734086454865697*c_0110_6^17 - 2925231011145487021759545922638203732875947966974656822425807400336\ 31039222391/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^16 + 1465038314384043678853427401833506\ 74976294961205365820804829690441842384803471/8777693781025605429831\ 511342039944356377818752510072694073734086454865697*c_0110_6^15 + 1962278240396439540919604495551600077643249758979308345258348126544\ 32787808616/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^14 - 1952062677702743135630815627695879\ 71048780251200786256008250662484793106850612/8777693781025605429831\ 511342039944356377818752510072694073734086454865697*c_0110_6^13 - 3898996218454382152625729469288246350962559962649251877011946164338\ 6707880175/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^12 + 11197493143793248900566794888333566\ 9813596524927956704956928216855776291870494/87776937810256054298315\ 11342039944356377818752510072694073734086454865697*c_0110_6^11 - 4461234205547539839022992279501545533700466600510912898025778312387\ 088106054/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^10 - 179370421622601107817547587806138158\ 82423399659746846475999897451296136677661/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^9 - 6322461580009617717941354885046055626507563085020543390851334202573\ 702660233/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^8 - 6674986818673624572221465911621502363\ 290890317734954774670997611303560411755/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^7 + 5180438748133056051671549355294017804326716601101487350563853466868\ 176986042/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^6 + 1415839227624992860593945843654145513\ 668150675297919678139634141652531806079/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^5 - 7025155186635953820363061578584297528997646414976442685969370098273\ 07780712/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^4 - 15952982806691219693322426892783474346\ 3188175682923593670214589254612101393/87776937810256054298315113420\ 39944356377818752510072694073734086454865697*c_0110_6^3 - 3757561826717488056049745518942086795332803364568393995199126116198\ 94428241/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^2 + 62583248601740070330668013327188468378\ 608996047356378761835463575986255439/877769378102560542983151134203\ 9944356377818752510072694073734086454865697*c_0110_6 + 2845821471969852826394713057327845539460857824240359919293630217889\ 3391233/87776937810256054298315113420399443563778187525100726940737\ 34086454865697, c_0101_0 - 704461632070996254821163632496321331753081373145115070580619\ 395279202596/877769378102560542983151134203994435637781875251007269\ 4073734086454865697*c_0110_6^31 + 286145655430092976666781672738179\ 9388788045289096648722683630569630584885/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^30 + 1078315783212632439239085562182467131807287492335568135171728525225\ 980215/877769378102560542983151134203994435637781875251007269407373\ 4086454865697*c_0110_6^29 - 294567908825178417395187987503036721213\ 8614933215587848076827200721185647/87776937810256054298315113420399\ 44356377818752510072694073734086454865697*c_0110_6^28 + 2287318066593134536791113764313577416751291786389275806825979362039\ 0699422/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^27 - 22889703975939368977005233744203004667\ 9037097675508051898345954268562761517/87776937810256054298315113420\ 39944356377818752510072694073734086454865697*c_0110_6^26 + 4299193428147595138218240401330983148536880792345868959970097693203\ 55204639/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^25 + 1009845313297643720005796852878405315\ 296719964963050581104163255682826254653/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^24 - 4034636270175510958734739770338682270892488554206468188460958362459\ 790969935/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^23 + 303381592597186278757653568614281876\ 397664259753247714376302087111277308589/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^22 + 1033406520174986376270973044144921607138929376241522512109529611718\ 9660789595/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^21 - 99965515775688359593359418686777161\ 99315078688692435367865090750600625140422/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^20 - 1014592923508768498452353863440209906832585443859839192508129812313\ 0054394860/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^19 + 27990900542443546799686261649655443\ 256159756435603418047089308113944131123662/877769378102560542983151\ 1342039944356377818752510072694073734086454865697*c_0110_6^18 + 1816107413585800606915657775918361274239735911265063854000034171303\ 41318716/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^17 - 3828404983417671523627156372824234457\ 2378978015990807715094530998279552981190/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^16 + 1366301395792274798242683856732439091035693110870097100925885379160\ 7828305479/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^15 + 25263290975523912043173932875973994\ 129238732169488863846972690328991932111189/877769378102560542983151\ 1342039944356377818752510072694073734086454865697*c_0110_6^14 - 2031033284390283621691673301415943025086530032434480626944305957639\ 1702144760/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^13 - 61260797224415462549373986556737217\ 70012874125238940948416137336780280652396/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^12 + 1099327494349949392057333073436458345277238754186027456528522871681\ 3794095025/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^11 + 15115530886272566983429886291361055\ 24900073785415913947430972585557527135649/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^10 - 5322812469811169323261294132702626167934081891549727091991399875256\ 82209461/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^9 - 12320329645673965531063329837241398370\ 29031893799127223419481767533774171316/8777693781025605429831511342\ 039944356377818752510072694073734086454865697*c_0110_6^8 - 1325407011515601141683669861680790660544516282107712235937111467625\ 023306973/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^7 + 2720126067379257809897124965922236438\ 51539061668620307021451823091346137578/8777693781025605429831511342\ 039944356377818752510072694073734086454865697*c_0110_6^6 + 1811904803784244664296681498934638209237818646767224764816469465096\ 81059702/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^5 + 16433001917520559267864665455292746797\ 565265855761888573551119160952478621/877769378102560542983151134203\ 9944356377818752510072694073734086454865697*c_0110_6^4 - 4195252926859784757050485883499847199363951297000800689332301100681\ 5320752/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^3 - 491966507655037363854974153306954910180\ 85801909398737716858393246351163011/8777693781025605429831511342039\ 944356377818752510072694073734086454865697*c_0110_6^2 + 2082061628375805496972631273120332447303219278448956788149711029888\ 691378/877769378102560542983151134203994435637781875251007269407373\ 4086454865697*c_0110_6 - 133751330183054067643027595650338694706813\ 0985599090441135281002800697125/87776937810256054298315113420399443\ 56377818752510072694073734086454865697, c_0101_1 + 462654679387511333911954138844511625109473380980794596199707\ 209389424430/877769378102560542983151134203994435637781875251007269\ 4073734086454865697*c_0110_6^31 - 186083023157601574802562027909801\ 4279455434740972308753043933230344947350/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^30 - 7014972625062606488360023348084467024044717969649239996770118803073\ 03187/8777693781025605429831511342039944356377818752510072694073734\ 086454865697*c_0110_6^29 + 1529968214446814086184322447312311482439\ 159883824041939276800312432162457/877769378102560542983151134203994\ 4356377818752510072694073734086454865697*c_0110_6^28 - 1491252226703225040325811692554123320248340785333026090722821416615\ 6596045/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^27 + 15025602762978537442656967919143294091\ 6731672976432072306476329427087993152/87776937810256054298315113420\ 39944356377818752510072694073734086454865697*c_0110_6^26 - 2792028303778639778380056580561727132460426024829668282116115459570\ 43399305/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^25 - 6466037465319584938959419055338445661\ 99381356975237026860992559846048574442/8777693781025605429831511342\ 039944356377818752510072694073734086454865697*c_0110_6^24 + 2559815353936935195836451558693307021537504848201409062183334193072\ 396697630/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^23 - 191888925394878525159771745368017017\ 671703483954880763383485545712246250237/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^22 - 6243707747030984520153422615528033255966513570999965212294811174966\ 482239589/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^21 + 603096097139357149700033945858778910\ 7420671343873099337331584962507310852107/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^20 + 5585791413250468811393998319868402617840447473975010047806071574317\ 184978203/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^19 - 162184105925623200824406992472749233\ 39816954484009685530949959822900858029110/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^18 + 3489177011494572866213183138146966718511474898466212181313928402082\ 1711571/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^17 + 20701089438671872203097809423971575892\ 250229255348186629457028527618119692516/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^16 - 6345019787643756759243441729221208380823764910271662605170981485543\ 486545216/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^15 - 113268626854528951957768712308542843\ 20010505516651841542797629476854227122419/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^14 + 8092905102738218895595588048571228098274629353846035983087529181411\ 689314391/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^13 + 124141731445760552202917891645010624\ 5973765628724892251877181222395848454125/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^12 - 1814585446690725572097698472705585615379684719563174113677321832933\ 780666757/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^11 - 144100473451122057514286356940324351\ 8844106277239969304592246942492234107687/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^10 - 2657859914813782650516835840294445622317515083406720250640401232335\ 183946701/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^9 + 1723901095044071676364139751932584582\ 305712907126756288211974219700071993408/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^8 + 1592073134183595360556011640490712531067053874790403641784094196394\ 129572957/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^7 - 3601139084722094823603018439448313727\ 08826183859477320394127910867577852152/8777693781025605429831511342\ 039944356377818752510072694073734086454865697*c_0110_6^6 - 7734660655744697003164809772831060770293730824020314098509136356092\ 5901564/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^5 - 663840281273759297230092120844366217906\ 29657604820925151380328407160515696/8777693781025605429831511342039\ 944356377818752510072694073734086454865697*c_0110_6^4 - 2776698059717481836686916997561306788833974359774140098295081021055\ 992962/877769378102560542983151134203994435637781875251007269407373\ 4086454865697*c_0110_6^3 + 6006407777034854555443995266229411977449\ 0205572704138146330388033682531636/87776937810256054298315113420399\ 44356377818752510072694073734086454865697*c_0110_6^2 + 1210894156337217514224384095092960355685954186954831921135378154140\ 232706/877769378102560542983151134203994435637781875251007269407373\ 4086454865697*c_0110_6 + 431478071710488697406480723485927818482889\ 1573715335831704331039759803970/87776937810256054298315113420399443\ 56377818752510072694073734086454865697, c_0101_2 - 495195295395775084115036663915023954525446793791762607360267\ 8556206030922/87776937810256054298315113420399443563778187525100726\ 94073734086454865697*c_0110_6^31 + 2075384981091234118203899595946363218013411127437346036974166236046\ 4206546/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^30 + 59335922400576263663030192554445024663\ 48899882415124412535018750236823901/8777693781025605429831511342039\ 944356377818752510072694073734086454865697*c_0110_6^29 - 2586320510204230390488725837395014265267458535958125425880296138772\ 2431123/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^28 + 16338796488205437884759247883576980900\ 4135755613536016852361477313162600087/87776937810256054298315113420\ 39944356377818752510072694073734086454865697*c_0110_6^27 - 1625812423289276223864781589719047816074338992342679494548319124833\ 979624225/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^26 + 319777208718784091959750019255908628\ 3718724454541693325958496598336671416938/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^25 + 7027970796262866170268241085445495372805561630336881398248970962466\ 415659382/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^24 - 299642094538595602452801410689496494\ 31528641053652956486722707124378724882737/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^23 + 4660524825954246855357087766961152073027617767716004355500886884487\ 072793092/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^22 + 781796954511932262769190759123529556\ 35824630921722655382315075479374123554534/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^21 - 8196688492993494353475057993338238492306561277736528332191136816144\ 3459193737/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^20 - 75395363333995789850532691028327000\ 005646290626649821924346302241852384155552/877769378102560542983151\ 1342039944356377818752510072694073734086454865697*c_0110_6^19 + 2236587461285082837941485257251771534544921566535651912571867620592\ 95390460518/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^18 - 1618822751366377311557812392949804\ 6705774240310743157737278118474354138445556/87776937810256054298315\ 11342039944356377818752510072694073734086454865697*c_0110_6^17 - 3093429884351577033221135066787289767357477183187648765371758725853\ 53644944217/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^16 + 1431868052072915084607321679666368\ 97371175760817092547547364227188962961685810/8777693781025605429831\ 511342039944356377818752510072694073734086454865697*c_0110_6^15 + 2126546816706740918594651089109960096177163194490448699327016051485\ 43428536395/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^14 - 1986124291265239304180789218474380\ 46754913535270155167991893634430058806399489/8777693781025605429831\ 511342039944356377818752510072694073734086454865697*c_0110_6^13 - 4864819946817555143106620453029769475675738905946146611892714078051\ 5829269382/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^12 + 11689007146835640928926879471823244\ 0073909617617644173222593419642674774327326/87776937810256054298315\ 11342039944356377818752510072694073734086454865697*c_0110_6^11 - 6101207404289238513183688179813352165711685938995430592695469523882\ 54910097/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^10 - 1911739447599196209411631587045788315\ 0397171847211575059433296658188747751631/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^9 - 7268655747857827258782360629930284402035985533870498790616778475852\ 962205367/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^8 - 7230945030413226433252445400754561896\ 509367841906882752256982825219217463417/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^7 + 5260856833220645665092509072019779393501989029521306854457863122763\ 961840169/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^6 + 1626127369034351918301880020377662566\ 330243643213083721529790856569424542384/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^5 - 7179529072053304999852165491104057317516490532630663007731320446498\ 08312318/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^4 - 18438937402271273325919979708788138617\ 2650910136806644063973358851024025659/87776937810256054298315113420\ 39944356377818752510072694073734086454865697*c_0110_6^3 - 4126833114652072580554907827295332803239326867413209523932934567217\ 01193971/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^2 + 57181358980070452330126055750848637851\ 437631132331174141529347513942078396/877769378102560542983151134203\ 9944356377818752510072694073734086454865697*c_0110_6 + 2858081679174440519818732276184807547813354722058395416757706516574\ 3511180/87776937810256054298315113420399443563778187525100726940737\ 34086454865697, c_0101_3 + 407948979753716383882197536639496615635317704880781820461644\ 0438438496779/87776937810256054298315113420399443563778187525100726\ 94073734086454865697*c_0110_6^31 - 1703466323853288906394710824246919173468282278675750975780343532929\ 3917629/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^30 - 52757210182758585123018051096321343785\ 17471094428328143905163585691870627/8777693781025605429831511342039\ 944356377818752510072694073734086454865697*c_0110_6^29 + 2177196657030744118612699930358986158900324460721788913839820238104\ 3667073/87776937810256054298315113420399443563778187525100726940737\ 34086454865697*c_0110_6^28 - 13420252757588291327789611919646714551\ 4907062201664240320554515403054236025/87776937810256054298315113420\ 39944356377818752510072694073734086454865697*c_0110_6^27 + 1336669950951545237184716605728605987002640608235664559631179439437\ 605027154/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^26 - 260964398256090370157214216797767378\ 1537885464826931567912586970722129216020/87776937810256054298315113\ 42039944356377818752510072694073734086454865697*c_0110_6^25 - 5871772671175545451595881080292309422574365238776579030818523343209\ 406529073/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^24 + 246825681527662643973037200430846880\ 75456318369082976189928518415567441561207/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^23 - 3296712036668313326170904395779451185782906824425216563441644414119\ 668664939/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^22 - 652354550093737090797564801778017465\ 24962296666261996260980282062511485570618/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^21 + 6675398801586675507528477127854513274098055423493298058239833072376\ 7934285864/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^20 + 65054779693571233854021208341101748\ 024257553368618694717152613674094540887372/877769378102560542983151\ 1342039944356377818752510072694073734086454865697*c_0110_6^19 - 1855373556530037195440055796591863920548739731141365718681498845792\ 41966689677/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^18 + 8898572873975030384947982298651474\ 639800974203750625791651031718389079939010/877769378102560542983151\ 1342039944356377818752510072694073734086454865697*c_0110_6^17 + 2606690389283928743816744417650235070883979481966257790285682135009\ 94713398552/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^16 - 1149269203311779619254104434355772\ 19518075097486850709813794049906786918648819/8777693781025605429831\ 511342039944356377818752510072694073734086454865697*c_0110_6^15 - 1845095086959753961269968973581997486823526714260382564153706755454\ 45757889956/8777693781025605429831511342039944356377818752510072694\ 073734086454865697*c_0110_6^14 + 1649091628300323123483017668364025\ 13612966282400321420294234176885472656457598/8777693781025605429831\ 511342039944356377818752510072694073734086454865697*c_0110_6^13 + 4766844852720362023303522251902936272247616870177710320907230472422\ 7311947570/87776937810256054298315113420399443563778187525100726940\ 73734086454865697*c_0110_6^12 - 10064362625427546121535921645776385\ 0109472783453058984567156499961143855234604/87776937810256054298315\ 11342039944356377818752510072694073734086454865697*c_0110_6^11 - 2277060543357785180624169178351767004678793730793309101779729300266\ 439313730/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^10 + 185701417937133093580854956073451615\ 39266871622843977896077255700153289751998/8777693781025605429831511\ 342039944356377818752510072694073734086454865697*c_0110_6^9 + 6581277530331981274068455891270656081932863279947007438622205056022\ 087073504/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^8 + 5336016519914187019469471592698653931\ 045259055690450648708305821191024431605/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^7 - 4619549493408278407750306445633020125898331243803029838998266386433\ 424355086/877769378102560542983151134203994435637781875251007269407\ 3734086454865697*c_0110_6^6 - 1397064350847181688293556273171425730\ 272440922299637755863864437869095269911/877769378102560542983151134\ 2039944356377818752510072694073734086454865697*c_0110_6^5 + 7675545593780591419574386311121465666535863649649626371823165974868\ 25353277/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^4 + 18135811229453254291918524858113142489\ 1514629277098215609137756791772853159/87776937810256054298315113420\ 39944356377818752510072694073734086454865697*c_0110_6^3 + 2971529162829239327310865608959553199661743353303002803194472277771\ 46994433/8777693781025605429831511342039944356377818752510072694073\ 734086454865697*c_0110_6^2 - 55210085392999863982058235164688281921\ 989097746220279405419097004522826024/877769378102560542983151134203\ 9944356377818752510072694073734086454865697*c_0110_6 - 2798555492852229510649969622172388914266371526667318983239059552491\ 5169474/87776937810256054298315113420399443563778187525100726940737\ 34086454865697, c_0110_6^32 - 4*c_0110_6^31 - 2*c_0110_6^30 + 5*c_0110_6^29 - 32*c_0110_6^28 + 322*c_0110_6^27 - 583*c_0110_6^26 - 1543*c_0110_6^25 + 5781*c_0110_6^24 + 216*c_0110_6^23 - 15977*c_0110_6^22 + 13543*c_0110_6^21 + 18413*c_0110_6^20 - 42293*c_0110_6^19 - 5383*c_0110_6^18 + 63176*c_0110_6^17 - 16999*c_0110_6^16 - 48598*c_0110_6^15 + 31972*c_0110_6^14 + 17623*c_0110_6^13 - 21806*c_0110_6^12 - 4476*c_0110_6^11 + 3946*c_0110_6^10 + 2261*c_0110_6^9 + 1694*c_0110_6^8 - 821*c_0110_6^7 - 512*c_0110_6^6 + 99*c_0110_6^5 + 64*c_0110_6^4 + 86*c_0110_6^3 + 3*c_0110_6^2 - 8*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB