Magma V2.19-8 Wed Aug 21 2013 00:54:37 on localhost [Seed = 3187386350] Type ? for help. Type -D to quit. Loading file "L12n42__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n42 geometric_solution 11.36375264 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 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 0 1 0 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.695502139995 1.695770231747 0 4 5 0 0132 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 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.440131358158 0.869869806976 4 0 7 6 0132 0132 0132 0132 1 1 1 1 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 1 0 -1 0 0 -7 7 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.247532624176 0.549223728552 8 6 4 0 0132 0321 0321 0132 1 1 1 1 0 0 0 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 0 0 0 0 0 0 0 0 7 0 -7 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.319294161721 0.347099848281 2 1 3 9 0132 0132 0321 0132 1 1 1 1 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 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313514682527 0.874500463904 8 10 11 1 2310 0132 0132 0132 1 1 1 1 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 -6 7 -1 -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.575649170397 0.573392945006 12 12 2 3 0132 0321 0132 0321 1 1 1 1 0 0 0 0 1 0 -1 0 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 -1 1 0 7 0 -7 0 1 6 0 -7 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338996557458 0.616545822763 11 11 9 2 1023 0213 0132 0132 1 1 1 0 0 0 0 0 -1 0 0 1 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 -7 0 0 7 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.886922783484 0.857083796827 3 12 5 12 0132 0213 3201 0321 1 1 1 1 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 6 0 0 -6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315224066523 1.245427813427 10 10 4 7 3012 0213 0132 0132 1 1 0 1 0 0 0 0 1 0 -1 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 6 0 -6 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.564002183180 0.434288947259 11 5 9 9 0321 0132 0213 1230 1 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 0 0 0 0 0 0 0 0 6 0 -6 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 0 0 0.564002183180 0.434288947259 10 7 7 5 0321 1023 0213 0132 1 1 1 0 0 1 0 -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 7 0 -7 0 0 1 -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.151298340795 1.146785890013 6 8 8 6 0132 0321 0213 0321 1 1 1 1 0 0 0 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 -1 0 1 -7 0 0 7 0 6 0 -6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.809007969756 0.754595895018 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_7'], '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_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_0101_2'], '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' : negation(d['1']), 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_3'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_1001_3'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_1001_4'], 'c_1100_3' : d['c_1001_4'], 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_1001_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : d['c_1001_0'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_11'], 'c_0110_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_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0011_12'], 'c_0101_3' : negation(d['c_0011_12']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : negation(d['c_0011_12']), '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_0011_12'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} 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_12, c_0011_3, c_0101_0, c_0101_2, c_0101_7, c_1001_0, c_1001_1, c_1001_2, c_1001_3, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 162042364438904602117485427856165063021963357483110434606650/184494\ 112390902077864473658470326662845818567739189517*c_1001_4^13 + 1800551769271747486532828333045496545210889845005008457246/64283662\ 8539728494301301945889639940229332988638291*c_1001_4^12 + 15256531567323123227214850637286678023851972867296334153248185/1475\ 952899127216622915789267762613302766548541913516136*c_1001_4^11 + 9235253248236645928456167481907857267202175155798867019922297/73797\ 6449563608311457894633881306651383274270956758068*c_1001_4^10 + 26431992539163185022604275232472094229484186771758200721769721/1475\ 952899127216622915789267762613302766548541913516136*c_1001_4^9 - 14846584586145407275107614291720446617987305991875312852496215/5903\ 811596508866491663157071050453211066194167654064544*c_1001_4^8 + 288530283806687254450889857528805770189552527135383038776752/263563\ 01770128868266353379781475237549402652534169931*c_1001_4^7 + 6808751071074857666544839087783717034696751756567451925631373/73797\ 6449563608311457894633881306651383274270956758068*c_1001_4^6 + 2043625647998066248828737634753845727328053874491027580046479/10542\ 5207080515473065413519125900950197610610136679724*c_1001_4^5 + 28939481737277027809951424243587842180641077076321053520873109/2951\ 905798254433245831578535525226605533097083827032272*c_1001_4^4 + 1249276039406760824032163892786563221781591214135831948718025/21085\ 0414161030946130827038251801900395221220273359448*c_1001_4^3 + 308947676436235702256173430601560358838377996299474846910794/184494\ 112390902077864473658470326662845818567739189517*c_1001_4^2 + 79903271619808235184033179025135379675746483596541376120879/2108504\ 14161030946130827038251801900395221220273359448*c_1001_4 + 237503321250963167093080203436915727221071382502082471700561/590381\ 1596508866491663157071050453211066194167654064544, c_0011_0 - 1, c_0011_10 + 1178414341753846428641506513461263992953925/271403370212445\ 42312335810379824971947133*c_1001_4^13 + 12658375557258916451136989074711705919842/9456563422036425892799933\ 9302526034659*c_1001_4^12 + 215351233445463483300448755585321963837\ 082161/434245392339912676997372966077199551154128*c_1001_4^11 + 244679401390255164797336904098332704995933471/434245392339912676997\ 372966077199551154128*c_1001_4^10 + 354386720875803905523408591321968747583653273/434245392339912676997\ 372966077199551154128*c_1001_4^9 - 47839359436388309805468830621076184905455913/2171226961699563384986\ 86483038599775577064*c_1001_4^8 + 171044449903586757265154910128600\ 45524702333/31017528024279476928383783291228539368152*c_1001_4^7 + 88099141761547505632594417700032470167348139/2171226961699563384986\ 86483038599775577064*c_1001_4^6 + 280830462900380654040589108663624\ 01410499481/31017528024279476928383783291228539368152*c_1001_4^5 + 20621464995578798361659074667215356531839821/5428067404248908462467\ 1620759649943894266*c_1001_4^4 + 1475364905369738707613900080853456\ 3664560291/62035056048558953856767566582457078736304*c_1001_4^3 + 23502962962161198421490800592816171633358999/4342453923399126769973\ 72966077199551154128*c_1001_4^2 + 727736731055531108373118435041187\ 506238019/62035056048558953856767566582457078736304*c_1001_4 + 172681169078379997158253393132238311493149/217122696169956338498686\ 483038599775577064, c_0011_11 - 1, c_0011_12 + 2352209774697723040277009530118042356360650/271403370212445\ 42312335810379824971947133*c_1001_4^13 + 25564449120236414832668617268538989999706/9456563422036425892799933\ 9302526034659*c_1001_4^12 + 217657728583464326671101499464930316798\ 675585/217122696169956338498686483038599775577064*c_1001_4^11 + 31733456442249106334233386182801146720879442/2714033702124454231233\ 5810379824971947133*c_1001_4^10 + 369429381629587714219458999418709\ 439451403161/217122696169956338498686483038599775577064*c_1001_4^9 - 75393352333441440456700949747090026816407731/2171226961699563384986\ 86483038599775577064*c_1001_4^8 + 175512232973283358674813923168939\ 83762907909/15508764012139738464191891645614269684076*c_1001_4^7 + 22461778591095097795512385378004508295392350/2714033702124454231233\ 5810379824971947133*c_1001_4^6 + 2899216901963593726096061848520400\ 4248745209/15508764012139738464191891645614269684076*c_1001_4^5 + 92565461323442628836067326555370101806692301/1085613480849781692493\ 43241519299887788532*c_1001_4^4 + 171742990885510134024255212319656\ 82516986259/31017528024279476928383783291228539368152*c_1001_4^3 + 3863550298550069765396439302653065495518611/27140337021244542312335\ 810379824971947133*c_1001_4^2 + 10885812342431929455564340249475158\ 94399203/31017528024279476928383783291228539368152*c_1001_4 + 757930890524188405669760190092378341641693/217122696169956338498686\ 483038599775577064, c_0011_3 - 4716122131715200411698982133756981226849425/2714033702124454\ 2312335810379824971947133*c_1001_4^13 - 51144518478252920933584819318146398223287/9456563422036425892799933\ 9302526034659*c_1001_4^12 - 870679030908141471854822994812448577000\ 229165/434245392339912676997372966077199551154128*c_1001_4^11 - 505276494603949102374501239217950415942740933/217122696169956338498\ 686483038599775577064*c_1001_4^10 - 734438056672530179291442968190726674608212813/217122696169956338498\ 686483038599775577064*c_1001_4^9 + 158998289254946408618887244634614972007709295/217122696169956338498\ 686483038599775577064*c_1001_4^8 - 69952245292950758275749895263799347734506251/3101752802427947692838\ 3783291228539368152*c_1001_4^7 - 8980753463700414019762645377859747\ 8584765895/54280674042489084624671620759649943894266*c_1001_4^6 - 14431790639411415834711920568313766636075185/3877191003034934616047\ 972911403567421019*c_1001_4^5 - 90811565898882406377722623494784313\ 576182809/54280674042489084624671620759649943894266*c_1001_4^4 - 66875189731252918405624126145766729496786987/6203505604855895385676\ 7566582457078736304*c_1001_4^3 - 5906848990848308899090704245343882\ 7736538903/217122696169956338498686483038599775577064*c_1001_4^2 - 2017172263928641014349516149649987179646005/31017528024279476928383\ 783291228539368152*c_1001_4 - 1342583942742894539809631737744600487\ 360835/217122696169956338498686483038599775577064, c_0101_0 + 621723808185944258939295012205403040268675/27140337021244542\ 312335810379824971947133*c_1001_4^13 + 6761527388828169734900166910858215460157/94565634220364258927999339\ 302526034659*c_1001_4^12 + 1145829990890683202535124350940327695917\ 79735/434245392339912676997372966077199551154128*c_1001_4^11 + 66447378873737020897251674077361644271556035/2171226961699563384986\ 86483038599775577064*c_1001_4^10 + 94903341170547137526911934321422622157803735/2171226961699563384986\ 86483038599775577064*c_1001_4^9 - 449984266326127993072826705502415\ 32589240037/434245392339912676997372966077199551154128*c_1001_4^8 + 8679601932802368383508161318651918247359701/31017528024279476928383\ 783291228539368152*c_1001_4^7 + 62635953386974310621212734943227882\ 28662027/27140337021244542312335810379824971947133*c_1001_4^6 + 1851637484658732270089224827079412974074081/38771910030349346160479\ 72911403567421019*c_1001_4^5 + 468713099871514699206069221778533452\ 89154293/217122696169956338498686483038599775577064*c_1001_4^4 + 7804742175355044799920049497676664308936793/62035056048558953856767\ 566582457078736304*c_1001_4^3 + 68241759940517052553995528768002862\ 86021525/217122696169956338498686483038599775577064*c_1001_4^2 + 183228228194807357965654525456104821552863/310175280242794769283837\ 83291228539368152*c_1001_4 + 67022410943575714917840394332643039426\ 431/434245392339912676997372966077199551154128, c_0101_2 + 6131712742188442750607430203354692365267250/2714033702124454\ 2312335810379824971947133*c_1001_4^13 + 67706609539951648193478609319472099798590/9456563422036425892799933\ 9302526034659*c_1001_4^12 + 574318416208582798305877452971104704360\ 514181/217122696169956338498686483038599775577064*c_1001_4^11 + 343869552434741213306129898365358945256116581/108561348084978169249\ 343241519299887788532*c_1001_4^10 + 987520998321355700798902700950032013528894037/217122696169956338498\ 686483038599775577064*c_1001_4^9 - 159504954690395030795756095677317952282600861/217122696169956338498\ 686483038599775577064*c_1001_4^8 + 43980196971761135327424961168124598229850753/1550876401213973846419\ 1891645614269684076*c_1001_4^7 + 1252963896890306484940658878935077\ 22257705777/54280674042489084624671620759649943894266*c_1001_4^6 + 76740337544578737981572984291639430856200893/1550876401213973846419\ 1891645614269684076*c_1001_4^5 + 2633430942735629819733082935397973\ 21823324319/108561348084978169249343241519299887788532*c_1001_4^4 + 45965603924388945755183315487630939257330511/3101752802427947692838\ 3783291228539368152*c_1001_4^3 + 4337025223925523531484296105914252\ 4823738813/108561348084978169249343241519299887788532*c_1001_4^2 + 2792831197441519335750141234736559350946503/31017528024279476928383\ 783291228539368152*c_1001_4 + 1866689739236531256825069940029295447\ 837451/217122696169956338498686483038599775577064, c_0101_7 - 8566078540350879839456617567750/2937075869863529002735862273\ 3*c_1001_4^13 - 94102770778003000053054377360/102337138322771045391\ 493459*c_1001_4^12 - 799300909489650367924165383690183/234966069589\ 082320218868981864*c_1001_4^11 - 949355383132477876222359288526887/\ 234966069589082320218868981864*c_1001_4^10 - 684942092337171561579434488326371/117483034794541160109434490932*c_\ 1001_4^9 + 237940265856274320287890573010153/2349660695890823202188\ 68981864*c_1001_4^8 - 62448767827667861067868317333709/167832906849\ 34451444204927276*c_1001_4^7 - 342528206350662908878804344997207/11\ 7483034794541160109434490932*c_1001_4^6 - 26709858520783523626809985463645/4195822671233612861051231819*c_100\ 1_4^5 - 358060619004395134594570020968581/1174830347945411601094344\ 90932*c_1001_4^4 - 64195068919469207321544405520569/335665813698689\ 02888409854552*c_1001_4^3 - 119582955691789210101129690328095/23496\ 6069589082320218868981864*c_1001_4^2 - 2069768597115838689143289363575/16783290684934451444204927276*c_100\ 1_4 - 2769253212266155411191711742995/23496606958908232021886898186\ 4, c_1001_0 + 2521251874134842302489139001465110122565625/2714033702124454\ 2312335810379824971947133*c_1001_4^13 + 27323403369191296159483225809929895889150/9456563422036425892799933\ 9302526034659*c_1001_4^12 + 465183980134670064391905987567899466696\ 825189/434245392339912676997372966077199551154128*c_1001_4^11 + 539178609406115874063149916881840870943997543/434245392339912676997\ 372966077199551154128*c_1001_4^10 + 391925999667884279673335511566538688036012085/217122696169956338498\ 686483038599775577064*c_1001_4^9 - 86070606219181251583359672751469047115177845/2171226961699563384986\ 86483038599775577064*c_1001_4^8 + 373859051833949711408848519883268\ 46833333013/31017528024279476928383783291228539368152*c_1001_4^7 + 191418361251990201701071573561606987436895179/217122696169956338498\ 686483038599775577064*c_1001_4^6 + 15419307973775860416854752106931004412789229/7754382006069869232095\ 945822807134842038*c_1001_4^5 + 24134425194575751670792357726807408\ 198401181/27140337021244542312335810379824971947133*c_1001_4^4 + 35561584271167578079683101812664051697258343/6203505604855895385676\ 7566582457078736304*c_1001_4^3 + 6225687341471867110872055884956738\ 7634340623/434245392339912676997372966077199551154128*c_1001_4^2 + 1077350930088081800181577805822549263367249/31017528024279476928383\ 783291228539368152*c_1001_4 + 7086682384228042990837766688340839314\ 09901/217122696169956338498686483038599775577064, c_1001_1 - 9257649070107846003878580183011843928556875/2714033702124454\ 2312335810379824971947133*c_1001_4^13 - 102397274656723161424437354373859012842725/945656342203642589279993\ 39302526034659*c_1001_4^12 - 17366237080365256846324175265804756286\ 96686287/434245392339912676997372966077199551154128*c_1001_4^11 - 1042791540877050177732526913965648736626966395/21712269616995633849\ 8686483038599775577064*c_1001_4^10 - 2991526407277499206522914535184705208205006147/43424539233991267699\ 7372966077199551154128*c_1001_4^9 + 468030079608876954128228389938954798895619403/434245392339912676997\ 372966077199551154128*c_1001_4^8 - 132419466069824079866386490960475777484194427/310175280242794769283\ 83783291228539368152*c_1001_4^7 - 190367411098011925894417279121086\ 496572211859/54280674042489084624671620759649943894266*c_1001_4^6 - 232312791169628271012578384512792314583537159/310175280242794769283\ 83783291228539368152*c_1001_4^5 - 802460546412903756383076012457606\ 313259131217/217122696169956338498686483038599775577064*c_1001_4^4 - 139597149551299563468707952980013931366644349/620350560485589538567\ 67566582457078736304*c_1001_4^3 - 132435634901841772167749182496106\ 000446188449/217122696169956338498686483038599775577064*c_1001_4^2 - 8557126009847719942105171523212655886579625/62035056048558953856767\ 566582457078736304*c_1001_4 - 5677843253031754900216085323276435842\ 268221/434245392339912676997372966077199551154128, c_1001_2 + 429396630609862785333754317671077257425375/38771910030349346\ 16047972911403567421019*c_1001_4^13 + 33015944423180134962519864265085186754455/9456563422036425892799933\ 9302526034659*c_1001_4^12 + 800928509711150726558703264719918841064\ 81491/62035056048558953856767566582457078736304*c_1001_4^11 + 47526666980273525070284668499398149199642847/3101752802427947692838\ 3783291228539368152*c_1001_4^10 + 136936798001131942381813752659346\ 120844367143/62035056048558953856767566582457078736304*c_1001_4^9 - 24284248450386167007827998967188144319254863/6203505604855895385676\ 7566582457078736304*c_1001_4^8 + 4350132181722046144331335371202261\ 5435208585/31017528024279476928383783291228539368152*c_1001_4^7 + 8603624040007053013387785237989849706171385/77543820060698692320959\ 45822807134842038*c_1001_4^6 + 746485590086866809137135526537654088\ 41266413/31017528024279476928383783291228539368152*c_1001_4^5 + 35844547240192595930022451671654710576309437/3101752802427947692838\ 3783291228539368152*c_1001_4^4 + 4426526614625621955202530897050982\ 5662677695/62035056048558953856767566582457078736304*c_1001_4^3 + 5863624865025595584517523105780585549823829/31017528024279476928383\ 783291228539368152*c_1001_4^2 + 26141987799183574008953934157335815\ 17206387/62035056048558953856767566582457078736304*c_1001_4 + 255559386273481446726313490977249421297369/620350560485589538567675\ 66582457078736304, c_1001_3 - 1178414341753846428641506513461263992953925/2714033702124454\ 2312335810379824971947133*c_1001_4^13 - 12658375557258916451136989074711705919842/9456563422036425892799933\ 9302526034659*c_1001_4^12 - 215351233445463483300448755585321963837\ 082161/434245392339912676997372966077199551154128*c_1001_4^11 - 244679401390255164797336904098332704995933471/434245392339912676997\ 372966077199551154128*c_1001_4^10 - 354386720875803905523408591321968747583653273/434245392339912676997\ 372966077199551154128*c_1001_4^9 + 47839359436388309805468830621076184905455913/2171226961699563384986\ 86483038599775577064*c_1001_4^8 - 171044449903586757265154910128600\ 45524702333/31017528024279476928383783291228539368152*c_1001_4^7 - 88099141761547505632594417700032470167348139/2171226961699563384986\ 86483038599775577064*c_1001_4^6 - 280830462900380654040589108663624\ 01410499481/31017528024279476928383783291228539368152*c_1001_4^5 - 20621464995578798361659074667215356531839821/5428067404248908462467\ 1620759649943894266*c_1001_4^4 - 1475364905369738707613900080853456\ 3664560291/62035056048558953856767566582457078736304*c_1001_4^3 - 23502962962161198421490800592816171633358999/4342453923399126769973\ 72966077199551154128*c_1001_4^2 - 727736731055531108373118435041187\ 506238019/62035056048558953856767566582457078736304*c_1001_4 - 172681169078379997158253393132238311493149/217122696169956338498686\ 483038599775577064, c_1001_4^14 + 1399/425*c_1001_4^13 + 82277/6800*c_1001_4^12 + 13147/850*c_1001_4^11 + 9303/425*c_1001_4^10 - 123/170*c_1001_4^9 + 83183/6800*c_1001_4^8 + 5006/425*c_1001_4^7 + 9853/425*c_1001_4^6 + 5722/425*c_1001_4^5 + 54127/6800*c_1001_4^4 + 2241/850*c_1001_4^3 + 11/17*c_1001_4^2 + 81/850*c_1001_4 + 37/6800 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.440 seconds, Total memory usage: 32.09MB