Magma V2.19-8 Wed Aug 21 2013 00:54:54 on localhost [Seed = 2017354299] Type ? for help. Type -D to quit. Loading file "L12n719__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n719 geometric_solution 11.86166401 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 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 -1 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.863005957930 1.078044895853 0 5 7 6 0132 0132 0132 0132 1 0 0 1 0 1 0 -1 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 9 -1 -8 -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.053189644236 0.956425977457 8 0 9 4 0132 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.185409371358 1.036856623525 10 5 8 0 0132 1230 0321 0132 1 0 0 1 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 -1 0 1 0 0 -1 1 -1 1 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656082045535 0.459035049110 11 7 0 2 0132 0132 0132 0213 1 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 0 0 0 1 -1 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.041004245545 0.623331413950 8 1 3 12 1023 0132 3012 0132 1 1 1 0 0 -1 1 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 -9 9 0 0 0 1 -1 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.007449596640 0.655301048069 10 7 1 9 2103 3201 0132 1302 1 0 1 0 0 -1 1 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 -8 8 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.581337548928 1.090361100233 12 4 6 1 0213 0132 2310 0132 1 0 1 1 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 -1 0 1 0 0 0 0 1 0 0 -1 1 -9 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286666714973 0.516097596621 2 5 3 11 0132 1023 0321 2031 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 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.664408501446 0.870618636648 10 12 6 2 1023 0132 2031 0132 1 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384077969898 0.261172819031 3 9 6 11 0132 1023 2103 0132 1 0 1 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 0 0 0 0 0 0 0 0 -9 0 0 9 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709286338715 0.737692626302 4 8 10 12 0132 1302 0132 0213 1 0 1 1 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 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664408501446 0.870618636648 7 9 5 11 0213 0132 0132 0213 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 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.982654177003 1.525818985887 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0110_6']), 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0110_6']), 'c_1010_11' : negation(d['c_1001_3']), 'c_1010_10' : d['c_0101_2'], 's_3_11' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : negation(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_0'], 's_2_0' : d['1'], 's_2_1' : 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' : negation(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' : 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_1100_9' : d['c_1001_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : d['c_0011_6'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_1001_7'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_7']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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_1001_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : 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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0101_1']), 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_1001_3']})} 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_6, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0110_6, c_1001_1, c_1001_3, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 16471737556112971666004591475911147876412098444178073085685511/5113\ 5514887232944419345862470629549132236541122501477288576*c_1001_7^13 + 759414354901252213618125587969099955364935590446546955630490607/5\ 1135514887232944419345862470629549132236541122501477288576*c_1001_7\ ^12 + 4428908420877353148262497824882393597390454834400996808112287\ 5229/51135514887232944419345862470629549132236541122501477288576*c_\ 1001_7^11 - 7212028001367448567667121202937743076285263482587087721\ 4580179271/51135514887232944419345862470629549132236541122501477288\ 576*c_1001_7^10 + 3394796610202915067155085838930758682516193234155\ 85996607642950883/3933501145171764955334297113125349933248964701730\ 882868352*c_1001_7^9 + 32545187385323037106266302924691003033915751\ 57841497207472682503941/2691342888801733916807676972138397322749291\ 638026393541504*c_1001_7^8 + 18661616715608706717494533006097203454\ 4271683089520006086605050867547/51135514887232944419345862470629549\ 132236541122501477288576*c_1001_7^7 + 2659249217038076832409486574069407154751943777316438562920500103504\ 11/51135514887232944419345862470629549132236541122501477288576*c_10\ 01_7^6 + 1174997344313385204129978417852171185718442352708835880415\ 6922926447/28408619381796080232969923594794193962353633956945265160\ 32*c_1001_7^5 + 159340090220110978081343027811922299662017904659241\ 34797647850442121/8522585814538824069890977078438258188706090187083\ 579548096*c_1001_7^4 + 54631522877202720263150631895492419989532612\ 92407133620333428797495/1278387872180823610483646561765738728305913\ 5280625369322144*c_1001_7^3 + 1267967276857160591778825929976635800\ 731652955954858363797682399/443884677840563753640155056168659280661\ 77553057726976813*c_1001_7^2 - 306904695574348493613989754724334441\ 5901588940329101084362587581/10653232268173530087363721348047822735\ 88261273385447443512*c_1001_7 - 20605061734650230900483993246908952\ 47580246473701219409492766945/6391939360904118052418232808828693641\ 529567640312684661072, c_0011_0 - 1, c_0011_10 - 12683339988833496438715053819086667926318207/26831003093022\ 21799765740518988942468177003392*c_1001_7^13 - 582145054572810023783188519804842101709313653/268310030930222179976\ 5740518988942468177003392*c_1001_7^12 - 33983050146152195832062172031430739598308199749/2683100309302221799\ 765740518988942468177003392*c_1001_7^11 + 62526569808564332518278744908547157019104426373/2683100309302221799\ 765740518988942468177003392*c_1001_7^10 - 3410852861558723705811872696008859467359807143143/26831003093022217\ 99765740518988942468177003392*c_1001_7^9 - 46912751555670655624610995137610036701289581325101/2683100309302221\ 799765740518988942468177003392*c_1001_7^8 - 134024330091942581536653060195714758650931629126891/268310030930222\ 1799765740518988942468177003392*c_1001_7^7 - 176876639947453660514522192919591232995346809050113/268310030930222\ 1799765740518988942468177003392*c_1001_7^6 - 62720656169086069945683957565499105265790907641875/1341550154651110\ 899882870259494471234088501696*c_1001_7^5 - 23132980275783886408188342495546099418420282965845/1341550154651110\ 899882870259494471234088501696*c_1001_7^4 - 1513527493892015363279076365560629323523716788801/67077507732555544\ 9941435129747235617044250848*c_1001_7^3 + 41724869498065779691581240334645486625368982563/1676937693313888624\ 85358782436808904261062712*c_1001_7^2 + 614725006723843258253456724817154232155191075/209617211664236078106\ 69847804601113032632839*c_1001_7 - 627701077930242573001017416097184369866829573/335387538662777724970\ 717564873617808522125424, c_0011_11 - 4875286231612496560476662235224051134564731/268310030930222\ 1799765740518988942468177003392*c_1001_7^13 - 223368112703852962474836753394948655323069433/268310030930222179976\ 5740518988942468177003392*c_1001_7^12 - 13044345485508221963862383330556512228611040269/2683100309302221799\ 765740518988942468177003392*c_1001_7^11 + 25100050581112066702981305767669285874336698909/2683100309302221799\ 765740518988942468177003392*c_1001_7^10 - 1313360365360207288503324001990962214752508604691/26831003093022217\ 99765740518988942468177003392*c_1001_7^9 - 17924269194671795224433916952496102545843488644977/2683100309302221\ 799765740518988942468177003392*c_1001_7^8 - 50070349878334508292298427730613899978549564992923/2683100309302221\ 799765740518988942468177003392*c_1001_7^7 - 64173711798519162038012751651613113903460601474561/2683100309302221\ 799765740518988942468177003392*c_1001_7^6 - 21796001044380772173475937913809479413066299586611/1341550154651110\ 899882870259494471234088501696*c_1001_7^5 - 7413345076973935206945751091893356233409809728461/13415501546511108\ 99882870259494471234088501696*c_1001_7^4 - 349315858463968826572832339422607608261898363465/670775077325555449\ 941435129747235617044250848*c_1001_7^3 + 20577052353011520675758710465760943551504394649/1676937693313888624\ 85358782436808904261062712*c_1001_7^2 + 102585132457247643982897672691001499353996602/209617211664236078106\ 69847804601113032632839*c_1001_7 - 336124979104567912186772601801844166815172397/335387538662777724970\ 717564873617808522125424, c_0011_6 - 5857582662510781133551192690492917360461233/2683100309302221\ 799765740518988942468177003392*c_1001_7^13 - 268711307271879021222635294326131178982502031/268310030930222179976\ 5740518988942468177003392*c_1001_7^12 - 15688059421569028417839463742901325227791683647/2683100309302221799\ 765740518988942468177003392*c_1001_7^11 + 29253497320630969881505514251663017011780323595/2683100309302221799\ 765740518988942468177003392*c_1001_7^10 - 1576228260453797509589569907509868225377254724281/26831003093022217\ 99765740518988942468177003392*c_1001_7^9 - 21626821114712114431389535310621363360703172540471/2683100309302221\ 799765740518988942468177003392*c_1001_7^8 - 61399496745465751662214143665620596262673163181929/2683100309302221\ 799765740518988942468177003392*c_1001_7^7 - 80555873111938082704909092275385954993213918541847/2683100309302221\ 799765740518988942468177003392*c_1001_7^6 - 28400785287510989345894592949686840077171754117113/1341550154651110\ 899882870259494471234088501696*c_1001_7^5 - 10433355677280808188484675500073359624827762559379/1341550154651110\ 899882870259494471234088501696*c_1001_7^4 - 697668259653187464582507882029017983424140444935/670775077325555449\ 941435129747235617044250848*c_1001_7^3 + 15094952564992969344238012086979139948560269709/1676937693313888624\ 85358782436808904261062712*c_1001_7^2 + 789994288614612269429041262162375914209691969/838468846656944312426\ 79391218404452130531356*c_1001_7 - 111609604774221718637274662785317787973248027/335387538662777724970\ 717564873617808522125424, c_0101_0 - 1, c_0101_1 - 3563238679661255036168170701687275310663827/1341550154651110\ 899882870259494471234088501696*c_1001_7^13 - 40821435595209337633968082293915165496863193/3353875386627777249707\ 17564873617808522125424*c_1001_7^12 - 9535193833951880448997100051548533068670989081/13415501546511108998\ 82870259494471234088501696*c_1001_7^11 + 4566097239660560984997836180950742721927042701/33538753866277772497\ 0717564873617808522125424*c_1001_7^10 - 959623666653252270677475890642966353678770152351/134155015465111089\ 9882870259494471234088501696*c_1001_7^9 - 1638642728306081490814827624264989750902412147213/16769376933138886\ 2485358782436808904261062712*c_1001_7^8 - 36696121204565950636237637658875473538792055648619/1341550154651110\ 899882870259494471234088501696*c_1001_7^7 - 11765327104296091551080568905423134055445676283327/3353875386627777\ 24970717564873617808522125424*c_1001_7^6 - 15968403007391816724890565308751644578962552804469/6707750773255554\ 49941435129747235617044250848*c_1001_7^5 - 2698022066997967036394962029359101296822068265381/33538753866277772\ 4970717564873617808522125424*c_1001_7^4 - 118598111018625510852366198764228474227187551845/167693769331388862\ 485358782436808904261062712*c_1001_7^3 + 34507088493141556269952233430347675149436365521/1676937693313888624\ 85358782436808904261062712*c_1001_7^2 + 1700617223796708170912267223039264257058788381/16769376933138886248\ 5358782436808904261062712*c_1001_7 - 49089523508608802409088342129586815951600723/2096172116642360781066\ 9847804601113032632839, c_0101_11 + 404408242858805832586127825539854378011059/2683100309302221\ 799765740518988942468177003392*c_1001_7^13 + 18421719559038080139233403010755787071718601/2683100309302221799765\ 740518988942468177003392*c_1001_7^12 + 1077306040389550346293156779423031687272249689/26831003093022217997\ 65740518988942468177003392*c_1001_7^11 - 2360523267154180703995532479144015170203409201/26831003093022217997\ 65740518988942468177003392*c_1001_7^10 + 109924026822582097052831754996860501714219738795/268310030930222179\ 9765740518988942468177003392*c_1001_7^9 + 1456899283714113694567193361612925477858426724113/26831003093022217\ 99765740518988942468177003392*c_1001_7^8 + 3805333578936080494307736663599200729247863669975/26831003093022217\ 99765740518988942468177003392*c_1001_7^7 + 4791584491385768103083253018482599939387767323485/26831003093022217\ 99765740518988942468177003392*c_1001_7^6 + 1730704137646226984879645901245250092276722401823/13415501546511108\ 99882870259494471234088501696*c_1001_7^5 + 732986333175731388222833833063080039559722062513/134155015465111089\ 9882870259494471234088501696*c_1001_7^4 + 77142696004790135545699949368901529095952820349/6707750773255554499\ 41435129747235617044250848*c_1001_7^3 - 404913522166799416646432429480406974550293807/167693769331388862485\ 358782436808904261062712*c_1001_7^2 - 308393126085033649333807581579995547666398183/419234423328472156213\ 39695609202226065265678*c_1001_7 - 109167074139900429036978056711600081591952479/335387538662777724970\ 717564873617808522125424, c_0101_2 + 6846419264415134609365733701184710480694569/2683100309302221\ 799765740518988942468177003392*c_1001_7^13 + 313803418651367580320166358823782784824229399/268310030930222179976\ 5740518988942468177003392*c_1001_7^12 + 18323973018673252580023515396739499814526594187/2683100309302221799\ 765740518988942468177003392*c_1001_7^11 - 34917161713509097516782741916268170951741730303/2683100309302221799\ 765740518988942468177003392*c_1001_7^10 + 1843517005226444049856887607201002182030543888049/26831003093022217\ 99765740518988942468177003392*c_1001_7^9 + 25205532349601259296482000279976624100755633070799/2683100309302221\ 799765740518988942468177003392*c_1001_7^8 + 70752574386706806447915470875856547479219276218437/2683100309302221\ 799765740518988942468177003392*c_1001_7^7 + 91136730128669237081277025582269861510659118237379/2683100309302221\ 799765740518988942468177003392*c_1001_7^6 + 31150093694347011539096106014608736592023000861989/1341550154651110\ 899882870259494471234088501696*c_1001_7^5 + 10693876150488522777537034268731120392469073092007/1341550154651110\ 899882870259494471234088501696*c_1001_7^4 + 515589381283338999068775140184609326705009018699/670775077325555449\ 941435129747235617044250848*c_1001_7^3 - 30312194107544921253224396318518821319802609603/1676937693313888624\ 85358782436808904261062712*c_1001_7^2 - 723338205687963550989538358635777343048441463/838468846656944312426\ 79391218404452130531356*c_1001_7 + 525902403377918410677192823142457216804635295/335387538662777724970\ 717564873617808522125424, c_0101_5 - 8403040485983225615776081885425893183622115/2683100309302221\ 799765740518988942468177003392*c_1001_7^13 - 385857314235956552674514651136775050001811321/268310030930222179976\ 5740518988942468177003392*c_1001_7^12 - 22522359742308371544346706594052140291270464533/2683100309302221799\ 765740518988942468177003392*c_1001_7^11 + 40973417976296989427702097269255340216913147421/2683100309302221799\ 765740518988942468177003392*c_1001_7^10 - 2258548769014481524427349563230910819625580313051/26831003093022217\ 99765740518988942468177003392*c_1001_7^9 - 31127939719657637963601150633463766810747634689265/2683100309302221\ 799765740518988942468177003392*c_1001_7^8 - 89387801527051870722809568556182534336225105375443/2683100309302221\ 799765740518988942468177003392*c_1001_7^7 - 118484270001097517450459104679385884696113444547457/268310030930222\ 1799765740518988942468177003392*c_1001_7^6 - 42161919296415461765909752309202209902512848727867/1341550154651110\ 899882870259494471234088501696*c_1001_7^5 - 15573553698344492367561102670907990010987856109549/1341550154651110\ 899882870259494471234088501696*c_1001_7^4 - 1010756569936756048826254102093867159879310154265/67077507732555544\ 9941435129747235617044250848*c_1001_7^3 + 29021790188804402575306568886974199421288601813/1676937693313888624\ 85358782436808904261062712*c_1001_7^2 + 717460091562137345947198529788706664205166007/419234423328472156213\ 39695609202226065265678*c_1001_7 - 518857723131565716958317576867338207113289037/335387538662777724970\ 717564873617808522125424, c_0110_6 - 802626415435090103503302901222897031489909/67077507732555544\ 9941435129747235617044250848*c_1001_7^13 - 73516474715467903772706379683599922451623565/1341550154651110899882\ 870259494471234088501696*c_1001_7^12 - 67088483880916704209420925918647707746322777/2096172116642360781066\ 9847804601113032632839*c_1001_7^11 + 8344499778846417723538009102721093795436355903/13415501546511108998\ 82870259494471234088501696*c_1001_7^10 - 216342938297125146069518433935857876907132741499/670775077325555449\ 941435129747235617044250848*c_1001_7^9 - 5893285167864792955505057929135142031229132921609/13415501546511108\ 99882870259494471234088501696*c_1001_7^8 - 1023992722093460296328537711170139009083572694145/83846884665694431\ 242679391218404452130531356*c_1001_7^7 - 20926279314604226743202148002821672256657427080511/1341550154651110\ 899882870259494471234088501696*c_1001_7^6 - 3528213005380095152972304449696461731833261942581/33538753866277772\ 4970717564873617808522125424*c_1001_7^5 - 2335953037175209977538729520542145492953581767757/67077507732555544\ 9941435129747235617044250848*c_1001_7^4 - 85092204166142285233994987381790135915730045657/3353875386627777249\ 70717564873617808522125424*c_1001_7^3 + 18233514942653426597913241811937042828200041957/1676937693313888624\ 85358782436808904261062712*c_1001_7^2 + 944086154165632002211402139299490166268322889/167693769331388862485\ 358782436808904261062712*c_1001_7 - 196193623506722787800605008975544384490181811/167693769331388862485\ 358782436808904261062712, c_1001_1 - 3534064892164954931470553178516822919699905/2683100309302221\ 799765740518988942468177003392*c_1001_7^13 - 162263551905910035059448849147931280207774999/268310030930222179976\ 5740518988942468177003392*c_1001_7^12 - 9471475913635408926471175899954393800539730499/26831003093022217997\ 65740518988942468177003392*c_1001_7^11 + 17275875205246228305064591376697417881225445775/2683100309302221799\ 765740518988942468177003392*c_1001_7^10 - 949968259297956033423198122938954889626358986553/268310030930222179\ 9765740518988942468177003392*c_1001_7^9 - 13087087014900324236821161411301745809605735159615/2683100309302221\ 799765740518988942468177003392*c_1001_7^8 - 37534064737763505792184563388955173261236974742397/2683100309302221\ 799765740518988942468177003392*c_1001_7^7 - 49675098024084641509856320192772828112475130246275/2683100309302221\ 799765740518988942468177003392*c_1001_7^6 - 17659614605078512138440999843946696107745121017213/1341550154651110\ 899882870259494471234088501696*c_1001_7^5 - 6525324093886677758353633307590236027240747679031/13415501546511108\ 99882870259494471234088501696*c_1001_7^4 - 423118820559203910015223763323481164607080953595/670775077325555449\ 941435129747235617044250848*c_1001_7^3 + 12652119814071909895112160175646366011634663443/1676937693313888624\ 85358782436808904261062712*c_1001_7^2 + 751813159876369097885465456083292330311588709/838468846656944312426\ 79391218404452130531356*c_1001_7 - 250396362599139032245174960298424547806701439/335387538662777724970\ 717564873617808522125424, c_1001_3 - 507909355713823142659424449850760153282953/67077507732555544\ 9941435129747235617044250848*c_1001_7^13 - 46516470751130620131207919665604850051670533/1341550154651110899882\ 870259494471234088501696*c_1001_7^12 - 1358403329972900919895624536802178690374103613/67077507732555544994\ 1435129747235617044250848*c_1001_7^11 + 5295588030968688434758716724404846531384409569/13415501546511108998\ 82870259494471234088501696*c_1001_7^10 - 136900275039848979260738221092938446307389936771/670775077325555449\ 941435129747235617044250848*c_1001_7^9 - 3728066713934892880256414338946098046874033364849/13415501546511108\ 99882870259494471234088501696*c_1001_7^8 - 5171876385336597076203929336056524594776812157145/67077507732555544\ 9941435129747235617044250848*c_1001_7^7 - 13149441845273309534373899404034397191371694651005/1341550154651110\ 899882870259494471234088501696*c_1001_7^6 - 1110783403561117644582826616800509175792447589247/16769376933138886\ 2485358782436808904261062712*c_1001_7^5 - 1523743541020892294480169434858963145603412802431/67077507732555544\ 9941435129747235617044250848*c_1001_7^4 - 82293030786717908844566142130920705506895840699/3353875386627777249\ 70717564873617808522125424*c_1001_7^3 + 6055081683229169489895118943704723707341410603/16769376933138886248\ 5358782436808904261062712*c_1001_7^2 + 275063047588008105522670750189678376082184017/167693769331388862485\ 358782436808904261062712*c_1001_7 - 5096596982563092518821085368918571246793645/16769376933138886248535\ 8782436808904261062712, c_1001_7^14 + 46*c_1001_7^13 + 2684*c_1001_7^12 - 4658*c_1001_7^11 + 268400*c_1001_7^10 + 3726142*c_1001_7^9 + 10940398*c_1001_7^8 + 14988022*c_1001_7^7 + 11226591*c_1001_7^6 + 4558452*c_1001_7^5 + 789998*c_1001_7^4 - 22140*c_1001_7^3 - 13296*c_1001_7^2 - 40*c_1001_7 + 72 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB