Magma V2.19-8 Tue Aug 20 2013 17:56:03 on localhost [Seed = 812746737] Type ? for help. Type -D to quit. Loading file "10_7__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_7 geometric_solution 9.11590640 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 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 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 0 0 -1 4 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.679304357513 0.630076575111 0 5 4 5 0132 0132 1230 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 -1 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 0 0 0 0.641593790436 1.260551016392 3 0 5 6 0321 0132 2031 0132 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 -1 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724184072992 0.730329886816 2 6 7 0 0321 0132 0132 0132 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 1 -1 0 0 0 0 -4 1 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.394751937171 1.426592488975 4 4 0 1 1302 2031 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -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.917951625743 0.849392094503 1 1 8 2 3012 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.208685835140 0.733969263288 9 3 2 7 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 0 0 0 0 0 0 0 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.352473285126 0.322331119886 8 9 6 3 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 1 0 -1 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.583181735460 0.843784495795 9 9 7 5 2103 1302 2103 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 1.057485283200 1.267206400429 6 7 8 8 0132 0132 2103 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 -1 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 0 0 0 1.057485283200 1.267206400429 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : negation(d['c_0110_4']), 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : negation(d['c_0011_3']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(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_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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_5']), 'c_1100_8' : d['c_0101_2'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_1001_1']), 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0110_4']), 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_0101_5'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], '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_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), '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_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_7'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_8, c_0101_2, c_0101_5, c_0101_7, c_0110_4, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 15798786376570134269677207508683862029/5737377609653190047112567647\ 3080999375*c_1001_1^20 + 15069192761026816874024130177639809236/573\ 73776096531900471125676473080999375*c_1001_1^19 - 3095991410801092649231596051513770669/16392507456151971563178764706\ 59457125*c_1001_1^18 + 71453758724497570751279390702953457921/57373\ 776096531900471125676473080999375*c_1001_1^17 + 68075967918589145499085679928233127312/1147475521930638009422513529\ 4616199875*c_1001_1^16 - 8692502905229630382117312131629590844/7451\ 13975279635071053580213936116875*c_1001_1^15 - 188720841259648968726234012017888159126/573737760965319004711256764\ 73080999375*c_1001_1^14 + 462193748343535990398657074666195300886/5\ 7373776096531900471125676473080999375*c_1001_1^13 + 118284517698548058875110823699630581751/521579782695744549737506149\ 7552818125*c_1001_1^12 - 4447998258164977416602758854213467986969/5\ 7373776096531900471125676473080999375*c_1001_1^11 - 343495294010266827148777903230286931052/573737760965319004711256764\ 73080999375*c_1001_1^10 - 440013059092218121195460915264069254997/8\ 196253728075985781589382353297285625*c_1001_1^9 + 120542312763888620990521844985578999954/573737760965319004711256764\ 73080999375*c_1001_1^8 - 155579029298465208698081479040024960176/74\ 5113975279635071053580213936116875*c_1001_1^7 - 655683054974648128907399408119233999987/114747552193063800942251352\ 94616199875*c_1001_1^6 - 6172350193367445992278962998544142154752/5\ 7373776096531900471125676473080999375*c_1001_1^5 + 72456776258830150035604213797500324323/8196253728075985781589382353\ 297285625*c_1001_1^4 - 1864123566827444007899326994202868868559/114\ 74755219306380094225135294616199875*c_1001_1^3 - 1971094561144051816428918581750477620616/57373776096531900471125676\ 473080999375*c_1001_1^2 - 1413718906947046405736516000515226730513/\ 57373776096531900471125676473080999375*c_1001_1 - 455747704886017321964816239581716811134/573737760965319004711256764\ 73080999375, c_0011_0 - 1, c_0011_3 - 322537619720516482102533075456/70128374143965653746219314252\ 811*c_1001_1^20 - 40864029210125825272612488812/7012837414396565374\ 6219314252811*c_1001_1^19 + 2469261164545590572696482648412/7012837\ 4143965653746219314252811*c_1001_1^18 - 3171886397578384064714078972722/70128374143965653746219314252811*c_\ 1001_1^17 - 5650409703186839907873078129871/70128374143965653746219\ 314252811*c_1001_1^16 + 18679105961608748024379184839559/7012837414\ 3965653746219314252811*c_1001_1^15 - 6972524142099499417611164607923/70128374143965653746219314252811*c_\ 1001_1^14 - 10769842785952329920643472586887/7012837414396565374621\ 9314252811*c_1001_1^13 - 22620975104390644805181263533306/701283741\ 43965653746219314252811*c_1001_1^12 + 112674345706814280130781826852194/70128374143965653746219314252811*\ c_1001_1^11 - 69623709176739194917324025459732/70128374143965653746\ 219314252811*c_1001_1^10 + 68445096372635873913574134080117/7012837\ 4143965653746219314252811*c_1001_1^9 - 79023029536963029382702914610151/70128374143965653746219314252811*c\ _1001_1^8 + 241120754383626814071220233572355/701283741439656537462\ 19314252811*c_1001_1^7 - 174692874343684806232481648219288/70128374\ 143965653746219314252811*c_1001_1^6 + 84179720297642108739916653529035/70128374143965653746219314252811*c\ _1001_1^5 - 184434420352816514336144322712588/701283741439656537462\ 19314252811*c_1001_1^4 + 200646134809366108975372696213459/70128374\ 143965653746219314252811*c_1001_1^3 - 119230357880019608457692187126455/70128374143965653746219314252811*\ c_1001_1^2 + 8188064620508181301900533095122/7012837414396565374621\ 9314252811*c_1001_1 - 42696339585239956643542703543175/701283741439\ 65653746219314252811, c_0011_4 - 1796784408205444420994092164061/7012837414396565374621931425\ 2811*c_1001_1^20 - 7434978111079423584989033687/7012837414396565374\ 6219314252811*c_1001_1^19 + 13928757497897394206442994215768/701283\ 74143965653746219314252811*c_1001_1^18 - 20051173745264797308947128889124/70128374143965653746219314252811*c\ _1001_1^17 - 30982241344652343193668365917240/701283741439656537462\ 19314252811*c_1001_1^16 + 114244148851773320666405625597307/7012837\ 4143965653746219314252811*c_1001_1^15 - 52309866460022421689890551117001/70128374143965653746219314252811*c\ _1001_1^14 - 76377960991338110499557314704048/701283741439656537462\ 19314252811*c_1001_1^13 - 89417191949961329714449621225522/70128374\ 143965653746219314252811*c_1001_1^12 + 648966937841868730430545871940857/70128374143965653746219314252811*\ c_1001_1^11 - 449682341856688931716756746329089/7012837414396565374\ 6219314252811*c_1001_1^10 + 294832639603933516483720139048949/70128\ 374143965653746219314252811*c_1001_1^9 - 275902918189262893670676996843172/70128374143965653746219314252811*\ c_1001_1^8 + 1365764894448402016642404692737290/7012837414396565374\ 6219314252811*c_1001_1^7 - 873455979575290055562227875382579/701283\ 74143965653746219314252811*c_1001_1^6 + 307438680552279237849721134573796/70128374143965653746219314252811*\ c_1001_1^5 - 566033457357242919521031324830425/70128374143965653746\ 219314252811*c_1001_1^4 + 1085595339380231965978837565602586/701283\ 74143965653746219314252811*c_1001_1^3 - 681132482347323620582852328828355/70128374143965653746219314252811*\ c_1001_1^2 - 172382405413210204155845704215896/70128374143965653746\ 219314252811*c_1001_1 + 23168557859598110329113614269563/7012837414\ 3965653746219314252811, c_0011_8 + 3474414648301241659455573992302/7012837414396565374621931425\ 2811*c_1001_1^20 + 3033572035490774336792075521687/7012837414396565\ 3746219314252811*c_1001_1^19 - 24630699100860633041861562836773/701\ 28374143965653746219314252811*c_1001_1^18 + 17016284329624325376042709468388/70128374143965653746219314252811*c\ _1001_1^17 + 77023226644034343420752460245824/701283741439656537462\ 19314252811*c_1001_1^16 - 154805910389950859162482404063147/7012837\ 4143965653746219314252811*c_1001_1^15 - 40505337787864124318512348627308/70128374143965653746219314252811*c\ _1001_1^14 + 123736976779852305473500452514281/70128374143965653746\ 219314252811*c_1001_1^13 + 286533879788601304357496968157157/701283\ 74143965653746219314252811*c_1001_1^12 - 1007650583393370641876128021007112/70128374143965653746219314252811\ *c_1001_1^11 - 46711465145115330829398768783444/7012837414396565374\ 6219314252811*c_1001_1^10 - 536137747208108214081942968159466/70128\ 374143965653746219314252811*c_1001_1^9 + 111245404002612668219249340303467/70128374143965653746219314252811*\ c_1001_1^8 - 2491604660955821133061451924912634/7012837414396565374\ 6219314252811*c_1001_1^7 - 506868989795800734961460446402632/701283\ 74143965653746219314252811*c_1001_1^6 - 898160490364272892169388825175163/70128374143965653746219314252811*\ c_1001_1^5 + 334633790635402387796606010376794/70128374143965653746\ 219314252811*c_1001_1^4 - 1828287396184577424034527306734487/701283\ 74143965653746219314252811*c_1001_1^3 - 313681836549083622944615736491517/70128374143965653746219314252811*\ c_1001_1^2 - 11588002397834511560876882587121/701283741439656537462\ 19314252811*c_1001_1 - 58244637093946222270182317025656/70128374143\ 965653746219314252811, c_0101_2 + 1992949537944832078962951049468/7012837414396565374621931425\ 2811*c_1001_1^20 + 633428977574956972902842692040/70128374143965653\ 746219314252811*c_1001_1^19 - 15206694673181757252383379473417/7012\ 8374143965653746219314252811*c_1001_1^18 + 17633730266961065893442131368526/70128374143965653746219314252811*c\ _1001_1^17 + 39543989931065842839119978306438/701283741439656537462\ 19314252811*c_1001_1^16 - 114897341607044141347606030633039/7012837\ 4143965653746219314252811*c_1001_1^15 + 25124320290934217009792303059358/70128374143965653746219314252811*c\ _1001_1^14 + 91238040850385670190032254515644/701283741439656537462\ 19314252811*c_1001_1^13 + 117697365498324722150320652943294/7012837\ 4143965653746219314252811*c_1001_1^12 - 668817956535991350924355662021877/70128374143965653746219314252811*\ c_1001_1^11 + 290364132833913870402328702777870/7012837414396565374\ 6219314252811*c_1001_1^10 - 255979139232946810957424891976078/70128\ 374143965653746219314252811*c_1001_1^9 + 196722746243122145435607254023177/70128374143965653746219314252811*\ c_1001_1^8 - 1429380515611378782840686267878096/7012837414396565374\ 6219314252811*c_1001_1^7 + 494384208270211291055176407165403/701283\ 74143965653746219314252811*c_1001_1^6 - 277871174812333418319290940509633/70128374143965653746219314252811*\ c_1001_1^5 + 437842897787857016306408522334430/70128374143965653746\ 219314252811*c_1001_1^4 - 1138209719511892843643620613487659/701283\ 74143965653746219314252811*c_1001_1^3 + 388631107204970438310821622682374/70128374143965653746219314252811*\ c_1001_1^2 + 67741613051930616184190154885839/701283741439656537462\ 19314252811*c_1001_1 - 54319134422465044667212609737046/70128374143\ 965653746219314252811, c_0101_5 - 1599445335198411299811079447581/7012837414396565374621931425\ 2811*c_1001_1^20 - 1722463245590039135605360989565/7012837414396565\ 3746219314252811*c_1001_1^19 + 11343764472467576490786680778793/701\ 28374143965653746219314252811*c_1001_1^18 - 5410588542700036132145594693427/70128374143965653746219314252811*c_\ 1001_1^17 - 39173033426315945018414056195400/7012837414396565374621\ 9314252811*c_1001_1^16 + 66565479993483517132589765963765/701283741\ 43965653746219314252811*c_1001_1^15 + 38531694795509612495529702961884/70128374143965653746219314252811*c\ _1001_1^14 - 69241009420492940819616093484983/701283741439656537462\ 19314252811*c_1001_1^13 - 138978052730602077954210164852087/7012837\ 4143965653746219314252811*c_1001_1^12 + 446942650141465562033410987381758/70128374143965653746219314252811*\ c_1001_1^11 + 132801231142221100142865646785126/7012837414396565374\ 6219314252811*c_1001_1^10 + 157724188646257288071721652879475/70128\ 374143965653746219314252811*c_1001_1^9 + 35955989398542165861007494661113/70128374143965653746219314252811*c\ _1001_1^8 + 1091316563960060067839527034575561/70128374143965653746\ 219314252811*c_1001_1^7 + 473334825533773878848568932598239/7012837\ 4143965653746219314252811*c_1001_1^6 + 248630169235782984222846003886577/70128374143965653746219314252811*\ c_1001_1^5 - 46678287467759965584148158052094/701283741439656537462\ 19314252811*c_1001_1^4 + 746802534189427550741805363709260/70128374\ 143965653746219314252811*c_1001_1^3 + 310819700900030574277605693228144/70128374143965653746219314252811*\ c_1001_1^2 - 119371173586376276135336104355253/70128374143965653746\ 219314252811*c_1001_1 + 18688714807291702285725054464580/7012837414\ 3965653746219314252811, c_0101_7 - 1557359790638361185951816732259/7012837414396565374621931425\ 2811*c_1001_1^20 - 624455515603905727658034565574/70128374143965653\ 746219314252811*c_1001_1^19 + 11655759801072574640923304866584/7012\ 8374143965653746219314252811*c_1001_1^18 - 12904745754778360795850861172312/70128374143965653746219314252811*c\ _1001_1^17 - 30759266426310569750461481298166/701283741439656537462\ 19314252811*c_1001_1^16 + 85766722254273283295948187819756/70128374\ 143965653746219314252811*c_1001_1^15 - 15368714901181005884051726968172/70128374143965653746219314252811*c\ _1001_1^14 - 62873841834525883993441971008821/701283741439656537462\ 19314252811*c_1001_1^13 - 101934426667515076807733715482377/7012837\ 4143965653746219314252811*c_1001_1^12 + 510227045936203108316153988903149/70128374143965653746219314252811*\ c_1001_1^11 - 186389853140930779372527390592517/7012837414396565374\ 6219314252811*c_1001_1^10 + 225081968862103818564753806306574/70128\ 374143965653746219314252811*c_1001_1^9 - 156259405085284463651491858125453/70128374143965653746219314252811*\ c_1001_1^8 + 1148838423644618183868615698993075/7012837414396565374\ 6219314252811*c_1001_1^7 - 258692902858407047234296008697877/701283\ 74143965653746219314252811*c_1001_1^6 + 269983859761109468386678878093275/70128374143965653746219314252811*\ c_1001_1^5 - 294923186619044212489317663889579/70128374143965653746\ 219314252811*c_1001_1^4 + 896566396099054554004615027358809/7012837\ 4143965653746219314252811*c_1001_1^3 - 203259019198657241974440942820326/70128374143965653746219314252811*\ c_1001_1^2 - 52639795051824957356395618168326/701283741439656537462\ 19314252811*c_1001_1 + 45453890104623705239303506199542/70128374143\ 965653746219314252811, c_0110_4 + 3918862079817956728953801529948/7012837414396565374621931425\ 2811*c_1001_1^20 + 3596324460097440246851268454492/7012837414396565\ 3746219314252811*c_1001_1^19 - 27472898587935822927949223198448/701\ 28374143965653746219314252811*c_1001_1^18 + 18144709483817417488511688768204/70128374143965653746219314252811*c\ _1001_1^17 + 86961941438234620701223356216082/701283741439656537462\ 19314252811*c_1001_1^16 - 170242617055541022523932742387687/7012837\ 4143965653746219314252811*c_1001_1^15 - 51860411475114473096789242699505/70128374143965653746219314252811*c\ _1001_1^14 + 134106510731346942824725690470205/70128374143965653746\ 219314252811*c_1001_1^13 + 330171158158209905498337260518589/701283\ 74143965653746219314252811*c_1001_1^12 - 1131658943692872399099107096508590/70128374143965653746219314252811\ *c_1001_1^11 - 83268758284083556316908249645206/7012837414396565374\ 6219314252811*c_1001_1^10 - 645696434909978834073532850362088/70128\ 374143965653746219314252811*c_1001_1^9 + 103714855090997484474158347849649/70128374143965653746219314252811*\ c_1001_1^8 - 2904522589085709830958393817702659/7012837414396565374\ 6219314252811*c_1001_1^7 - 683730696453410973961876927495373/701283\ 74143965653746219314252811*c_1001_1^6 - 1224947911734897209592100458245352/70128374143965653746219314252811\ *c_1001_1^5 + 331068031326173382664006149915759/7012837414396565374\ 6219314252811*c_1001_1^4 - 2249674736416879710494797728995184/70128\ 374143965653746219314252811*c_1001_1^3 - 442047246280778794573050754698013/70128374143965653746219314252811*\ c_1001_1^2 - 248141663221254613138218524328486/70128374143965653746\ 219314252811*c_1001_1 - 70189176975850953277175497503838/7012837414\ 3965653746219314252811, c_1001_0 + 1599445335198411299811079447581/7012837414396565374621931425\ 2811*c_1001_1^20 + 1722463245590039135605360989565/7012837414396565\ 3746219314252811*c_1001_1^19 - 11343764472467576490786680778793/701\ 28374143965653746219314252811*c_1001_1^18 + 5410588542700036132145594693427/70128374143965653746219314252811*c_\ 1001_1^17 + 39173033426315945018414056195400/7012837414396565374621\ 9314252811*c_1001_1^16 - 66565479993483517132589765963765/701283741\ 43965653746219314252811*c_1001_1^15 - 38531694795509612495529702961884/70128374143965653746219314252811*c\ _1001_1^14 + 69241009420492940819616093484983/701283741439656537462\ 19314252811*c_1001_1^13 + 138978052730602077954210164852087/7012837\ 4143965653746219314252811*c_1001_1^12 - 446942650141465562033410987381758/70128374143965653746219314252811*\ c_1001_1^11 - 132801231142221100142865646785126/7012837414396565374\ 6219314252811*c_1001_1^10 - 157724188646257288071721652879475/70128\ 374143965653746219314252811*c_1001_1^9 - 35955989398542165861007494661113/70128374143965653746219314252811*c\ _1001_1^8 - 1091316563960060067839527034575561/70128374143965653746\ 219314252811*c_1001_1^7 - 473334825533773878848568932598239/7012837\ 4143965653746219314252811*c_1001_1^6 - 248630169235782984222846003886577/70128374143965653746219314252811*\ c_1001_1^5 + 46678287467759965584148158052094/701283741439656537462\ 19314252811*c_1001_1^4 - 746802534189427550741805363709260/70128374\ 143965653746219314252811*c_1001_1^3 - 310819700900030574277605693228144/70128374143965653746219314252811*\ c_1001_1^2 + 119371173586376276135336104355253/70128374143965653746\ 219314252811*c_1001_1 - 18688714807291702285725054464580/7012837414\ 3965653746219314252811, c_1001_1^21 + c_1001_1^20 - 7*c_1001_1^19 + 4*c_1001_1^18 + 23*c_1001_1^17 - 42*c_1001_1^16 - 18*c_1001_1^15 + 36*c_1001_1^14 + 87*c_1001_1^13 - 283*c_1001_1^12 - 50*c_1001_1^11 - 147*c_1001_1^10 + 9*c_1001_1^9 - 721*c_1001_1^8 - 236*c_1001_1^7 - 268*c_1001_1^6 + 63*c_1001_1^5 - 527*c_1001_1^4 - 164*c_1001_1^3 - 15*c_1001_1^2 - 20*c_1001_1 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.280 seconds, Total memory usage: 32.09MB