Magma V2.19-8 Tue Aug 20 2013 23:46:45 on localhost [Seed = 1325999467] Type ? for help. Type -D to quit. Loading file "K14n2562__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2562 geometric_solution 10.30348371 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 2310 0132 0132 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 -1 0 1 0 0 15 -15 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.470423928803 0.550109098279 0 4 4 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -0.897894912451 1.049989446529 5 5 3 0 0132 3201 0213 0132 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 1 0 14 -15 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.888903589901 0.707641824288 6 2 0 7 0132 0213 0132 0132 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 0 -1 1 0 0 15 -15 0 -14 0 14 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599986544477 0.507785822159 1 1 5 8 2310 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470423928803 0.550109098279 2 4 2 9 0132 0213 2310 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 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.311411353290 0.548174325853 3 10 10 8 0132 0132 1230 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.292983564645 0.690108666778 10 11 3 11 2031 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 -1 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 -1 1 0 0 15 -15 -1 1 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784308596137 0.495705185315 6 9 4 11 3201 0321 0132 3120 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 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218862539326 0.695677226532 10 11 5 8 0213 3201 0132 0321 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 -1 1 0 0 0 0 0 -14 -1 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530833116237 0.216756303931 9 6 7 6 0213 0132 1302 3012 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 14 0 -14 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.184396901388 0.410472695261 8 7 9 7 3120 0132 2310 0213 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 -15 0 0 15 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784308596137 0.495705185315 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0110_11']), 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_0011_2'], 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : negation(d['c_0101_6']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_11']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : d['c_1001_7'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1001_7'], 'c_1100_3' : d['c_1001_7'], 'c_1100_2' : d['c_1001_7'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_2'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_0101_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0110_11']), 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0011_11']), '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'], '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' : negation(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_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(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_10'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_8'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0101_1']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0110_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : negation(d['c_0110_11']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_0110_11, c_1001_0, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 3064547987740925147342619999172668770873461660328432/17572202323891\ 2882361807371675967464698445*c_1001_7^25 + 589879353487400033791527794195569667520989317878296/195246692487680\ 98040200819075107496077605*c_1001_7^24 - 34752765464403914017967304721802279397055841485530284/1757220232389\ 12882361807371675967464698445*c_1001_7^23 + 11887157440204230310039725471393079641833149840293836/1757220232389\ 12882361807371675967464698445*c_1001_7^22 + 36550840504942282597872015662059284215075861810973443/3514440464778\ 2576472361474335193492939689*c_1001_7^21 - 365851954444096940691527291081288584351214399961923069/175722023238\ 912882361807371675967464698445*c_1001_7^20 - 653037804068013101496337862604159063842396953365353/807917348224886\ 8154565856169009998376940*c_1001_7^19 + 1064112420913776158022407620496082065898273372817147091/17572202323\ 8912882361807371675967464698445*c_1001_7^18 - 951451706647055159855540946014031236092311177713599111/969500817869\ 86417854790274028119980523280*c_1001_7^17 + 21927051266400049293752450958682530974584110224450072167/5623104743\ 645212235577835893630958870350240*c_1001_7^16 + 162382027633009410661284914295602107898892042663787967/152594429949\ 66654642002268368062303583040*c_1001_7^15 - 7449973081950994262744193107137575502307859135351315503/31239470798\ 0289568643213105201719937241680*c_1001_7^14 + 1216638115894655414627728142942510105455256238429069411617/44984837\ 949161697884622687149047670962801920*c_1001_7^13 - 3705903748133107575752513382928866267272981935522230495/18175692100\ 6713930846960352117364327122432*c_1001_7^12 + 1856153916029966525916636361049359091447325549030466323727/17993935\ 1796646791538490748596190683851207680*c_1001_7^11 - 477002692636843505847445638643529604654531730998222347177/179939351\ 796646791538490748596190683851207680*c_1001_7^10 - 155038894808195762467508165164708809424282678881845376791/179939351\ 796646791538490748596190683851207680*c_1001_7^9 + 1828948896899282908418396506410774234087807250351250915/12409610468\ 73426148541315507559935750697984*c_1001_7^8 - 88910711230362435886794202683221485285849888056270241093/8996967589\ 8323395769245374298095341925603840*c_1001_7^7 + 40857607463154160915342083196885358734685889700185773387/8996967589\ 8323395769245374298095341925603840*c_1001_7^6 - 4700396332885015748601525691548617535909642140585135663/29989891966\ 107798589748458099365113975201280*c_1001_7^5 + 1859212271566414739431621156692028530871129398981506473/44984837949\ 161697884622687149047670962801920*c_1001_7^4 - 32731759815136899747039390997832075906150640806130553/3998652262147\ 706478633127746582015196693504*c_1001_7^3 + 69645316801886142928420154114148778423830321951887873/5997978393221\ 5597179496916198730227950402560*c_1001_7^2 - 6383569235516685945271651712879132926486426373770817/59979783932215\ 597179496916198730227950402560*c_1001_7 + 888312470238565402685961979347082774554705409490459/179939351796646\ 791538490748596190683851207680, c_0011_0 - 1, c_0011_10 + 1233659195508593459169549301973362232/263654902373054249822\ 97274061379*c_1001_7^25 + 595985473852128090918505351145854404/8788\ 496745768474994099091353793*c_1001_7^24 - 14567413031850827603528806547083326854/2636549023730542498229727406\ 1379*c_1001_7^23 + 8866867309270196189084957978408287814/2636549023\ 7305424982297274061379*c_1001_7^22 + 144124405130104505683874339582822752727/527309804746108499645945481\ 22758*c_1001_7^21 - 337536499618085427974027465305536433309/5273098\ 0474610849964594548122758*c_1001_7^20 + 100180105009051363783483201266937254083/703079739661477999527927308\ 30344*c_1001_7^19 + 862280433345416848779083551079340464437/5273098\ 0474610849964594548122758*c_1001_7^18 - 26322729094934752808703483817131068818387/8436956875937735994335127\ 69964128*c_1001_7^17 + 30615504452669877101541316127672397923423/16\ 87391375187547198867025539928256*c_1001_7^16 + 87549626985766842612303062121623583392375/3374782750375094397734051\ 079856512*c_1001_7^15 - 20535098283191031582998222365746252951787/2\ 81231895864591199811170923321376*c_1001_7^14 + 1233505167891300781345976412668128995994681/13499131001500377590936\ 204319426048*c_1001_7^13 - 6733497858348949179135106698338432612370\ 11/8999420667666918393957469546284032*c_1001_7^12 + 2250266726295118210921053491532617420387495/53996524006001510363744\ 817277704192*c_1001_7^11 - 7150266676715302192781232852094082203394\ 65/53996524006001510363744817277704192*c_1001_7^10 - 79144675779651403710732525249117147143191/5399652400600151036374481\ 7277704192*c_1001_7^9 + 274050984767300064336093028177072342109731/\ 53996524006001510363744817277704192*c_1001_7^8 - 102465383982919366803120088263622953750149/269982620030007551818724\ 08638852096*c_1001_7^7 + 50063103938677799216946172396639376911435/\ 26998262003000755181872408638852096*c_1001_7^6 - 6023548248099861874738001679701096179207/89994206676669183939574695\ 46284032*c_1001_7^5 + 2467570016003873930622894653953843975901/1349\ 9131001500377590936204319426048*c_1001_7^4 - 669286052242467100487322080937264101535/179988413353338367879149390\ 92568064*c_1001_7^3 + 96402078400211212466201972673566698273/179988\ 41335333836787914939092568064*c_1001_7^2 - 8829406721303208462034938881322546353/17998841335333836787914939092\ 568064*c_1001_7 + 1185200657124829545411937309747099723/53996524006\ 001510363744817277704192, c_0011_11 - 924241827513094828072201917460141648/2636549023730542498229\ 7274061379*c_1001_7^25 - 583132657527633135042331048698208392/87884\ 96745768474994099091353793*c_1001_7^24 + 10188752108395997255134568618153641612/2636549023730542498229727406\ 1379*c_1001_7^23 - 1968098745617141321074542865151137528/2636549023\ 7305424982297274061379*c_1001_7^22 - 55292579437157747694616305931475227037/2636549023730542498229727406\ 1379*c_1001_7^21 + 101394278646088134925594105196824950442/26365490\ 237305424982297274061379*c_1001_7^20 + 26439264354569621317019929994629708751/3515398698307389997639636541\ 5172*c_1001_7^19 - 1264679802763040813222286695600276948815/1054619\ 60949221699929189096245516*c_1001_7^18 + 7508252037011832999462111176107982348989/42184784379688679971675638\ 4982064*c_1001_7^17 - 4345159419944015239851698738955606617939/8436\ 95687593773599433512769964128*c_1001_7^16 - 37007337348055031309898760561516586348363/1687391375187547198867025\ 539928256*c_1001_7^15 + 24915798658117391333072883008987017598963/5\ 62463791729182399622341846642752*c_1001_7^14 - 321009747185005709217190667921729312704039/674956550075018879546810\ 2159713024*c_1001_7^13 + 153155719240735529068579968241672507129295\ /4499710333833459196978734773142016*c_1001_7^12 - 432831046959372353297704259198188772922779/269982620030007551818724\ 08638852096*c_1001_7^11 + 11147253365581328806808015317556351493329\ /3374782750375094397734051079856512*c_1001_7^10 + 54200375607566815418480331743506783349521/2699826200300075518187240\ 8638852096*c_1001_7^9 - 17497489203215037849364867302848098628977/6\ 749565500750188795468102159713024*c_1001_7^8 + 21681606417227898377167463969632285343501/1349913100150037759093620\ 4319426048*c_1001_7^7 - 2354446224130782086650557177172474072297/33\ 74782750375094397734051079856512*c_1001_7^6 + 1027941609349260733886985911448319498637/44997103338334591969787347\ 73142016*c_1001_7^5 - 769727994613928590728043187674630461163/13499\ 131001500377590936204319426048*c_1001_7^4 + 95678623270616597406123493832151694107/8999420667666918393957469546\ 284032*c_1001_7^3 - 398067770006693441129436566831716915/2812318958\ 64591199811170923321376*c_1001_7^2 + 1107760055992643345393062450354046367/89994206676669183939574695462\ 84032*c_1001_7 - 9513707528931637624285063500637081/168739137518754\ 7198867025539928256, c_0011_2 + 257852578943756108814123819869702104/26365490237305424982297\ 274061379*c_1001_7^25 + 526046432134355151498084629655066476/263654\ 90237305424982297274061379*c_1001_7^24 - 918499513903600928325754459266569714/878849674576847499409909135379\ 3*c_1001_7^23 + 174700308103675547029006257115377394/26365490237305\ 424982297274061379*c_1001_7^22 + 3076122210258367027225692937968985\ 9835/52730980474610849964594548122758*c_1001_7^21 - 52263867405135463294277118688931199079/5273098047461084996459454812\ 2758*c_1001_7^20 - 70999209297760511214164236054300298363/210923921\ 898443399858378192491032*c_1001_7^19 + 346616748916673577822571471531505215385/105461960949221699929189096\ 245516*c_1001_7^18 - 1272594938233667456507341931369323223317/28123\ 1895864591199811170923321376*c_1001_7^17 + 1436698433833509774004166508721787152975/16873913751875471988670255\ 39928256*c_1001_7^16 + 20985543337748673144876496899190783767239/33\ 74782750375094397734051079856512*c_1001_7^15 - 19465015340913885414021757595156953954459/1687391375187547198867025\ 539928256*c_1001_7^14 + 158355730827850333994557620834257368329949/\ 13499131001500377590936204319426048*c_1001_7^13 - 213354089011519481357562871066867470953753/269982620030007551818724\ 08638852096*c_1001_7^12 + 18241244740849439246284158606558246747602\ 3/53996524006001510363744817277704192*c_1001_7^11 - 24238809590442615209264035926936198786679/5399652400600151036374481\ 7277704192*c_1001_7^10 - 33392508832278935154809695300339500403003/\ 53996524006001510363744817277704192*c_1001_7^9 + 11340413128611064910534816071201729070055/1799884133533383678791493\ 9092568064*c_1001_7^8 - 9619538805481145558804669388894787421317/26\ 998262003000755181872408638852096*c_1001_7^7 + 1301734708051570758079458103985253302359/89994206676669183939574695\ 46284032*c_1001_7^6 - 401569020571936922452719427543739586875/89994\ 20667666918393957469546284032*c_1001_7^5 + 71046960848843750458318124103375166523/6749565500750188795468102159\ 713024*c_1001_7^4 - 100363011515034563938640108339191792141/5399652\ 4006001510363744817277704192*c_1001_7^3 + 12593108792879198684147451591820676221/5399652400600151036374481727\ 7704192*c_1001_7^2 - 1033274817610422120061885829628290983/53996524\ 006001510363744817277704192*c_1001_7 + 26228823711680423881859873872609287/1799884133533383678791493909256\ 8064, c_0011_8 - 1514170691727012319277570159963960968/2636549023730542498229\ 7274061379*c_1001_7^25 - 2968292437057342194205275929515718324/2636\ 5490237305424982297274061379*c_1001_7^24 + 5480253788630345478087186798484459902/87884967457684749940990913537\ 93*c_1001_7^23 - 2225916470474207533093509903062908978/263654902373\ 05424982297274061379*c_1001_7^22 - 180398608140562226802749772860675419745/527309804746108499645945481\ 22758*c_1001_7^21 + 320217245125657713091382176359603650503/5273098\ 0474610849964594548122758*c_1001_7^20 + 321426264531880214644330950794931273665/210923921898443399858378192\ 491032*c_1001_7^19 - 510722528174704871811341242732744368797/263654\ 90237305424982297274061379*c_1001_7^18 + 7866647400517383364896802656673272982887/28123189586459119981117092\ 3321376*c_1001_7^17 - 12149948606813057396242281571078283634481/168\ 7391375187547198867025539928256*c_1001_7^16 - 120411397757436495688676557305439750441241/337478275037509439773405\ 1079856512*c_1001_7^15 + 1852137516917952791231533189218632238301/2\ 6365490237305424982297274061379*c_1001_7^14 - 1005404896291302142146730130700629035600159/13499131001500377590936\ 204319426048*c_1001_7^13 + 1422758606450059916821482730173315636014\ 423/26998262003000755181872408638852096*c_1001_7^12 - 1318367742557913882333277639702017747167081/53996524006001510363744\ 817277704192*c_1001_7^11 + 2551202809401699840451163577887107262874\ 91/53996524006001510363744817277704192*c_1001_7^10 + 178787977613813850559666351833256671850897/539965240060015103637448\ 17277704192*c_1001_7^9 - 73147740164060526824610538689435735569259/\ 17998841335333836787914939092568064*c_1001_7^8 + 66765427509005829321570303269998951917787/2699826200300075518187240\ 8638852096*c_1001_7^7 - 9529366445408424852369111905615021788019/89\ 99420667666918393957469546284032*c_1001_7^6 + 3077494641022024436335418057087524304849/89994206676669183939574695\ 46284032*c_1001_7^5 - 1136477114555263605962980478206534782493/1349\ 9131001500377590936204319426048*c_1001_7^4 + 836686888639485116144597944643911246771/539965240060015103637448172\ 77704192*c_1001_7^3 - 110934164184164963567499330862907849377/53996\ 524006001510363744817277704192*c_1001_7^2 + 9687836421337951805055668472215023957/53996524006001510363744817277\ 704192*c_1001_7 - 152263811096601019792229658128589059/179988413353\ 33836787914939092568064, c_0101_0 + 257852578943756108814123819869702104/26365490237305424982297\ 274061379*c_1001_7^25 + 526046432134355151498084629655066476/263654\ 90237305424982297274061379*c_1001_7^24 - 918499513903600928325754459266569714/878849674576847499409909135379\ 3*c_1001_7^23 + 174700308103675547029006257115377394/26365490237305\ 424982297274061379*c_1001_7^22 + 3076122210258367027225692937968985\ 9835/52730980474610849964594548122758*c_1001_7^21 - 52263867405135463294277118688931199079/5273098047461084996459454812\ 2758*c_1001_7^20 - 70999209297760511214164236054300298363/210923921\ 898443399858378192491032*c_1001_7^19 + 346616748916673577822571471531505215385/105461960949221699929189096\ 245516*c_1001_7^18 - 1272594938233667456507341931369323223317/28123\ 1895864591199811170923321376*c_1001_7^17 + 1436698433833509774004166508721787152975/16873913751875471988670255\ 39928256*c_1001_7^16 + 20985543337748673144876496899190783767239/33\ 74782750375094397734051079856512*c_1001_7^15 - 19465015340913885414021757595156953954459/1687391375187547198867025\ 539928256*c_1001_7^14 + 158355730827850333994557620834257368329949/\ 13499131001500377590936204319426048*c_1001_7^13 - 213354089011519481357562871066867470953753/269982620030007551818724\ 08638852096*c_1001_7^12 + 18241244740849439246284158606558246747602\ 3/53996524006001510363744817277704192*c_1001_7^11 - 24238809590442615209264035926936198786679/5399652400600151036374481\ 7277704192*c_1001_7^10 - 33392508832278935154809695300339500403003/\ 53996524006001510363744817277704192*c_1001_7^9 + 11340413128611064910534816071201729070055/1799884133533383678791493\ 9092568064*c_1001_7^8 - 9619538805481145558804669388894787421317/26\ 998262003000755181872408638852096*c_1001_7^7 + 1301734708051570758079458103985253302359/89994206676669183939574695\ 46284032*c_1001_7^6 - 401569020571936922452719427543739586875/89994\ 20667666918393957469546284032*c_1001_7^5 + 71046960848843750458318124103375166523/6749565500750188795468102159\ 713024*c_1001_7^4 - 100363011515034563938640108339191792141/5399652\ 4006001510363744817277704192*c_1001_7^3 + 12593108792879198684147451591820676221/5399652400600151036374481727\ 7704192*c_1001_7^2 - 1033274817610422120061885829628290983/53996524\ 006001510363744817277704192*c_1001_7 + 26228823711680423881859873872609287/1799884133533383678791493909256\ 8064, c_0101_1 + 1161527362202301184270410394612569704/2636549023730542498229\ 7274061379*c_1001_7^25 + 1958315411712574796658667894027739300/2636\ 5490237305424982297274061379*c_1001_7^24 - 13055672559538925846385111005124382354/2636549023730542498229727406\ 1379*c_1001_7^23 + 5584761365286589167529840510780049546/2636549023\ 7305424982297274061379*c_1001_7^22 + 44602248693529449360132161666558472015/1757699349153694998819818270\ 7586*c_1001_7^21 - 94771770278964870221063960256573665665/175769934\ 91536949988198182707586*c_1001_7^20 + 108622406713760955461891556086803578163/210923921898443399858378192\ 491032*c_1001_7^19 + 128231401077353411008015118412837788060/878849\ 6745768474994099091353793*c_1001_7^18 - 21874389694670999545398429960264941784305/8436956875937735994335127\ 69964128*c_1001_7^17 + 22988288172407977109098870565179195453565/16\ 87391375187547198867025539928256*c_1001_7^16 + 26155001515031996935998893534449464017223/1124927583458364799244683\ 693285504*c_1001_7^15 - 3243160623215766821411128667353885610285/52\ 730980474610849964594548122758*c_1001_7^14 + 343417814484379028715922818372960416659985/449971033383345919697873\ 4773142016*c_1001_7^13 - 170358720844569337674137550604896290223485\ 9/26998262003000755181872408638852096*c_1001_7^12 + 651173412912935144611987368743082061408183/179988413353338367879149\ 39092568064*c_1001_7^11 - 22453125664565895990337842987054698805599\ 7/17998841335333836787914939092568064*c_1001_7^10 - 6732260441312932512851082157377100776427/17998841335333836787914939\ 092568064*c_1001_7^9 + 215499182613674765743351226298211455686897/5\ 3996524006001510363744817277704192*c_1001_7^8 - 87321501564342538113173553547723263834431/2699826200300075518187240\ 8638852096*c_1001_7^7 + 45065042926566575768379460643648094573461/2\ 6998262003000755181872408638852096*c_1001_7^6 - 5714649396405294772019169367676981434665/89994206676669183939574695\ 46284032*c_1001_7^5 + 2475858163545004051138753234198392683075/1349\ 9131001500377590936204319426048*c_1001_7^4 - 2144159846851025563675407118649537030215/53996524006001510363744817\ 277704192*c_1001_7^3 + 331482747872566403775139392407466170557/5399\ 6524006001510363744817277704192*c_1001_7^2 - 32830743780842915232854293877899602565/5399652400600151036374481727\ 7704192*c_1001_7 + 1617764980879572953610308016786646409/5399652400\ 6001510363744817277704192, c_0101_11 - c_1001_7, c_0101_6 + 30918856357918102147799312368667464/878849674576847499409909\ 1353793*c_1001_7^25 + 211252729901984970430039796322245324/26365490\ 237305424982297274061379*c_1001_7^24 - 1060780139082909268946437734457062950/26365490237305424982297274061\ 379*c_1001_7^23 - 152530357631339930114379865915156930/878849674576\ 8474994099091353793*c_1001_7^22 + 133053433170304876268661090842133\ 43147/52730980474610849964594548122758*c_1001_7^21 - 15294213692031028263429760196854806923/5273098047461084996459454812\ 2758*c_1001_7^20 - 97359425625291513323472978445568218475/210923921\ 898443399858378192491032*c_1001_7^19 + 155916445946359662527425425933438488203/105461960949221699929189096\ 245516*c_1001_7^18 - 866242424971483402901381511263400319135/843695\ 687593773599433512769964128*c_1001_7^17 - 807074909452135631736188302394222347395/562463791729182399622341846\ 642752*c_1001_7^16 + 12445781699625139877259302500576902699583/3374\ 782750375094397734051079856512*c_1001_7^15 - 5457613742829427322043272801409332583733/16873913751875471988670255\ 39928256*c_1001_7^14 + 6399884146550794061158381784658613842461/134\ 99131001500377590936204319426048*c_1001_7^13 + 54916414924844030392435434531903400197679/2699826200300075518187240\ 8638852096*c_1001_7^12 - 142429289941496028193884986805506113109777\ /53996524006001510363744817277704192*c_1001_7^11 + 94797205705340658342091124679498040098709/5399652400600151036374481\ 7277704192*c_1001_7^10 - 33984490209231718936649233441388792905151/\ 53996524006001510363744817277704192*c_1001_7^9 - 921053958791436775376232767678372587835/539965240060015103637448172\ 77704192*c_1001_7^8 + 1622923649854871739125032942980865074673/8999\ 420667666918393957469546284032*c_1001_7^7 - 3500452921557704070994118978992473173855/26998262003000755181872408\ 638852096*c_1001_7^6 + 507965641429747129476620463683662338793/8999\ 420667666918393957469546284032*c_1001_7^5 - 38295680896099328973395441903268215657/2249855166916729598489367386\ 571008*c_1001_7^4 + 193096938544099528133611640598012133931/5399652\ 4006001510363744817277704192*c_1001_7^3 - 26473246636393927846763289731842792679/5399652400600151036374481727\ 7704192*c_1001_7^2 + 2085858789324774907394715321155176421/53996524\ 006001510363744817277704192*c_1001_7 - 60444479294634535482623060229169019/5399652400600151036374481727770\ 4192, c_0110_11 - 874098805263763001010442359910855832/2636549023730542498229\ 7274061379*c_1001_7^25 - 1248410269056184629126404851913267660/2636\ 5490237305424982297274061379*c_1001_7^24 + 10562845862644085769792409552074148966/2636549023730542498229727406\ 1379*c_1001_7^23 - 5998934275462252857334942663391595794/2636549023\ 7305424982297274061379*c_1001_7^22 - 35392137196228824837036958045873664065/1757699349153694998819818270\ 7586*c_1001_7^21 + 80081115739864860537268965312360576869/175769934\ 91536949988198182707586*c_1001_7^20 - 130461717004353772167523382727344341885/210923921898443399858378192\ 491032*c_1001_7^19 - 430424248933276098050280748568446994563/351539\ 86983073899976396365415172*c_1001_7^18 + 18414636347899814793688778509554966803591/8436956875937735994335127\ 69964128*c_1001_7^17 - 18024428535356114898601056140736849249671/16\ 87391375187547198867025539928256*c_1001_7^16 - 23673097188748866897659206493447290616613/1124927583458364799244683\ 693285504*c_1001_7^15 + 87282260138269686326484472117990952051743/1\ 687391375187547198867025539928256*c_1001_7^14 - 272347007226947327379770417597024897916551/449971033383345919697873\ 4773142016*c_1001_7^13 + 125296775065576309814590624797343098186736\ 1/26998262003000755181872408638852096*c_1001_7^12 - 427099578487122627926789699925229608762805/179988413353338367879149\ 39092568064*c_1001_7^11 + 11097942650820456396432977792702915338526\ 1/17998841335333836787914939092568064*c_1001_7^10 + 35044233024575128933108663202974259985445/1799884133533383678791493\ 9092568064*c_1001_7^9 - 181874962048370233481355043547500161640313/\ 53996524006001510363744817277704192*c_1001_7^8 + 60779980887178094107962217865659700093573/2699826200300075518187240\ 8638852096*c_1001_7^7 - 27729823802520171112007243770564126802765/2\ 6998262003000755181872408638852096*c_1001_7^6 + 3155550949755172529052452393723959545231/89994206676669183939574695\ 46284032*c_1001_7^5 - 153680293134070936182716056179854257333/16873\ 91375187547198867025539928256*c_1001_7^4 + 953760070742165488721821318366734045589/539965240060015103637448172\ 77704192*c_1001_7^3 - 130792831855889622995331028590850810717/53996\ 524006001510363744817277704192*c_1001_7^2 + 11313887576178785887837366051817835835/5399652400600151036374481727\ 7704192*c_1001_7 - 464164753417354236022909479895650617/53996524006\ 001510363744817277704192, c_1001_0 - 265733686943619223105778351482918040/87884967457684749940990\ 91353793*c_1001_7^25 - 977572523907418609049895457910827124/2636549\ 0237305424982297274061379*c_1001_7^24 + 9772304413587060446331497187536228954/26365490237305424982297274061\ 379*c_1001_7^23 - 2526453734844152809720444177896816910/87884967457\ 68474994099091353793*c_1001_7^22 - 92483268675491895593527910334816866281/5273098047461084996459454812\ 2758*c_1001_7^21 + 238274650938729873918243006634595916203/52730980\ 474610849964594548122758*c_1001_7^20 - 343116039766907917884000562842523812727/210923921898443399858378192\ 491032*c_1001_7^19 - 561892868718162703011024571487701999901/527309\ 80474610849964594548122758*c_1001_7^18 + 18811591001701765002077185261806395485453/8436956875937735994335127\ 69964128*c_1001_7^17 - 8488134977847238030426225994052011466043/562\ 463791729182399622341846642752*c_1001_7^16 - 52170745908721222987122356942685046624921/3374782750375094397734051\ 079856512*c_1001_7^15 + 42944236457969538428158695480751434734813/8\ 43695687593773599433512769964128*c_1001_7^14 - 910073283854799937692398297426551818668519/134991310015003775909362\ 04319426048*c_1001_7^13 + 15647517625037098472606358998529779017871\ 27/26998262003000755181872408638852096*c_1001_7^12 - 1849541563463389221075838337748402926396521/53996524006001510363744\ 817277704192*c_1001_7^11 + 6626578821895571956443915402968308636752\ 47/53996524006001510363744817277704192*c_1001_7^10 + 1294131324527113472416020201741815241641/53996524006001510363744817\ 277704192*c_1001_7^9 - 196286184726821594466628324257672527017285/5\ 3996524006001510363744817277704192*c_1001_7^8 + 27110352447198706612847944421161209359353/8999420667666918393957469\ 546284032*c_1001_7^7 - 42157052557145189486656846367655993595165/26\ 998262003000755181872408638852096*c_1001_7^6 + 5330918237321444272003238558101333585145/89994206676669183939574695\ 46284032*c_1001_7^5 - 763900097125703909849280166893435133813/44997\ 10333833459196978734773142016*c_1001_7^4 + 1960391539877591321623825779542856868819/53996524006001510363744817\ 277704192*c_1001_7^3 - 297970473350720028164233490364839135173/5399\ 6524006001510363744817277704192*c_1001_7^2 + 28901025214645112311184952351165964333/5399652400600151036374481727\ 7704192*c_1001_7 - 1384500922332543962741271073359288253/5399652400\ 6001510363744817277704192, c_1001_7^26 + 3/2*c_1001_7^25 - 47/4*c_1001_7^24 + 13/2*c_1001_7^23 + 941/16*c_1001_7^22 - 533/4*c_1001_7^21 + 1451/64*c_1001_7^20 + 22341/64*c_1001_7^19 - 164661/256*c_1001_7^18 + 180163/512*c_1001_7^17 + 575231/1024*c_1001_7^16 - 1546285/1024*c_1001_7^15 + 7634559/4096*c_1001_7^14 - 12456781/8192*c_1001_7^13 + 13991391/16384*c_1001_7^12 - 289949/1024*c_1001_7^11 - 137875/8192*c_1001_7^10 + 789567/8192*c_1001_7^9 - 1242143/16384*c_1001_7^8 + 19813/512*c_1001_7^7 - 30205/2048*c_1001_7^6 + 35569/8192*c_1001_7^5 - 16143/16384*c_1001_7^4 + 43/256*c_1001_7^3 - 167/8192*c_1001_7^2 + 13/8192*c_1001_7 - 1/16384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.800 Total time: 1.000 seconds, Total memory usage: 32.09MB