Magma V2.19-8 Wed Aug 21 2013 00:51:14 on localhost [Seed = 374342505] Type ? for help. Type -D to quit. Loading file "L11a254__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a254 geometric_solution 12.04341507 oriented_manifold CS_known 0.0000000000000009 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 -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 3 0 -3 0 0 -3 3 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.309239462213 1.289618825480 0 3 4 2 0132 0132 0132 2031 0 0 0 0 0 -1 1 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 3 -3 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476121875564 0.632692346846 5 1 0 6 0132 1302 0132 0132 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 0 0 0 0 -4 3 1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195681953382 0.535203060949 6 1 7 8 3201 0132 0132 0132 0 1 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 -3 -1 4 -1 0 1 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.323593508777 0.741422620054 9 10 11 1 0132 0132 0132 0132 0 0 0 1 0 0 1 -1 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 -3 3 -4 0 0 4 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.068319522995 1.325825832980 2 7 11 11 0132 3120 2103 2031 1 0 0 0 0 0 1 -1 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 1 -6 5 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487773118371 1.358065099321 12 12 2 3 0132 1230 0132 2310 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 0 0 0 0 0 0 0 -1 1 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.729401776800 0.855288893229 8 5 10 3 0132 3120 3201 0132 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 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.290177724735 1.207555072225 7 10 3 9 0132 0213 0132 3201 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 0 0 0 0 4 -4 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.271714561009 0.473652836625 4 8 12 10 0132 2310 3012 1023 1 0 1 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 1 -1 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686185184226 1.222668246309 7 4 8 9 2310 0132 0213 1023 0 1 1 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 -4 4 -1 0 0 1 -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.506883627751 0.465553798790 5 5 12 4 2103 1302 0132 0132 0 0 1 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 -3 0 3 0 0 0 0 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487773118371 1.358065099321 6 9 6 11 0132 1230 3012 0132 0 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 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.422734311179 0.676895707955 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : d['c_0101_1'], 'c_1010_11' : d['c_0101_4'], 'c_1010_10' : d['c_0101_4'], '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' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : negation(d['c_1001_6']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_6']), 'c_1100_10' : d['c_0011_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_2'], 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_6'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0011_12'], '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'], 'c_1100_12' : negation(d['c_1001_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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : negation(d['c_0101_12']), '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_4'], 'c_0110_8' : d['c_0101_7'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_12']), 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0101_12']})} 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_2, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_4, c_0101_7, c_1001_1, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 72240224119544653257139396959826562507285183649001/5922713167109399\ 700581724742634221728748005784350*c_1001_6^15 + 1366917745916081153937811352846816781054135788024953/98711886118489\ 9950096954123772370288124667630725*c_1001_6^14 - 15233721412095994034579797261909796155641442892127086/2961356583554\ 699850290862371317110864374002892175*c_1001_6^13 - 12448597235881117642058375253952405206836775727627711/5922713167109\ 399700581724742634221728748005784350*c_1001_6^12 + 91460806176215298704417964760506982658905362597988339/5922713167109\ 399700581724742634221728748005784350*c_1001_6^11 - 31475901882053228274319859075981232224271020585627761/1974237722369\ 799900193908247544740576249335261450*c_1001_6^10 + 21355065683823353230838874726382435743618397029267596/2961356583554\ 699850290862371317110864374002892175*c_1001_6^9 - 158435856880701258057324902364432873784032783852579469/592271316710\ 9399700581724742634221728748005784350*c_1001_6^8 - 111121548365485957479067765680064616827583875897876/102115744260506\ 891389340081769555547047379410075*c_1001_6^7 + 127610176500495942341893156004642144352764156062210474/296135658355\ 4699850290862371317110864374002892175*c_1001_6^6 - 27399921353615270764737588432720955631041910693557781/1974237722369\ 79990019390824754474057624933526145*c_1001_6^5 + 894088057604116330586847612583685935402809164478862873/592271316710\ 9399700581724742634221728748005784350*c_1001_6^4 - 134573568337663340155240468559151562659721592971953871/987118861184\ 899950096954123772370288124667630725*c_1001_6^3 + 226441457010841316363737737902722505959977651878952182/296135658355\ 4699850290862371317110864374002892175*c_1001_6^2 - 363002948803649758217889399491109907716998910228124/177326741530221\ 54792160852522856951283676664025*c_1001_6 + 456149323138596077994122205829679151041194537883393/219359746929977\ 766688212027504971175138815029050, c_0011_0 - 1, c_0011_10 + 9474164159526340129453621237348/101207616113833427455888092\ 18687*c_1001_6^15 - 3466877041222969740110962572280225/326113429700\ 12993291341718593547*c_1001_6^14 + 233825592164105936758206412761219055/587004173460233879244150934683\ 846*c_1001_6^13 + 43892771415665204395247532820716326/2935020867301\ 16939622075467341923*c_1001_6^12 - 350781140741756961336723667875272648/293502086730116939622075467341\ 923*c_1001_6^11 + 123173467423668118767274654219180672/978340289100\ 38979874025155780641*c_1001_6^10 - 5874990556865668124948852642698081/10120761611383342745588809218687\ *c_1001_6^9 + 605117451175606439417175714341845931/2935020867301169\ 39622075467341923*c_1001_6^8 + 5429466709016971146296105648647028/2\ 93502086730116939622075467341923*c_1001_6^7 - 1958713917361626128446063714717011695/58700417346023387924415093468\ 3846*c_1001_6^6 + 2103344036393183475751284487089188779/19566805782\ 0077959748050311561282*c_1001_6^5 - 6986630352632675239162112008512207679/58700417346023387924415093468\ 3846*c_1001_6^4 + 1049529800354179684559904478896755092/97834028910\ 038979874025155780641*c_1001_6^3 - 3590638470367194098434186276836632983/58700417346023387924415093468\ 3846*c_1001_6^2 + 2933918523199388401774034142466393/17574975253300\ 41554623206391269*c_1001_6 - 5534414788418194671130768204075547/326\ 11342970012993291341718593547, c_0011_11 + 237204104644097314568567558700965/2935020867301169396220754\ 67341923*c_1001_6^15 - 2993880763226905854994772995913599/326113429\ 70012993291341718593547*c_1001_6^14 + 101728851571262127867176977096618031/293502086730116939622075467341\ 923*c_1001_6^13 + 70152137139175553648832872052210157/5870041734602\ 33879244150934683846*c_1001_6^12 - 304533628717354141198231601435664851/293502086730116939622075467341\ 923*c_1001_6^11 + 218433228103978068069010403522387999/195668057820\ 077959748050311561282*c_1001_6^10 - 154749401339898793706938211555896208/293502086730116939622075467341\ 923*c_1001_6^9 + 525117193565408837710111332886717901/2935020867301\ 16939622075467341923*c_1001_6^8 - 202238464606542978848132241743161\ 97/587004173460233879244150934683846*c_1001_6^7 - 1697232401568029157426351179256763661/58700417346023387924415093468\ 3846*c_1001_6^6 + 916123368303392666118262334520820841/978340289100\ 38979874025155780641*c_1001_6^5 - 618237860507985404577631226612235\ 5185/587004173460233879244150934683846*c_1001_6^4 + 1861195308143968692609068995847445701/19566805782007795974805031156\ 1282*c_1001_6^3 - 3228948276147861319614264198704754283/58700417346\ 0233879244150934683846*c_1001_6^2 + 2724278536017095203275513242429905/1757497525330041554623206391269*\ c_1001_6 - 5369269601142662499725880359386586/326113429700129932913\ 41718593547, c_0011_12 + 58647066532117432845048824918911/65222685940025986582683437\ 187094*c_1001_6^15 - 9993988135381037706689448585136313/97834028910\ 038979874025155780641*c_1001_6^14 + 75697074523701687837854533283882099/1956680578200779597480503115612\ 82*c_1001_6^13 + 12612121238779379625524158216024541/97834028910038\ 979874025155780641*c_1001_6^12 - 3776897438796445049543914745984020\ 7/32611342970012993291341718593547*c_1001_6^11 + 122708294309674021897793577376016072/978340289100389798740251557806\ 41*c_1001_6^10 - 116458816245767631768820654588539299/1956680578200\ 77959748050311561282*c_1001_6^9 + 194989590349389322843171634642692\ 642/97834028910038979874025155780641*c_1001_6^8 - 6000669336646615645596998839734952/97834028910038979874025155780641\ *c_1001_6^7 - 3630120038956090292650583966923788/112452906793148252\ 7287645468743*c_1001_6^6 + 1022596792130526533269806526784672056/97\ 834028910038979874025155780641*c_1001_6^5 - 1156996279295898449089531826812112180/97834028910038979874025155780\ 641*c_1001_6^4 + 347959192500684970943449775726500772/3261134297001\ 2993291341718593547*c_1001_6^3 - 4045065901373320685846592892278088\ 45/65222685940025986582683437187094*c_1001_6^2 + 2059053092246605935198197157870719/1171665016886694369748804260846*\ c_1001_6 - 6075184408982571583723771456709647/326113429700129932913\ 41718593547, c_0011_2 + 167050212132896039581364524504532/29350208673011693962207546\ 7341923*c_1001_6^15 - 6324084360403618239705019039869028/9783402891\ 0038979874025155780641*c_1001_6^14 + 71231197563181071231828388249715099/2935020867301169396220754673419\ 23*c_1001_6^13 + 26192015149606154134625111109229202/29350208673011\ 6939622075467341923*c_1001_6^12 - 213688299449436353064254243569466\ 054/293502086730116939622075467341923*c_1001_6^11 + 75391124566992688675332586782714614/9783402891003897987402515578064\ 1*c_1001_6^10 - 104696273371007152474930068423035150/29350208673011\ 6939622075467341923*c_1001_6^9 + 3682340878681281801555608567059042\ 97/293502086730116939622075467341923*c_1001_6^8 + 518177136821412261863080544610719/293502086730116939622075467341923\ *c_1001_6^7 - 596508475806137314571044138113342250/2935020867301169\ 39622075467341923*c_1001_6^6 + 640827410524400192843109649039951861\ /97834028910038979874025155780641*c_1001_6^5 - 2136989012161637878973899760375520578/29350208673011693962207546734\ 1923*c_1001_6^4 + 641829478692723543037437531220528213/978340289100\ 38979874025155780641*c_1001_6^3 - 110190988076048550050239481158010\ 4059/293502086730116939622075467341923*c_1001_6^2 + 1810690456172112807764059124105938/1757497525330041554623206391269*\ c_1001_6 - 3439735236838573898036141962312983/326113429700129932913\ 41718593547, c_0101_0 - 41217861200140967212929676789039/293502086730116939622075467\ 341923*c_1001_6^15 + 1563195835336749463684012517883311/97834028910\ 038979874025155780641*c_1001_6^14 - 18525021748447384488355644415717414/2935020867301169396220754673419\ 23*c_1001_6^13 - 6439387017893968382898313314487763/587004173460233\ 879244150934683846*c_1001_6^12 + 1902549170074236939119997063650942\ /10120761611383342745588809218687*c_1001_6^11 - 43772675421720861747386381446876157/1956680578200779597480503115612\ 82*c_1001_6^10 + 33738584432586260362101063262789873/29350208673011\ 6939622075467341923*c_1001_6^9 - 1868455112557449205826158949346353\ 39/587004173460233879244150934683846*c_1001_6^8 + 17496575684681980301013811094596109/2935020867301169396220754673419\ 23*c_1001_6^7 + 153486897914425946613593890929342020/29350208673011\ 6939622075467341923*c_1001_6^6 - 1673709908789718292939083323303810\ 54/97834028910038979874025155780641*c_1001_6^5 + 21171643408577317000022851801862624/1012076161138334274558880921868\ 7*c_1001_6^4 - 368147546690306884052316579354809527/195668057820077\ 959748050311561282*c_1001_6^3 + 68365084594607578789997175560936669\ 9/587004173460233879244150934683846*c_1001_6^2 - 632977045450057093794211345883870/1757497525330041554623206391269*c\ _1001_6 + 2647500346954823250989558785285173/6522268594002598658268\ 3437187094, c_0101_1 + 37350090628096608155166528796093/978340289100389798740251557\ 80641*c_1001_6^15 - 1414942488225409647568219219110531/326113429700\ 12993291341718593547*c_1001_6^14 + 16254533583015993260413831039914874/9783402891003897987402515578064\ 1*c_1001_6^13 + 4710632896672843723463951651552395/9783402891003897\ 9874025155780641*c_1001_6^12 - 48546422437167521680236846425267719/\ 97834028910038979874025155780641*c_1001_6^11 + 18022965084256328698301959642632471/3261134297001299329134171859354\ 7*c_1001_6^10 - 26372830263486408929418895345469803/978340289100389\ 79874025155780641*c_1001_6^9 + 83331901899553730344784332824222646/\ 97834028910038979874025155780641*c_1001_6^8 - 5996426519885723933557688265047864/97834028910038979874025155780641\ *c_1001_6^7 - 135052161737762718399353394605880065/9783402891003897\ 9874025155780641*c_1001_6^6 + 146583266840169397302590073093925660/\ 32611342970012993291341718593547*c_1001_6^5 - 508444955137123314967437750912758287/978340289100389798740251557806\ 41*c_1001_6^4 + 153072776435196253416786480589502491/32611342970012\ 993291341718593547*c_1001_6^3 - 27191424866439131821586432768913900\ 7/97834028910038979874025155780641*c_1001_6^2 + 477275933858979991005602688193715/585832508443347184874402130423*c_\ 1001_6 - 2935754347172951424483256010896534/32611342970012993291341\ 718593547, c_0101_11 + 58647066532117432845048824918911/65222685940025986582683437\ 187094*c_1001_6^15 - 9993988135381037706689448585136313/97834028910\ 038979874025155780641*c_1001_6^14 + 75697074523701687837854533283882099/1956680578200779597480503115612\ 82*c_1001_6^13 + 12612121238779379625524158216024541/97834028910038\ 979874025155780641*c_1001_6^12 - 3776897438796445049543914745984020\ 7/32611342970012993291341718593547*c_1001_6^11 + 122708294309674021897793577376016072/978340289100389798740251557806\ 41*c_1001_6^10 - 116458816245767631768820654588539299/1956680578200\ 77959748050311561282*c_1001_6^9 + 194989590349389322843171634642692\ 642/97834028910038979874025155780641*c_1001_6^8 - 6000669336646615645596998839734952/97834028910038979874025155780641\ *c_1001_6^7 - 3630120038956090292650583966923788/112452906793148252\ 7287645468743*c_1001_6^6 + 1022596792130526533269806526784672056/97\ 834028910038979874025155780641*c_1001_6^5 - 1156996279295898449089531826812112180/97834028910038979874025155780\ 641*c_1001_6^4 + 347959192500684970943449775726500772/3261134297001\ 2993291341718593547*c_1001_6^3 - 4045065901373320685846592892278088\ 45/65222685940025986582683437187094*c_1001_6^2 + 2057881427229719240828448353609873/1171665016886694369748804260846*\ c_1001_6 - 6075184408982571583723771456709647/326113429700129932913\ 41718593547, c_0101_12 + 1, c_0101_4 - 794143021845761191/5062886347951684353*c_1001_6^15 + 30090454582134338164/1687628782650561451*c_1001_6^14 - 347552287460458029313/5062886347951684353*c_1001_6^13 - 94020841632989975086/5062886347951684353*c_1001_6^12 + 2077702646348397936047/10125772695903368706*c_1001_6^11 - 389366765090520079733/1687628782650561451*c_1001_6^10 + 572657838928217774977/5062886347951684353*c_1001_6^9 - 3547481609313747517871/10125772695903368706*c_1001_6^8 + 323478680120079479857/10125772695903368706*c_1001_6^7 + 5787924184321992507913/10125772695903368706*c_1001_6^6 - 3133498864425465075515/1687628782650561451*c_1001_6^5 + 10979755492799076692098/5062886347951684353*c_1001_6^4 - 6584245133292411678527/3375257565301122902*c_1001_6^3 + 11782719596221346571089/10125772695903368706*c_1001_6^2 - 10316196948106211618/30316684718273559*c_1001_6 + 61935022481442737961/1687628782650561451, c_0101_7 - 291288232068539595890062981143538/29350208673011693962207546\ 7341923*c_1001_6^15 + 3677333962405268492430325040147119/3261134297\ 0012993291341718593547*c_1001_6^14 - 4336783984183202197825674058149368/10120761611383342745588809218687\ *c_1001_6^13 - 40304569500773640443321107163695921/2935020867301169\ 39622075467341923*c_1001_6^12 + 37651016362345327306583131628335392\ 4/293502086730116939622075467341923*c_1001_6^11 - 136913691668918841748985327946998015/978340289100389798740251557806\ 41*c_1001_6^10 + 195948877625452867931783557177983742/2935020867301\ 16939622075467341923*c_1001_6^9 - 646400202544813022594862201452516\ 389/293502086730116939622075467341923*c_1001_6^8 + 27998283180935252351846503299603395/2935020867301169396220754673419\ 23*c_1001_6^7 + 1049695381982062927497824716177098218/2935020867301\ 16939622075467341923*c_1001_6^6 - 113281182434785619489083654309731\ 9397/97834028910038979874025155780641*c_1001_6^5 + 3870094690893300333164056602061863454/29350208673011693962207546734\ 1923*c_1001_6^4 - 40081969740043878975290300854662064/3373587203794\ 447581862936406229*c_1001_6^3 + 20380073052806392007497613893025458\ 36/293502086730116939622075467341923*c_1001_6^2 - 3471416710290992334078391019675744/1757497525330041554623206391269*\ c_1001_6 + 6816770455736202533997872850324187/326113429700129932913\ 41718593547, c_1001_1 - 35900182831122608057596830459520/978340289100389798740251557\ 80641*c_1001_6^15 + 4076546763265290980627868676971647/978340289100\ 38979874025155780641*c_1001_6^14 - 30454399012581264764849878753929619/1956680578200779597480503115612\ 82*c_1001_6^13 - 1966750696228783362291380190165236/326113429700129\ 93291341718593547*c_1001_6^12 + 45697613764106869424156474768602198\ /97834028910038979874025155780641*c_1001_6^11 - 47782342856675430091942067436466058/9783402891003897987402515578064\ 1*c_1001_6^10 + 21892817592699074382862219405069733/978340289100389\ 79874025155780641*c_1001_6^9 - 78961121102492753087204952545313878/\ 97834028910038979874025155780641*c_1001_6^8 - 545698841355062098270336122670701/32611342970012993291341718593547*\ c_1001_6^7 + 255232321916450499767991812830109065/19566805782007795\ 9748050311561282*c_1001_6^6 - 821689215344383090065065189009285057/\ 195668057820077959748050311561282*c_1001_6^5 + 301405814256599942357145831973462947/652226859400259865826834371870\ 94*c_1001_6^4 - 135900107220485380507488982558742293/32611342970012\ 993291341718593547*c_1001_6^3 + 46227290294874103247646555122547495\ 5/195668057820077959748050311561282*c_1001_6^2 - 124803118558586177112219446484495/195277502814449061624800710141*c_\ 1001_6 + 2094679551579620773094626241762564/32611342970012993291341\ 718593547, c_1001_6^16 - 114*c_1001_6^15 + 475*c_1001_6^14 - 26*c_1001_6^13 - 1345*c_1001_6^12 + 1902*c_1001_6^11 - 1210*c_1001_6^10 + 2476*c_1001_6^9 - 941*c_1001_6^8 - 3566*c_1001_6^7 + 13038*c_1001_6^6 - 17728*c_1001_6^5 + 17034*c_1001_6^4 - 11560*c_1001_6^3 + 4660*c_1001_6^2 - 972*c_1001_6 + 81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.490 seconds, Total memory usage: 32.09MB