Magma V2.19-8 Wed Aug 21 2013 00:29:04 on localhost [Seed = 3448495594] Type ? for help. Type -D to quit. Loading file "K14n16363__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16363 geometric_solution 10.78046021 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2310 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 -1 0 1 -17 0 17 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.152787954039 1.943662005110 0 3 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 17 0 -17 0 0 0 0 0 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.262958518955 0.567981356182 0 0 6 6 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -16 16 -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.353225602467 0.379422215549 7 8 1 0 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 -17 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.419955766795 0.693581701114 7 9 1 10 2103 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.775141982068 0.401835616523 9 11 8 1 0132 0132 2103 0132 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 0 0 0 0 0 -17 17 17 0 0 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.699615839119 0.654734030950 2 12 2 10 2310 0132 0132 3120 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 0 1 -1 0 0 -16 16 16 0 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.089753775169 0.921539281643 3 11 4 12 0132 1302 2103 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 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.043880793682 1.592571190013 5 3 12 9 2103 0132 0132 2103 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 17 0 -1 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574168919554 0.432324456183 5 4 10 8 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 1 -1 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 -16 16 0 0 0 0 -17 1 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.423958379667 0.951354879181 6 11 4 9 3120 2031 0132 0132 0 0 0 0 0 0 0 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 -1 1 0 -16 0 0 16 16 0 0 -16 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.069195183507 1.318995723845 10 5 12 7 1302 0132 1023 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 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.599257920980 0.580382271641 7 6 11 8 3201 0132 1023 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 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 1.343578261606 0.871131816688 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_1001_3']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_12'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : 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' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_12']), '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' : 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_0110_8']), 'c_1100_4' : negation(d['c_0110_8']), 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : negation(d['c_0110_8']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_12'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0110_8']), 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : negation(d['c_0110_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : negation(d['c_0101_6']), 'c_1010_9' : negation(d['c_1001_3']), 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : negation(d['c_0101_5']), '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'], 'c_1100_12' : negation(d['c_0101_5']), '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_11'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0101_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_3, c_0101_0, c_0101_1, c_0101_12, c_0101_5, c_0101_6, c_0110_8, c_1001_0, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 2559990989328911775235838473771621248795708768438673/95383563932587\ 763427893573037789106673405351*c_1001_3^16 + 2192655727670319399084086838793319498587489074156019/19076712786517\ 5526855787146075578213346810702*c_1001_3^15 - 117902728311389873957330594371785187404312994708516/136262234189411\ 09061127653291112729524772193*c_1001_3^14 + 7078970623757057232781511733117012804392223648964411/95383563932587\ 763427893573037789106673405351*c_1001_3^13 - 27795473012257142845163710381702454873281941254321033/1907671278651\ 75526855787146075578213346810702*c_1001_3^12 - 45355524669097164962024701958817272344662848899399859/1907671278651\ 75526855787146075578213346810702*c_1001_3^11 + 65021561556579172646816580591517096147044610597384913/9538356393258\ 7763427893573037789106673405351*c_1001_3^10 - 8624376317815398661006895031496101000225580628896437/27252446837882\ 218122255306582225459049544386*c_1001_3^9 - 4130311476134184998466175960840434957939839205905847/61537783182314\ 68608251198260502523011187442*c_1001_3^8 + 84500258533207595790422305130927459357914729213061860/9538356393258\ 7763427893573037789106673405351*c_1001_3^7 - 12075772339650328292149338416229622556096905082243379/1907671278651\ 75526855787146075578213346810702*c_1001_3^6 - 78329934321529165451056533670455186849844722306588067/1907671278651\ 75526855787146075578213346810702*c_1001_3^5 + 23344651219576334814227524442292037439878914500394026/9538356393258\ 7763427893573037789106673405351*c_1001_3^4 - 49095754221887011274215874762825040348920398833232/7171696536284794\ 24269876489005933132882747*c_1001_3^3 - 896192137544460824562709353526515691780951694120/502018757539935596\ 9889135423041531930179229*c_1001_3^2 + 775323222324775718766312943342815304835629739026464/953835639325877\ 63427893573037789106673405351*c_1001_3 + 327737938586950186105099941533621846442876355683361/190767127865175\ 526855787146075578213346810702, c_0011_0 - 1, c_0011_10 - c_1001_3, c_0011_11 + 4625165861245936477466097121939658070609/231345049557574007\ 82899241580836552673637*c_1001_3^16 + 12123706122574074587120829998720485518996/2313450495575740078289924\ 1580836552673637*c_1001_3^15 + 831392735581274718527562675387940213\ 0940/23134504955757400782899241580836552673637*c_1001_3^14 + 27369040026638406741563255245609726067030/2313450495575740078289924\ 1580836552673637*c_1001_3^13 + 189007595320662098607490781552535397\ 24931/23134504955757400782899241580836552673637*c_1001_3^12 - 72268087177547684964783228088810534702921/2313450495575740078289924\ 1580836552673637*c_1001_3^11 + 475733588003064320431904850006726831\ 61847/23134504955757400782899241580836552673637*c_1001_3^10 + 108181001651403505756684596327439288482579/231345049557574007828992\ 41580836552673637*c_1001_3^9 - 261165859239397304514786678770154755\ 441130/23134504955757400782899241580836552673637*c_1001_3^8 + 108908533768480741982654256243178142494013/231345049557574007828992\ 41580836552673637*c_1001_3^7 + 201067742956209675007650142242730754\ 615474/23134504955757400782899241580836552673637*c_1001_3^6 - 274642172985821109316060651151621202922785/231345049557574007828992\ 41580836552673637*c_1001_3^5 + 861124594322333842550491261988440223\ 1973/2103136814159763707536294689166959333967*c_1001_3^4 + 126360424637333559837256073169407399086564/231345049557574007828992\ 41580836552673637*c_1001_3^3 - 905289082188697291997203980366153108\ 78577/23134504955757400782899241580836552673637*c_1001_3^2 + 12988417835126443291800961578331090076624/2313450495575740078289924\ 1580836552673637*c_1001_3 - 316422785643050057491518384224256167985\ 3/23134504955757400782899241580836552673637, c_0011_12 + 278066757277092779706439430621331072013315/2313450495575740\ 0782899241580836552673637*c_1001_3^16 + 150641768843766900321782200056403171459352/231345049557574007828992\ 41580836552673637*c_1001_3^15 - 63420976403949611373535577751302031\ 343178/23134504955757400782899241580836552673637*c_1001_3^14 + 778695149728862072732781179642677001542392/231345049557574007828992\ 41580836552673637*c_1001_3^13 - 14101977584703452382631693095649990\ 37823308/23134504955757400782899241580836552673637*c_1001_3^12 - 2589054013442590802226004796189279440401051/23134504955757400782899\ 241580836552673637*c_1001_3^11 + 6765968405420790727791947140555728\ 044958286/23134504955757400782899241580836552673637*c_1001_3^10 - 2631029666454432695378319684911529043652746/23134504955757400782899\ 241580836552673637*c_1001_3^9 - 71480626498424888246876272443271559\ 40638763/23134504955757400782899241580836552673637*c_1001_3^8 + 8495571106693296386497375957293356491705468/23134504955757400782899\ 241580836552673637*c_1001_3^7 + 27708113616579447100914488333737417\ 108187/23134504955757400782899241580836552673637*c_1001_3^6 - 4233514385454600117057293164089483296309058/23134504955757400782899\ 241580836552673637*c_1001_3^5 + 20771070225587725609929602022633250\ 5584047/2103136814159763707536294689166959333967*c_1001_3^4 - 577603651277809656274685007245751152293376/231345049557574007828992\ 41580836552673637*c_1001_3^3 - 990948307112491525163067536605551351\ 85823/23134504955757400782899241580836552673637*c_1001_3^2 + 147523917981397472482124785100434605817324/231345049557574007828992\ 41580836552673637*c_1001_3 + 69682997521762072639607864627005463658\ 04/23134504955757400782899241580836552673637, c_0011_3 - 114795746368256017372524552354690313329816/23134504955757400\ 782899241580836552673637*c_1001_3^16 - 47628697876897504389202296024345276615335/2313450495575740078289924\ 1580836552673637*c_1001_3^15 - 530729960150526089203660421575194522\ 96464/23134504955757400782899241580836552673637*c_1001_3^14 - 409504013770630096640825298755596077817246/231345049557574007828992\ 41580836552673637*c_1001_3^13 + 59174367326739930693672986943787748\ 9854441/23134504955757400782899241580836552673637*c_1001_3^12 + 725755292391602724531048354087337709009827/231345049557574007828992\ 41580836552673637*c_1001_3^11 - 26070721555901665391389200063104435\ 60080415/23134504955757400782899241580836552673637*c_1001_3^10 + 2346341930131438198568544077189540527505561/23134504955757400782899\ 241580836552673637*c_1001_3^9 + 11458577196612302480492756739550777\ 96359628/23134504955757400782899241580836552673637*c_1001_3^8 - 3632717046948676662147460946783409523024251/23134504955757400782899\ 241580836552673637*c_1001_3^7 + 24885849086158017896402283323844823\ 03417900/23134504955757400782899241580836552673637*c_1001_3^6 + 72874676402118676633643671282805155739960/2313450495575740078289924\ 1580836552673637*c_1001_3^5 - 1451669679704597485208047918691623837\ 44566/2103136814159763707536294689166959333967*c_1001_3^4 + 1187660276358112382231745673827446240010764/23134504955757400782899\ 241580836552673637*c_1001_3^3 - 35190938939058455262216781452926897\ 6934752/23134504955757400782899241580836552673637*c_1001_3^2 + 56865618059743183345818902735036234980663/2313450495575740078289924\ 1580836552673637*c_1001_3 + 453343390203788232846323157722620714058\ 7/23134504955757400782899241580836552673637, c_0101_0 + 12334325866136157408720080439857306298307/210313681415976370\ 7536294689166959333967*c_1001_3^16 + 1485283021452875766358631277536389385138/21031368141597637075362946\ 89166959333967*c_1001_3^15 - 61030861351749285900498497968152147298\ 40/2103136814159763707536294689166959333967*c_1001_3^14 + 32305178743856047435618668102108517403387/2103136814159763707536294\ 689166959333967*c_1001_3^13 - 8029671516592362850887029252129718419\ 6814/2103136814159763707536294689166959333967*c_1001_3^12 - 91305370335459415979671822296134725390302/2103136814159763707536294\ 689166959333967*c_1001_3^11 + 3407782869989878840707196302204675591\ 59749/2103136814159763707536294689166959333967*c_1001_3^10 - 228128187959031489135765518198677571723094/210313681415976370753629\ 4689166959333967*c_1001_3^9 - 2465771862968459127806420990843954255\ 24429/2103136814159763707536294689166959333967*c_1001_3^8 + 456317732673179460198757741104753491456550/210313681415976370753629\ 4689166959333967*c_1001_3^7 - 1396002580465490042833415672579297378\ 76171/2103136814159763707536294689166959333967*c_1001_3^6 - 128726650359457877594602395477225471803541/210313681415976370753629\ 4689166959333967*c_1001_3^5 + 1243600243487021706666604337995802468\ 71516/2103136814159763707536294689166959333967*c_1001_3^4 - 78671326255688734253439486098760323471720/2103136814159763707536294\ 689166959333967*c_1001_3^3 + 32306902166572833136458725966421505228\ 338/2103136814159763707536294689166959333967*c_1001_3^2 - 2929929410521875553870942874564940868003/21031368141597637075362946\ 89166959333967*c_1001_3 + 1122120564675573888733589220875903128714/\ 2103136814159763707536294689166959333967, c_0101_1 - 145784537693792321453591987391170196750838/23134504955757400\ 782899241580836552673637*c_1001_3^16 + 25699981190047211454985494398481690391178/2313450495575740078289924\ 1580836552673637*c_1001_3^15 + 134723967299844173974060765058152010\ 709100/23134504955757400782899241580836552673637*c_1001_3^14 - 372932337102493178577506392167577597032242/231345049557574007828992\ 41580836552673637*c_1001_3^13 + 10673252924412002150443137040103229\ 24851039/23134504955757400782899241580836552673637*c_1001_3^12 + 973736859601579425662685787983668730354371/231345049557574007828992\ 41580836552673637*c_1001_3^11 - 46405775206303273517856945751042565\ 11764304/23134504955757400782899241580836552673637*c_1001_3^10 + 3406002016493296810761695914934662361149136/23134504955757400782899\ 241580836552673637*c_1001_3^9 + 34287672258990334619004419766741814\ 55162249/23134504955757400782899241580836552673637*c_1001_3^8 - 7024064688532110228629740931123724144667547/23134504955757400782899\ 241580836552673637*c_1001_3^7 + 21466189822941604548607063217588098\ 52052663/23134504955757400782899241580836552673637*c_1001_3^6 + 2752816116717538614246347542905345379836787/23134504955757400782899\ 241580836552673637*c_1001_3^5 - 21373786463195607971354405402679920\ 7293060/2103136814159763707536294689166959333967*c_1001_3^4 + 825372341122776046502089000290798041935634/231345049557574007828992\ 41580836552673637*c_1001_3^3 - 500654050152614575396874046491578503\ 06546/23134504955757400782899241580836552673637*c_1001_3^2 - 122942793780833414378541481060566187727359/231345049557574007828992\ 41580836552673637*c_1001_3 - 58383569207412696625782170038057901837\ 82/23134504955757400782899241580836552673637, c_0101_12 + 30098040796630824432919042484718116950731/23134504955757400\ 782899241580836552673637*c_1001_3^16 + 39991146791121829945874199482410599431828/2313450495575740078289924\ 1580836552673637*c_1001_3^15 + 220962714402289936797481998965891345\ 01410/23134504955757400782899241580836552673637*c_1001_3^14 + 84497944342375954258273808147628257692723/2313450495575740078289924\ 1580836552673637*c_1001_3^13 - 975245287709148783313578806430132822\ 94730/23134504955757400782899241580836552673637*c_1001_3^12 - 365422869611140099461772542181377699994185/231345049557574007828992\ 41580836552673637*c_1001_3^11 + 40957579215638784845937081135587084\ 1062152/23134504955757400782899241580836552673637*c_1001_3^10 + 128286276460642259460626960162542942655644/231345049557574007828992\ 41580836552673637*c_1001_3^9 - 581949551699462319120702931356255973\ 535436/23134504955757400782899241580836552673637*c_1001_3^8 + 139695291579641827936814665886878509564350/231345049557574007828992\ 41580836552673637*c_1001_3^7 + 281321151766641631650814848043909823\ 851417/23134504955757400782899241580836552673637*c_1001_3^6 + 80119012670095141526572308345174205788792/2313450495575740078289924\ 1580836552673637*c_1001_3^5 - 7423662338520684392214136802217195401\ 739/2103136814159763707536294689166959333967*c_1001_3^4 - 125213848991041780489346036901831794161853/231345049557574007828992\ 41580836552673637*c_1001_3^3 + 539764785419333816369379453795185861\ 42384/23134504955757400782899241580836552673637*c_1001_3^2 - 19501838347129141162647658110774108582364/2313450495575740078289924\ 1580836552673637*c_1001_3 + 815689628882489827038250059324729415700\ 7/23134504955757400782899241580836552673637, c_0101_5 + 226619201854166127504149097627114181818007/23134504955757400\ 782899241580836552673637*c_1001_3^16 + 156408351999613820707506797395612908589113/231345049557574007828992\ 41580836552673637*c_1001_3^15 + 33571073248210213044317834037348415\ 916626/23134504955757400782899241580836552673637*c_1001_3^14 + 695636829417287564512584444142043091714794/231345049557574007828992\ 41580836552673637*c_1001_3^13 - 10212333706788557105022913858664011\ 17249308/23134504955757400782899241580836552673637*c_1001_3^12 - 2060360272484097552866510029280868459921267/23134504955757400782899\ 241580836552673637*c_1001_3^11 + 4970919636264165571548262745713035\ 407528673/23134504955757400782899241580836552673637*c_1001_3^10 - 2014495966456006229998980450476900767498307/23134504955757400782899\ 241580836552673637*c_1001_3^9 - 49062935998839068051440378402062891\ 14790857/23134504955757400782899241580836552673637*c_1001_3^8 + 5842257012173548715667823086027590303743483/23134504955757400782899\ 241580836552673637*c_1001_3^7 - 47317503816215681145112611267585067\ 4244081/23134504955757400782899241580836552673637*c_1001_3^6 - 2145617642767816691420806253138440022832149/23134504955757400782899\ 241580836552673637*c_1001_3^5 + 14220330115206270876029766625886604\ 2456559/2103136814159763707536294689166959333967*c_1001_3^4 - 793223280880304481923470434176723324916189/231345049557574007828992\ 41580836552673637*c_1001_3^3 + 232462021683368722147901311687468751\ 677534/23134504955757400782899241580836552673637*c_1001_3^2 - 30686802327496505292509360097914402678638/2313450495575740078289924\ 1580836552673637*c_1001_3 + 116238614281700229145073756357096296827\ 67/23134504955757400782899241580836552673637, c_0101_6 + 284336867622522570519838636407858788911051/23134504955757400\ 782899241580836552673637*c_1001_3^16 + 139856581281186758295144658562673171908232/231345049557574007828992\ 41580836552673637*c_1001_3^15 - 96402741994289113338284933700681948\ 009223/23134504955757400782899241580836552673637*c_1001_3^14 + 789104259293290970971207251902768402410874/231345049557574007828992\ 41580836552673637*c_1001_3^13 - 14671962192467917923780967219706802\ 94758746/23134504955757400782899241580836552673637*c_1001_3^12 - 2633704677889428659941855992474350188287061/23134504955757400782899\ 241580836552673637*c_1001_3^11 + 7181956614288464098538778015827253\ 785135559/23134504955757400782899241580836552673637*c_1001_3^10 - 2803010419957955534338304800597823051235964/23134504955757400782899\ 241580836552673637*c_1001_3^9 - 78043839334343321226651467081399166\ 22071599/23134504955757400782899241580836552673637*c_1001_3^8 + 9247304294574077432421221137072177037156317/23134504955757400782899\ 241580836552673637*c_1001_3^7 + 31680218146450893012839928319999527\ 0767679/23134504955757400782899241580836552673637*c_1001_3^6 - 5102700551133462852447363060689862293536622/23134504955757400782899\ 241580836552673637*c_1001_3^5 + 22028483718138196754873023807358482\ 2283894/2103136814159763707536294689166959333967*c_1001_3^4 - 208787582023228660780877063714738428616424/231345049557574007828992\ 41580836552673637*c_1001_3^3 - 214112678603967357971336255292425243\ 585654/23134504955757400782899241580836552673637*c_1001_3^2 + 128585814206011499197726880948371823083350/231345049557574007828992\ 41580836552673637*c_1001_3 + 17901057454179096846362509686618857875\ 512/23134504955757400782899241580836552673637, c_0110_8 + 105579543730866907063001842353712252330646/23134504955757400\ 782899241580836552673637*c_1001_3^16 - 23653033555140196515929255429510316195310/2313450495575740078289924\ 1580836552673637*c_1001_3^15 - 892302189271532081702965476615564965\ 29650/23134504955757400782899241580836552673637*c_1001_3^14 + 270859021840040567533531540975565433744534/231345049557574007828992\ 41580836552673637*c_1001_3^13 - 78573933805424503526621533709125574\ 3870224/23134504955757400782899241580836552673637*c_1001_3^12 - 638936204078913476314617503076104279299137/231345049557574007828992\ 41580836552673637*c_1001_3^11 + 33389853648324788763185451210692723\ 09695087/23134504955757400782899241580836552673637*c_1001_3^10 - 2637696344009988639954047660347996231609678/23134504955757400782899\ 241580836552673637*c_1001_3^9 - 21303994975658427214663601585720937\ 07233283/23134504955757400782899241580836552673637*c_1001_3^8 + 4879799767825332234249520486265409896457700/23134504955757400782899\ 241580836552673637*c_1001_3^7 - 18169239902786806787675720878811369\ 40489298/23134504955757400782899241580836552673637*c_1001_3^6 - 1496112166624131795067198658594654395627743/23134504955757400782899\ 241580836552673637*c_1001_3^5 + 13178368668722285505887457060179744\ 2273255/2103136814159763707536294689166959333967*c_1001_3^4 - 740170739821534296298488310184531764027067/231345049557574007828992\ 41580836552673637*c_1001_3^3 + 301399445290367782864108040251117971\ 369334/23134504955757400782899241580836552673637*c_1001_3^2 - 12727385168611489929932713509440240965669/2313450495575740078289924\ 1580836552673637*c_1001_3 + 418642992260641450568698083638764025884\ 7/23134504955757400782899241580836552673637, c_1001_0 - 29537540250759980250573269679073018581100/210313681415976370\ 7536294689166959333967*c_1001_3^16 - 25982607502940378575273700322913223740714/2103136814159763707536294\ 689166959333967*c_1001_3^15 - 2881178917123548047648222362816764294\ 99/2103136814159763707536294689166959333967*c_1001_3^14 - 84471822979961057136395790256461279694219/2103136814159763707536294\ 689166959333967*c_1001_3^13 + 1179781084021422943385088398445193794\ 75487/2103136814159763707536294689166959333967*c_1001_3^12 + 318337002234751788778421432850559595382371/210313681415976370753629\ 4689166959333967*c_1001_3^11 - 628786211290957900977575527178265624\ 435068/2103136814159763707536294689166959333967*c_1001_3^10 + 58579846124821632151244648243778267313733/2103136814159763707536294\ 689166959333967*c_1001_3^9 + 84870020337168715140819003855384723533\ 9729/2103136814159763707536294689166959333967*c_1001_3^8 - 679997778395900312284999465016810316803403/210313681415976370753629\ 4689166959333967*c_1001_3^7 - 2752646904071733426363064477448997424\ 85981/2103136814159763707536294689166959333967*c_1001_3^6 + 471066880946360712832628202537358911176736/210313681415976370753629\ 4689166959333967*c_1001_3^5 - 1298210628823113104227993077906707328\ 06134/2103136814159763707536294689166959333967*c_1001_3^4 - 24148886077571434954586867666546071631717/2103136814159763707536294\ 689166959333967*c_1001_3^3 + 39618672915041963437252982661184869582\ 203/2103136814159763707536294689166959333967*c_1001_3^2 - 15430465328032058662665977030241579355025/2103136814159763707536294\ 689166959333967*c_1001_3 - 1050955088458685994980768268735880346162\ /2103136814159763707536294689166959333967, c_1001_3^17 + 103/277*c_1001_3^16 - 96/277*c_1001_3^15 + 771/277*c_1001_3^14 - 1547/277*c_1001_3^13 - 2369/277*c_1001_3^12 + 7174/277*c_1001_3^11 - 3663/277*c_1001_3^10 - 6743/277*c_1001_3^9 + 9534/277*c_1001_3^8 - 1169/277*c_1001_3^7 - 4201/277*c_1001_3^6 + 2765/277*c_1001_3^5 - 849/277*c_1001_3^4 + 38/277*c_1001_3^3 + 84/277*c_1001_3^2 + 13/277*c_1001_3 - 1/277 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.800 Total time: 12.009 seconds, Total memory usage: 143.81MB