Magma V2.19-8 Wed Aug 21 2013 01:01:31 on localhost [Seed = 2050777534] Type ? for help. Type -D to quit. Loading file "L14n123__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n123 geometric_solution 11.49723398 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 1 2 0132 1302 3012 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130346948751 1.051364672276 0 0 3 0 0132 1230 0132 2031 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 -2 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467137465637 0.564744558490 4 5 0 6 0132 0132 0132 0132 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452822819705 0.517290301959 7 6 8 1 0132 1302 0132 0132 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.130346948751 1.051364672276 2 7 9 10 0132 0321 0132 0132 1 1 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 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.211727054666 1.014182470385 11 2 10 8 0132 0132 1230 1302 1 1 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 -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.476851880470 0.419664333611 9 9 2 3 0132 1230 0132 2031 1 1 1 1 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 2 -3 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.913977785828 1.024582697609 3 12 10 4 0132 0132 2103 0321 1 1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.193955172137 0.793884184223 11 12 5 3 1230 2031 2031 0132 1 1 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 1 0 -1 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.003563445087 0.738441264239 6 11 6 4 0132 0321 3012 0132 1 1 1 1 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 1 -1 0 0 0 0 0 1 -1 0 0 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515163324083 0.543509127918 7 12 4 5 2103 0213 0132 3012 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.088334062590 0.799964000588 5 8 12 9 0132 3012 0132 0321 1 1 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 1 0 -1 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 1.289745405961 0.953210200094 8 7 10 11 1302 0132 0213 0132 1 1 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 -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.728108114137 0.369473535486 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_10'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : negation(d['c_1001_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : negation(d['c_1001_5']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_5'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : negation(d['c_1001_2']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0011_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_12']), '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' : d['c_0011_12'], 'c_0011_2' : d['c_0011_11'], 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : d['c_0101_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0011_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0101_1, c_0101_11, c_0101_4, c_0101_8, c_1001_1, c_1001_10, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 4635703856493225121446641858547576451953346390252196/92267907659674\ 7486397794862662975552554700846845*c_1001_5^11 + 1392669129088001603838052035371869069230672700498010119/52297450061\ 50364752902701281573745431880044399917460*c_1001_5^10 + 61737217786606006274068239804672415362580087580001123681/5229745006\ 150364752902701281573745431880044399917460*c_1001_5^9 + 8262080783770499767175814091114968155076047807595398477/28268891925\ 1371067724470339544526780101624021617160*c_1001_5^8 - 565921886812667462108604556875015582167836277187545061539/104594900\ 12300729505805402563147490863760088799834920*c_1001_5^7 - 824059090406772101336462078266771552218797094351902034219/209189800\ 24601459011610805126294981727520177599669840*c_1001_5^6 + 441913992835979797128053395064511461593371685590543239669/522974500\ 6150364752902701281573745431880044399917460*c_1001_5^5 + 875163991166814739946051630425357366330831688310666593/191917247932\ 123477170741331433898914931377776143760*c_1001_5^4 - 91495765296795815443518711907322977960333042496526354577/2614872503\ 075182376451350640786872715940022199958730*c_1001_5^3 + 29566815885529891525598466798860723348584404494190000311/5229745006\ 150364752902701281573745431880044399917460*c_1001_5^2 - 96224405124628520224080020305702695083948486463444937/1665523887309\ 0333607970386247050144687516064967890*c_1001_5 - 1105196397623928730161734283121376933483759297547068059/26148725030\ 75182376451350640786872715940022199958730, c_0011_0 - 1, c_0011_10 + 613110743697177575240869058615206874416/7165889246036484258\ 252477763965518105*c_1001_5^11 + 4229913688672620757324829811706444\ 23088/781081927817976784149520076272241473445*c_1001_5^10 - 156580995883697602641142863115848974104648/781081927817976784149520\ 076272241473445*c_1001_5^9 - 39841141437827606538070495552497291678\ 3656/781081927817976784149520076272241473445*c_1001_5^8 + 695012470714597916859749234340908436118436/781081927817976784149520\ 076272241473445*c_1001_5^7 + 56342760052012691523814565166637069611\ 2948/781081927817976784149520076272241473445*c_1001_5^6 - 1083960701652295595963275416335219536164832/78108192781797678414952\ 0076272241473445*c_1001_5^5 - 1145509105239023889150832962095923594\ 826/7165889246036484258252477763965518105*c_1001_5^4 + 448345754931732420441155465129972039558552/781081927817976784149520\ 076272241473445*c_1001_5^3 - 44837671832141176225711908109168265085\ 273/781081927817976784149520076272241473445*c_1001_5^2 + 500547807434871684718237504336700776892/497504412622915149139821704\ 6320009385*c_1001_5 + 8347903700551130922542430996282881463599/7810\ 81927817976784149520076272241473445, c_0011_11 - 513395543088018815919147289155055300824/7165889246036484258\ 252477763965518105*c_1001_5^11 - 7640314723228799289609007407281084\ 42612/781081927817976784149520076272241473445*c_1001_5^10 + 131329626273924445732709776761800905666672/781081927817976784149520\ 076272241473445*c_1001_5^9 + 33451075897206029219842949697149125341\ 3114/781081927817976784149520076272241473445*c_1001_5^8 - 579762419421627404336890152174366379301784/781081927817976784149520\ 076272241473445*c_1001_5^7 - 47718795721714775572637351099915170356\ 3277/781081927817976784149520076272241473445*c_1001_5^6 + 906525320949714175176432959169538637402828/781081927817976784149520\ 076272241473445*c_1001_5^5 + 10160159310441103583627200623954907147\ 79/7165889246036484258252477763965518105*c_1001_5^4 - 376100102266707643690390853021871465964488/781081927817976784149520\ 076272241473445*c_1001_5^3 + 36139277435356216124136446627987654914\ 432/781081927817976784149520076272241473445*c_1001_5^2 - 420135745541618325144374335477038572848/497504412622915149139821704\ 6320009385*c_1001_5 - 7614489515625421707061630470259888308051/7810\ 81927817976784149520076272241473445, c_0011_12 + 426980153620133540657366710291126408116/7165889246036484258\ 252477763965518105*c_1001_5^11 - 4130834619166670424095487083978091\ 69132/781081927817976784149520076272241473445*c_1001_5^10 - 109911732366526324339931369718592293913038/781081927817976784149520\ 076272241473445*c_1001_5^9 - 27641158332198946102939118516976347426\ 6066/781081927817976784149520076272241473445*c_1001_5^8 + 489234449152531571498363648218067861962661/781081927817976784149520\ 076272241473445*c_1001_5^7 + 39070412052537320575353096770570822126\ 1988/781081927817976784149520076272241473445*c_1001_5^6 - 765058625630439211567524161993602079515702/781081927817976784149520\ 076272241473445*c_1001_5^5 - 75289933911701964719216176291743483997\ 6/7165889246036484258252477763965518105*c_1001_5^4 + 318388169852065926054852376582122980449952/781081927817976784149520\ 076272241473445*c_1001_5^3 - 34059122625539904409823064619153063756\ 148/781081927817976784149520076272241473445*c_1001_5^2 + 352198754628934146275488384815133573732/497504412622915149139821704\ 6320009385*c_1001_5 + 5790914339644545933719721567490066790524/7810\ 81927817976784149520076272241473445, c_0011_6 - 420242427245984622052330506793446058352/71658892460364842582\ 52477763965518105*c_1001_5^11 - 62189730899358578675480232501116412\ 5576/781081927817976784149520076272241473445*c_1001_5^10 + 107377666827150338277623965908020696948316/781081927817976784149520\ 076272241473445*c_1001_5^9 + 27385823009036190901332292279871767959\ 2472/781081927817976784149520076272241473445*c_1001_5^8 - 474463988452184809419852942361130629471802/781081927817976784149520\ 076272241473445*c_1001_5^7 - 39011616421099343996772717312661340847\ 9756/781081927817976784149520076272241473445*c_1001_5^6 + 740431945085640390476199813791942182182919/781081927817976784149520\ 076272241473445*c_1001_5^5 + 83406190758809143862901466896225897437\ 2/7165889246036484258252477763965518105*c_1001_5^4 - 306118578430273478047363041715831689494054/781081927817976784149520\ 076272241473445*c_1001_5^3 + 28608976487367386842713932077024658488\ 096/781081927817976784149520076272241473445*c_1001_5^2 - 346391960060125841674066054792894453199/497504412622915149139821704\ 6320009385*c_1001_5 - 6025450820863383304886632794333582892068/7810\ 81927817976784149520076272241473445, c_0101_1 - 1, c_0101_11 + 410735912622295003258854845072926543288/7165889246036484258\ 252477763965518105*c_1001_5^11 + 3808082596483252015505503255825846\ 75344/781081927817976784149520076272241473445*c_1001_5^10 - 104390026679971721623709243480963255790084/781081927817976784149520\ 076272241473445*c_1001_5^9 - 26675126933135013034776233558893310262\ 5228/781081927817976784149520076272241473445*c_1001_5^8 + 464377913583271004197654463638597066174258/781081927817976784149520\ 076272241473445*c_1001_5^7 + 37527258177186396384824908240994508834\ 4324/781081927817976784149520076272241473445*c_1001_5^6 - 722579708721634308670231213415272273430836/781081927817976784149520\ 076272241473445*c_1001_5^5 - 73861696248691374623381210627165571976\ 3/7165889246036484258252477763965518105*c_1001_5^4 + 296026462523105355467331102737099703636216/781081927817976784149520\ 076272241473445*c_1001_5^3 - 31579792203252587163448208069637125724\ 829/781081927817976784149520076272241473445*c_1001_5^2 + 342446447876348086360535224930834855896/497504412622915149139821704\ 6320009385*c_1001_5 + 5598911673452883473298593384128077949087/7810\ 81927817976784149520076272241473445, c_0101_4 - 91895976830816077558337713823792935432/716588924603648425825\ 2477763965518105*c_1001_5^11 + 579066235024010206418450664077069049\ 544/781081927817976784149520076272241473445*c_1001_5^10 + 23997552071111570379566372284058584039036/7810819278179767841495200\ 76272241473445*c_1001_5^9 + 588155416558918029818848075128083129091\ 32/781081927817976784149520076272241473445*c_1001_5^8 - 108063136399111832289579674876663343359322/781081927817976784149520\ 076272241473445*c_1001_5^7 - 81196635958485930148915079463892067252\ 716/781081927817976784149520076272241473445*c_1001_5^6 + 168686909607632864555029187129747864409564/781081927817976784149520\ 076272241473445*c_1001_5^5 + 10271015413124707470752052983074355353\ 2/7165889246036484258252477763965518105*c_1001_5^4 - 67924385644598205510764786044242194096064/7810819278179767841495200\ 76272241473445*c_1001_5^3 + 101054070996161199161367178088545450385\ 76/781081927817976784149520076272241473445*c_1001_5^2 - 96652455864397181360226423920274867999/4975044126229151491398217046\ 320009385*c_1001_5 - 900230912426983986583056289737456486748/781081\ 927817976784149520076272241473445, c_0101_8 + 101232645976294744326740411162141442260/14331778492072968516\ 50495552793103621*c_1001_5^11 - 27684135006995482322420960562836040\ 92/156216385563595356829904015254448294689*c_1001_5^10 - 25869910679420531985349012489551820653118/1562163855635953568299040\ 15254448294689*c_1001_5^9 - 656406903672721870402664142732593906555\ 06/156216385563595356829904015254448294689*c_1001_5^8 + 115181152131812037737308426022717751761345/156216385563595356829904\ 015254448294689*c_1001_5^7 + 92382039440205795470343591279900301171\ 192/156216385563595356829904015254448294689*c_1001_5^6 - 179537642730187188251903258695027175093140/156216385563595356829904\ 015254448294689*c_1001_5^5 - 17903976343188056094434407894375826880\ 0/1433177849207296851650495552793103621*c_1001_5^4 + 74117383001195005317322747076498907883987/1562163855635953568299040\ 15254448294689*c_1001_5^3 - 792354302498618758037980812056519508709\ 2/156216385563595356829904015254448294689*c_1001_5^2 + 83310997507528747504385143678696393560/9950088252458302982796434092\ 64001877*c_1001_5 + 1397682088190627951418170768284842110292/156216\ 385563595356829904015254448294689, c_1001_1 - 825201746821431652975432918513917295624/71658892460364842582\ 52477763965518105*c_1001_5^11 - 17567973677171449284287987298621799\ 35832/781081927817976784149520076272241473445*c_1001_5^10 + 209700937886955020408772429298337878844172/781081927817976784149520\ 076272241473445*c_1001_5^9 + 53713101038893480919449371315737066533\ 1484/781081927817976784149520076272241473445*c_1001_5^8 - 927633766889979939995354370422502604637234/781081927817976784149520\ 076272241473445*c_1001_5^7 - 76297133541554430495424127274748999184\ 9892/781081927817976784149520076272241473445*c_1001_5^6 + 1450128859757028683248771817017102217875928/78108192781797678414952\ 0076272241473445*c_1001_5^5 + 1572127214694682423224153786935689489\ 144/7165889246036484258252477763965518105*c_1001_5^4 - 598747530757875054955532748163670118525628/781081927817976784149520\ 076272241473445*c_1001_5^3 + 62952493677642034749076216580436168129\ 232/781081927817976784149520076272241473445*c_1001_5^2 - 679652034956004927044856935521518099408/497504412622915149139821704\ 6320009385*c_1001_5 - 12513330258085743247711764549847628217096/781\ 081927817976784149520076272241473445, c_1001_10 + 410735912622295003258854845072926543288/7165889246036484258\ 252477763965518105*c_1001_5^11 + 3808082596483252015505503255825846\ 75344/781081927817976784149520076272241473445*c_1001_5^10 - 104390026679971721623709243480963255790084/781081927817976784149520\ 076272241473445*c_1001_5^9 - 26675126933135013034776233558893310262\ 5228/781081927817976784149520076272241473445*c_1001_5^8 + 464377913583271004197654463638597066174258/781081927817976784149520\ 076272241473445*c_1001_5^7 + 37527258177186396384824908240994508834\ 4324/781081927817976784149520076272241473445*c_1001_5^6 - 722579708721634308670231213415272273430836/781081927817976784149520\ 076272241473445*c_1001_5^5 - 73861696248691374623381210627165571976\ 3/7165889246036484258252477763965518105*c_1001_5^4 + 296026462523105355467331102737099703636216/781081927817976784149520\ 076272241473445*c_1001_5^3 - 31579792203252587163448208069637125724\ 829/781081927817976784149520076272241473445*c_1001_5^2 + 342446447876348086360535224930834855896/497504412622915149139821704\ 6320009385*c_1001_5 + 5598911673452883473298593384128077949087/7810\ 81927817976784149520076272241473445, c_1001_2 + 825201746821431652975432918513917295624/71658892460364842582\ 52477763965518105*c_1001_5^11 + 17567973677171449284287987298621799\ 35832/781081927817976784149520076272241473445*c_1001_5^10 - 209700937886955020408772429298337878844172/781081927817976784149520\ 076272241473445*c_1001_5^9 - 53713101038893480919449371315737066533\ 1484/781081927817976784149520076272241473445*c_1001_5^8 + 927633766889979939995354370422502604637234/781081927817976784149520\ 076272241473445*c_1001_5^7 + 76297133541554430495424127274748999184\ 9892/781081927817976784149520076272241473445*c_1001_5^6 - 1450128859757028683248771817017102217875928/78108192781797678414952\ 0076272241473445*c_1001_5^5 - 1572127214694682423224153786935689489\ 144/7165889246036484258252477763965518105*c_1001_5^4 + 598747530757875054955532748163670118525628/781081927817976784149520\ 076272241473445*c_1001_5^3 - 62952493677642034749076216580436168129\ 232/781081927817976784149520076272241473445*c_1001_5^2 + 679652034956004927044856935521518099408/497504412622915149139821704\ 6320009385*c_1001_5 + 11732248330267766463562244473575386743651/781\ 081927817976784149520076272241473445, c_1001_5^12 + 155/1417*c_1001_5^11 - 6639/2834*c_1001_5^10 - 17575/2834*c_1001_5^9 + 55461/5668*c_1001_5^8 + 26931/2834*c_1001_5^7 - 21764/1417*c_1001_5^6 - 4985/1417*c_1001_5^5 + 9225/1417*c_1001_5^4 - 6/1417*c_1001_5^3 + 1590/1417*c_1001_5^2 + 353/1417*c_1001_5 + 37/2834 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.160 Total time: 1.360 seconds, Total memory usage: 32.09MB