Magma V2.19-8 Tue Aug 20 2013 23:40:05 on localhost [Seed = 2446849336] Type ? for help. Type -D to quit. Loading file "K12n143__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n143 geometric_solution 10.95517145 oriented_manifold CS_known -0.0000000000000003 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 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 0 -1 0 0 0 0 0 -7 0 7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599653614822 1.040646400264 0 5 7 6 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 1 0 -1 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.149650856108 0.841952784708 6 0 7 4 1023 0132 3012 2103 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 -1 0 1 0 0 0 0 0 -1 0 1 1 7 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.058222761138 0.541152793773 8 9 9 0 0132 0132 3120 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 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.182486750647 1.043309981009 10 11 0 2 0132 0132 0132 2103 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 1 -1 0 0 0 0 0 1 0 -1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564714895980 0.350177031291 6 1 8 8 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 -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.724996554176 0.895774148932 5 2 1 9 0132 1023 0132 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 1 -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.940292545618 1.235091634138 11 2 10 1 3120 1230 1023 0132 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 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342288800549 0.426212618982 3 5 5 10 0132 0213 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.313202135410 1.020199494049 6 3 3 11 3012 0132 3120 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 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.072670957923 1.038153021382 4 8 7 11 0132 1302 1023 3120 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 1 0 -1 0 0 0 0 -7 -1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658712186418 0.560314069600 10 4 9 7 3120 0132 0132 3120 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 0 0 0 -8 0 0 8 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746670201847 0.863732954663 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_0']), 'c_1001_10' : d['c_0101_3'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_2'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_3']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_0101_9']), 'c_1100_3' : negation(d['c_0101_9']), 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_1001_0']), 'c_1010_8' : d['c_0011_10'], '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], '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_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_9'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0011_10']})} 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_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 30393758149831427028804294102727088051064/5472229085684194146950728\ 938630178625*c_1001_0^19 - 8801499604176889321546368591253085733285\ 6/5472229085684194146950728938630178625*c_1001_0^18 - 3813066568605852919060337730351472110328/18869755467876531541209410\ 1332075125*c_1001_0^17 + 45112727109765762220380771856943015077752/\ 5472229085684194146950728938630178625*c_1001_0^16 + 560090008021448954229876594065529579552236/547222908568419414695072\ 8938630178625*c_1001_0^15 + 588656583959449163736715275882856774567\ 012/5472229085684194146950728938630178625*c_1001_0^14 - 437841115723438962065466252668044881619424/547222908568419414695072\ 8938630178625*c_1001_0^13 - 671460154169184625615861183677932014023\ 028/5472229085684194146950728938630178625*c_1001_0^12 + 121963087221502283589107418270760227758304/547222908568419414695072\ 8938630178625*c_1001_0^11 - 241117918962718231566808121895915779752\ 076/5472229085684194146950728938630178625*c_1001_0^10 - 1412428111311038555335249646405655038205718/54722290856841941469507\ 28938630178625*c_1001_0^9 - 571216464125556624224416627933497403448\ 53/288012057141273376155301523085798875*c_1001_0^8 - 678257082522510295209977361791469736692158/547222908568419414695072\ 8938630178625*c_1001_0^7 - 1090601220607846201849886168667370124741\ 798/5472229085684194146950728938630178625*c_1001_0^6 - 569392277411976843818596766934251229964421/109444581713683882939014\ 57877260357250*c_1001_0^5 + 152763906094140415947273273127490138096\ 219/5472229085684194146950728938630178625*c_1001_0^4 - 466017350944753024607813558617924602049573/547222908568419414695072\ 8938630178625*c_1001_0^3 - 6989265634208652839026114274635282967208\ 99/10944458171368388293901457877260357250*c_1001_0^2 - 49664841427039742839548191806200618613343/1094445817136838829390145\ 7877260357250*c_1001_0 - 15482905625512234889777965411859923899067/\ 10944458171368388293901457877260357250, c_0011_0 - 1, c_0011_10 - 2274512918982796054996658416/1991442047167013116901926609*c\ _1001_0^19 - 4843956676921124081953411760/1991442047167013116901926\ 609*c_1001_0^18 - 184873757840847598399856576/686704154195521764448\ 94021*c_1001_0^17 + 5346079340886236529805415152/199144204716701311\ 6901926609*c_1001_0^16 + 35231871380232213847159656184/199144204716\ 7013116901926609*c_1001_0^15 + 18563310660259960473473132568/199144\ 2047167013116901926609*c_1001_0^14 - 32668097384637663413458370280/1991442047167013116901926609*c_1001_0\ ^13 - 12066359823041500493657005232/1991442047167013116901926609*c_\ 1001_0^12 + 6414100975468030210717675880/19914420471670131169019266\ 09*c_1001_0^11 - 38355001553570141727830773024/19914420471670131169\ 01926609*c_1001_0^10 - 74582239782732592774583559092/19914420471670\ 13116901926609*c_1001_0^9 - 31331579525591780404848120414/199144204\ 7167013116901926609*c_1001_0^8 - 58983036819886443588450348232/1991\ 442047167013116901926609*c_1001_0^7 - 59574678553805796200124678590/1991442047167013116901926609*c_1001_0\ ^6 + 6879870662447470620521427043/1991442047167013116901926609*c_10\ 01_0^5 - 17046012152409800821821626332/1991442047167013116901926609\ *c_1001_0^4 - 22982179352506809619189983347/19914420471670131169019\ 26609*c_1001_0^3 - 5762627739340200386243254302/1991442047167013116\ 901926609*c_1001_0^2 - 7020104756453363567803627184/199144204716701\ 3116901926609*c_1001_0 - 932632483899836460017018378/19914420471670\ 13116901926609, c_0011_3 - 2095025672022287116551583456/1991442047167013116901926609*c_\ 1001_0^19 - 4902367975610234686047812384/19914420471670131169019266\ 09*c_1001_0^18 - 187273274107253013202129376/6867041541955217644489\ 4021*c_1001_0^17 + 5306951985986371018394366496/1991442047167013116\ 901926609*c_1001_0^16 + 35129861897575536666226362752/1991442047167\ 013116901926609*c_1001_0^15 + 23187953805397960065993051760/1991442\ 047167013116901926609*c_1001_0^14 - 35511505666672096312256682928/1991442047167013116901926609*c_1001_0\ ^13 - 27444668456858597220151599784/1991442047167013116901926609*c_\ 1001_0^12 + 12248919834623152761329028112/1991442047167013116901926\ 609*c_1001_0^11 - 21987569056322431220635294224/1991442047167013116\ 901926609*c_1001_0^10 - 79191281070604753957254898664/1991442047167\ 013116901926609*c_1001_0^9 - 39869825825660584175748153184/19914420\ 47167013116901926609*c_1001_0^8 - 40039143124701500042251680784/199\ 1442047167013116901926609*c_1001_0^7 - 49045027281845058969989252732/1991442047167013116901926609*c_1001_0\ ^6 + 3037908665347149014026259560/1991442047167013116901926609*c_10\ 01_0^5 + 3164981599934065852648728580/1991442047167013116901926609*\ c_1001_0^4 - 27399171331512092972611618782/199144204716701311690192\ 6609*c_1001_0^3 - 13805755119736621636332055144/1991442047167013116\ 901926609*c_1001_0^2 + 1334788112738620355439895892/199144204716701\ 3116901926609*c_1001_0 - 355646211626874800439425334/19914420471670\ 13116901926609, c_0011_7 + 3713807835819014717598022320/1991442047167013116901926609*c_\ 1001_0^19 + 7072759169786833682997757200/19914420471670131169019266\ 09*c_1001_0^18 + 178091868764788599364195408/6867041541955217644489\ 4021*c_1001_0^17 - 14222921899059111827473645056/199144204716701311\ 6901926609*c_1001_0^16 - 58607577173211137487045089048/199144204716\ 7013116901926609*c_1001_0^15 - 11238005745959094212532201688/199144\ 2047167013116901926609*c_1001_0^14 + 88549169485700323719167459472/1991442047167013116901926609*c_1001_0\ ^13 + 15881915864300672710135776016/1991442047167013116901926609*c_\ 1001_0^12 - 51834843139182819599938609184/1991442047167013116901926\ 609*c_1001_0^11 + 55946537163370238762263696664/1991442047167013116\ 901926609*c_1001_0^10 + 123465581956154666794495538148/199144204716\ 7013116901926609*c_1001_0^9 - 2752643275844575246934467910/19914420\ 47167013116901926609*c_1001_0^8 + 28514096149008694448106002616/199\ 1442047167013116901926609*c_1001_0^7 + 67531147357064069984362035620/1991442047167013116901926609*c_1001_0\ ^6 - 59438555075313258373911376165/1991442047167013116901926609*c_1\ 001_0^5 - 1848150055137166181150181442/1991442047167013116901926609\ *c_1001_0^4 + 55026637737386451406984111236/19914420471670131169019\ 26609*c_1001_0^3 - 5422553594112258207956992936/1991442047167013116\ 901926609*c_1001_0^2 - 9232187216336012553481130082/199144204716701\ 3116901926609*c_1001_0 + 764772550639807171585529716/19914420471670\ 13116901926609, c_0101_0 + 8747647110662815701176511392/1991442047167013116901926609*c_\ 1001_0^19 + 20014481607592256548922887296/1991442047167013116901926\ 609*c_1001_0^18 + 711040324244494774885693248/686704154195521764448\ 94021*c_1001_0^17 - 24205727788255673940912737856/19914420471670131\ 16901926609*c_1001_0^16 - 145917773083657890484770190896/1991442047\ 167013116901926609*c_1001_0^15 - 84855062207562053686562795680/1991\ 442047167013116901926609*c_1001_0^14 + 164505034753089990842943692640/1991442047167013116901926609*c_1001_\ 0^13 + 97530003563219054990499392728/1991442047167013116901926609*c\ _1001_0^12 - 72877208186597532050606592328/199144204716701311690192\ 6609*c_1001_0^11 + 106714083550724785506774971944/19914420471670131\ 16901926609*c_1001_0^10 + 330775894808714913776477010376/1991442047\ 167013116901926609*c_1001_0^9 + 131369975797491125410879796652/1991\ 442047167013116901926609*c_1001_0^8 + 138657008130661372891014902868/1991442047167013116901926609*c_1001_\ 0^7 + 216598531914094786752350092748/1991442047167013116901926609*c\ _1001_0^6 - 39640874274393124345177817560/1991442047167013116901926\ 609*c_1001_0^5 - 11735570059670157535542082218/19914420471670131169\ 01926609*c_1001_0^4 + 119294609412044640893456148086/19914420471670\ 13116901926609*c_1001_0^3 + 37024917708694864226093758748/199144204\ 7167013116901926609*c_1001_0^2 - 7862757962459885769512982076/19914\ 42047167013116901926609*c_1001_0 - 434323486517739613512475359/1991442047167013116901926609, c_0101_1 + 150673261011417332395336432/1991442047167013116901926609*c_1\ 001_0^19 + 882838919772115698282669280/1991442047167013116901926609\ *c_1001_0^18 + 65217238826304678549761744/6867041541955217644489402\ 1*c_1001_0^17 + 1561618111346569764661694384/1991442047167013116901\ 926609*c_1001_0^16 - 3302687826953529998698035496/19914420471670131\ 16901926609*c_1001_0^15 - 11204834890210139965112960096/19914420471\ 67013116901926609*c_1001_0^14 - 7365515762458848553219925824/199144\ 2047167013116901926609*c_1001_0^13 + 9001781254328317188833616952/1991442047167013116901926609*c_1001_0^\ 12 + 10622734353037668169256540160/1991442047167013116901926609*c_1\ 001_0^11 - 788027663205594276651694024/1991442047167013116901926609\ *c_1001_0^10 + 8726105706314692497833500420/19914420471670131169019\ 26609*c_1001_0^9 + 28153016740596409651448666910/199144204716701311\ 6901926609*c_1001_0^8 + 22761858502274503603596003194/1991442047167\ 013116901926609*c_1001_0^7 + 16597846820212434126347888514/19914420\ 47167013116901926609*c_1001_0^6 + 18892131536062314179726218379/199\ 1442047167013116901926609*c_1001_0^5 + 8219906247107287330779846209/1991442047167013116901926609*c_1001_0^\ 4 - 1283649319393255017429755603/1991442047167013116901926609*c_100\ 1_0^3 + 9751513991621980084112486999/1991442047167013116901926609*c\ _1001_0^2 + 7695626248747618694477370442/19914420471670131169019266\ 09*c_1001_0 - 473313444362707190610113977/1991442047167013116901926\ 609, c_0101_10 + 181294700430392640697498752/68670415419552176444894021*c_10\ 01_0^19 + 470040287389119585736700960/68670415419552176444894021*c_\ 1001_0^18 + 570560105945295293933085088/68670415419552176444894021*\ c_1001_0^17 - 333031339712146145918601600/6867041541955217644489402\ 1*c_1001_0^16 - 3140956651777859088588940192/6867041541955217644489\ 4021*c_1001_0^15 - 2732800406750484004473873968/6867041541955217644\ 4894021*c_1001_0^14 + 2585957117827560245444812192/6867041541955217\ 6444894021*c_1001_0^13 + 2907963889025156486835696088/6867041541955\ 2176444894021*c_1001_0^12 - 525705396252407395373519096/68670415419\ 552176444894021*c_1001_0^11 + 1957063663985483272966788088/68670415\ 419552176444894021*c_1001_0^10 + 7355362026438682611497791584/68670\ 415419552176444894021*c_1001_0^9 + 4993764553956029811158870260/68670415419552176444894021*c_1001_0^8 + 4300869990357996393599945400/68670415419552176444894021*c_1001_0^7 + 5547516137431726885678809484/68670415419552176444894021*c_1001_0^6 + 709433971972425979672474122/68670415419552176444894021*c_1001_0^5 - 76523486794532397746514928/68670415419552176444894021*c_1001_0^4 + 2297900101622670111199945086/68670415419552176444894021*c_1001_0^3 + 1479020146340546048758285898/68670415419552176444894021*c_1001_0^2 + 330465332019583372643960439/68670415419552176444894021*c_1001_0 + 33539653294165043126744214/68670415419552176444894021, c_0101_11 + 2423133944041424778747872320/1991442047167013116901926609*c\ _1001_0^19 + 4241892867139795525703689952/1991442047167013116901926\ 609*c_1001_0^18 + 129855487058195692470135856/686704154195521764448\ 94021*c_1001_0^17 - 7797507037565573364520784960/199144204716701311\ 6901926609*c_1001_0^16 - 35076180535321630078593329984/199144204716\ 7013116901926609*c_1001_0^15 - 5180867897506525770722398320/1991442\ 047167013116901926609*c_1001_0^14 + 42362438466029841099105672632/1991442047167013116901926609*c_1001_0\ ^13 - 1635057816973873377035466776/1991442047167013116901926609*c_1\ 001_0^12 - 14407060524157352358327317632/19914420471670131169019266\ 09*c_1001_0^11 + 43819720400515617792579560080/19914420471670131169\ 01926609*c_1001_0^10 + 66641450537116030377466020328/19914420471670\ 13116901926609*c_1001_0^9 + 3321801314376284470031986412/1991442047\ 167013116901926609*c_1001_0^8 + 51098783637797822808035866576/19914\ 42047167013116901926609*c_1001_0^7 + 43864235838770793553649032390/1991442047167013116901926609*c_1001_0\ ^6 - 26813233030776792400822416848/1991442047167013116901926609*c_1\ 001_0^5 + 22983972446020426437274870790/199144204716701311690192660\ 9*c_1001_0^4 + 24812448788949999716281221483/1991442047167013116901\ 926609*c_1001_0^3 - 3493322580326809872287545897/199144204716701311\ 6901926609*c_1001_0^2 + 3100584907225398695534529920/19914420471670\ 13116901926609*c_1001_0 + 1315685616822316635910810259/199144204716\ 7013116901926609, c_0101_2 + 4215264684862618916587394224/1991442047167013116901926609*c_\ 1001_0^19 + 11294576105791122031380592560/1991442047167013116901926\ 609*c_1001_0^18 + 459121175996785152830062240/686704154195521764448\ 94021*c_1001_0^17 - 8033370929233499544643834224/199144204716701311\ 6901926609*c_1001_0^16 - 74659395907295767806244755272/199144204716\ 7013116901926609*c_1001_0^15 - 66327262472351153901036406776/199144\ 2047167013116901926609*c_1001_0^14 + 67699359646211800158177586360/1991442047167013116901926609*c_1001_0\ ^13 + 72252156514733690714137132392/1991442047167013116901926609*c_\ 1001_0^12 - 25712205353891136750488855648/1991442047167013116901926\ 609*c_1001_0^11 + 45457263709094200995956876768/1991442047167013116\ 901926609*c_1001_0^10 + 183334516348939419946327543668/199144204716\ 7013116901926609*c_1001_0^9 + 116021145466642775346113240374/199144\ 2047167013116901926609*c_1001_0^8 + 87258976023284008649877793036/1991442047167013116901926609*c_1001_0\ ^7 + 143593005569159742840014538342/1991442047167013116901926609*c_\ 1001_0^6 + 16834521030748146864412990611/19914420471670131169019266\ 09*c_1001_0^5 - 12278720772910178439313901646/199144204716701311690\ 1926609*c_1001_0^4 + 67996816883367834907296426925/1991442047167013\ 116901926609*c_1001_0^3 + 33474517803769968838737769818/19914420471\ 67013116901926609*c_1001_0^2 + 1937794949162790892652139800/1991442\ 047167013116901926609*c_1001_0 + 2158046132479888833473744006/19914\ 42047167013116901926609, c_0101_3 - 418371291699344375645689952/1991442047167013116901926609*c_1\ 001_0^19 + 1278626650662805510900402976/199144204716701311690192660\ 9*c_1001_0^18 + 139274435053369289257635392/68670415419552176444894\ 021*c_1001_0^17 + 6470714843385849583746993024/19914420471670131169\ 01926609*c_1001_0^16 + 1071289284047843865514955328/199144204716701\ 3116901926609*c_1001_0^15 - 32440130085141795100982219536/199144204\ 7167013116901926609*c_1001_0^14 - 28625285707896354478026913440/199\ 1442047167013116901926609*c_1001_0^13 + 34683635080516321648622142296/1991442047167013116901926609*c_1001_0\ ^12 + 25263434706712634066439531656/1991442047167013116901926609*c_\ 1001_0^11 - 21500061777008738207561561592/1991442047167013116901926\ 609*c_1001_0^10 + 12036751983581641732313373824/1991442047167013116\ 901926609*c_1001_0^9 + 75850396805272725714112271728/19914420471670\ 13116901926609*c_1001_0^8 + 28869453595127370512241019872/199144204\ 7167013116901926609*c_1001_0^7 + 32632436152725049051940650120/1991\ 442047167013116901926609*c_1001_0^6 + 58106345065777346355432924360/1991442047167013116901926609*c_1001_0\ ^5 - 4463720402748495908026291564/1991442047167013116901926609*c_10\ 01_0^4 - 1024500752547781826338552564/1991442047167013116901926609*\ c_1001_0^3 + 28325035348302566684279181744/199144204716701311690192\ 6609*c_1001_0^2 + 10153218244651616437147901148/1991442047167013116\ 901926609*c_1001_0 + 943436402556122605125277029/199144204716701311\ 6901926609, c_0101_9 + 2834412368439961801479591488/1991442047167013116901926609*c_\ 1001_0^19 + 9389275467144672460660637888/19914420471670131169019266\ 09*c_1001_0^18 + 440704618887099601462949232/6867041541955217644489\ 4021*c_1001_0^17 - 1860401814086664867118661440/1991442047167013116\ 901926609*c_1001_0^16 - 56011562366236283490485935584/1991442047167\ 013116901926609*c_1001_0^15 - 74070343898257510359019946752/1991442\ 047167013116901926609*c_1001_0^14 + 32630317950969406018793880936/1991442047167013116901926609*c_1001_0\ ^13 + 85966010598703411495270653328/1991442047167013116901926609*c_\ 1001_0^12 - 838395967162462107504736152/199144204716701311690192660\ 9*c_1001_0^11 + 12935125855063397123457294472/199144204716701311690\ 1926609*c_1001_0^10 + 146664048229605765355969935608/19914420471670\ 13116901926609*c_1001_0^9 + 141497370750348580053575251128/19914420\ 47167013116901926609*c_1001_0^8 + 73626446082584072606362550024/199\ 1442047167013116901926609*c_1001_0^7 + 117013732146749286131036442646/1991442047167013116901926609*c_1001_\ 0^6 + 47386818217977145811324166386/1991442047167013116901926609*c_\ 1001_0^5 - 25203153563061865971923803702/19914420471670131169019266\ 09*c_1001_0^4 + 41826654158107433508517186011/199144204716701311690\ 1926609*c_1001_0^3 + 46384906824202645286277836939/1991442047167013\ 116901926609*c_1001_0^2 + 4491467674175505994238396202/199144204716\ 7013116901926609*c_1001_0 - 343035671291530385235228053/19914420471\ 67013116901926609, c_1001_0^20 + 3*c_1001_0^19 + 4*c_1001_0^18 - c_1001_0^17 - 37/2*c_1001_0^16 - 43/2*c_1001_0^15 + 23/2*c_1001_0^14 + 47/2*c_1001_0^13 - 1/2*c_1001_0^12 + 15/2*c_1001_0^11 + 187/4*c_1001_0^10 + 333/8*c_1001_0^9 + 111/4*c_1001_0^8 + 305/8*c_1001_0^7 + 225/16*c_1001_0^6 - 3*c_1001_0^5 + 223/16*c_1001_0^4 + 27/2*c_1001_0^3 + 43/16*c_1001_0^2 + 3/16*c_1001_0 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.960 Total time: 1.169 seconds, Total memory usage: 32.09MB