Magma V2.19-8 Tue Aug 20 2013 23:47:12 on localhost [Seed = 2581591007] Type ? for help. Type -D to quit. Loading file "K14n9425__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9425 geometric_solution 11.11713933 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.089729028870 0.994139027436 0 5 4 6 0132 0132 0213 0132 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 0.550843680052 0.800061438254 7 0 9 8 0132 0132 0132 0132 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 0 0 0 12 0 0 -12 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.054209558328 0.863076525918 4 10 7 0 0213 0132 2031 0132 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 1 -1 -1 0 1 0 0 0 0 0 -1 13 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701472306908 0.713071654542 3 1 0 6 0213 0213 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 -1 1 0 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.315818742050 0.362417526136 11 1 11 9 0132 0132 2031 0321 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 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.362478580522 0.703017940136 4 11 1 8 3201 1230 0132 2103 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 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.907876903607 0.791733987202 2 11 10 3 0132 0132 3201 1302 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 1 0 -1 -12 0 0 12 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.785937540224 0.633812402571 9 10 2 6 2103 0213 0132 2103 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 -13 0 12 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.882274203961 0.870182794579 10 5 8 2 3201 0321 2103 0132 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 -13 0 13 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.611423287820 0.569927759320 7 3 8 9 2310 0132 0213 2310 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 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673553172800 0.363622162953 5 7 6 5 0132 0132 3012 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.347795686921 0.881787834728 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_6']), 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0101_2']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0011_8'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0110_6']), 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0110_6']), 'c_1100_1' : negation(d['c_0110_6']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0110_6']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : d['c_0011_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_9'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : 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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_0' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_2, c_0101_5, c_0101_7, c_0110_6, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 54676135888122582505932644400918696933667331/4033966007267951351527\ 976471864785806210831*c_1001_1^19 + 467410025531722408826923637267683154573394193/403396600726795135152\ 7976471864785806210831*c_1001_1^18 + 659459549593752787445747302243898455731722/197067220677476861335025\ 7191922220716273*c_1001_1^17 + 276352584510463052505069403944317815\ 7254757617/4033966007267951351527976471864785806210831*c_1001_1^16 - 4988376195948323229010590388357830944707399534/40339660072679513515\ 27976471864785806210831*c_1001_1^15 + 12358025636491800648578702542104009032695788463/4033966007267951351\ 527976471864785806210831*c_1001_1^14 + 2867255886724694778803875602489504900482955101/40339660072679513515\ 27976471864785806210831*c_1001_1^13 + 4326409821823839416984612690420583432883607164/13446553357559837838\ 42658823954928602070277*c_1001_1^12 - 7672273613975721060733546939455125706173660319/13446553357559837838\ 42658823954928602070277*c_1001_1^11 + 56048187545377084069682600155361473383828830489/4033966007267951351\ 527976471864785806210831*c_1001_1^10 - 1707904119529060823843331293483342406085365073/40339660072679513515\ 27976471864785806210831*c_1001_1^9 - 14105695687356046143178195196671344334371804994/4033966007267951351\ 527976471864785806210831*c_1001_1^8 + 48204563349000303883436316387720535729322736866/4033966007267951351\ 527976471864785806210831*c_1001_1^7 + 29119064862545792156939900154614444684059863619/4033966007267951351\ 527976471864785806210831*c_1001_1^6 - 577082826431852914420833595730034906769090655/212314000382523755343\ 577709045515042432149*c_1001_1^5 + 7578268436535417095078917261621809300997089200/13446553357559837838\ 42658823954928602070277*c_1001_1^4 + 16241222953353906825027532938521453753067510895/4033966007267951351\ 527976471864785806210831*c_1001_1^3 + 517337225859720117401425584655858104306865019/212314000382523755343\ 577709045515042432149*c_1001_1^2 + 4240809019820213689708604701620127874569126088/40339660072679513515\ 27976471864785806210831*c_1001_1 + 1764520427574454911694220348766025592373118330/40339660072679513515\ 27976471864785806210831, c_0011_0 - 1, c_0011_10 - 482498796636838572410186293081703141/3457319661008365988333\ 7845472319661689*c_1001_1^19 - 379765344099400240456723385086015781\ 1/34573196610083659883337845472319661689*c_1001_1^18 - 9108854255816317138164155535054452877/34573196610083659883337845472\ 319661689*c_1001_1^17 - 16171585911254369971693403243692377585/3457\ 3196610083659883337845472319661689*c_1001_1^16 + 61383756076821987130176409500575118810/3457319661008365988333784547\ 2319661689*c_1001_1^15 - 136671854017194509571794779006561892903/34\ 573196610083659883337845472319661689*c_1001_1^14 + 51707298319261593292042648382687306260/3457319661008365988333784547\ 2319661689*c_1001_1^13 - 102527845861006672429528156710839245416/34\ 573196610083659883337845472319661689*c_1001_1^12 + 298835210925101984021072356144525368324/345731966100836598833378454\ 72319661689*c_1001_1^11 - 626196292635942207505083201804815549055/3\ 4573196610083659883337845472319661689*c_1001_1^10 + 356387802189303445087078417770057966457/345731966100836598833378454\ 72319661689*c_1001_1^9 + 97356341467017740704307396884568012122/345\ 73196610083659883337845472319661689*c_1001_1^8 - 437494997187427779622540899258696731137/345731966100836598833378454\ 72319661689*c_1001_1^7 + 29274054446790300609910263260632979876/345\ 73196610083659883337845472319661689*c_1001_1^6 + 218754566799976599560165090353951363899/345731966100836598833378454\ 72319661689*c_1001_1^5 - 160567876001354012389746380757289734225/34\ 573196610083659883337845472319661689*c_1001_1^4 - 718509847056852132112272432862439099/345731966100836598833378454723\ 19661689*c_1001_1^3 - 31065162170226942831853906420659704683/345731\ 96610083659883337845472319661689*c_1001_1^2 + 61640273531891822524872839708422318124/3457319661008365988333784547\ 2319661689*c_1001_1 + 11647755092369513418912325130010434617/345731\ 96610083659883337845472319661689, c_0011_6 - 661495113687585002856155399507765478/34573196610083659883337\ 845472319661689*c_1001_1^19 - 5312840936751880926030613724550421705\ /34573196610083659883337845472319661689*c_1001_1^18 - 13100001484661936334761276599472420514/3457319661008365988333784547\ 2319661689*c_1001_1^17 - 22504534036560738851619923978808852652/345\ 73196610083659883337845472319661689*c_1001_1^16 + 84006114768146072320336138921170718827/3457319661008365988333784547\ 2319661689*c_1001_1^15 - 168721295741359687012079631587557995844/34\ 573196610083659883337845472319661689*c_1001_1^14 + 7112055401960300116616894305646357787/34573196610083659883337845472\ 319661689*c_1001_1^13 - 57147009556827004647663145290057364625/3457\ 3196610083659883337845472319661689*c_1001_1^12 + 340291872216498224505909570947167392134/345731966100836598833378454\ 72319661689*c_1001_1^11 - 750902294076776366898914129808200311539/3\ 4573196610083659883337845472319661689*c_1001_1^10 + 203869820122868957907188316163489618550/345731966100836598833378454\ 72319661689*c_1001_1^9 + 535514833716583319651670274502514514318/34\ 573196610083659883337845472319661689*c_1001_1^8 - 835247959242449657300064609500408773348/345731966100836598833378454\ 72319661689*c_1001_1^7 - 100424776996161978704628851312419582217/34\ 573196610083659883337845472319661689*c_1001_1^6 + 608000978991283270190728629052830159649/345731966100836598833378454\ 72319661689*c_1001_1^5 - 327154595035815269271387522957800449988/34\ 573196610083659883337845472319661689*c_1001_1^4 - 153001026059435676626291219102629941555/345731966100836598833378454\ 72319661689*c_1001_1^3 + 111033988028786790558633987013866503622/34\ 573196610083659883337845472319661689*c_1001_1^2 + 39430038431446581563546565515826815937/3457319661008365988333784547\ 2319661689*c_1001_1 + 17351237108665360388942732092463510418/345731\ 96610083659883337845472319661689, c_0011_8 - 107913339267610610964640855272589637/34573196610083659883337\ 845472319661689*c_1001_1^19 - 1048672530823162804037122619322352964\ /34573196610083659883337845472319661689*c_1001_1^18 - 3715181234103528728084099205144349754/34573196610083659883337845472\ 319661689*c_1001_1^17 - 8237870382715503686794252739201490058/34573\ 196610083659883337845472319661689*c_1001_1^16 + 4976709329441042671510785996273832890/34573196610083659883337845472\ 319661689*c_1001_1^15 - 9048965021573681911476824277475291412/34573\ 196610083659883337845472319661689*c_1001_1^14 - 31760094116405161024338649555069991157/3457319661008365988333784547\ 2319661689*c_1001_1^13 - 35038704693074020465334214861599409328/345\ 73196610083659883337845472319661689*c_1001_1^12 + 34905404387882941699299402620285640725/3457319661008365988333784547\ 2319661689*c_1001_1^11 - 46682537602621626776288297196887683782/345\ 73196610083659883337845472319661689*c_1001_1^10 - 113034805447400631001585882255258979086/345731966100836598833378454\ 72319661689*c_1001_1^9 + 11808390151117118455103430174812084327/345\ 73196610083659883337845472319661689*c_1001_1^8 + 26234243928941329420092088521596674944/3457319661008365988333784547\ 2319661689*c_1001_1^7 - 181263411748071027178968217121548151641/345\ 73196610083659883337845472319661689*c_1001_1^6 - 23531545386942034356163477300638645591/3457319661008365988333784547\ 2319661689*c_1001_1^5 + 30518893552529358614996293507788644671/3457\ 3196610083659883337845472319661689*c_1001_1^4 - 20354783221679628828124747963388843973/3457319661008365988333784547\ 2319661689*c_1001_1^3 - 53554178189768210048389686735186154207/3457\ 3196610083659883337845472319661689*c_1001_1^2 + 6057468900170950643383769065676366720/34573196610083659883337845472\ 319661689*c_1001_1 + 10861569620621302796773142541941400028/3457319\ 6610083659883337845472319661689, c_0011_9 + 702788114311154579291748628039745999/34573196610083659883337\ 845472319661689*c_1001_1^19 + 5369206374859561612601189266799131089\ /34573196610083659883337845472319661689*c_1001_1^18 + 11990623654509459997775646835054128080/3457319661008365988333784547\ 2319661689*c_1001_1^17 + 20570502105751692405352704941447825027/345\ 73196610083659883337845472319661689*c_1001_1^16 - 94230735585657580864837053489177007899/3457319661008365988333784547\ 2319661689*c_1001_1^15 + 221247745060121387248739220017115670381/34\ 573196610083659883337845472319661689*c_1001_1^14 - 118553629460653020881580831956341271134/345731966100836598833378454\ 72319661689*c_1001_1^13 + 158458934149829494422199221908403052558/3\ 4573196610083659883337845472319661689*c_1001_1^12 - 447282897506629380500376276004523574488/345731966100836598833378454\ 72319661689*c_1001_1^11 + 1014849188345745077892803767441935723307/\ 34573196610083659883337845472319661689*c_1001_1^10 - 735020807383952916995235622649085489694/345731966100836598833378454\ 72319661689*c_1001_1^9 - 43444729778627608324252733863853803244/345\ 73196610083659883337845472319661689*c_1001_1^8 + 760021896439162116445448407810811884495/345731966100836598833378454\ 72319661689*c_1001_1^7 - 201840832608927115453039193920123778822/34\ 573196610083659883337845472319661689*c_1001_1^6 - 424886115426616729943767260987033443028/345731966100836598833378454\ 72319661689*c_1001_1^5 + 469112266722693176230592509346813260532/34\ 573196610083659883337845472319661689*c_1001_1^4 - 51660676562579530802761608086855221288/3457319661008365988333784547\ 2319661689*c_1001_1^3 - 52571175269779670051890810929580600235/3457\ 3196610083659883337845472319661689*c_1001_1^2 - 31843943025702259424723146499476650168/3457319661008365988333784547\ 2319661689*c_1001_1 + 13275724776105629210940013817519835653/345731\ 96610083659883337845472319661689, c_0101_0 + 148078996725496820944524009893051834/34573196610083659883337\ 845472319661689*c_1001_1^19 + 929254854447292482148750084594886645/\ 34573196610083659883337845472319661689*c_1001_1^18 + 1128546415648585065192893533143865004/34573196610083659883337845472\ 319661689*c_1001_1^17 + 2131807084746625236320981525530340812/34573\ 196610083659883337845472319661689*c_1001_1^16 - 22246572936570272024718332843480005769/3457319661008365988333784547\ 2319661689*c_1001_1^15 + 80432629619295016088130363059493477604/345\ 73196610083659883337845472319661689*c_1001_1^14 - 103955293693138530696192952233710364021/345731966100836598833378454\ 72319661689*c_1001_1^13 + 95881738585607809538660181597623652156/34\ 573196610083659883337845472319661689*c_1001_1^12 - 128729670413632374401715451606504068994/345731966100836598833378454\ 72319661689*c_1001_1^11 + 363901249598413622351030121547808911259/3\ 4573196610083659883337845472319661689*c_1001_1^10 - 516311123294568341024190395195489799827/345731966100836598833378454\ 72319661689*c_1001_1^9 + 330216222745170509955931748925611374911/34\ 573196610083659883337845472319661689*c_1001_1^8 + 185483092863632288964351902027770673471/345731966100836598833378454\ 72319661689*c_1001_1^7 - 345615026443283747535521339261227220972/34\ 573196610083659883337845472319661689*c_1001_1^6 + 80145463146586613248119143058603142219/3457319661008365988333784547\ 2319661689*c_1001_1^5 + 308741335713341259160766334142774003575/345\ 73196610083659883337845472319661689*c_1001_1^4 - 234645666502732452808135411998595373449/345731966100836598833378454\ 72319661689*c_1001_1^3 + 46829346952116003981843810659676054152/345\ 73196610083659883337845472319661689*c_1001_1^2 + 39716438807128613722897627261553593150/3457319661008365988333784547\ 2319661689*c_1001_1 + 16950757179184715443217022969812088261/345731\ 96610083659883337845472319661689, c_0101_2 + 438421946284887590634172393379547465/34573196610083659883337\ 845472319661689*c_1001_1^19 + 3369432317035074666858377702710106870\ /34573196610083659883337845472319661689*c_1001_1^18 + 7485099097303217553715990967829161712/34573196610083659883337845472\ 319661689*c_1001_1^17 + 11896935997158283908319970965692120312/3457\ 3196610083659883337845472319661689*c_1001_1^16 - 61861651530443300983786300333637992178/3457319661008365988333784547\ 2319661689*c_1001_1^15 + 128532931263133334150005031143524761721/34\ 573196610083659883337845472319661689*c_1001_1^14 - 51678794218214008516955598141120360755/3457319661008365988333784547\ 2319661689*c_1001_1^13 + 70890089658263390256029368427585443381/345\ 73196610083659883337845472319661689*c_1001_1^12 - 292605655580484135304484508355450386118/345731966100836598833378454\ 72319661689*c_1001_1^11 + 603407771232092797806058665590312211867/3\ 4573196610083659883337845472319661689*c_1001_1^10 - 351646499506973053755282423632209947411/345731966100836598833378454\ 72319661689*c_1001_1^9 - 163976653623679837056013249181342265396/34\ 573196610083659883337845472319661689*c_1001_1^8 + 427715100776027583666009023163027931012/345731966100836598833378454\ 72319661689*c_1001_1^7 + 19790496266796396775989123857697539341/345\ 73196610083659883337845472319661689*c_1001_1^6 - 341056220763821091494219654418587213463/345731966100836598833378454\ 72319661689*c_1001_1^5 + 148742483562976607731108692057546910751/34\ 573196610083659883337845472319661689*c_1001_1^4 + 60683735088007598290064214393469925272/3457319661008365988333784547\ 2319661689*c_1001_1^3 + 7468527569094668839983141044161156472/34573\ 196610083659883337845472319661689*c_1001_1^2 - 81971262673358779685051020712215519039/3457319661008365988333784547\ 2319661689*c_1001_1 - 3437531584971767630083437201500818037/3457319\ 6610083659883337845472319661689, c_0101_5 + 6289408250172767706305989709489611/3457319661008365988333784\ 5472319661689*c_1001_1^19 - 180250781551374015640804754198416585/34\ 573196610083659883337845472319661689*c_1001_1^18 - 1789013617674545031150238523648634649/34573196610083659883337845472\ 319661689*c_1001_1^17 - 4950724211706729245095380767875578060/34573\ 196610083659883337845472319661689*c_1001_1^16 - 10740547124545239103051018754947847194/3457319661008365988333784547\ 2319661689*c_1001_1^15 + 26618285589558268356407696776497338918/345\ 73196610083659883337845472319661689*c_1001_1^14 - 55155810003279143421308503202703811951/3457319661008365988333784547\ 2319661689*c_1001_1^13 + 1870033875917854128558454938268361299/3457\ 3196610083659883337845472319661689*c_1001_1^12 - 50244249529775890290358315648624863503/3457319661008365988333784547\ 2319661689*c_1001_1^11 + 121062371251891261390896548082276643220/34\ 573196610083659883337845472319661689*c_1001_1^10 - 251881546659674522227696420143389748425/345731966100836598833378454\ 72319661689*c_1001_1^9 + 63398266514395342878366468129977787496/345\ 73196610083659883337845472319661689*c_1001_1^8 + 82874618359318985235193991919699945202/3457319661008365988333784547\ 2319661689*c_1001_1^7 - 210965985920486545928870887130061476014/345\ 73196610083659883337845472319661689*c_1001_1^6 - 67995596116585989970577168370799314694/3457319661008365988333784547\ 2319661689*c_1001_1^5 + 124422247430319036860323853755787841018/345\ 73196610083659883337845472319661689*c_1001_1^4 - 104934099662581212063648229228865037118/345731966100836598833378454\ 72319661689*c_1001_1^3 - 28881104025935404547252225888230515746/345\ 73196610083659883337845472319661689*c_1001_1^2 + 2637938072537885043222586555371648411/34573196610083659883337845472\ 319661689*c_1001_1 + 2351943375793228242807385599910230214/34573196\ 610083659883337845472319661689, c_0101_7 - 371689150690293696832705645622163316/34573196610083659883337\ 845472319661689*c_1001_1^19 - 2831383341039125091374841437551660416\ /34573196610083659883337845472319661689*c_1001_1^18 - 6224436541887638486840760633158634068/34573196610083659883337845472\ 319661689*c_1001_1^17 - 10487641344651424368826851669403994852/3457\ 3196610083659883337845472319661689*c_1001_1^16 + 49585124680101094268516561293959543106/3457319661008365988333784547\ 2319661689*c_1001_1^15 - 120807280026051869521590763153354162323/34\ 573196610083659883337845472319661689*c_1001_1^14 + 49217676631569040799572722150189608878/3457319661008365988333784547\ 2319661689*c_1001_1^13 - 54153831932693010605767462105485020233/345\ 73196610083659883337845472319661689*c_1001_1^12 + 199038289541886999834063956638274824897/345731966100836598833378454\ 72319661689*c_1001_1^11 - 538148402229521702230276370913446070206/3\ 4573196610083659883337845472319661689*c_1001_1^10 + 324374863696959655520505882513193203883/345731966100836598833378454\ 72319661689*c_1001_1^9 + 167545749137958757852309833387014107810/34\ 573196610083659883337845472319661689*c_1001_1^8 - 595497082311009795060846856044936338910/345731966100836598833378454\ 72319661689*c_1001_1^7 + 123771509485318629145716092626164559664/34\ 573196610083659883337845472319661689*c_1001_1^6 + 307915049344338813921923090353452287184/345731966100836598833378454\ 72319661689*c_1001_1^5 - 345196821255963900920974311458100258879/34\ 573196610083659883337845472319661689*c_1001_1^4 - 70531219081652203002784006785215814973/3457319661008365988333784547\ 2319661689*c_1001_1^3 + 103401622970611926290306402848717537415/345\ 73196610083659883337845472319661689*c_1001_1^2 - 11284232325504435793115504403233589300/3457319661008365988333784547\ 2319661689*c_1001_1 - 9399438514121134916472604258334749143/3457319\ 6610083659883337845472319661689, c_0110_6 + 552153708552912097434302839033971424/34573196610083659883337\ 845472319661689*c_1001_1^19 + 4298455314386137512039688512273819610\ /34573196610083659883337845472319661689*c_1001_1^18 + 9907553737726410525384225441430046694/34573196610083659883337845472\ 319661689*c_1001_1^17 + 16600054010940813308275232467350344646/3457\ 3196610083659883337845472319661689*c_1001_1^16 - 73508780693841219233094601700174538779/3457319661008365988333784547\ 2319661689*c_1001_1^15 + 160881574360023525552722808290505955606/34\ 573196610083659883337845472319661689*c_1001_1^14 - 47388627176583937557822718514167322757/3457319661008365988333784547\ 2319661689*c_1001_1^13 + 74324765658779888289553419057840037340/345\ 73196610083659883337845472319661689*c_1001_1^12 - 314938352113198606015626329326475363784/345731966100836598833378454\ 72319661689*c_1001_1^11 + 730803299578268373246830367140110614083/3\ 4573196610083659883337845472319661689*c_1001_1^10 - 362195970102901512892611110294225700113/345731966100836598833378454\ 72319661689*c_1001_1^9 - 284621342813776888449614728244123622389/34\ 573196610083659883337845472319661689*c_1001_1^8 + 696579697303823457865329458516770511911/345731966100836598833378454\ 72319661689*c_1001_1^7 - 12882204847476081190963626453857573282/345\ 73196610083659883337845472319661689*c_1001_1^6 - 461593779733214448364386388265576968810/345731966100836598833378454\ 72319661689*c_1001_1^5 + 363970439385537442858489432708120036007/34\ 573196610083659883337845472319661689*c_1001_1^4 + 69732831099144736069435202255806384812/3457319661008365988333784547\ 2319661689*c_1001_1^3 - 57911726654239135548613839804938336052/3457\ 3196610083659883337845472319661689*c_1001_1^2 - 25158322370629259030788628263248752881/3457319661008365988333784547\ 2319661689*c_1001_1 - 5605481865203970685191872324631576363/3457319\ 6610083659883337845472319661689, c_1001_0 - 489772038384221344592458821697129533/34573196610083659883337\ 845472319661689*c_1001_1^19 - 3721685794324155032078149684816632485\ /34573196610083659883337845472319661689*c_1001_1^18 - 8189912461368812162095667047318895739/34573196610083659883337845472\ 319661689*c_1001_1^17 - 13911103224026943249888293734033565154/3457\ 3196610083659883337845472319661689*c_1001_1^16 + 66408639943770626863184115190687564783/3457319661008365988333784547\ 2319661689*c_1001_1^15 - 156379605908693999418020339318158874956/34\ 573196610083659883337845472319661689*c_1001_1^14 + 87519771903812832641848677476299550490/3457319661008365988333784547\ 2319661689*c_1001_1^13 - 106976644159686231862000838803506555732/34\ 573196610083659883337845472319661689*c_1001_1^12 + 299510658710893392080621179550201298342/345731966100836598833378454\ 72319661689*c_1001_1^11 - 698897446124248151277524175083587607934/3\ 4573196610083659883337845472319661689*c_1001_1^10 + 521940145477832288095218789571676967577/345731966100836598833378454\ 72319661689*c_1001_1^9 + 41417973174275309164744426901912885356/345\ 73196610083659883337845472319661689*c_1001_1^8 - 603750641948006899938120340430764954219/345731966100836598833378454\ 72319661689*c_1001_1^7 + 247756868806205264592316678735970602149/34\ 573196610083659883337845472319661689*c_1001_1^6 + 269667479708709184795000007135828613993/345731966100836598833378454\ 72319661689*c_1001_1^5 - 409988717877779463856284870515902066734/34\ 573196610083659883337845472319661689*c_1001_1^4 + 129499290520146233428813209572109552208/345731966100836598833378454\ 72319661689*c_1001_1^3 + 25573960920575770750344458024334679928/345\ 73196610083659883337845472319661689*c_1001_1^2 - 20877389363115977299884927732056794048/3457319661008365988333784547\ 2319661689*c_1001_1 - 8650576447359808821586043997308161449/3457319\ 6610083659883337845472319661689, c_1001_1^20 + 8*c_1001_1^19 + 20*c_1001_1^18 + 37*c_1001_1^17 - 119*c_1001_1^16 + 276*c_1001_1^15 - 72*c_1001_1^14 + 210*c_1001_1^13 - 554*c_1001_1^12 + 1258*c_1001_1^11 - 597*c_1001_1^10 - 234*c_1001_1^9 + 1010*c_1001_1^8 + 58*c_1001_1^7 - 494*c_1001_1^6 + 518*c_1001_1^5 + 71*c_1001_1^4 + 19*c_1001_1^3 - 27*c_1001_1^2 - 9*c_1001_1 - 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.900 Total time: 1.100 seconds, Total memory usage: 32.09MB