Magma V2.19-8 Wed Aug 21 2013 00:24:35 on localhost [Seed = 3203968395] Type ? for help. Type -D to quit. Loading file "K14n13647__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13647 geometric_solution 12.59960697 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 7 -7 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583199739108 1.224730591281 0 3 6 5 0132 2103 0132 0132 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 1 -1 0 -1 0 0 1 -1 1 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249031116141 0.731755842634 7 0 5 8 0132 0132 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 0 0 0 0 -6 7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275538407329 0.761225479928 9 1 7 0 0132 2103 3012 0132 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 -1 0 1 0 0 0 0 0 -1 0 1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435408223167 0.517837255954 7 6 0 10 3012 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.457450934887 0.806398665166 9 11 1 2 2103 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.579578208121 1.161492451806 9 10 4 1 3120 2031 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 6 1 0 -7 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467795742993 0.938174500731 2 3 12 4 0132 1230 0132 1230 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 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.412762877176 0.954984961337 11 12 2 10 0132 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198581478203 1.022702214066 3 12 5 6 0132 0213 2103 3120 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 0 0 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618648817304 0.882309588872 6 11 4 8 1302 3201 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.663581318263 0.626742956696 8 5 10 12 0132 0132 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474720159451 0.605797526420 11 8 9 7 3120 2103 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.471354571588 0.367989642860 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0011_12'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_1001_7'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_1001_11']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_6']), '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' : 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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : 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_1001_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : negation(d['c_1001_11']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_1001_7']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : d['c_0011_12'], 'c_1010_2' : d['c_0011_12'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : negation(d['c_0101_6']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_1001_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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0101_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_11, c_0011_12, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_0101_7, c_1001_11, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 46040314972873/4977633870*c_1001_7^12 + 190062818053126/2488816935*c_1001_7^11 + 1018178779553567/4977633870*c_1001_7^10 + 84117485595938/2488816935*c_1001_7^9 - 177165936312389/261980730*c_1001_7^8 - 568961868027935/995526774*c_1001_7^7 + 1144082223193153/995526774*c_1001_7^6 + 2993291643526747/2488816935*c_1001_7^5 - 6249400910757523/4977633870*c_1001_7^4 - 5528515306461343/4977633870*c_1001_7^3 + 2284167630499496/2488816935*c_1001_7^2 + 74436689327603/184356810*c_1001_7 - 1602605518042657/4977633870, c_0011_0 - 1, c_0011_10 - c_1001_7, c_0011_11 - 105/121*c_1001_7^12 - 722/121*c_1001_7^11 - 1405/121*c_1001_7^10 + 965/121*c_1001_7^9 + 4980/121*c_1001_7^8 - 200/121*c_1001_7^7 - 8310/121*c_1001_7^6 + 449/121*c_1001_7^5 + 7580/121*c_1001_7^4 - 2267/121*c_1001_7^3 - 2645/121*c_1001_7^2 + 1820/121*c_1001_7 - 321/121, c_0011_12 + 1315/363*c_1001_7^12 + 7982/363*c_1001_7^11 + 10238/363*c_1001_7^10 - 27101/363*c_1001_7^9 - 55316/363*c_1001_7^8 + 52472/363*c_1001_7^7 + 113459/363*c_1001_7^6 - 81640/363*c_1001_7^5 - 112003/363*c_1001_7^4 + 91565/363*c_1001_7^3 + 35194/363*c_1001_7^2 - 14683/121*c_1001_7 + 8549/363, c_0011_4 + c_1001_7^2 + c_1001_7 - 1, c_0011_6 + 455/121*c_1001_7^12 + 2806/121*c_1001_7^11 + 3870/121*c_1001_7^10 - 8578/121*c_1001_7^9 - 18918/121*c_1001_7^8 + 16516/121*c_1001_7^7 + 38188/121*c_1001_7^6 - 26307/121*c_1001_7^5 - 37727/121*c_1001_7^4 + 30071/121*c_1001_7^3 + 12107/121*c_1001_7^2 - 14461/121*c_1001_7 + 2601/121, c_0101_0 + 1, c_0101_1 + 113/121*c_1001_7^12 + 603/121*c_1001_7^11 + 279/121*c_1001_7^10 - 3689/121*c_1001_7^9 - 4668/121*c_1001_7^8 + 8207/121*c_1001_7^7 + 11294/121*c_1001_7^6 - 12143/121*c_1001_7^5 - 11655/121*c_1001_7^4 + 11963/121*c_1001_7^3 + 3440/121*c_1001_7^2 - 5266/121*c_1001_7 + 1068/121, c_0101_11 + 199/121*c_1001_7^12 + 1290/121*c_1001_7^11 + 2150/121*c_1001_7^10 - 2722/121*c_1001_7^9 - 8453/121*c_1001_7^8 + 3986/121*c_1001_7^7 + 15179/121*c_1001_7^6 - 6871/121*c_1001_7^5 - 14049/121*c_1001_7^4 + 9352/121*c_1001_7^3 + 4333/121*c_1001_7^2 - 4861/121*c_1001_7 + 840/121, c_0101_6 - c_1001_7^2 - c_1001_7 + 1, c_0101_7 - 105/121*c_1001_7^12 - 722/121*c_1001_7^11 - 1405/121*c_1001_7^10 + 965/121*c_1001_7^9 + 4980/121*c_1001_7^8 - 200/121*c_1001_7^7 - 8310/121*c_1001_7^6 + 449/121*c_1001_7^5 + 7580/121*c_1001_7^4 - 2267/121*c_1001_7^3 - 2645/121*c_1001_7^2 + 1820/121*c_1001_7 - 321/121, c_1001_11 + 467/363*c_1001_7^12 + 2809/363*c_1001_7^11 + 3391/363*c_1001_7^10 - 10486/363*c_1001_7^9 - 20749/363*c_1001_7^8 + 19270/363*c_1001_7^7 + 43027/363*c_1001_7^6 - 28118/363*c_1001_7^5 - 42932/363*c_1001_7^4 + 29974/363*c_1001_7^3 + 14570/363*c_1001_7^2 - 4567/121*c_1001_7 + 1846/363, c_1001_7^13 + 8*c_1001_7^12 + 20*c_1001_7^11 - 2*c_1001_7^10 - 74*c_1001_7^9 - 43*c_1001_7^8 + 140*c_1001_7^7 + 98*c_1001_7^6 - 169*c_1001_7^5 - 85*c_1001_7^4 + 130*c_1001_7^3 + 18*c_1001_7^2 - 46*c_1001_7 + 9 ], 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_0101_7, c_1001_11, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 368153846250621949845727620754872939223014636726897843682493927/608\ 787491268338985073391090782536875466781040069141127781808*c_1001_7^\ 17 + 15353362744295359519254880246180360294620439286538882441046376\ 13/598968338183365775636723492544108861346349087809961432172424*c_1\ 001_7^16 - 19647184613922046126634789241513928954096951705718859184\ 25802017245/3156563142226337637605532805707453699295259692758496747\ 54867448*c_1001_7^15 + 48767935618473067422640671055407387873245348\ 94794911474424674937673/6313126284452675275211065611414907398590519\ 38551699349509734896*c_1001_7^14 - 9451809288948874371790629033620353059747924093531438121570670485/23\ 21002310460542380592303533608421837717102715263600549668143*c_1001_\ 7^13 - 398105398683861133301691118902642645937846056559585742392062\ 438327/157828157111316881880276640285372684964762984637924837377433\ 724*c_1001_7^12 + 1317903913512198416916756205443788498556676053455\ 20824209317173363/7891407855565844094013832014268634248238149231896\ 2418688716862*c_1001_7^11 + 181603798949083562911871862349918660198\ 2215589242798593124151777537/63131262844526752752110656114149073985\ 9051938551699349509734896*c_1001_7^10 - 15300802557992509219945977674005257934963329639272316008678711375/5\ 174693675780881373123824271651563441467638840587699586145368*c_1001\ _7^9 - 115046564192722831578895984529350012950142020171269608625402\ 2447/2545615437279304546456074843312462660721983623192336086732802*\ c_1001_7^8 - 127459285693475691403574508080194124376187759509491760\ 42067657501/1018246174911721818582429937324985064288793449276934434\ 6931208*c_1001_7^7 + 4885091246179622240788411589825836450786713309\ 62146531241407239127/3156563142226337637605532805707453699295259692\ 75849674754867448*c_1001_7^6 + 923208521422934102633447004231568390\ 61466503107990814495318633745/3945703927782922047006916007134317124\ 1190746159481209344358431*c_1001_7^5 - 724065317540552448829457923484352785088788403075139997372056351261/\ 315656314222633763760553280570745369929525969275849674754867448*c_1\ 001_7^4 - 533248208126430563313947435866705944847343665954235216938\ 4274697/25456154372793045464560748433124626607219836231923360867328\ 02*c_1001_7^3 + 108375227571126676845527542338890825907233846891663\ 2922190168065191/63131262844526752752110656114149073985905193855169\ 9349509734896*c_1001_7^2 + 2369047145209392737586216060856596093661\ 01863627699654771431784791/3156563142226337637605532805707453699295\ 25969275849674754867448*c_1001_7 - 242844099182724869255032158716335606042929081781903363641251951607/\ 315656314222633763760553280570745369929525969275849674754867448, c_0011_0 - 1, c_0011_10 - 1506012786510332538003865783653864871674483223458755/127946\ 7836847422866540202762120421875162156209026746*c_1001_7^17 + 3051757841829858354253007797615931910303905068811311/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^16 - 2850818114139559043297002785064500674040493752357475/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^15 - 4558821708615864553799266851383996447371246777593775/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^14 + 9655923042025894250190894364915864134469804715907896/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 - 7414444088375087800109125805307847059171964623541202/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^12 - 6190733418736588551158925290048713422823721259997692/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^11 + 7639478451555743929995441067321665674496289514090247/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^10 + 10046710535336687817077108314292325556018521642504279/1279467836847\ 422866540202762120421875162156209026746*c_1001_7^9 - 7135160863261173214751461428142838977040121533329901/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^8 - 6044231484577636691851061773435907083310168848154509/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^7 - 5479231854187209413411247411909369850825657391120193/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^6 + 11114506599421300903208342233216562085355042561589909/1279467836847\ 422866540202762120421875162156209026746*c_1001_7^5 + 11398799361430610378099045977442547330386552983071327/1279467836847\ 422866540202762120421875162156209026746*c_1001_7^4 - 7499366682853664438364161900135734115897306131644457/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^3 - 4112088713361003183130742349469900291506133886057873/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^2 + 2148707729044014309353709999006225733583716368109534/63973391842371\ 1433270101381060210937581078104513373*c_1001_7 + 1811229026580981417424521813476604355032144423400306/63973391842371\ 1433270101381060210937581078104513373, c_0011_11 + 502593153722915129842716671053202097247120152824465/2558935\ 673694845733080405524240843750324312418053492*c_1001_7^17 - 1164731869726496239218874966588695302026647914541405/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^16 + 1376568962562256048882698055860026913918900586973199/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^15 + 844958094342484749663447890178361544816949298887375/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^14 - 1154905230196099916415000339964277954481921442277653/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 + 713009512199005376993167776837620740010547575355717/639733918423711\ 433270101381060210937581078104513373*c_1001_7^12 + 869455766267606889385805420827399058699821701608967/639733918423711\ 433270101381060210937581078104513373*c_1001_7^11 + 416449230660370649777782029135040881185747267484869/255893567369484\ 5733080405524240843750324312418053492*c_1001_7^10 - 8249678458006271515204823353700270602596052878903101/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^9 + 3227388514974737517280923577260177610780157218729273/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^8 + 2074670256556060582255335457720110972259627854190657/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^7 + 2366014060673113940113177085018966777741124228810145/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^6 - 2437564976788122322393684231211952137328897809627921/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^5 - 4089694742227214311148528032564986099284947147808277/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^4 + 4064940703241027303783966156490437132746215823821229/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^3 + 1719428709126787532741407302984738197397690938913195/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^2 - 171816339638921576759088016543630879057346358414101/127946783684742\ 2866540202762120421875162156209026746*c_1001_7 - 388056518360429982840505663653226155615012741536283/639733918423711\ 433270101381060210937581078104513373, c_0011_12 - 2982886822467076445245011167158431696651289047379935/255893\ 5673694845733080405524240843750324312418053492*c_1001_7^17 + 2972199647781510942104382749864375940263778317330846/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^16 - 6976629484559143349006511337083579695005250416887240/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^15 + 32420080581861506075089834367397345398651088622670843/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^14 - 3979820971893737018294702661983529309130059242756900/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 - 2449277881418683794064580195977013206960415454312057/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^12 + 85014386297398795587409515046727845860890909757237/6397339184237114\ 33270101381060210937581078104513373*c_1001_7^11 + 13722493373863426811356787208585196536029765174513105/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^10 - 1728419606196162482594930884604575458728978896621732/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^9 - 2783196813105860589438670977889842487895553979330655/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^8 - 1935946783893327476340343885435671004693503148434553/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^7 + 733156388180852658589690286805997744558360281549391/639733918423711\ 433270101381060210937581078104513373*c_1001_7^6 + 6413800193431120418458122922227999075272371041995355/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^5 - 1761910507788076145703931638235194721232568957818262/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^4 - 4467799275898443541410319564290957899892661665144541/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^3 + 2791256731656462613415319039582909363365333672194249/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^2 + 2034771246090818652979784067571743234838811406034341/12794678368474\ 22866540202762120421875162156209026746*c_1001_7 - 663093874897606389954422355876277648351191258330485/127946783684742\ 2866540202762120421875162156209026746, c_0011_4 + 4648550142733134961057233135767564428559022418136651/1279467\ 836847422866540202762120421875162156209026746*c_1001_7^17 - 7704986382775041737148661816791469810094373673721632/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^16 + 16821116054792581170804149459687279574914970886839830/6397339184237\ 11433270101381060210937581078104513373*c_1001_7^15 - 29511228874141567377526751243492027878676547821786547/1279467836847\ 422866540202762120421875162156209026746*c_1001_7^14 + 4090039542563086816401005550893718772327240227476555/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 + 8826844714385912794855079467476958672047859248651875/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^12 + 6528383371178283623105198541634418850030685748050346/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^11 - 14741380991133289198865932108359006276759572155501297/1279467836847\ 422866540202762120421875162156209026746*c_1001_7^10 + 2808149196286781465779254429835448073062517181668951/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^9 + 3755176033222860861394855416253570581574673649999358/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^8 + 9616278985634140061936076850361835913336665414591000/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^7 + 1159370565960958292999676688117009766351575044096074/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^6 - 8189933794805540480708413697549359444108375520856247/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^5 - 661736412384951494595459987450542006840377267251664/639733918423711\ 433270101381060210937581078104513373*c_1001_7^4 + 7158960296467820012522760566578758715906543888754327/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^3 + 3178146102579118627834778066552129708772357732667861/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^2 - 1923492469888341218843563295738493892245489722232006/63973391842371\ 1433270101381060210937581078104513373*c_1001_7 + 7869416486944055354485592874973767769148797141150/63973391842371143\ 3270101381060210937581078104513373, c_0011_6 - 42448532286639947966347385695249914555791768726333/639733918\ 423711433270101381060210937581078104513373*c_1001_7^17 - 730373614236324414447550166598337014700966615591697/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^16 + 2514078642933504106290675310118516657485893949410571/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^15 - 6153009686628700945842785729451448157719741954069673/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^14 + 2426650357133097475099367678929907136692595570865683/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 - 236030424425754845978958575222236034166021943802869/639733918423711\ 433270101381060210937581078104513373*c_1001_7^12 - 3265985039648258088404726695473007990669825355169430/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^11 + 434339846513069962517417350562541604823817619302618/639733918423711\ 433270101381060210937581078104513373*c_1001_7^10 - 1535686208861239604312740812829162275633920497414497/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^9 - 305013729574145302221749827159709580376348811443637/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^8 - 1011962449048294427156051532339072777226241220043363/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^7 - 3999899975157807922325124711603916015346908168620831/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^6 - 1599579579643521958675878574917559387745032532381057/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^5 + 2680939840444685081696500353736147938018484960354017/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^4 - 323121582992991458841763483024480562274437372609615/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^3 - 1654356197601514083097118768601896371498217262117105/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^2 - 657236539159788046912736591047320095120061767794854/639733918423711\ 433270101381060210937581078104513373*c_1001_7 - 227398173001092981471582679023131383477551998504983/639733918423711\ 433270101381060210937581078104513373, c_0101_0 + 686225140137537159959551142710939793977642754296645/12794678\ 36847422866540202762120421875162156209026746*c_1001_7^17 - 1269554303135225230993613684371626891126142680839834/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^16 + 2814970392499717476209294585470097961698499578358513/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^15 - 6062891116358284569122837739779890660769633396797801/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^14 + 1283181942420338474883352806112508796685370686780411/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 + 576907310706201665775875980281478877487095073203545/639733918423711\ 433270101381060210937581078104513373*c_1001_7^12 + 555595741054017072543511342490032817015221211994872/639733918423711\ 433270101381060210937581078104513373*c_1001_7^11 - 2903249157154900506431040360386707034191025268217759/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^10 - 391528161904542023229735578703351638951273821881463/639733918423711\ 433270101381060210937581078104513373*c_1001_7^9 - 781752795992132547395905730727961109884901423445022/639733918423711\ 433270101381060210937581078104513373*c_1001_7^8 + 1066174414390976334705566960057216319386815084420327/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^7 - 529185063580368796070955761149425599344860444820748/639733918423711\ 433270101381060210937581078104513373*c_1001_7^6 - 2084285478096456504806533327405918295254046855961924/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^5 - 840879559915863199484726954235939141751634449965253/639733918423711\ 433270101381060210937581078104513373*c_1001_7^4 + 551546667651337118822193909261892177731643758648414/639733918423711\ 433270101381060210937581078104513373*c_1001_7^3 + 496336174181099204292078973730288949985091260450887/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^2 - 180615006855236031146099494147260583112594656158347/639733918423711\ 433270101381060210937581078104513373*c_1001_7 - 592878187579086294314200051666871568125316664081048/639733918423711\ 433270101381060210937581078104513373, c_0101_1 - 400202587881613959644313716191925007191907017273887/25589356\ 73694845733080405524240843750324312418053492*c_1001_7^17 + 782903167719950873701971828030363881237702796848479/255893567369484\ 5733080405524240843750324312418053492*c_1001_7^16 + 989341396478787739872880781758341942504131070132347/255893567369484\ 5733080405524240843750324312418053492*c_1001_7^15 - 3659226846455178492684884074044766482573263965263295/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^14 + 3701750396304650064850962709334315958107501901115000/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 - 2361129077489606666643509355834729732579519101744149/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^12 - 959726555163223484436414601497927730853592410566817/639733918423711\ 433270101381060210937581078104513373*c_1001_7^11 + 7440177297199038785816486994215200243988161184300429/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^10 + 11457376085935311773977963558730809405473221573990839/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^9 - 3582213424792313593416123355201306142089212390106819/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^8 - 4720585176389902498777936512201753901296598600751971/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^7 + 4437628117318070987038527003019500400033815201953609/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^6 + 8998042700071934362301798155597948666371070567462263/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^5 + 8982761149421323065414917382276909715272729450630367/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^4 - 6348930014285402215835794587074063216347907040611139/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^3 - 2955377004014029372666582093756753955591143644926349/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^2 + 2911312733744094962037658074339520013406043888603591/12794678368474\ 22866540202762120421875162156209026746*c_1001_7 + 1432588870504360602891905795881238750605479880245783/63973391842371\ 1433270101381060210937581078104513373, c_0101_11 + 3132556914318933421102786150002680323498114831898135/255893\ 5673694845733080405524240843750324312418053492*c_1001_7^17 - 5541203248923393955556580098073890637182920640127943/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^16 + 4311761072524165836421902897924692408140956675220277/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^15 + 10686323603449476004913156855752906854396651615955703/1279467836847\ 422866540202762120421875162156209026746*c_1001_7^14 - 9561154570749316331410990926299941960432651149078954/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 + 7101748335656072955413455164844323092333986280765786/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^12 + 5996586373901926115726781232798323278318494417405737/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^11 + 954528998103230477808053249807646671693944702219995/255893567369484\ 5733080405524240843750324312418053492*c_1001_7^10 - 28430911688546536855348141548807914751637944596548323/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^9 + 14374916017521337392613916264275814349753478586866607/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^8 + 18551231140718451830248735128058599683185882003596207/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^7 + 16199689386121696015749891348801457028979661950173103/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^6 - 16017254564387291873419097060135201511886881371567491/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^5 - 25772487367737336263418902933307853039278037428201755/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^4 + 9589014529433253280092604327974713966092332456101467/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^3 + 10919652894786679756590981563746037568993658232709809/1279467836847\ 422866540202762120421875162156209026746*c_1001_7^2 - 952964627967049306631784636420293260009675539747775/127946783684742\ 2866540202762120421875162156209026746*c_1001_7 - 2053132773020732487702940425457556766185592418959039/63973391842371\ 1433270101381060210937581078104513373, c_0101_6 + 52948672329537144756722409085586659808694399391823/127946783\ 6847422866540202762120421875162156209026746*c_1001_7^17 - 385645475848054053017004980020043688804116969830901/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^16 + 1721871907773671483939949122437783574469405365760201/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^15 - 1727209974274038990151297663160763957494433645442946/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^14 + 2248725619271892522292864019116508509479669209194405/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 - 466922482829880158913251117684569044215795822336482/639733918423711\ 433270101381060210937581078104513373*c_1001_7^12 - 939575560175674652776609090959955012835260840000018/639733918423711\ 433270101381060210937581078104513373*c_1001_7^11 + 2026467161146048678633045503746004987530311130092141/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^10 + 4413622929083949326176369582628552588778199512999639/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^9 - 423072515401761267120371527035977973542915381619599/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^8 + 141859211933650835590341288302080114158346526381271/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^7 + 296725927316606430130584749313563943870497033631013/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^6 + 2661797145428344078718822512478533861980500258766891/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^5 + 3057270653168585284694761684102713701178409682571067/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^4 - 866910984670029589612569465454615164669257067978487/127946783684742\ 2866540202762120421875162156209026746*c_1001_7^3 - 1584078157695585500418348022504654934759701078349526/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^2 + 734490704444498977275958918147239085879622883386238/639733918423711\ 433270101381060210937581078104513373*c_1001_7 + 958692951737397943492380697151506000934235103135343/639733918423711\ 433270101381060210937581078104513373, c_0101_7 - 192232331137487461738376845710094507963123221867071/25589356\ 73694845733080405524240843750324312418053492*c_1001_7^17 + 6560342488442042434161800547096312827378776917874879/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^16 - 22362865967823139538351764235832547482282009395754861/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^15 + 24252753068941590249178722641421030639980127291329035/1279467836847\ 422866540202762120421875162156209026746*c_1001_7^14 - 11928922145155934336805605073715915381094659398022316/6397339184237\ 11433270101381060210937581078104513373*c_1001_7^13 + 4696984983441986467718068335774463487593151107976171/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^12 + 4486676511499705746099620421737818800658493851097280/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^11 + 14239024939720017961202330886714918238831702646752949/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^10 - 23683055793409031008323411646536452227467272493916249/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^9 + 9425742704422185222767143138934187362218883561279829/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^8 + 7863648427406704287748125898637735936547239928791625/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^7 + 22469021170223350639285779942439456920356184002344673/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^6 - 2816922368666259040659250807777505581007107630703961/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^5 - 23651165231360565181041696989570005828882875390203469/2558935673694\ 845733080405524240843750324312418053492*c_1001_7^4 - 138159108655091068421884630771061311899039681724991/255893567369484\ 5733080405524240843750324312418053492*c_1001_7^3 + 9429533142025613357841219231237063038627166332812413/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^2 + 607561337266921389576752431669780827586177196959259/127946783684742\ 2866540202762120421875162156209026746*c_1001_7 - 1713161273472427923108266439032919699752094757177573/63973391842371\ 1433270101381060210937581078104513373, c_1001_11 + 1223713869201004538783118692728901531708156362971691/255893\ 5673694845733080405524240843750324312418053492*c_1001_7^17 - 517631559525895711277895700935760692703816822156406/639733918423711\ 433270101381060210937581078104513373*c_1001_7^16 + 497572893820746179817753003707319699681768137961522/639733918423711\ 433270101381060210937581078104513373*c_1001_7^15 + 7547949166317249015184504872383521735850857226425909/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^14 - 3197369119725293606327434997277831260304479916156834/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^13 + 2855872436451291747824532633306245719184817732808785/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^12 + 1657930517207309152899624525959058055585351600241606/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^11 + 6774027567879649293005230257379086487743340068027223/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^10 - 2685703341269274140828450467937576780620205035754153/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^9 + 3634599484172395735621417215285908336014494505374711/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^8 + 2049208473262796805727040352812813619309990510262489/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^7 + 2540963186158689028289445757236431426845705259060197/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^6 - 2541606391793664391548222863436124091857949526611197/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^5 - 1832940188442901275420845663605671032349542821926267/63973391842371\ 1433270101381060210937581078104513373*c_1001_7^4 + 2067231220932961482103322838928635254650987569745675/12794678368474\ 22866540202762120421875162156209026746*c_1001_7^3 + 8550630731032916210508282872345302910843672573185355/25589356736948\ 45733080405524240843750324312418053492*c_1001_7^2 - 263630898223374877339042455396829947103379494254477/127946783684742\ 2866540202762120421875162156209026746*c_1001_7 - 1516239593955174651446105573584727748420539193943983/12794678368474\ 22866540202762120421875162156209026746, c_1001_7^18 - 221/61*c_1001_7^17 + 7925/1037*c_1001_7^16 - 6560/1037*c_1001_7^15 - 22/17*c_1001_7^14 + 140/17*c_1001_7^13 + 268/1037*c_1001_7^12 - 7227/1037*c_1001_7^11 + 1879/1037*c_1001_7^10 + 4307/1037*c_1001_7^9 + 2583/1037*c_1001_7^8 - 1385/1037*c_1001_7^7 - 5851/1037*c_1001_7^6 + 1481/1037*c_1001_7^5 + 6287/1037*c_1001_7^4 - 560/1037*c_1001_7^3 - 200/61*c_1001_7^2 + 428/1037*c_1001_7 + 964/1037 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.610 Total time: 9.820 seconds, Total memory usage: 116.59MB