Magma V2.19-8 Tue Aug 20 2013 23:38:29 on localhost [Seed = 1478376549] Type ? for help. Type -D to quit. Loading file "K11n24__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n24 geometric_solution 9.90548557 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 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 -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.322680742145 1.063726558845 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 0 0 0 0 -1 1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253412042780 0.654262617896 6 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 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.581598453747 1.313859827679 9 9 7 0 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891999020412 1.536950430721 10 1 0 7 0132 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 0 -1 1 0 0 0 0 -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.237124317290 0.573283342547 6 1 9 8 0321 0132 0321 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 0 1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978743762972 0.954134791331 5 9 1 2 0321 2103 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 0 0 1 0 -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.769575484279 0.589413373682 4 3 2 10 3201 3201 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 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.476469403570 0.662451578673 10 5 10 2 1302 0321 0132 0132 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 1 -1 0 0 6 -1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095319814826 0.918596691585 3 6 5 3 0132 2103 0321 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396805360242 1.033456233058 4 8 7 8 0132 2031 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 1 -6 0 5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095319814826 0.918596691585 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_6'], 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_3']), 'c_1100_8' : d['c_1100_10'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_7'], 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_0011_7'], 'c_1100_3' : d['c_0011_7'], 'c_1100_2' : d['c_1100_10'], 'c_1100_10' : d['c_1100_10'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_2']), 'c_1010_8' : d['c_1001_1'], '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' : negation(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' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_3'], '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_0'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_1001_1, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1528080674768625629196322468610318104039916742/13450303741535847456\ 679815397933974701762443*c_1100_10^16 - 17563291099911633529148301693202582050147845073/2690060748307169491\ 3359630795867949403524886*c_1100_10^15 + 1293289354274634084516136986869454502394412930/70791072323872881350\ 9463968312314457987497*c_1100_10^14 + 288129838814116183276308029979532020028573711695/269006074830716949\ 13359630795867949403524886*c_1100_10^13 - 433017447420949363405264891608707166480608038866/134503037415358474\ 56679815397933974701762443*c_1100_10^12 - 1091527250947019523753913938083092880469230142439/26900607483071694\ 913359630795867949403524886*c_1100_10^11 + 6224294351648962995822238776318295661986296438639/26900607483071694\ 913359630795867949403524886*c_1100_10^10 - 243967773749634947521609435805583812595012512073/141582144647745762\ 7018927936624628915974994*c_1100_10^9 - 4998821544474657314625213703676244039185830645323/13450303741535847\ 456679815397933974701762443*c_1100_10^8 + 9999009092824947603580106807237806737035379538644/13450303741535847\ 456679815397933974701762443*c_1100_10^7 - 3961096589282600045298105823750011856700603758914/13450303741535847\ 456679815397933974701762443*c_1100_10^6 - 12160383896927538590300892328233212434973069351893/2690060748307169\ 4913359630795867949403524886*c_1100_10^5 + 18429920703300620539814919112921668869606082987031/2690060748307169\ 4913359630795867949403524886*c_1100_10^4 - 5979159867115550634594533566153094729939911164515/13450303741535847\ 456679815397933974701762443*c_1100_10^3 + 4594435877550609685340759262821382883543272460171/26900607483071694\ 913359630795867949403524886*c_1100_10^2 - 1039257096049037596707237169393740387021859243661/26900607483071694\ 913359630795867949403524886*c_1100_10 + 58657068572881892319547636474644375985122839442/1345030374153584745\ 6679815397933974701762443, c_0011_0 - 1, c_0011_10 + 173517053494115858476416271137603153/1293496752125683832649\ 132157611469826*c_1100_10^16 + 457694614667494166226156301062102777\ /646748376062841916324566078805734913*c_1100_10^15 - 3284256015647876863231333071876417393/12934967521256838326491321576\ 11469826*c_1100_10^14 - 7581225616111125034974260313463604391/64674\ 8376062841916324566078805734913*c_1100_10^13 + 57410865645702058015236076324066518579/1293496752125683832649132157\ 611469826*c_1100_10^12 + 40985976090499933322731160366753622235/129\ 3496752125683832649132157611469826*c_1100_10^11 - 391528167799230864943374119198911106145/129349675212568383264913215\ 7611469826*c_1100_10^10 + 211455279357384164322456864748498967163/6\ 46748376062841916324566078805734913*c_1100_10^9 + 252752130805314192871942633654983371270/646748376062841916324566078\ 805734913*c_1100_10^8 - 729341154192460390029209795791710711293/646\ 748376062841916324566078805734913*c_1100_10^7 + 882628080126447348764323119502869246145/129349675212568383264913215\ 7611469826*c_1100_10^6 + 694116918184012411117395728980869723565/12\ 93496752125683832649132157611469826*c_1100_10^5 - 719373560673424080706748615635603553111/646748376062841916324566078\ 805734913*c_1100_10^4 + 1018753810632267086348865917130464170097/12\ 93496752125683832649132157611469826*c_1100_10^3 - 397660601955955982058857964407461400609/129349675212568383264913215\ 7611469826*c_1100_10^2 + 45672744935019577003014830838847056987/646\ 748376062841916324566078805734913*c_1100_10 - 4586708439913900940916544468355111777/64674837606284191632456607880\ 5734913, c_0011_3 - 121040381558519570518176854867187825/64674837606284191632456\ 6078805734913*c_1100_10^16 - 1402501931871864167905250034677119983/\ 1293496752125683832649132157611469826*c_1100_10^15 + 1907910346232060303228232410821039164/64674837606284191632456607880\ 5734913*c_1100_10^14 + 22928929624169981323549097000278026873/12934\ 96752125683832649132157611469826*c_1100_10^13 - 33693360033534006796565811108149204349/6467483760628419163245660788\ 05734913*c_1100_10^12 - 88490200095085405130208872341877425957/1293\ 496752125683832649132157611469826*c_1100_10^11 + 486223905490964603643506984116490138759/129349675212568383264913215\ 7611469826*c_1100_10^10 - 349377461637719049272315335626390396115/1\ 293496752125683832649132157611469826*c_1100_10^9 - 393854940587291450639978553753209046022/646748376062841916324566078\ 805734913*c_1100_10^8 + 768419916788364665526438818067884429454/646\ 748376062841916324566078805734913*c_1100_10^7 - 296973678325673464324829047318216179368/646748376062841916324566078\ 805734913*c_1100_10^6 - 929326729622233604199363994371160695585/129\ 3496752125683832649132157611469826*c_1100_10^5 + 1403712559470006166526964422791994631569/12934967521256838326491321\ 57611469826*c_1100_10^4 - 465314348612439541517895048953686529284/6\ 46748376062841916324566078805734913*c_1100_10^3 + 375487439066984142131058892893478097325/129349675212568383264913215\ 7611469826*c_1100_10^2 - 92958651575851639746312744604636076171/129\ 3496752125683832649132157611469826*c_1100_10 + 6228109655247450910237003601267342910/64674837606284191632456607880\ 5734913, c_0011_6 + 72413534213172794086694905840615206/646748376062841916324566\ 078805734913*c_1100_10^16 + 750779613977552259953793333757611543/12\ 93496752125683832649132157611469826*c_1100_10^15 - 1441622812028607338958981748588035216/64674837606284191632456607880\ 5734913*c_1100_10^14 - 12899167413363899930754233607461510169/12934\ 96752125683832649132157611469826*c_1100_10^13 + 24853045903116097425473259260359798282/6467483760628419163245660788\ 05734913*c_1100_10^12 + 37470609258140117989742133415785090395/1293\ 496752125683832649132157611469826*c_1100_10^11 - 341994069801219474568481047383968419877/129349675212568383264913215\ 7611469826*c_1100_10^10 + 341437614244409929555678686061651653057/1\ 293496752125683832649132157611469826*c_1100_10^9 + 246770277646441610406933994630784041779/646748376062841916324566078\ 805734913*c_1100_10^8 - 618655015389091274095706945995838156813/646\ 748376062841916324566078805734913*c_1100_10^7 + 302047539526419307563271265522817444276/646748376062841916324566078\ 805734913*c_1100_10^6 + 704575702385128225313473972539815720335/129\ 3496752125683832649132157611469826*c_1100_10^5 - 1156586687460434360701495660404864952525/12934967521256838326491321\ 57611469826*c_1100_10^4 + 364807919860483755403171745321006494261/6\ 46748376062841916324566078805734913*c_1100_10^3 - 261704427821352249438301588292221717307/129349675212568383264913215\ 7611469826*c_1100_10^2 + 54771571256012201561404255865445178447/129\ 3496752125683832649132157611469826*c_1100_10 - 1802177656544352668358904119173458101/64674837606284191632456607880\ 5734913, c_0011_7 - 65793234081476419678063802425339593/646748376062841916324566\ 078805734913*c_1100_10^16 - 302585191619498632142416955246635908/64\ 6748376062841916324566078805734913*c_1100_10^15 + 1523317496494434833866663130879532627/64674837606284191632456607880\ 5734913*c_1100_10^14 + 5178182473937033039551291895285733141/646748\ 376062841916324566078805734913*c_1100_10^13 - 26215820228436710834050049913128590362/6467483760628419163245660788\ 05734913*c_1100_10^12 - 5240549132021988533088190427781812961/64674\ 8376062841916324566078805734913*c_1100_10^11 + 168912223787504136413562429016716789275/646748376062841916324566078\ 805734913*c_1100_10^10 - 239230563785972237893125639540162196964/64\ 6748376062841916324566078805734913*c_1100_10^9 - 160811084036221434818384952713151381737/646748376062841916324566078\ 805734913*c_1100_10^8 + 702350587042843421655557722850629946719/646\ 748376062841916324566078805734913*c_1100_10^7 - 547119682392749000344247294255950890098/646748376062841916324566078\ 805734913*c_1100_10^6 - 229504072829550206252042567356513837483/646\ 748376062841916324566078805734913*c_1100_10^5 + 708555019583465947163603513227480287426/646748376062841916324566078\ 805734913*c_1100_10^4 - 575652994459021837302311779543017816949/646\ 748376062841916324566078805734913*c_1100_10^3 + 259029294060572557049203054269270739370/646748376062841916324566078\ 805734913*c_1100_10^2 - 70781758865741313749256722443552022180/6467\ 48376062841916324566078805734913*c_1100_10 + 9611542656878430573731521309159335466/64674837606284191632456607880\ 5734913, c_0101_0 + 187910235303775663341013893070207335/12934967521256838326491\ 32157611469826*c_1100_10^16 + 1222487944768208867443034745077644869\ /1293496752125683832649132157611469826*c_1100_10^15 - 1050344593834314063575652923008436394/64674837606284191632456607880\ 5734913*c_1100_10^14 - 19349379667784577752686078081655374893/12934\ 96752125683832649132157611469826*c_1100_10^13 + 19336771892009121501256862690965417075/6467483760628419163245660788\ 05734913*c_1100_10^12 + 48577204965793812342480417748034570964/6467\ 48376062841916324566078805734913*c_1100_10^11 - 310846329924979899902816980601934494501/129349675212568383264913215\ 7611469826*c_1100_10^10 + 22823985755682731847222863011106835896/64\ 6748376062841916324566078805734913*c_1100_10^9 + 663934785674435516818926186671028845913/129349675212568383264913215\ 7611469826*c_1100_10^8 - 364707935425335810278199426906606286677/64\ 6748376062841916324566078805734913*c_1100_10^7 - 101390815319481740265043835833100867727/129349675212568383264913215\ 7611469826*c_1100_10^6 + 354585389735503321251551936737789984766/64\ 6748376062841916324566078805734913*c_1100_10^5 - 289204793368107342061255176816069291437/646748376062841916324566078\ 805734913*c_1100_10^4 + 123338875984600189933089611159698946143/646\ 748376062841916324566078805734913*c_1100_10^3 - 36203796563705340995316910257143077926/6467483760628419163245660788\ 05734913*c_1100_10^2 + 7261230038341063700201649901979196283/646748\ 376062841916324566078805734913*c_1100_10 - 2716078972887324247729241941555235661/12934967521256838326491321576\ 11469826, c_0101_10 + 92121571069645820416788409148786823/12934967521256838326491\ 32157611469826*c_1100_10^16 + 231929897179593869852464122745998906/\ 646748376062841916324566078805734913*c_1100_10^15 - 1883309110962190080060053531152364091/12934967521256838326491321576\ 11469826*c_1100_10^14 - 3893916338834358159526188416369680401/64674\ 8376062841916324566078805734913*c_1100_10^13 + 32617680759531455587085747740494395171/1293496752125683832649132157\ 611469826*c_1100_10^12 + 16868294014990431859596241125150760395/129\ 3496752125683832649132157611469826*c_1100_10^11 - 216977393189711269459881938378571980981/129349675212568383264913215\ 7611469826*c_1100_10^10 + 130674757936503039471047429873938692017/6\ 46748376062841916324566078805734913*c_1100_10^9 + 123752578533053660202514455481805330640/646748376062841916324566078\ 805734913*c_1100_10^8 - 416781658072376530560490505958481562214/646\ 748376062841916324566078805734913*c_1100_10^7 + 578945612774536289878108080813220924399/129349675212568383264913215\ 7611469826*c_1100_10^6 + 316816730140485539614774135536114817135/12\ 93496752125683832649132157611469826*c_1100_10^5 - 413661766693624777630586732313795747772/646748376062841916324566078\ 805734913*c_1100_10^4 + 656378112369638792972001393383923572453/129\ 3496752125683832649132157611469826*c_1100_10^3 - 290799948387081305902349968806925989485/129349675212568383264913215\ 7611469826*c_1100_10^2 + 38697210584826559665242632609361971468/646\ 748376062841916324566078805734913*c_1100_10 - 5176301132141873324462439051111962557/64674837606284191632456607880\ 5734913, c_0101_2 + 130241272396905162393595031208014460/64674837606284191632456\ 6078805734913*c_1100_10^16 + 1396279634252055585751709147594576637/\ 1293496752125683832649132157611469826*c_1100_10^15 - 4765755551885115612508281203255913129/12934967521256838326491321576\ 11469826*c_1100_10^14 - 22882479572457880608872740470615608895/1293\ 496752125683832649132157611469826*c_1100_10^13 + 83618819537466663105313512381412924515/1293496752125683832649132157\ 611469826*c_1100_10^12 + 64030244635811006256966578905764365679/129\ 3496752125683832649132157611469826*c_1100_10^11 - 285542616619058968383323137833056658763/646748376062841916324566078\ 805734913*c_1100_10^10 + 303771432020185649342355367081891790982/64\ 6748376062841916324566078805734913*c_1100_10^9 + 724216399230487648970378390127947766287/129349675212568383264913215\ 7611469826*c_1100_10^8 - 1046826032146465003277012933218163418831/6\ 46748376062841916324566078805734913*c_1100_10^7 + 659524301105426476373002951108072677075/646748376062841916324566078\ 805734913*c_1100_10^6 + 915456920644888982825704263289623852907/129\ 3496752125683832649132157611469826*c_1100_10^5 - 1036113672653385598973458556997492267701/64674837606284191632456607\ 8805734913*c_1100_10^4 + 1565589146732655629859136047757399069707/1\ 293496752125683832649132157611469826*c_1100_10^3 - 659106970393639551372230188902511065643/129349675212568383264913215\ 7611469826*c_1100_10^2 + 81437344639267989606122961081470319136/646\ 748376062841916324566078805734913*c_1100_10 - 18469734356556760664839172722920915529/1293496752125683832649132157\ 611469826, c_0101_3 - 405459369663918023736253739516414607/12934967521256838326491\ 32157611469826*c_1100_10^16 - 2230545580809852405124511000359838019\ /1293496752125683832649132157611469826*c_1100_10^15 + 7095407722751318444030390401935991215/12934967521256838326491321576\ 11469826*c_1100_10^14 + 36620071253856593773512882543661535931/1293\ 496752125683832649132157611469826*c_1100_10^13 - 124482799683101865876846693432197951007/129349675212568383264913215\ 7611469826*c_1100_10^12 - 58309823057270338100321248558166525627/64\ 6748376062841916324566078805734913*c_1100_10^11 + 432322393638461927267116783815881603927/646748376062841916324566078\ 805734913*c_1100_10^10 - 821608803071213070477061531611910172861/12\ 93496752125683832649132157611469826*c_1100_10^9 - 597140350248653822770915389244933501987/646748376062841916324566078\ 805734913*c_1100_10^8 + 1511878965456900494995072848654463777157/64\ 6748376062841916324566078805734913*c_1100_10^7 - 1695518753663884567283556064500501701653/12934967521256838326491321\ 57611469826*c_1100_10^6 - 733389104186540853241423480805684147270/6\ 46748376062841916324566078805734913*c_1100_10^5 + 2938731535878916934483327484856510840797/12934967521256838326491321\ 57611469826*c_1100_10^4 - 2145116118448058755835663557757226293657/\ 1293496752125683832649132157611469826*c_1100_10^3 + 441626267655632539588729402198811061345/646748376062841916324566078\ 805734913*c_1100_10^2 - 210545182682583424647611052387766964767/129\ 3496752125683832649132157611469826*c_1100_10 + 12016514573861173592801389107422682981/6467483760628419163245660788\ 05734913, c_1001_1 - 235825477860970841581201548289023189/12934967521256838326491\ 32157611469826*c_1100_10^16 - 1272323540573371637741473246888594191\ /1293496752125683832649132157611469826*c_1100_10^15 + 4338689741020841163822751156487429667/12934967521256838326491321576\ 11469826*c_1100_10^14 + 21333699637809953532950113272713322633/1293\ 496752125683832649132157611469826*c_1100_10^13 - 75570641360579167825990788277997401991/1293496752125683832649132157\ 611469826*c_1100_10^12 - 33882139311849257130417380859838747512/646\ 748376062841916324566078805734913*c_1100_10^11 + 263234993020094723244422295037440046477/646748376062841916324566078\ 805734913*c_1100_10^10 - 493701637900602823699075593817506101625/12\ 93496752125683832649132157611469826*c_1100_10^9 - 386659066275197052666945801441355341047/646748376062841916324566078\ 805734913*c_1100_10^8 + 930176579758272293142544715723235689410/646\ 748376062841916324566078805734913*c_1100_10^7 - 899610793408476969389534410199901985935/129349675212568383264913215\ 7611469826*c_1100_10^6 - 533453799982863129504904329158233914684/64\ 6748376062841916324566078805734913*c_1100_10^5 + 1766718752599722306953748826048968735363/12934967521256838326491321\ 57611469826*c_1100_10^4 - 1120011207863263500080547112005823593895/\ 1293496752125683832649132157611469826*c_1100_10^3 + 195647592784420534963998348209239381702/646748376062841916324566078\ 805734913*c_1100_10^2 - 78440348849157703860129463049317485439/1293\ 496752125683832649132157611469826*c_1100_10 + 2911643853706372748001310235290505703/64674837606284191632456607880\ 5734913, c_1100_10^17 + 5*c_1100_10^16 - 61/3*c_1100_10^15 - 82*c_1100_10^14 + 3181/9*c_1100_10^13 + 1273/9*c_1100_10^12 - 6890/3*c_1100_10^11 + 27532/9*c_1100_10^10 + 6245/3*c_1100_10^9 - 80899/9*c_1100_10^8 + 68447/9*c_1100_10^7 + 17306/9*c_1100_10^6 - 81271/9*c_1100_10^5 + 76874/9*c_1100_10^4 - 40741/9*c_1100_10^3 + 4523/3*c_1100_10^2 - 911/3*c_1100_10 + 271/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.510 seconds, Total memory usage: 32.09MB