Magma V2.19-8 Wed Aug 21 2013 00:24:38 on localhost [Seed = 2766321556] Type ? for help. Type -D to quit. Loading file "K14n13778__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13778 geometric_solution 11.52860785 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 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 1 -1 0 0 1 -1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606067231345 0.735022390185 0 4 6 5 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 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.607609815091 0.329991911494 0 0 8 7 3012 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 0 0 1 0 -1 0 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.566450356645 1.056915616551 9 10 6 0 0132 0132 3120 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 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.112528473843 0.712416252320 8 1 11 12 0213 0132 0132 0132 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 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.981224077110 0.799984982865 9 10 1 12 2103 1230 0132 1023 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 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.842679432869 0.749642196784 8 12 3 1 2310 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 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.599356689253 1.008475832668 8 11 2 12 1023 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808991879444 1.303092233474 4 7 6 2 0213 1023 3201 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 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.485455149376 0.536257594889 3 11 5 10 0132 2103 2103 0213 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 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.216317889264 1.369505643476 11 3 5 9 2103 0132 3012 0213 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 1 0 1 0 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.216317889264 1.369505643476 7 9 10 4 1230 2103 2103 0132 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 -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.685230729133 0.550067797822 7 6 4 5 3201 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423776324322 0.480550762271 ==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' : negation(d['c_0011_11']), 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0101_12']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_12' : d['c_0110_5'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : negation(d['c_0110_5']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], '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_12' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : d['c_0011_12'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : negation(d['c_1001_4']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_12']), 'c_1010_9' : negation(d['c_1001_4']), 'c_1010_8' : negation(d['c_0101_12']), 'c_1100_8' : d['c_0011_12'], 's_3_1' : d['1'], 's_3_0' : negation(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'], 'c_1100_12' : d['c_0101_3'], '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' : 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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_7'], 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), '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_0011_7'], 'c_0110_10' : negation(d['c_0101_3']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_7'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_12']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_6']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : negation(d['c_0011_0'])})} 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_7, c_0101_0, c_0101_10, c_0101_12, c_0101_3, c_0101_6, c_0110_5, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 4494005956891975958590255/2879763136575798696034*c_1001_4^20 - 3354742527335331382845790/4319644704863698044051*c_1001_4^19 + 100539545013266170383501907/17278578819454792176204*c_1001_4^18 - 32198528384264293783079909/8639289409727396088102*c_1001_4^17 - 113892476320041560331035129/17278578819454792176204*c_1001_4^16 - 415588029653500555791892741/17278578819454792176204*c_1001_4^15 + 473815912540887436441146139/8639289409727396088102*c_1001_4^14 - 33722639075351132744194345/2879763136575798696034*c_1001_4^13 - 98114563410152658597445804/4319644704863698044051*c_1001_4^12 - 97652129440692118344174781/1234184201389628012586*c_1001_4^11 + 1505284566891238821617755249/8639289409727396088102*c_1001_4^10 - 43628662975530788122937467/8639289409727396088102*c_1001_4^9 - 142085688251894073513858849/1439881568287899348017*c_1001_4^8 - 6208346697728240913572321/205697366898271335431*c_1001_4^7 + 97307495070283820801038702/4319644704863698044051*c_1001_4^6 + 135237568614930187836612454/4319644704863698044051*c_1001_4^5 + 10339562740529495672070495/1439881568287899348017*c_1001_4^4 - 9013495337199151888257715/909398885234462746116*c_1001_4^3 + 19401755084762900041869620/4319644704863698044051*c_1001_4^2 - 122373135466310378542291513/17278578819454792176204*c_1001_4 + 22139360253389766641576041/17278578819454792176204, c_0011_0 - 1, c_0011_10 - 38036579730030368742/75783240436205228843*c_1001_4^20 - 49018931222321831958/75783240436205228843*c_1001_4^19 + 121683185067261316827/75783240436205228843*c_1001_4^18 + 10572184235934307895/75783240436205228843*c_1001_4^17 - 233244834004723535374/75783240436205228843*c_1001_4^16 - 717272967454380409680/75783240436205228843*c_1001_4^15 + 876794337911514874766/75783240436205228843*c_1001_4^14 + 664255222964689249020/75783240436205228843*c_1001_4^13 - 804684805950250041017/75783240436205228843*c_1001_4^12 - 345719087864266730472/10826177205172175549*c_1001_4^11 + 2890655940442653058036/75783240436205228843*c_1001_4^10 + 3101650263058775284121/75783240436205228843*c_1001_4^9 - 2525413436022334691520/75783240436205228843*c_1001_4^8 - 380246553034327413936/10826177205172175549*c_1001_4^7 + 626309100918973630687/75783240436205228843*c_1001_4^6 + 1683118613055468723622/75783240436205228843*c_1001_4^5 + 128234487959600206694/75783240436205228843*c_1001_4^4 - 709449968138551788084/75783240436205228843*c_1001_4^3 - 137328698404961776617/75783240436205228843*c_1001_4^2 + 88458595978013893750/75783240436205228843*c_1001_4 + 50763500006586196455/75783240436205228843, c_0011_11 + 15553892047653317276/75783240436205228843*c_1001_4^20 + 42789431509831484906/75783240436205228843*c_1001_4^19 + 6802656844180685526/75783240436205228843*c_1001_4^18 - 26121553933216144533/75783240436205228843*c_1001_4^17 + 26629922283375438404/75783240436205228843*c_1001_4^16 + 381594156656442411994/75783240436205228843*c_1001_4^15 + 216866543125160428093/75783240436205228843*c_1001_4^14 - 197128957459601399452/75783240436205228843*c_1001_4^13 - 360331213728376387755/75783240436205228843*c_1001_4^12 + 103459769801334344239/10826177205172175549*c_1001_4^11 + 479327018270508286216/75783240436205228843*c_1001_4^10 - 1124937704096870441985/75783240436205228843*c_1001_4^9 - 1747648630847153492637/75783240436205228843*c_1001_4^8 - 66703517467662874150/10826177205172175549*c_1001_4^7 + 1648576238020437400859/75783240436205228843*c_1001_4^6 + 1169258376859384046507/75783240436205228843*c_1001_4^5 + 1419575194992098742/75783240436205228843*c_1001_4^4 - 656409736564371688524/75783240436205228843*c_1001_4^3 - 259789881662109936376/75783240436205228843*c_1001_4^2 - 3599022397018229360/75783240436205228843*c_1001_4 + 12470170125162667251/75783240436205228843, c_0011_12 + 7986757157259857891/75783240436205228843*c_1001_4^20 + 33942705296094817858/75783240436205228843*c_1001_4^19 + 33790622685977208577/151566480872410457686*c_1001_4^18 - 62681947365728300648/75783240436205228843*c_1001_4^17 + 7318679554837326285/75783240436205228843*c_1001_4^16 + 576173058016034889955/151566480872410457686*c_1001_4^15 + 611414555118033346647/151566480872410457686*c_1001_4^14 - 445510657128049819114/75783240436205228843*c_1001_4^13 - 493044164812671226315/75783240436205228843*c_1001_4^12 + 235697964073824163287/21652354410344351098*c_1001_4^11 + 868368692153462388474/75783240436205228843*c_1001_4^10 - 1686364045020542820964/75783240436205228843*c_1001_4^9 - 4179316562265382808465/151566480872410457686*c_1001_4^8 + 191395750279459247577/10826177205172175549*c_1001_4^7 + 1478089983278037321414/75783240436205228843*c_1001_4^6 + 185540037996963601975/151566480872410457686*c_1001_4^5 - 285542042267432887653/75783240436205228843*c_1001_4^4 - 441181586765383761627/151566480872410457686*c_1001_4^3 - 121979082003802112661/151566480872410457686*c_1001_4^2 - 100439133934712446947/75783240436205228843*c_1001_4 - 66350510722953579979/151566480872410457686, c_0011_7 + 60760337155602648309/75783240436205228843*c_1001_4^20 + 124329972934562064686/75783240436205228843*c_1001_4^19 - 210494102876559138037/151566480872410457686*c_1001_4^18 - 107702318363974700010/75783240436205228843*c_1001_4^17 + 279346501157038541140/75783240436205228843*c_1001_4^16 + 2695923012317899299875/151566480872410457686*c_1001_4^15 - 682626422292129349549/151566480872410457686*c_1001_4^14 - 1446098221783366784933/75783240436205228843*c_1001_4^13 + 115502912188535191707/75783240436205228843*c_1001_4^12 + 1069448315710466301827/21652354410344351098*c_1001_4^11 - 1291595099943369547875/75783240436205228843*c_1001_4^10 - 6121363891487123249181/75783240436205228843*c_1001_4^9 - 1477707779251480982165/151566480872410457686*c_1001_4^8 + 449956748694072951628/10826177205172175549*c_1001_4^7 + 3104516584093991049792/75783240436205228843*c_1001_4^6 + 316918638466769882707/151566480872410457686*c_1001_4^5 - 1151748781252037924936/75783240436205228843*c_1001_4^4 - 1346662199917767241129/151566480872410457686*c_1001_4^3 - 582596210513995853809/151566480872410457686*c_1001_4^2 - 28984315702513666699/75783240436205228843*c_1001_4 + 152879956797172330529/151566480872410457686, c_0101_0 + 14793198113454588022/75783240436205228843*c_1001_4^20 + 21772192492471523665/75783240436205228843*c_1001_4^19 - 37251499242024219073/75783240436205228843*c_1001_4^18 - 118087151903105563/151566480872410457686*c_1001_4^17 + 78977180363893656863/75783240436205228843*c_1001_4^16 + 577179429235634819303/151566480872410457686*c_1001_4^15 - 259875812120126907330/75783240436205228843*c_1001_4^14 - 175025612405340129022/75783240436205228843*c_1001_4^13 + 435144707728345725739/151566480872410457686*c_1001_4^12 + 127059749839229031455/10826177205172175549*c_1001_4^11 - 936261479521062276296/75783240436205228843*c_1001_4^10 - 1983111481659761159073/151566480872410457686*c_1001_4^9 + 568937298922777516125/75783240436205228843*c_1001_4^8 + 97637320229787259184/10826177205172175549*c_1001_4^7 - 242649862778062403813/151566480872410457686*c_1001_4^6 - 413445688757215328224/75783240436205228843*c_1001_4^5 + 48974023797652421050/75783240436205228843*c_1001_4^4 + 402476866897342859681/151566480872410457686*c_1001_4^3 + 10133895894964099777/151566480872410457686*c_1001_4^2 - 138414401077085632161/75783240436205228843*c_1001_4 - 16385448484569209618/75783240436205228843, c_0101_10 + 14793198113454588022/75783240436205228843*c_1001_4^20 + 21772192492471523665/75783240436205228843*c_1001_4^19 - 37251499242024219073/75783240436205228843*c_1001_4^18 - 118087151903105563/151566480872410457686*c_1001_4^17 + 78977180363893656863/75783240436205228843*c_1001_4^16 + 577179429235634819303/151566480872410457686*c_1001_4^15 - 259875812120126907330/75783240436205228843*c_1001_4^14 - 175025612405340129022/75783240436205228843*c_1001_4^13 + 435144707728345725739/151566480872410457686*c_1001_4^12 + 127059749839229031455/10826177205172175549*c_1001_4^11 - 936261479521062276296/75783240436205228843*c_1001_4^10 - 1983111481659761159073/151566480872410457686*c_1001_4^9 + 568937298922777516125/75783240436205228843*c_1001_4^8 + 97637320229787259184/10826177205172175549*c_1001_4^7 - 242649862778062403813/151566480872410457686*c_1001_4^6 - 413445688757215328224/75783240436205228843*c_1001_4^5 + 48974023797652421050/75783240436205228843*c_1001_4^4 + 402476866897342859681/151566480872410457686*c_1001_4^3 + 10133895894964099777/151566480872410457686*c_1001_4^2 - 138414401077085632161/75783240436205228843*c_1001_4 - 16385448484569209618/75783240436205228843, c_0101_12 - 85894525986838808020/75783240436205228843*c_1001_4^20 - 119896621931057012628/75783240436205228843*c_1001_4^19 + 232925401381363451211/75783240436205228843*c_1001_4^18 + 21142127527462448573/75783240436205228843*c_1001_4^17 - 827457347318777560779/151566480872410457686*c_1001_4^16 - 3337393036152049458345/151566480872410457686*c_1001_4^15 + 3225875602641713956247/151566480872410457686*c_1001_4^14 + 2285961157070587850267/151566480872410457686*c_1001_4^13 - 807442894404252278038/75783240436205228843*c_1001_4^12 - 1466089113826684311821/21652354410344351098*c_1001_4^11 + 10558391490073547829671/151566480872410457686*c_1001_4^10 + 5501779437459657402515/75783240436205228843*c_1001_4^9 - 4561451800246909311045/151566480872410457686*c_1001_4^8 - 1230390326526494235969/21652354410344351098*c_1001_4^7 - 1506972910885627941299/75783240436205228843*c_1001_4^6 + 1740576857617397629863/151566480872410457686*c_1001_4^5 + 2809669056379272536189/151566480872410457686*c_1001_4^4 + 292387509433051063931/75783240436205228843*c_1001_4^3 + 206400404405124857639/151566480872410457686*c_1001_4^2 - 123531935775654257177/75783240436205228843*c_1001_4 - 146749136636205688547/151566480872410457686, c_0101_3 + 78801646537769062812/75783240436205228843*c_1001_4^20 + 87658753827242515548/75783240436205228843*c_1001_4^19 - 274064964441882326794/75783240436205228843*c_1001_4^18 - 4553200895465124529/75783240436205228843*c_1001_4^17 + 448241595299988269940/75783240436205228843*c_1001_4^16 + 2853844685859585268677/151566480872410457686*c_1001_4^15 - 2044393903059736319169/75783240436205228843*c_1001_4^14 - 2447446400956396722511/151566480872410457686*c_1001_4^13 + 1462796916158960821895/75783240436205228843*c_1001_4^12 + 683454040781487170411/10826177205172175549*c_1001_4^11 - 12698951957660002462739/151566480872410457686*c_1001_4^10 - 5459201241037223626720/75783240436205228843*c_1001_4^9 + 5067350088358867430047/75783240436205228843*c_1001_4^8 + 1442672774048978853567/21652354410344351098*c_1001_4^7 - 1127312855377856656/75783240436205228843*c_1001_4^6 - 2459205784021403019387/75783240436205228843*c_1001_4^5 - 2892730585889008773119/151566480872410457686*c_1001_4^4 + 311675155271203872453/75783240436205228843*c_1001_4^3 + 49330127757479981061/75783240436205228843*c_1001_4^2 + 390068942114618447477/151566480872410457686*c_1001_4 + 324047451994202208443/151566480872410457686, c_0101_6 + 60760337155602648309/75783240436205228843*c_1001_4^20 + 124329972934562064686/75783240436205228843*c_1001_4^19 - 210494102876559138037/151566480872410457686*c_1001_4^18 - 107702318363974700010/75783240436205228843*c_1001_4^17 + 279346501157038541140/75783240436205228843*c_1001_4^16 + 2695923012317899299875/151566480872410457686*c_1001_4^15 - 682626422292129349549/151566480872410457686*c_1001_4^14 - 1446098221783366784933/75783240436205228843*c_1001_4^13 + 115502912188535191707/75783240436205228843*c_1001_4^12 + 1069448315710466301827/21652354410344351098*c_1001_4^11 - 1291595099943369547875/75783240436205228843*c_1001_4^10 - 6121363891487123249181/75783240436205228843*c_1001_4^9 - 1477707779251480982165/151566480872410457686*c_1001_4^8 + 449956748694072951628/10826177205172175549*c_1001_4^7 + 3104516584093991049792/75783240436205228843*c_1001_4^6 + 316918638466769882707/151566480872410457686*c_1001_4^5 - 1151748781252037924936/75783240436205228843*c_1001_4^4 - 1346662199917767241129/151566480872410457686*c_1001_4^3 - 582596210513995853809/151566480872410457686*c_1001_4^2 - 28984315702513666699/75783240436205228843*c_1001_4 + 152879956797172330529/151566480872410457686, c_0110_5 - c_1001_4, c_1001_1 - 16114369898913429454/10826177205172175549*c_1001_4^20 - 16864530767401080004/10826177205172175549*c_1001_4^19 + 58567659281889879844/10826177205172175549*c_1001_4^18 + 1344034131272380126/10826177205172175549*c_1001_4^17 - 182678861047749644367/21652354410344351098*c_1001_4^16 - 289438161337672280182/10826177205172175549*c_1001_4^15 + 886854245307999818337/21652354410344351098*c_1001_4^14 + 257503971630135207025/10826177205172175549*c_1001_4^13 - 292788434257372095786/10826177205172175549*c_1001_4^12 - 1987925916040774162195/21652354410344351098*c_1001_4^11 + 1358544353296621364509/10826177205172175549*c_1001_4^10 + 1112520983570791177838/10826177205172175549*c_1001_4^9 - 2116516146663059868551/21652354410344351098*c_1001_4^8 - 1120620574161095019697/10826177205172175549*c_1001_4^7 - 17503551527004716948/10826177205172175549*c_1001_4^6 + 1064473267016445097345/21652354410344351098*c_1001_4^5 + 355010369503812029616/10826177205172175549*c_1001_4^4 - 15398161190498177483/10826177205172175549*c_1001_4^3 - 59808860462092606319/21652354410344351098*c_1001_4^2 - 124035711683456215727/21652354410344351098*c_1001_4 - 30888486396997691655/10826177205172175549, c_1001_4^21 + c_1001_4^20 - 7/2*c_1001_4^19 + 1/2*c_1001_4^18 + 11/2*c_1001_4^17 + 35/2*c_1001_4^16 - 55/2*c_1001_4^15 - 21/2*c_1001_4^14 + 19*c_1001_4^13 + 58*c_1001_4^12 - 173/2*c_1001_4^11 - 54*c_1001_4^10 + 67*c_1001_4^9 + 103/2*c_1001_4^8 - 6*c_1001_4^7 - 28*c_1001_4^6 - 29/2*c_1001_4^5 + 9/2*c_1001_4^4 + 1/2*c_1001_4^3 + 3*c_1001_4^2 + 3/2*c_1001_4 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.530 Total time: 1.740 seconds, Total memory usage: 64.12MB