Magma V2.19-8 Wed Aug 21 2013 00:52:46 on localhost [Seed = 3634285934] Type ? for help. Type -D to quit. Loading file "L12n1071__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1071 geometric_solution 11.82714430 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 7 1 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.407517629140 1.636358582727 0 3 6 5 0132 3120 0132 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 -7 8 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338520151689 0.339155844446 7 0 8 7 0132 0132 0132 2031 0 0 1 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 1 -1 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.908698605436 1.649143420090 5 1 9 0 0132 3120 0132 0132 0 0 1 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 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582972352691 0.692152341280 10 11 0 9 0132 0132 0132 2310 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410117962544 0.761170618444 3 10 1 8 0132 1230 0132 0132 0 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 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.815763677258 0.800510426312 12 11 7 1 0132 1023 2031 0132 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 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.138866744198 0.715396197899 2 2 12 6 0132 1302 3120 1302 0 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 0 1 -1 0 -1 0 0 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.743696968940 0.465149230662 11 9 5 2 2310 3201 0132 0132 0 0 0 0 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 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.480042106200 0.518623655257 4 11 8 3 3201 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609437028408 0.831859816918 4 12 5 12 0132 0132 3012 0213 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 0 0 0 0 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 0 0 0 0 0 0.331722099360 1.379923802450 6 4 8 9 1023 0132 3201 3201 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563292533209 0.550932912584 6 10 7 10 0132 0132 3120 0213 1 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 -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.331722099360 1.379923802450 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_3']), 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0110_11'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0110_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_2']), 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_0011_3'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1010_7']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : negation(d['c_1010_7']), 'c_1100_1' : negation(d['c_1010_7']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : negation(d['c_1010_7']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : d['c_0011_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_0110_11'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_11']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_1010_7']), '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_7']), '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_8'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], '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' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0101_1']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_3'], '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_11']), '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_7'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_11']), 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['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_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_7, c_0110_11, c_1001_2, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 103052613353036529394703606098437562089/362493364529377067533031468\ 200849956400*c_1010_7^15 + 1144458209612486895363632200997562262677\ /362493364529377067533031468200849956400*c_1010_7^14 - 3544840315081743365093545459954448456487/18124668226468853376651573\ 4100424978200*c_1010_7^13 - 472859224888028187752176829088972127252\ /22655835283086066720814466762553122275*c_1010_7^12 + 21740741922489697907947554070370239542151/1812466822646885337665157\ 34100424978200*c_1010_7^11 + 15552322623970982822873599335299884545\ 58/4531167056617213344162893352510624455*c_1010_7^10 - 461366350812682967031454342592522145358/453116705661721334416289335\ 2510624455*c_1010_7^9 - 196254976148447251208828898351846487378439/\ 181246682264688533766515734100424978200*c_1010_7^8 - 138812825944764746513671283938553770146317/362493364529377067533031\ 468200849956400*c_1010_7^7 + 70899032243502718801858909559161244927\ 3493/362493364529377067533031468200849956400*c_1010_7^6 + 1202826558303701305637140351984849306252373/36249336452937706753303\ 1468200849956400*c_1010_7^5 + 9147275967525772447202129479461983397\ 25067/362493364529377067533031468200849956400*c_1010_7^4 + 186211914134799807717618626823883228061221/181246682264688533766515\ 734100424978200*c_1010_7^3 + 12812684074989675133982057061093984653\ 27/5330784772490839228426933355894852300*c_1010_7^2 + 11476134412352897734304111591079679219109/3624933645293770675330314\ 68200849956400*c_1010_7 + 517924428506006931248892281407108818729/3\ 62493364529377067533031468200849956400, c_0011_0 - 1, c_0011_10 + 30407860346279312948207920831/97017025027632846046399948967\ *c_1010_7^15 - 335854078621910725353319506781/970170250276328460463\ 99948967*c_1010_7^14 + 2079875666380456633919045875327/970170250276\ 32846046399948967*c_1010_7^13 + 2251621238734511965377679390659/970\ 17025027632846046399948967*c_1010_7^12 - 11936134980960474117653635014740/97017025027632846046399948967*c_10\ 10_7^11 - 38136007108319933356030593363161/970170250276328460463999\ 48967*c_1010_7^10 + 5865555565082878513708631462104/970170250276328\ 46046399948967*c_1010_7^9 + 111539865120137044572779630544477/97017\ 025027632846046399948967*c_1010_7^8 + 60984239525182076403922088866139/97017025027632846046399948967*c_10\ 10_7^7 - 194777825905155206178933165091668/970170250276328460463999\ 48967*c_1010_7^6 - 383589906426265372288826686393473/97017025027632\ 846046399948967*c_1010_7^5 - 327629208320078216908344697140999/9701\ 7025027632846046399948967*c_1010_7^4 - 153396308549886688578517203580594/97017025027632846046399948967*c_1\ 010_7^3 - 40713963959368220255673390791873/970170250276328460463999\ 48967*c_1010_7^2 - 6056497119660879426754082458940/9701702502763284\ 6046399948967*c_1010_7 - 556230631510179859170704525056/97017025027\ 632846046399948967, c_0011_3 + 21403872330899309437202643785/194034050055265692092799897934\ *c_1010_7^15 - 112589845942000560195084614972/970170250276328460463\ 99948967*c_1010_7^14 + 668408920619166896419771116534/9701702502763\ 2846046399948967*c_1010_7^13 + 1195125664808641624962141455383/9701\ 7025027632846046399948967*c_1010_7^12 - 3907424153890899704947838616156/97017025027632846046399948967*c_101\ 0_7^11 - 15661927206365570892224310606729/9701702502763284604639994\ 8967*c_1010_7^10 - 4325224673060170500122663346120/9701702502763284\ 6046399948967*c_1010_7^9 + 41901261798740118041474548822298/9701702\ 5027632846046399948967*c_1010_7^8 + 81488943772308149807691090943855/194034050055265692092799897934*c_1\ 010_7^7 - 62154904654291242048397056649483/970170250276328460463999\ 48967*c_1010_7^6 - 341811533768815241435959278440101/19403405005526\ 5692092799897934*c_1010_7^5 - 176380294307235959552837894515435/970\ 17025027632846046399948967*c_1010_7^4 - 101055831242887064594778173046475/97017025027632846046399948967*c_1\ 010_7^3 - 33340724625167879871338582769617/970170250276328460463999\ 48967*c_1010_7^2 - 12435341388685571310612895226655/194034050055265\ 692092799897934*c_1010_7 - 458047111743906383052533522734/970170250\ 27632846046399948967, c_0011_8 - 26227371782978775429021701721/97017025027632846046399948967*\ c_1010_7^15 + 290063425774813428464654127461/9701702502763284604639\ 9948967*c_1010_7^14 - 1798651973017382578351648698859/9701702502763\ 2846046399948967*c_1010_7^13 - 1910105427094645338338440707133/9701\ 7025027632846046399948967*c_1010_7^12 + 10285872524471839744905973006090/97017025027632846046399948967*c_10\ 10_7^11 + 32731555795877510435376676391363/970170250276328460463999\ 48967*c_1010_7^10 - 5324217461090268123151497416693/970170250276328\ 46046399948967*c_1010_7^9 - 95669950799454038093844299719787/970170\ 25027632846046399948967*c_1010_7^8 - 51700992200799516186534484265551/97017025027632846046399948967*c_10\ 10_7^7 + 167176890574464862748735370839260/970170250276328460463999\ 48967*c_1010_7^6 + 328781236094818816915743059838594/97017025027632\ 846046399948967*c_1010_7^5 + 281152771552915961343391817768895/9701\ 7025027632846046399948967*c_1010_7^4 + 131721209787942651779229133371348/97017025027632846046399948967*c_1\ 010_7^3 + 34789338799784991097482488445459/970170250276328460463999\ 48967*c_1010_7^2 + 4985912603799837346696083385621/9701702502763284\ 6046399948967*c_1010_7 + 298346768004752671041827959148/97017025027\ 632846046399948967, c_0101_0 - 3845293940415412556985643409/194034050055265692092799897934*\ c_1010_7^15 + 22567670247415247626294317754/97017025027632846046399\ 948967*c_1010_7^14 - 146653865373424661928914762665/970170250276328\ 46046399948967*c_1010_7^13 - 46147930381606036771413148802/97017025\ 027632846046399948967*c_1010_7^12 + 819792904440285041380385876323/97017025027632846046399948967*c_1010\ _7^11 + 1882662400258420263861249201556/970170250276328460463999489\ 67*c_1010_7^10 - 1877607844875663513632847859694/970170250276328460\ 46399948967*c_1010_7^9 - 6383319962884142889200347203497/9701702502\ 7632846046399948967*c_1010_7^8 + 1419356872174049452780821693151/19\ 4034050055265692092799897934*c_1010_7^7 + 13812106499866720479310879279747/97017025027632846046399948967*c_10\ 10_7^6 + 31283399640471684569613686598477/1940340500552656920927998\ 97934*c_1010_7^5 + 6154926699895299474035196634533/9701702502763284\ 6046399948967*c_1010_7^4 - 982068264798301248060862474515/970170250\ 27632846046399948967*c_1010_7^3 - 1034229115360885745189813761515/9\ 7017025027632846046399948967*c_1010_7^2 + 326182231518789089701925570401/194034050055265692092799897934*c_101\ 0_7 + 140759185526342188454142066386/97017025027632846046399948967, c_0101_1 - 1, c_0101_10 - 71880905441798404628021121584/97017025027632846046399948967\ *c_1010_7^15 + 807850672792022663387159893754/970170250276328460463\ 99948967*c_1010_7^14 - 5080565474177868706335087579784/970170250276\ 32846046399948967*c_1010_7^13 - 4252489442191931710339318269905/970\ 17025027632846046399948967*c_1010_7^12 + 28490460744404412740963866295548/97017025027632846046399948967*c_10\ 10_7^11 + 84338087591853594930965368138617/970170250276328460463999\ 48967*c_1010_7^10 - 27111507971815404999054970274940/97017025027632\ 846046399948967*c_1010_7^9 - 250586840338033663251895309573678/9701\ 7025027632846046399948967*c_1010_7^8 - 101018236947081520974769751771890/97017025027632846046399948967*c_1\ 010_7^7 + 454947478866209865350210640133917/97017025027632846046399\ 948967*c_1010_7^6 + 816369329431774688092410538147396/9701702502763\ 2846046399948967*c_1010_7^5 + 666361807075632689229769373794773/970\ 17025027632846046399948967*c_1010_7^4 + 302551556960997487281287537505504/97017025027632846046399948967*c_1\ 010_7^3 + 81335788231460773764518023396416/970170250276328460463999\ 48967*c_1010_7^2 + 12139948369357488649395021597548/970170250276328\ 46046399948967*c_1010_7 + 918838018271435741068527154439/9701702502\ 7632846046399948967, c_0101_11 + 19896954513872340383197130780/97017025027632846046399948967\ *c_1010_7^15 - 224602475672622491639524507756/970170250276328460463\ 99948967*c_1010_7^14 + 1415522933114155467950608823657/970170250276\ 32846046399948967*c_1010_7^13 + 1129578707923824164074577545180/970\ 17025027632846046399948967*c_1010_7^12 - 8089257947471265279810429546685/97017025027632846046399948967*c_101\ 0_7^11 - 22990036775702243860649613831324/9701702502763284604639994\ 8967*c_1010_7^10 + 9447815860981177688202014644121/9701702502763284\ 6046399948967*c_1010_7^9 + 70765078336374005150634046689091/9701702\ 5027632846046399948967*c_1010_7^8 + 22740068127735773016931119379455/97017025027632846046399948967*c_10\ 10_7^7 - 133118097801766691054640428611239/970170250276328460463999\ 48967*c_1010_7^6 - 218893358898382568715877422842886/97017025027632\ 846046399948967*c_1010_7^5 - 161116451583917231104540054469026/9701\ 7025027632846046399948967*c_1010_7^4 - 60199024988350336284508980928307/97017025027632846046399948967*c_10\ 10_7^3 - 10367237187965609150878311437206/9701702502763284604639994\ 8967*c_1010_7^2 - 195717020782001439827319146213/970170250276328460\ 46399948967*c_1010_7 + 128947726365724910656130097657/9701702502763\ 2846046399948967, c_0101_3 - 12027952211208407634841203207/97017025027632846046399948967*\ c_1010_7^15 + 130751986866566274078083385211/9701702502763284604639\ 9948967*c_1010_7^14 - 801161377038432694164663266779/97017025027632\ 846046399948967*c_1010_7^13 - 1015490509819238629728938661364/97017\ 025027632846046399948967*c_1010_7^12 + 4447572233149447090119452719875/97017025027632846046399948967*c_101\ 0_7^11 + 15840482495211510253475331655542/9701702502763284604639994\ 8967*c_1010_7^10 + 978573502931002957816417609571/97017025027632846\ 046399948967*c_1010_7^9 - 42793200195071977875277824935036/97017025\ 027632846046399948967*c_1010_7^8 - 32933733522487176812557456260722/97017025027632846046399948967*c_10\ 10_7^7 + 67299566085674307546742681569518/9701702502763284604639994\ 8967*c_1010_7^6 + 164411180229441395594096179651383/970170250276328\ 46046399948967*c_1010_7^5 + 167077984065429947494782211818134/97017\ 025027632846046399948967*c_1010_7^4 + 98920937554007425386705010575869/97017025027632846046399948967*c_10\ 10_7^3 + 36404664068663477800507806421676/9701702502763284604639994\ 8967*c_1010_7^2 + 7636808008439790593771730561758/97017025027632846\ 046399948967*c_1010_7 + 686533453483800979518086057675/970170250276\ 32846046399948967, c_0101_7 - 14159639111947296417550504383/194034050055265692092799897934\ *c_1010_7^15 + 84058893042889758148595565344/9701702502763284604639\ 9948967*c_1010_7^14 - 550366185218932596813916453110/97017025027632\ 846046399948967*c_1010_7^13 - 108146363044464989511684138320/970170\ 25027632846046399948967*c_1010_7^12 + 3119536390414367014270784663616/97017025027632846046399948967*c_101\ 0_7^11 + 6478773392684401636027421291951/97017025027632846046399948\ 967*c_1010_7^10 - 8153711742006919654198444990682/97017025027632846\ 046399948967*c_1010_7^9 - 23171759689785409538469233809213/97017025\ 027632846046399948967*c_1010_7^8 + 13681437220408005495343015523115/194034050055265692092799897934*c_1\ 010_7^7 + 51905148543273636197645356169218/970170250276328460463999\ 48967*c_1010_7^6 + 99382237500909633057574050687401/194034050055265\ 692092799897934*c_1010_7^5 + 11838136170056296343944905241874/97017\ 025027632846046399948967*c_1010_7^4 - 11110728865515976353416007912941/97017025027632846046399948967*c_10\ 10_7^3 - 8048136181259965970452164276468/97017025027632846046399948\ 967*c_1010_7^2 - 3864543047232414138286510953627/194034050055265692\ 092799897934*c_1010_7 - 178513177533873064639147135980/970170250276\ 32846046399948967, c_0110_11 + 18529339701034057460164753140/97017025027632846046399948967\ *c_1010_7^15 - 212461312839159138198617248937/970170250276328460463\ 99948967*c_1010_7^14 + 1356146785531439649264486231160/970170250276\ 32846046399948967*c_1010_7^13 + 809246379242047592636368287882/9701\ 7025027632846046399948967*c_1010_7^12 - 7668098136709029817513379296138/97017025027632846046399948967*c_101\ 0_7^11 - 20043635803862179389968942768996/9701702502763284604639994\ 8967*c_1010_7^10 + 12309988103515957784086536138604/970170250276328\ 46046399948967*c_1010_7^9 + 63605302825544141237622184972959/970170\ 25027632846046399948967*c_1010_7^8 + 10014102115754813458918776302984/97017025027632846046399948967*c_10\ 10_7^7 - 125328433711071026387082965988911/970170250276328460463999\ 48967*c_1010_7^6 - 181719466644147868184571693774378/97017025027632\ 846046399948967*c_1010_7^5 - 118686139503765144296598247897980/9701\ 7025027632846046399948967*c_1010_7^4 - 35718536365295709579224589458516/97017025027632846046399948967*c_10\ 10_7^3 - 3135499336302428819265532492999/97017025027632846046399948\ 967*c_1010_7^2 + 798853225368063661360580291112/9701702502763284604\ 6399948967*c_1010_7 + 189763447058283536552545939319/97017025027632\ 846046399948967, c_1001_2 + 9160344714811842392322856394/97017025027632846046399948967*c\ _1010_7^15 - 100042236742372940707906908088/97017025027632846046399\ 948967*c_1010_7^14 + 615236237027918140650595835642/970170250276328\ 46046399948967*c_1010_7^13 + 741436889154416043332222905263/9701702\ 5027632846046399948967*c_1010_7^12 - 3416091805575289752392078968118/97017025027632846046399948967*c_101\ 0_7^11 - 11935617785846045252970701516474/9701702502763284604639994\ 8967*c_1010_7^10 - 153712167682911905598794216966/97017025027632846\ 046399948967*c_1010_7^9 + 32811956823079496294337217779691/97017025\ 027632846046399948967*c_1010_7^8 + 23939737659224506983717242609742/97017025027632846046399948967*c_10\ 10_7^7 - 53032125495202314272557654996591/9701702502763284604639994\ 8967*c_1010_7^6 - 124183881188879761621740280783876/970170250276328\ 46046399948967*c_1010_7^5 - 120574045433578548188166227059056/97017\ 025027632846046399948967*c_1010_7^4 - 65773296729264291923778148494440/97017025027632846046399948967*c_10\ 10_7^3 - 20778449976052755781637459727616/9701702502763284604639994\ 8967*c_1010_7^2 - 3336638204316379630039132763328/97017025027632846\ 046399948967*c_1010_7 - 289476764074056779471379330359/970170250276\ 32846046399948967, c_1010_7^16 - 11*c_1010_7^15 + 68*c_1010_7^14 + 76*c_1010_7^13 - 382*c_1010_7^12 - 1268*c_1010_7^11 + 96*c_1010_7^10 + 3574*c_1010_7^9 + 2241*c_1010_7^8 - 5987*c_1010_7^7 - 12871*c_1010_7^6 - 11997*c_1010_7^5 - 6440*c_1010_7^4 - 2144*c_1010_7^3 - 437*c_1010_7^2 - 51*c_1010_7 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB