Magma V2.19-8 Wed Aug 21 2013 00:54:32 on localhost [Seed = 1613134391] Type ? for help. Type -D to quit. Loading file "L12n360__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n360 geometric_solution 12.55769925 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 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 0 0 0 0 -1 1 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425186993100 1.008812837037 0 5 3 2 0132 0132 0321 2310 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 -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 0.533882803275 0.431336542820 1 0 6 5 3201 0132 0132 0132 1 1 1 1 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 1 0 0 -1 0 0 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368655728840 1.278789540253 6 5 1 0 0213 3012 0321 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 0 1 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.426383296418 0.748314561016 7 8 0 5 0132 0132 0132 0213 1 1 1 1 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 -1 0 0 0 0 0 -1 0 0 1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545129559444 1.541122151108 3 1 2 4 1230 0132 0132 0213 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 1 -1 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.368655728840 1.278789540253 3 7 8 2 0213 0321 0321 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176172221783 0.596879658892 4 9 10 6 0132 0132 0132 0321 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203202489754 0.697384380187 11 4 6 12 0132 0132 0321 0132 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 -1 0 1 -1 0 1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203202489754 0.697384380187 11 7 12 12 1023 0132 0213 1230 1 0 1 1 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 0 1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350823875402 1.017993667270 11 11 12 7 3120 1230 0132 0132 1 1 1 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 1 -1 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350823875402 1.017993667270 8 9 10 10 0132 1023 3012 3120 0 1 1 1 0 0 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 1 0 -1 1 0 -1 0 0 0 0 0 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350823875402 1.017993667270 9 9 8 10 3012 0213 0132 0132 1 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 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.350823875402 1.017993667270 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_1001_12'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : negation(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_11'], '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' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_1100_9' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_1001_6'], 'c_1100_6' : d['c_1001_8'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_1001_8'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_1001_6'], 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_1001_12'], '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' : d['c_1001_6'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), '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_11' : negation(d['c_0011_3']), 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0011_6']), 'c_1100_8' : d['c_1001_6']})} 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_3, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_5, c_1001_1, c_1001_12, c_1001_6, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 42603341328839623250753794318433/17864007107955209818031322812520*c\ _1001_8^17 + 1616675794192175911426362831561551/8932003553977604909\ 0156614062600*c_1001_8^16 + 4128132427713612945014790654692833/8932\ 0035539776049090156614062600*c_1001_8^15 + 9002626168571430395833538777228981/17864007107955209818031322812520\ 0*c_1001_8^14 + 21701109996190081226346801729749191/238186761439402\ 797573750970833600*c_1001_8^13 + 4813957109249461687444210419358727\ /29773345179925349696718871354200*c_1001_8^12 + 6383614819179488730571082525378417/39697793573233799595625161805600\ *c_1001_8^11 + 573134420499154366370729266982827/198488967866168997\ 97812580902800*c_1001_8^10 + 2869192132817353257300843730015601/285\ 82411372728335708850116500032*c_1001_8^9 + 21553076183546353940451091844647393/1190933807197013987868754854168\ 00*c_1001_8^8 - 20064289278605405289864780029184103/178640071079552\ 098180313228125200*c_1001_8^7 - 2919104847525693402856145639168849/\ 19848896786616899797812580902800*c_1001_8^6 + 32784391455730323366904003702832881/2381867614394027975737509708336\ 00*c_1001_8^5 - 1628171747270656743719105730339029/2552001015422172\ 8311473318303600*c_1001_8^4 - 8680431918345028369546571627740199/71\ 456028431820839272125291250080*c_1001_8^3 + 1482064978605942881766576999367601/17864007107955209818031322812520\ 0*c_1001_8^2 + 69880519551486941587515769016255863/7145602843182083\ 92721252912500800*c_1001_8 - 4241658943721336537385613322932001/357\ 280142159104196360626456250400, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 + 111412365757126839623305/2408320607951770219832146*c_1001_8\ ^17 + 2530058900133458749646573/7224961823855310659496438*c_1001_8^\ 16 + 3222616557269422845928729/3612480911927655329748219*c_1001_8^1\ 5 + 14143904603766849986635541/14449923647710621318992876*c_1001_8^\ 14 + 103406126505174180370469819/57799694590842485275971504*c_1001_\ 8^13 + 22426815726594396974290631/7224961823855310659496438*c_1001_\ 8^12 + 58952467132312591156157967/19266564863614161758657168*c_1001\ _8^11 + 9628025172021108873462163/14449923647710621318992876*c_1001\ _8^10 + 59124075817356097776482185/28899847295421242637985752*c_100\ 1_8^9 + 23497965293626765416753859/7224961823855310659496438*c_1001\ _8^8 - 70069197058670005421930201/28899847295421242637985752*c_1001\ _8^7 - 37957995636039323995670257/14449923647710621318992876*c_1001\ _8^6 + 35629303623122387376625249/19266564863614161758657168*c_1001\ _8^5 - 20769742701697172892804707/7224961823855310659496438*c_1001_\ 8^4 - 46700649586523026637086053/19266564863614161758657168*c_1001_\ 8^3 - 1525958832364191202975519/14449923647710621318992876*c_1001_8\ ^2 + 21025392459336033144159557/14449923647710621318992876*c_1001_8 - 1647472931155121562703886/3612480911927655329748219, c_0011_3 + 504059847151179744335171/7224961823855310659496438*c_1001_8^\ 17 + 3849720890924356473787711/7224961823855310659496438*c_1001_8^1\ 6 + 1664685667490119102809971/1204160303975885109916073*c_1001_8^15 + 22710150406865960980876717/14449923647710621318992876*c_1001_8^14 + 53923796960191419487142825/19266564863614161758657168*c_1001_8^13 + 141871717248780738775364453/28899847295421242637985752*c_1001_8^1\ 2 + 295367360297835987990463447/57799694590842485275971504*c_1001_8\ ^11 + 2936296315003661612168873/2408320607951770219832146*c_1001_8^\ 10 + 86589149097829025584216541/28899847295421242637985752*c_1001_8\ ^9 + 77448300677662728364581103/14449923647710621318992876*c_1001_8\ ^8 - 80183955280627712675570653/28899847295421242637985752*c_1001_8\ ^7 - 66471009364226405600191663/14449923647710621318992876*c_1001_8\ ^6 + 186202410363111071997921023/57799694590842485275971504*c_1001_\ 8^5 - 34761248396251859274525827/28899847295421242637985752*c_1001_\ 8^4 - 220830889946981415897488353/57799694590842485275971504*c_1001\ _8^3 - 3516184461101833868835800/3612480911927655329748219*c_1001_8\ ^2 + 6441779536078195919335283/2408320607951770219832146*c_1001_8 - 1756390497899961078701891/3612480911927655329748219, c_0011_6 - c_1001_8, c_0101_0 + 191551313907307810547639/7224961823855310659496438*c_1001_8^\ 17 + 834360857400144761127127/3612480911927655329748219*c_1001_8^16 + 5395469215405202796092443/7224961823855310659496438*c_1001_8^15 + 17122954896173967948148211/14449923647710621318992876*c_1001_8^14 + 100492905791165259074624683/57799694590842485275971504*c_1001_8^13 + 57808565943444761613538455/19266564863614161758657168*c_1001_8^12 + 231518597102410688510876659/57799694590842485275971504*c_1001_8^11 + 37474142130332770728399095/14449923647710621318992876*c_1001_8^10 + 50081990686883935431842815/28899847295421242637985752*c_1001_8^9 + 90578127200055917333445745/28899847295421242637985752*c_1001_8^8 + 36596502370721220940350619/28899847295421242637985752*c_1001_8^7 - 13859992522569861499470847/4816641215903540439664292*c_1001_8^6 - 38147000531887594273421257/57799694590842485275971504*c_1001_8^5 + 15019257138401340470350959/19266564863614161758657168*c_1001_8^4 - 115257940917304979186117029/57799694590842485275971504*c_1001_8^3 - 20449263020046761393138653/14449923647710621318992876*c_1001_8^2 + 15295044095686450686400699/14449923647710621318992876*c_1001_8 + 790931193369631581623668/1204160303975885109916073, c_0101_10 + 39731773620028/731782015676393*c_1001_8^17 + 291540120941314/731782015676393*c_1001_8^16 + 677556402673413/731782015676393*c_1001_8^15 + 515490974038984/731782015676393*c_1001_8^14 + 1875367676493427/1463564031352786*c_1001_8^13 + 7095033007534821/2927128062705572*c_1001_8^12 + 8030548071067843/5854256125411144*c_1001_8^11 - 14349771370959465/5854256125411144*c_1001_8^10 - 2123014799816107/5854256125411144*c_1001_8^9 + 1289570320745887/731782015676393*c_1001_8^8 - 16711826074343451/2927128062705572*c_1001_8^7 - 13981893989779107/2927128062705572*c_1001_8^6 + 13291638920160299/2927128062705572*c_1001_8^5 - 6812317467266343/2927128062705572*c_1001_8^4 - 20287187378577073/5854256125411144*c_1001_8^3 + 13518534358732795/5854256125411144*c_1001_8^2 + 14477186624420653/5854256125411144*c_1001_8 - 1823993476115647/1463564031352786, c_0101_11 - 9365015859960066387992/1204160303975885109916073*c_1001_8^1\ 7 - 171557204249456183648366/3612480911927655329748219*c_1001_8^16 - 173725135025481613196426/3612480911927655329748219*c_1001_8^15 + 590015915762726115019256/3612480911927655329748219*c_1001_8^14 + 587860426848720305349941/3612480911927655329748219*c_1001_8^13 + 241513512723939125767897/14449923647710621318992876*c_1001_8^12 + 474794514469605548261484/1204160303975885109916073*c_1001_8^11 + 8447980207405355485541821/14449923647710621318992876*c_1001_8^10 - 23565265914171455171765429/28899847295421242637985752*c_1001_8^9 - 6801470603004190600284178/3612480911927655329748219*c_1001_8^8 - 1013267961333288618675442/3612480911927655329748219*c_1001_8^7 - 13197149586325231213056929/7224961823855310659496438*c_1001_8^6 - 15566877713452510692469055/4816641215903540439664292*c_1001_8^5 + 5843154955730986782845441/14449923647710621318992876*c_1001_8^4 - 448334596273657407581200/1204160303975885109916073*c_1001_8^3 - 25493578984796857938191311/14449923647710621318992876*c_1001_8^2 + 25019545197529911882654307/28899847295421242637985752*c_1001_8 + 4100262170958192723705869/7224961823855310659496438, c_0101_5 - 73539963713392816993574/3612480911927655329748219*c_1001_8^1\ 7 - 994415616712506588596525/7224961823855310659496438*c_1001_8^16 - 590925749933189128446951/2408320607951770219832146*c_1001_8^15 + 218805406348092900642310/3612480911927655329748219*c_1001_8^14 + 25312364719908218295603/2408320607951770219832146*c_1001_8^13 - 14042202138521889542068241/57799694590842485275971504*c_1001_8^12 + 18360405858129696939625175/28899847295421242637985752*c_1001_8^11 + 47773646735293829476804309/19266564863614161758657168*c_1001_8^10 + 25863396886152556152536189/28899847295421242637985752*c_1001_8^9 - 12548889900640149057998203/28899847295421242637985752*c_1001_8^8 + 45419030447848692842272453/14449923647710621318992876*c_1001_8^7 + 66376959698358181698821551/28899847295421242637985752*c_1001_8^6 - 48154928477587449421221649/14449923647710621318992876*c_1001_8^5 + 5832103281471078297819323/57799694590842485275971504*c_1001_8^4 + 53188423551388829490475927/28899847295421242637985752*c_1001_8^3 - 84115433970080700815864033/57799694590842485275971504*c_1001_8^2 - 20797650889097290460200561/9633282431807080879328584*c_1001_8 + 6107458368426924752496893/7224961823855310659496438, c_1001_1 - 191551313907307810547639/7224961823855310659496438*c_1001_8^\ 17 - 834360857400144761127127/3612480911927655329748219*c_1001_8^16 - 5395469215405202796092443/7224961823855310659496438*c_1001_8^15 - 17122954896173967948148211/14449923647710621318992876*c_1001_8^14 - 100492905791165259074624683/57799694590842485275971504*c_1001_8^13 - 57808565943444761613538455/19266564863614161758657168*c_1001_8^12 - 231518597102410688510876659/57799694590842485275971504*c_1001_8^11 - 37474142130332770728399095/14449923647710621318992876*c_1001_8^10 - 50081990686883935431842815/28899847295421242637985752*c_1001_8^9 - 90578127200055917333445745/28899847295421242637985752*c_1001_8^8 - 36596502370721220940350619/28899847295421242637985752*c_1001_8^7 + 13859992522569861499470847/4816641215903540439664292*c_1001_8^6 + 38147000531887594273421257/57799694590842485275971504*c_1001_8^5 - 15019257138401340470350959/19266564863614161758657168*c_1001_8^4 + 115257940917304979186117029/57799694590842485275971504*c_1001_8^3 + 20449263020046761393138653/14449923647710621318992876*c_1001_8^2 - 15295044095686450686400699/14449923647710621318992876*c_1001_8 - 790931193369631581623668/1204160303975885109916073, c_1001_12 + 504059847151179744335171/7224961823855310659496438*c_1001_8\ ^17 + 3849720890924356473787711/7224961823855310659496438*c_1001_8^\ 16 + 1664685667490119102809971/1204160303975885109916073*c_1001_8^1\ 5 + 22710150406865960980876717/14449923647710621318992876*c_1001_8^\ 14 + 53923796960191419487142825/19266564863614161758657168*c_1001_8\ ^13 + 141871717248780738775364453/28899847295421242637985752*c_1001\ _8^12 + 295367360297835987990463447/57799694590842485275971504*c_10\ 01_8^11 + 2936296315003661612168873/2408320607951770219832146*c_100\ 1_8^10 + 86589149097829025584216541/28899847295421242637985752*c_10\ 01_8^9 + 77448300677662728364581103/14449923647710621318992876*c_10\ 01_8^8 - 80183955280627712675570653/28899847295421242637985752*c_10\ 01_8^7 - 66471009364226405600191663/14449923647710621318992876*c_10\ 01_8^6 + 186202410363111071997921023/57799694590842485275971504*c_1\ 001_8^5 - 34761248396251859274525827/28899847295421242637985752*c_1\ 001_8^4 - 220830889946981415897488353/57799694590842485275971504*c_\ 1001_8^3 - 3516184461101833868835800/3612480911927655329748219*c_10\ 01_8^2 + 6441779536078195919335283/2408320607951770219832146*c_1001\ _8 - 1756390497899961078701891/3612480911927655329748219, c_1001_6 - 111412365757126839623305/2408320607951770219832146*c_1001_8^\ 17 - 2530058900133458749646573/7224961823855310659496438*c_1001_8^1\ 6 - 3222616557269422845928729/3612480911927655329748219*c_1001_8^15 - 14143904603766849986635541/14449923647710621318992876*c_1001_8^14 - 103406126505174180370469819/57799694590842485275971504*c_1001_8^1\ 3 - 22426815726594396974290631/7224961823855310659496438*c_1001_8^1\ 2 - 58952467132312591156157967/19266564863614161758657168*c_1001_8^\ 11 - 9628025172021108873462163/14449923647710621318992876*c_1001_8^\ 10 - 59124075817356097776482185/28899847295421242637985752*c_1001_8\ ^9 - 23497965293626765416753859/7224961823855310659496438*c_1001_8^\ 8 + 70069197058670005421930201/28899847295421242637985752*c_1001_8^\ 7 + 37957995636039323995670257/14449923647710621318992876*c_1001_8^\ 6 - 35629303623122387376625249/19266564863614161758657168*c_1001_8^\ 5 + 20769742701697172892804707/7224961823855310659496438*c_1001_8^4 + 46700649586523026637086053/19266564863614161758657168*c_1001_8^3 + 1525958832364191202975519/14449923647710621318992876*c_1001_8^2 - 21025392459336033144159557/14449923647710621318992876*c_1001_8 + 1647472931155121562703886/3612480911927655329748219, c_1001_8^18 + 7*c_1001_8^17 + 15*c_1001_8^16 + 21/2*c_1001_8^15 + 225/8*c_1001_8^14 + 97/2*c_1001_8^13 + 32*c_1001_8^12 - 19*c_1001_8^11 + 363/8*c_1001_8^10 + 55*c_1001_8^9 - 89*c_1001_8^8 - 47/2*c_1001_8^7 + 755/8*c_1001_8^6 - 147/2*c_1001_8^5 - 32*c_1001_8^4 + 38*c_1001_8^3 + 225/8*c_1001_8^2 - 31*c_1001_8 + 10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.380 seconds, Total memory usage: 32.09MB