Magma V2.19-8 Wed Aug 21 2013 00:57:59 on localhost [Seed = 1292589036] Type ? for help. Type -D to quit. Loading file "L13n4649__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4649 geometric_solution 12.02687442 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.043370954241 0.937423241422 0 3 5 4 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455159628081 1.745789517437 0 0 4 4 3201 0132 3012 1230 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 1 0 -1 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.380442993840 0.385525407066 6 6 1 0 0132 1230 2310 0132 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 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.684103316461 0.939333267094 2 2 1 7 3012 1230 0132 0132 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 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.297056424886 0.713396660350 8 9 9 1 0132 0132 1302 0132 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 -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.442290614483 0.802785628537 3 10 3 7 0132 0132 3012 3120 1 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493386020807 0.695624992278 6 8 4 9 3120 3201 0132 1302 1 1 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 0 -1 0 0 1 -1 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.552102387449 0.651264211432 5 11 7 11 0132 0132 2310 1230 1 1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 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.451617132102 0.507247545283 5 5 7 12 2031 0132 2031 0132 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 1 -1 0 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473517301205 0.955599622571 11 6 12 12 2310 0132 1302 0321 1 0 1 1 0 0 0 0 0 0 -1 1 1 0 0 -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 1 0 2 -3 2 -1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277603441352 0.546115078982 8 8 10 12 3012 0132 3201 0213 1 1 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 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 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.982723006840 0.909006940394 10 10 9 11 2031 0321 0132 0213 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277603441352 0.546115078982 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_3'], 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : 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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_8'], 'c_1100_8' : d['c_0011_7'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_7'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_8']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0011_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], 'c_1100_12' : d['c_1001_8'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : 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_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_7']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_7, c_0101_9, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 226660447070137748464556272235038190079110366445502546008175/446407\ 0671147071927333479734780251284167206899508881504936*c_1001_8^17 + 34672008439436222975088045849296987381886055446983159077298609/2678\ 4424026882431564000878408681507705003241397053289029616*c_1001_8^16 + 54933787755366298787836658184479187629224338036778378650808435/44\ 64070671147071927333479734780251284167206899508881504936*c_1001_8^1\ 5 + 185539999680889874122215530943603133504077621007919772167724831\ /4464070671147071927333479734780251284167206899508881504936*c_1001_\ 8^14 + 115691834075014343918921091540339751530051190790492870886142\ 0775/26784424026882431564000878408681507705003241397053289029616*c_\ 1001_8^13 - 1511322743147338738171221556257277555681191706512665364\ 77284525/1275448763184877693523851352794357509762059114145394715696\ *c_1001_8^12 - 3152661834345324326306887993113763956686337551412356\ 507137011353/892814134229414385466695946956050256833441379901776300\ 9872*c_1001_8^11 - 855312700272607468114720089236778537403209504269\ 0714147351382119/26784424026882431564000878408681507705003241397053\ 289029616*c_1001_8^10 + 1459653660383201340492336997573605271382856\ 885730272676520248739/191317314477731654028577702919153626464308867\ 1218092073544*c_1001_8^9 + 1030420833370943268716593533080079359832\ 9537431882612246073160447/66961060067206078910002196021703769262508\ 10349263322257404*c_1001_8^8 - 858430112570533047501007851082883630\ 554824970427124163565161585/334805300336030394550010980108518846312\ 5405174631661128702*c_1001_8^7 - 1067339372438534865180357944359964\ 084942214950037984665304987169/558008833893383990916684966847531410\ 520900862438610188117*c_1001_8^6 - 24183344407927065155887414120024995770139651043295633774155079629/2\ 6784424026882431564000878408681507705003241397053289029616*c_1001_8\ ^5 + 22736443843603429583076026920711239180384314511841535108292490\ 795/26784424026882431564000878408681507705003241397053289029616*c_1\ 001_8^4 + 828172596196322161078495471799461915765463702588875244664\ 0278107/8928141342294143854666959469560502568334413799017763009872*\ c_1001_8^3 - 115387639507535501775425584466389182668664103803601727\ 01492889/8928141342294143854666959469560502568334413799017763009872\ *c_1001_8^2 + 36713434004690515293045389934096115471194326520322649\ 7545915281/13392212013441215782000439204340753852501620698526644514\ 808*c_1001_8 - 2620995452758146005608389873466476372603061758676148\ 8462498847/26784424026882431564000878408681507705003241397053289029\ 616, c_0011_0 - 1, c_0011_10 + 646094870676955001485299455754990912919025/2138761823929826\ 5003391388690645655934528884*c_1001_8^17 + 16386027003186760952551565070750848221149501/2138761823929826500339\ 1388690645655934528884*c_1001_8^16 + 617544688022775316637486441132558393245708011/855504729571930600135\ 65554762582623738115536*c_1001_8^15 + 2031234201377411122303869172855907472155648061/85550472957193060013\ 565554762582623738115536*c_1001_8^14 + 119290106674160843629822472787987263861452409/534690455982456625084\ 7847172661413983632221*c_1001_8^13 - 6350073519675835282666826794385371076368806097/85550472957193060013\ 565554762582623738115536*c_1001_8^12 - 17192174844089858894484937302062979673960385465/8555047295719306001\ 3565554762582623738115536*c_1001_8^11 - 13773573393646778336015805024771742451284768899/8555047295719306001\ 3565554762582623738115536*c_1001_8^10 + 2575707272730722995150316936366552182407346574/53469045598245662508\ 47847172661413983632221*c_1001_8^9 + 36651116370462726396000545708047190821402758389/4277523647859653000\ 6782777381291311869057768*c_1001_8^8 - 24048146271932498337416707207442836012296825299/8555047295719306001\ 3565554762582623738115536*c_1001_8^7 - 96489834105640884159614100335117788283933673083/8555047295719306001\ 3565554762582623738115536*c_1001_8^6 - 8126104196915586936017344529575742812857047189/21387618239298265003\ 391388690645655934528884*c_1001_8^5 + 50534025837123698406320833042597052081636141453/8555047295719306001\ 3565554762582623738115536*c_1001_8^4 + 41625204956931542792923776411941069810884463153/8555047295719306001\ 3565554762582623738115536*c_1001_8^3 - 7090893001912617977616103352462717562472605247/85550472957193060013\ 565554762582623738115536*c_1001_8^2 + 60179310022583981729715614148124413983731806/5346904559824566250847\ 847172661413983632221*c_1001_8 - 2218025454600066977027005155526648\ 1575567805/42775236478596530006782777381291311869057768, c_0011_11 - 1, c_0011_12 - 92458827068593739543166336464348708851803/85550472957193060\ 013565554762582623738115536*c_1001_8^17 - 4531468119462137208473304725611316556639913/17110094591438612002713\ 1109525165247476231072*c_1001_8^16 - 40151727877957628331139845417858684939648537/1711009459143861200271\ 31109525165247476231072*c_1001_8^15 - 107016916328734341420978146060549779125972097/171100945914386120027\ 131109525165247476231072*c_1001_8^14 - 3738214975746388468620290358365601761652677/85550472957193060013565\ 554762582623738115536*c_1001_8^13 + 587141777217596099614289248781121135530109065/171100945914386120027\ 131109525165247476231072*c_1001_8^12 + 428502175634956177808566824745106275706160739/855504729571930600135\ 65554762582623738115536*c_1001_8^11 - 117371211874328153470092027631955435340406347/171100945914386120027\ 131109525165247476231072*c_1001_8^10 - 3936124100547409250642656530336378340532247767/17110094591438612002\ 7131109525165247476231072*c_1001_8^9 - 2826274601699287956817189089880673058859834477/17110094591438612002\ 7131109525165247476231072*c_1001_8^8 + 6562605756740774234969540284901833513362294847/17110094591438612002\ 7131109525165247476231072*c_1001_8^7 + 6083723059494000402689923614402584449945941449/17110094591438612002\ 7131109525165247476231072*c_1001_8^6 - 946947034510343682484786508785381200649760995/427752364785965300067\ 82777381291311869057768*c_1001_8^5 - 6735958899938052637567978213189245089213690213/17110094591438612002\ 7131109525165247476231072*c_1001_8^4 - 42696687807732452527485499675875379590415695/4277523647859653000678\ 2777381291311869057768*c_1001_8^3 + 3930353674101238374027847787735447801381530707/17110094591438612002\ 7131109525165247476231072*c_1001_8^2 - 167463462586137150813560490608787596357594509/171100945914386120027\ 131109525165247476231072*c_1001_8 - 41432929815238313018217266677134095908161711/8555047295719306001356\ 5554762582623738115536, c_0011_4 - 2323328256360072370131822838451594120191071/8555047295719306\ 0013565554762582623738115536*c_1001_8^17 - 117777513818329988304693293472164873740060101/171100945914386120027\ 131109525165247476231072*c_1001_8^16 - 1108522716838089151916869225060683482042176489/17110094591438612002\ 7131109525165247476231072*c_1001_8^15 - 3634254727503915845132363209503011935888065719/17110094591438612002\ 7131109525165247476231072*c_1001_8^14 - 841212648434958191731307651931447130732271921/427752364785965300067\ 82777381291311869057768*c_1001_8^13 + 11510915538570469832627760100540698849565298837/1711009459143861200\ 27131109525165247476231072*c_1001_8^12 + 7697033105272026553476210592212604584221904185/42775236478596530006\ 782777381291311869057768*c_1001_8^11 + 24191391440308655779440182248547701628686900411/1711009459143861200\ 27131109525165247476231072*c_1001_8^10 - 74827990567338821132486465296975038965939751141/1711009459143861200\ 27131109525165247476231072*c_1001_8^9 - 131049180215298482076910690978857321171593717429/171100945914386120\ 027131109525165247476231072*c_1001_8^8 + 45940928267121536458740359728538602369527196103/1711009459143861200\ 27131109525165247476231072*c_1001_8^7 + 174464058494175281071112544148807443693289274915/171100945914386120\ 027131109525165247476231072*c_1001_8^6 + 27915000998609691437669784236497233595455920729/8555047295719306001\ 3565554762582623738115536*c_1001_8^5 - 93719792866743177672308793358953183295893477549/1711009459143861200\ 27131109525165247476231072*c_1001_8^4 - 37447929349715225429655425479634072604947827713/8555047295719306001\ 3565554762582623738115536*c_1001_8^3 + 14756050137264998791934818912645132152249648953/1711009459143861200\ 27131109525165247476231072*c_1001_8^2 - 685210624652910345574976351295753568175314539/171100945914386120027\ 131109525165247476231072*c_1001_8 + 133281761323788276335737346427337103724742505/855504729571930600135\ 65554762582623738115536, c_0011_7 + 807230589442798918252076227937554691095463/21387618239298265\ 003391388690645655934528884*c_1001_8^17 + 82108254375383828033929942577383553442113901/8555047295719306001356\ 5554762582623738115536*c_1001_8^16 + 1554234485138805747242846334939966938114115801/17110094591438612002\ 7131109525165247476231072*c_1001_8^15 + 5181696064958003095419997833173476930939135359/17110094591438612002\ 7131109525165247476231072*c_1001_8^14 + 5131220385726451872278936137039549871435045969/17110094591438612002\ 7131109525165247476231072*c_1001_8^13 - 7739530210625504642304811633824868742418398605/85550472957193060013\ 565554762582623738115536*c_1001_8^12 - 43958227101059180153611334209044619859709431185/1711009459143861200\ 27131109525165247476231072*c_1001_8^11 - 18748118725760953121667051171501856488373985065/8555047295719306001\ 3565554762582623738115536*c_1001_8^10 + 100113469799309928340956510026507994012542815833/171100945914386120\ 027131109525165247476231072*c_1001_8^9 + 189601801219533851376287342426632815764437542787/171100945914386120\ 027131109525165247476231072*c_1001_8^8 - 46559209500044659026655996960338443815618565997/1711009459143861200\ 27131109525165247476231072*c_1001_8^7 - 242856884039029664700530054406856001941433324837/171100945914386120\ 027131109525165247476231072*c_1001_8^6 - 97968871460196247167513373363808842628166249257/1711009459143861200\ 27131109525165247476231072*c_1001_8^5 + 29496982853833781080391724722616231662340945569/4277523647859653000\ 6782777381291311869057768*c_1001_8^4 + 111457816774163229066464388958403726443190283205/171100945914386120\ 027131109525165247476231072*c_1001_8^3 - 1172089670243595249192497590223137090747247673/21387618239298265003\ 391388690645655934528884*c_1001_8^2 + 2364600946045555129483332490116121787946382087/17110094591438612002\ 7131109525165247476231072*c_1001_8 - 56635184264901652446929330792573820474565223/1711009459143861200271\ 31109525165247476231072, c_0101_0 - 570934909595174202928965116915173995531951/85550472957193060\ 013565554762582623738115536*c_1001_8^17 - 29429271781916958274453067115317704648197741/1711009459143861200271\ 31109525165247476231072*c_1001_8^16 - 284766085724951502362089656917767811203032977/171100945914386120027\ 131109525165247476231072*c_1001_8^15 - 1009767810258752281646603228685997321564614317/17110094591438612002\ 7131109525165247476231072*c_1001_8^14 - 303280643120451588996725035841982326598197897/427752364785965300067\ 82777381291311869057768*c_1001_8^13 + 2457298859652569753217848143805181636071107463/17110094591438612002\ 7131109525165247476231072*c_1001_8^12 + 4374962334822171736627484120829738145404330755/85550472957193060013\ 565554762582623738115536*c_1001_8^11 + 9215481762439937104131156316179819737563188375/17110094591438612002\ 7131109525165247476231072*c_1001_8^10 - 15705967628938889274042412292178077159662142445/1711009459143861200\ 27131109525165247476231072*c_1001_8^9 - 39879005493397274794234655472421600489201321683/1711009459143861200\ 27131109525165247476231072*c_1001_8^8 - 2739680772435089576400280853202285810462396653/17110094591438612002\ 7131109525165247476231072*c_1001_8^7 + 47053398944925036389659869617291885325700607585/1711009459143861200\ 27131109525165247476231072*c_1001_8^6 + 15986854738455230785718148785981632337021809177/8555047295719306001\ 3565554762582623738115536*c_1001_8^5 - 16514406696055000732217772517590080197854697067/1711009459143861200\ 27131109525165247476231072*c_1001_8^4 - 3456077585635664330197912180403049024051752959/21387618239298265003\ 391388690645655934528884*c_1001_8^3 - 4478254201535443533297577470265683428566217259/17110094591438612002\ 7131109525165247476231072*c_1001_8^2 + 877676817499632888870671633625616882065803117/171100945914386120027\ 131109525165247476231072*c_1001_8 - 28675809525361742772758107180535595434487463/4277523647859653000678\ 2777381291311869057768, c_0101_1 - 4130124056711303285995070310749866911778213/8555047295719306\ 0013565554762582623738115536*c_1001_8^17 - 210427581867041917699153405612627294656618707/171100945914386120027\ 131109525165247476231072*c_1001_8^16 - 1997663498631495489874921254940020233487174081/17110094591438612002\ 7131109525165247476231072*c_1001_8^15 - 6719640212491945305217075228469046270480220389/17110094591438612002\ 7131109525165247476231072*c_1001_8^14 - 3437001309321015626651812936704664646649123859/85550472957193060013\ 565554762582623738115536*c_1001_8^13 + 19474850912699574984376665869611239858179039361/1711009459143861200\ 27131109525165247476231072*c_1001_8^12 + 14279039955888985222269071818760604847790706227/4277523647859653000\ 6782777381291311869057768*c_1001_8^11 + 50636508784788459652875130048209813504687796013/1711009459143861200\ 27131109525165247476231072*c_1001_8^10 - 125614479079614473159140185875784041485232542393/171100945914386120\ 027131109525165247476231072*c_1001_8^9 - 248249582948562010723653386813549851078173254723/171100945914386120\ 027131109525165247476231072*c_1001_8^8 + 47789087937061044045461864333267992621929867311/1711009459143861200\ 27131109525165247476231072*c_1001_8^7 + 312196898878359615009485096885367488299222187957/171100945914386120\ 027131109525165247476231072*c_1001_8^6 + 17512923635571639974584034059821243593478502821/2138761823929826500\ 3391388690645655934528884*c_1001_8^5 - 143366674863184562676351215679504523264061167065/171100945914386120\ 027131109525165247476231072*c_1001_8^4 - 74450469235410289498706198761121583200746586453/8555047295719306001\ 3565554762582623738115536*c_1001_8^3 + 4471121854897148641655883691117324420089632611/17110094591438612002\ 7131109525165247476231072*c_1001_8^2 - 3532988884313535364780556381563099636577039887/17110094591438612002\ 7131109525165247476231072*c_1001_8 + 10656750890525583452637926040867223491676279/8555047295719306001356\ 5554762582623738115536, c_0101_12 + 29633863110489553482622176524846032903269/42775236478596530\ 006782777381291311869057768*c_1001_8^17 + 401901736392582173987439944565435670860643/213876182392982650033913\ 88690645655934528884*c_1001_8^16 + 33629117644018718125425964115185956613508917/1711009459143861200271\ 31109525165247476231072*c_1001_8^15 + 143252004298309518947597197349245746955872261/171100945914386120027\ 131109525165247476231072*c_1001_8^14 + 253642194575508386316054842551176475676870111/171100945914386120027\ 131109525165247476231072*c_1001_8^13 - 63396567527761394554715091713695059216675417/8555047295719306001356\ 5554762582623738115536*c_1001_8^12 - 1276684121346906344365920470345575955367740205/17110094591438612002\ 7131109525165247476231072*c_1001_8^11 - 125468526054743172834224931107981680756287109/106938091196491325016\ 95694345322827967264442*c_1001_8^10 + 699868003822250112427499755634511142780277701/171100945914386120027\ 131109525165247476231072*c_1001_8^9 + 6513204463208048755537616300303074724176501145/17110094591438612002\ 7131109525165247476231072*c_1001_8^8 + 4744323878481279650691763208506874632802619575/17110094591438612002\ 7131109525165247476231072*c_1001_8^7 - 5942797670154153876309628861308246297856365963/17110094591438612002\ 7131109525165247476231072*c_1001_8^6 - 8728199661872311414618444272681666174775549043/17110094591438612002\ 7131109525165247476231072*c_1001_8^5 - 82489423466581524377089069325559675566344233/2138761823929826500339\ 1388690645655934528884*c_1001_8^4 + 5194460968880816514588602776905177731351940305/17110094591438612002\ 7131109525165247476231072*c_1001_8^3 + 1620269162015498203451204390484611266300108635/85550472957193060013\ 565554762582623738115536*c_1001_8^2 - 89220484302648115758494301580471468058020213/1711009459143861200271\ 31109525165247476231072*c_1001_8 + 66087079888507113570582579882720096060378089/1711009459143861200271\ 31109525165247476231072, c_0101_3 + 228844018559024962664972870114525570576645/10693809119649132\ 501695694345322827967264442*c_1001_8^17 + 5798935884396528812120612071285026799588159/10693809119649132501695\ 694345322827967264442*c_1001_8^16 + 27279518072499626184335044725606653774213975/5346904559824566250847\ 847172661413983632221*c_1001_8^15 + 1429697365830412054602304112933163229160317567/85550472957193060013\ 565554762582623738115536*c_1001_8^14 + 661484532600674530225939844490229313581202757/427752364785965300067\ 82777381291311869057768*c_1001_8^13 - 4521616195348734184425545180582382750446138557/85550472957193060013\ 565554762582623738115536*c_1001_8^12 - 12077303893476921066077348946182673670463295761/8555047295719306001\ 3565554762582623738115536*c_1001_8^11 - 2378328456829217839037820014228722264789113355/21387618239298265003\ 391388690645655934528884*c_1001_8^10 + 7340772048139849888394512168947556499459755631/21387618239298265003\ 391388690645655934528884*c_1001_8^9 + 51271395478379026915752031074837553482315836357/8555047295719306001\ 3565554762582623738115536*c_1001_8^8 - 2255603658085198043955721974648533286668061837/10693809119649132501\ 695694345322827967264442*c_1001_8^7 - 67851752727583092040492790949445943171587604369/8555047295719306001\ 3565554762582623738115536*c_1001_8^6 - 1356651975834462804620100667609361053418543527/53469045598245662508\ 47847172661413983632221*c_1001_8^5 + 36183834348484675865613790807806045539275028533/8555047295719306001\ 3565554762582623738115536*c_1001_8^4 + 28842330877683893265481536323477435146730060569/8555047295719306001\ 3565554762582623738115536*c_1001_8^3 - 2822804664685691885609924162551831685269359805/42775236478596530006\ 782777381291311869057768*c_1001_8^2 + 362287604643353884070427246384091583833487209/427752364785965300067\ 82777381291311869057768*c_1001_8 - 26792942320609403385669638162616914649586349/8555047295719306001356\ 5554762582623738115536, c_0101_7 + 187116274256102386530350653330296100930123/10693809119649132\ 501695694345322827967264442*c_1001_8^17 + 38086126979148995305201669660774922679445237/8555047295719306001356\ 5554762582623738115536*c_1001_8^16 + 721545411875723089684320006330128875120019395/171100945914386120027\ 131109525165247476231072*c_1001_8^15 + 2410889990345966624430490584928842249436199487/17110094591438612002\ 7131109525165247476231072*c_1001_8^14 + 2399500403897323580019900230607795653727588897/17110094591438612002\ 7131109525165247476231072*c_1001_8^13 - 3593284654202837424544129736066562881111785337/85550472957193060013\ 565554762582623738115536*c_1001_8^12 - 20526072898742667577318123924353226820320938081/1711009459143861200\ 27131109525165247476231072*c_1001_8^11 - 4386610207118520713391034401868337793464256623/42775236478596530006\ 782777381291311869057768*c_1001_8^10 + 46553068156418966439102453007293274229115879289/1711009459143861200\ 27131109525165247476231072*c_1001_8^9 + 88908156209151529714065812022889505095590724057/1711009459143861200\ 27131109525165247476231072*c_1001_8^8 - 21127591342236216204346256464261287541604357831/1711009459143861200\ 27131109525165247476231072*c_1001_8^7 - 114596667513962323379317486837892219095779491129/171100945914386120\ 027131109525165247476231072*c_1001_8^6 - 46895872573790371675651849366033168210678064277/1711009459143861200\ 27131109525165247476231072*c_1001_8^5 + 3510980703707706932025470865795708387669569687/10693809119649132501\ 695694345322827967264442*c_1001_8^4 + 53640709621519741008929360351750875089438147653/1711009459143861200\ 27131109525165247476231072*c_1001_8^3 - 2284264928659125623631064270572468079361706733/85550472957193060013\ 565554762582623738115536*c_1001_8^2 - 74407154531968972225671631010926383996941877/1711009459143861200271\ 31109525165247476231072*c_1001_8 + 102385195593349730120461936760410792844217519/171100945914386120027\ 131109525165247476231072, c_0101_9 - 1292329835043834592235559014528458862136613/4277523647859653\ 0006782777381291311869057768*c_1001_8^17 - 65744146164326351686292135382767911731891187/8555047295719306001356\ 5554762582623738115536*c_1001_8^16 - 622544841048713179601062215167397861515056437/855504729571930600135\ 65554762582623738115536*c_1001_8^15 - 2078578582413266377742454665966540221320226969/85550472957193060013\ 565554762582623738115536*c_1001_8^14 - 2070192541775732812136235318203942748630237973/85550472957193060013\ 565554762582623738115536*c_1001_8^13 + 3087845847711942786247823800379729775556576311/42775236478596530006\ 782777381291311869057768*c_1001_8^12 + 4408850613032961992831758144641383053272667609/21387618239298265003\ 391388690645655934528884*c_1001_8^11 + 1894156170202128061815068125586631049371983935/10693809119649132501\ 695694345322827967264442*c_1001_8^10 - 19959336287556910734607162529600269442392851187/4277523647859653000\ 6782777381291311869057768*c_1001_8^9 - 4760483272466028835438603068166936288609385568/53469045598245662508\ 47847172661413983632221*c_1001_8^8 + 17960716831768604871357799722793197784533133735/8555047295719306001\ 3565554762582623738115536*c_1001_8^7 + 97134203546592080768530233531837604820212487129/8555047295719306001\ 3565554762582623738115536*c_1001_8^6 + 40115034141796073132809183554828392771482788691/8555047295719306001\ 3565554762582623738115536*c_1001_8^5 - 5826162551508819252989887728903583581171851921/10693809119649132501\ 695694345322827967264442*c_1001_8^4 - 22498476113694811823039444930159274161053388155/4277523647859653000\ 6782777381291311869057768*c_1001_8^3 + 406596063217089271608302666115626113188488717/106938091196491325016\ 95694345322827967264442*c_1001_8^2 - 538109746837125811329983441295040181435949231/427752364785965300067\ 82777381291311869057768*c_1001_8 + 10287890771020747787779235588727807715505453/8555047295719306001356\ 5554762582623738115536, c_1001_8^18 + 51/2*c_1001_8^17 + 485/2*c_1001_8^16 + 820*c_1001_8^15 + 1713/2*c_1001_8^14 - 2324*c_1001_8^13 - 6961*c_1001_8^12 - 6340*c_1001_8^11 + 29897/2*c_1001_8^10 + 30343*c_1001_8^9 - 4798*c_1001_8^8 - 37500*c_1001_8^7 - 36005/2*c_1001_8^6 + 16384*c_1001_8^5 + 18233*c_1001_8^4 + 172*c_1001_8^3 + 1321/2*c_1001_8^2 - 25/2*c_1001_8 + 7/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.540 seconds, Total memory usage: 32.09MB