Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 964208110] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1549 geometric_solution 5.34009439 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.486667603312 0.144026999353 2 0 2 0 0132 2310 1023 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 0 1 -1 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624015101763 0.415107611132 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 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 -1 1 2 -1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.303877922494 1.469501964353 5 2 6 4 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 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.501680335331 0.486445423210 3 6 2 5 3120 0132 0132 1023 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 1 0 -1 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.501680335331 0.486445423210 3 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468353721133 0.861754247416 6 4 6 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 1 0 0 -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.644231503196 0.359128616547 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 6299156659633424604948885429826246336618419234737569166827972568885\ 7102777580943/24239894503134953957498351327892435490761065780043637\ 08493789458066068183181925024*c_1001_3^20 - 2033465119307124206828494746009703880114707894949823403664567663820\ 881565754274091/242398945031349539574983513278924354907610657800436\ 3708493789458066068183181925024*c_1001_3^19 + 1165547590893857808622903960955938630023215759932603116162880895287\ 9636497687679855/12119947251567476978749175663946217745380532890021\ 81854246894729033034091590962512*c_1001_3^18 - 1037106732743555977016471762748692524080858219619936279728728509379\ 58201930264528223/2423989450313495395749835132789243549076106578004\ 363708493789458066068183181925024*c_1001_3^17 + 2903335493891760920033530537611832650058587950462875266625621221882\ 5519796031710933/24239894503134953957498351327892435490761065780043\ 63708493789458066068183181925024*c_1001_3^16 + 9650842082614501622839603284532914794233685079762059142795039906115\ 98256850726386625/2423989450313495395749835132789243549076106578004\ 363708493789458066068183181925024*c_1001_3^15 - 5155115362991478615081499631312583157653432029298532435333242640219\ 15178692902380191/1211994725156747697874917566394621774538053289002\ 181854246894729033034091590962512*c_1001_3^14 - 2454461401411734413872734476140468330147041033252386685210295719824\ 516968303611226149/121199472515674769787491756639462177453805328900\ 2181854246894729033034091590962512*c_1001_3^13 + 2476753090527847738762322463572166740418526581178995461668594593461\ 35818896512292633/3029986812891869244687293915986554436345133222505\ 45463561723682258258522897740628*c_1001_3^12 + 6460483479090069340146420588917566967770855190765458774671805866424\ 93158383160443733/7574967032229673111718234789966386090862833056263\ 6365890430920564564630724435157*c_1001_3^11 + 8903660081206372137144400150864110610979181184933715820610631266942\ 231848525928996951/242398945031349539574983513278924354907610657800\ 4363708493789458066068183181925024*c_1001_3^10 - 1272842774592048582152131688843070699063376007476110753924461345503\ 9432507587656550097/60599736257837384893745878319731088726902664450\ 1090927123447364516517045795481256*c_1001_3^9 - 9140194544045229001109940861524753138695359154389820937466577654825\ 674201817604909459/121199472515674769787491756639462177453805328900\ 2181854246894729033034091590962512*c_1001_3^8 + 4153270004923583758283762599019672476960180660176344406568825434324\ 7512218325937037867/12119947251567476978749175663946217745380532890\ 02181854246894729033034091590962512*c_1001_3^7 - 3705201606489229921951282691862578035828834200874800533469155180985\ 593479829397552299/242398945031349539574983513278924354907610657800\ 4363708493789458066068183181925024*c_1001_3^6 - 2037076863706374201862344660715197758505318869494371496927752157124\ 2178050147798475921/60599736257837384893745878319731088726902664450\ 1090927123447364516517045795481256*c_1001_3^5 - 1584127165348426186797699608603392236333943988657466610005802596247\ 316328015130600929/242398945031349539574983513278924354907610657800\ 4363708493789458066068183181925024*c_1001_3^4 + 3705666187838510093806330226247665155942927079149401053889310019967\ 3820235500471927871/24239894503134953957498351327892435490761065780\ 04363708493789458066068183181925024*c_1001_3^3 + 9180323019919084993501048832057098325564059076994800083428507293769\ 004102602360534791/121199472515674769787491756639462177453805328900\ 2181854246894729033034091590962512*c_1001_3^2 - 1966381181822287856438071711896857070222202501974674369501695793240\ 635102349147977041/242398945031349539574983513278924354907610657800\ 4363708493789458066068183181925024*c_1001_3 - 4018404370803333085923803165319470751366314956733684677420238565849\ 227376522843397469/242398945031349539574983513278924354907610657800\ 4363708493789458066068183181925024, c_0011_0 - 1, c_0011_1 + 189130080254108885159903739895076193508631500240518963369394\ 5036795257/65568405085790447760305405456582153811274984754856511373\ 835816487790054441*c_1001_3^20 - 6186615590714485992215723345601492\ 0226441727982961335651525464924624458/65568405085790447760305405456\ 582153811274984754856511373835816487790054441*c_1001_3^19 + 7266014426907677458728883844053368569391404766297289716296595526163\ 71715/6556840508579044776030540545658215381127498475485651137383581\ 6487790054441*c_1001_3^18 - 343037097742509673412031788689281201551\ 0961711919540804246881103343408968/65568405085790447760305405456582\ 153811274984754856511373835816487790054441*c_1001_3^17 + 2399752163457024254264151589016563256246662897795000888657242032752\ 773915/655684050857904477603054054565821538112749847548565113738358\ 16487790054441*c_1001_3^16 + 27662235336752747245671543798010377527\ 181196103538501252580207110861041029/655684050857904477603054054565\ 82153811274984754856511373835816487790054441*c_1001_3^15 - 4247395227782107846095122904483851719801416307700650171853807393891\ 9353945/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^14 - 1273498447563226889803362767583821063\ 85902432229027051364931250766104683107/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^13 + 1097954852824014947146518294183255408785889127309070593125546176606\ 89832534/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^12 + 566767262710703946775241852468998054\ 066369025990430389548783249397638914734/655684050857904477603054054\ 56582153811274984754856511373835816487790054441*c_1001_3^11 + 3788288109534128951853053880488310657247086305676539688035612047861\ 4563267/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^10 - 1509580501441586636048698135786753881\ 067401310995444340799345115419668694265/655684050857904477603054054\ 56582153811274984754856511373835816487790054441*c_1001_3^9 + 7335724519594593293950515871914722395030795216362813056914784004982\ 6686330/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^8 + 23493040455730426581246799067783105365\ 11465245073162609473779329122664478138/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^7 - 1042706555439224928850084540109160013078199925299037690402517485179\ 474877807/655684050857904477603054054565821538112749847548565113738\ 35816487790054441*c_1001_3^6 - 182278515844534193765890736891629049\ 5219184862131797475632864638971070463329/65568405085790447760305405\ 456582153811274984754856511373835816487790054441*c_1001_3^5 + 5895081067639994918585257805375573354207990122191385898388526608589\ 44456636/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^4 + 7964857566314412481309734751634544908\ 90090820470561943748698266492989087805/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^3 + 3312321176997255239078296436959067514657541677305367232188359479503\ 04779646/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^2 - 1261054426154296786005823335413914955\ 58533671105301768000804141772787660818/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3 - 7389204135900552410879049398286266218319682477019898085134768574248\ 3568935/65568405085790447760305405456582153811274984754856511373835\ 816487790054441, c_0011_4 - 656113198927967634243408501906577162279714758329467796773638\ 944202812/655684050857904477603054054565821538112749847548565113738\ 35816487790054441*c_1001_3^20 + 21638332544430227323826466247370818\ 889631531027892750503881671441093285/655684050857904477603054054565\ 82153811274984754856511373835816487790054441*c_1001_3^19 - 2576990568195330012049952108875482481515603616511647086150038945359\ 23284/6556840508579044776030540545658215381127498475485651137383581\ 6487790054441*c_1001_3^18 + 125361255721663458751181968602789268106\ 9514973225951534490885651516592332/65568405085790447760305405456582\ 153811274984754856511373835816487790054441*c_1001_3^17 - 1107795946306333316604978888142069930193871862310818457201160810085\ 198746/655684050857904477603054054565821538112749847548565113738358\ 16487790054441*c_1001_3^16 - 95401322294009234134607462377606040428\ 74515129795303583009328063929944525/6556840508579044776030540545658\ 2153811274984754856511373835816487790054441*c_1001_3^15 + 1718200225634774992530028773925729994530550334651342307671358083664\ 0108045/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^14 + 4209685724465238141502196941247992396\ 8919944404150453533399703236696677652/65568405085790447760305405456\ 582153811274984754856511373835816487790054441*c_1001_3^13 - 5001979339812035907118032678530442512771772469681410866277546466879\ 3898633/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^12 - 1964990758070932077243310119394930713\ 09283623906722219261616478095279267658/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^11 + 3273168218720321091929520750509547716715464842123926982779915492986\ 8253935/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^10 + 5591894706354761480496869385762092480\ 13270811390286629185331444799569292698/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^9 - 1125565063078626040614246980491366431810595745361289160803398073359\ 65327142/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^8 - 8419960800677320642934796668394452389\ 24572073551352775298944374104328086524/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^7 + 5234811784485766528104387132295139212936980627680107356099830061072\ 92250810/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^6 + 6278615854119263667187605987302462858\ 14177676687253474004682451819365844018/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^5 - 3358872794417278808679344355361228531383419550527995843945081946788\ 45551745/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^4 - 3045713567522626805063981133177154678\ 66673280453292881132150447497689863972/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^3 - 6956123683500905663118684954509059536561257049353224614555325049451\ 7608309/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^2 + 51483818810878878838395187439144729012\ 599279142480336859334697432095215609/655684050857904477603054054565\ 82153811274984754856511373835816487790054441*c_1001_3 - 3732798880144045893819125783457341824088361158138040324082812711180\ 667617/655684050857904477603054054565821538112749847548565113738358\ 16487790054441, c_0101_0 + 572756203800189977482194949121018920031784988016587269295838\ 896920927/655684050857904477603054054565821538112749847548565113738\ 35816487790054441*c_1001_3^20 - 19013394054397176292374766167714784\ 961187798634195936978961544721991529/655684050857904477603054054565\ 82153811274984754856511373835816487790054441*c_1001_3^19 + 2290919921989257948290031889647354089028769573964571990664630955139\ 25966/6556840508579044776030540545658215381127498475485651137383581\ 6487790054441*c_1001_3^18 - 114415262995041614045366924385934188881\ 1222936347142414879487652275266740/65568405085790447760305405456582\ 153811274984754856511373835816487790054441*c_1001_3^17 + 1212257519184763271889034708795539014516088092334131164871129939219\ 308195/655684050857904477603054054565821538112749847548565113738358\ 16487790054441*c_1001_3^16 + 81247324790891390672437823838925675755\ 97791418395178574918540224726925580/6556840508579044776030540545658\ 2153811274984754856511373835816487790054441*c_1001_3^15 - 1707702825665760035578088403228654002781499511067371715789166004562\ 6020108/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^14 - 3291961251998864477413470730690211285\ 9117197069118943241601406984512676062/65568405085790447760305405456\ 582153811274984754856511373835816487790054441*c_1001_3^13 + 5370643961961424347412725440343536535473190365414785516161282183551\ 7249475/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^12 + 1576011016541922089257446187264308188\ 33785740707417953635830590077529021434/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^11 - 7794940369743664313383969959670710741328379006270022922109092287677\ 6537974/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^10 - 4754677670918868960269093270603633510\ 07281265969975972677365366958195974734/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^9 + 2594993403026846331022031922612408987361945183743041288196582979645\ 58745079/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^8 + 7466299458718698234921332982593465965\ 98034935418023779676425124367111559530/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^7 - 6966543135318913543683219825790609977575428788875972879801313604263\ 79854209/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^6 - 4754586811002533826592584760668468121\ 82398870097860112390284363256497162066/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^5 + 4992197586761326935563528936904530341930024858474518081345408730274\ 58254001/6556840508579044776030540545658215381127498475485651137383\ 5816487790054441*c_1001_3^4 + 2042913378183466577775122675755990940\ 76591235225870007014184827614146401360/6556840508579044776030540545\ 6582153811274984754856511373835816487790054441*c_1001_3^3 - 8639034969694975740595781423135916919300511804971656186769624078254\ 1640602/65568405085790447760305405456582153811274984754856511373835\ 816487790054441*c_1001_3^2 - 16435561419410405393343510546153449680\ 0194474993346156168164752981918110508/65568405085790447760305405456\ 582153811274984754856511373835816487790054441*c_1001_3 + 1310165546541893382568433089864070479359190900057182125427249994521\ 8441546/65568405085790447760305405456582153811274984754856511373835\ 816487790054441, c_0101_3 + 544713093449096325505252960927411733209892567699573855094624\ 56233366165/5442177622120607164105348652896318766335823734653090444\ 028372768486574518603*c_1001_3^20 - 1746939476645714947106937800914671065829677315131610205040498065889\ 731727/544217762212060716410534865289631876633582373465309044402837\ 2768486574518603*c_1001_3^19 + 197977523413422237583233314912302420\ 82586144136315037942823473100530200385/5442177622120607164105348652\ 896318766335823734653090444028372768486574518603*c_1001_3^18 - 8574751567801044409279049955685291629834795890158653547692978491935\ 2218704/54421776221206071641053486528963187663358237346530904440283\ 72768486574518603*c_1001_3^17 + 93225437071926409587828968547072998\ 83702500021366470401706624489975801744/5442177622120607164105348652\ 896318766335823734653090444028372768486574518603*c_1001_3^16 + 8309619431815073294790668076720961805269213305192201307715184138947\ 39432137/5442177622120607164105348652896318766335823734653090444028\ 372768486574518603*c_1001_3^15 - 7463152514830718497947283422498385\ 22228144405319076121218500643218939178274/5442177622120607164105348\ 652896318766335823734653090444028372768486574518603*c_1001_3^14 - 4268768765902442711162276929106925050706693742405661319234651308943\ 124672165/544217762212060716410534865289631876633582373465309044402\ 8372768486574518603*c_1001_3^13 + 971948163209620862351626438969681\ 264370300632359185163393405321623323023961/544217762212060716410534\ 8652896318766335823734653090444028372768486574518603*c_1001_3^12 + 1717649895433732389951728909326486465503084647540190721452946949270\ 5969617547/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^11 + 1016595777656637197728879391748491287160108786089952670098654666432\ 1477864996/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^10 - 3906338353423895238103920247571130614834957811596148055462441448922\ 2420216670/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^9 - 173119781959747969445753720122930\ 62736117806590607328382116006166347925618372/5442177622120607164105\ 348652896318766335823734653090444028372768486574518603*c_1001_3^8 + 6554520054890676296870526466875649712003932627078364045417789637054\ 2964929836/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^7 - 317644933562851939593232880221722\ 3787147080682068964976770779122775778668365/54421776221206071641053\ 48652896318766335823734653090444028372768486574518603*c_1001_3^6 - 6440616259094348804633996073325032587618992562124188413510389805777\ 2544720703/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^5 + 232304212603842515296244139133226\ 6640386493041213395727884307017950494922394/54421776221206071641053\ 48652896318766335823734653090444028372768486574518603*c_1001_3^4 + 2086072681342652891313514597774315226049325144398902956151713462221\ 1410649350/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^3 + 838421356724255191955992221432966\ 3344892163421116287506356062830949716468045/54421776221206071641053\ 48652896318766335823734653090444028372768486574518603*c_1001_3^2 + 8136840237815396812897247965713817425555095011518577007896118820596\ 58084898/5442177622120607164105348652896318766335823734653090444028\ 372768486574518603*c_1001_3 - 4960715374364740442320299413972173618\ 95782484913883285544575538333070431206/5442177622120607164105348652\ 896318766335823734653090444028372768486574518603, c_0101_5 + 167929280262337346533466502624459926710451429836661044862913\ 863036468380/544217762212060716410534865289631876633582373465309044\ 4028372768486574518603*c_1001_3^20 - 5413317278548312484513187716515552307529095912199804267952070072617\ 787056/544217762212060716410534865289631876633582373465309044402837\ 2768486574518603*c_1001_3^19 + 619320140509665741534456039503499490\ 11233151491886677329359120859425736290/5442177622120607164105348652\ 896318766335823734653090444028372768486574518603*c_1001_3^18 - 2747772896653782451396243159037272230760378936011398952466636096876\ 58993965/5442177622120607164105348652896318766335823734653090444028\ 372768486574518603*c_1001_3^17 + 7757970046532774580318327811272704\ 6158016719267734478886176156795143375070/54421776221206071641053486\ 52896318766335823734653090444028372768486574518603*c_1001_3^16 + 2521555738881769127088917599848920822754819907484092327971711004837\ 335247734/544217762212060716410534865289631876633582373465309044402\ 8372768486574518603*c_1001_3^15 - 262746598638730187859461272234705\ 2517185345289828701993016232807726846783019/54421776221206071641053\ 48652896318766335823734653090444028372768486574518603*c_1001_3^14 - 1269253675698791049965521910803699031635141972323740795526775047397\ 6411038342/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^13 + 4277336012285711364948686496888805066019593561519046811995074045507\ 278297143/544217762212060716410534865289631876633582373465309044402\ 8372768486574518603*c_1001_3^12 + 527589429743161189167349358140142\ 78087696317267101514705904599967152090748898/5442177622120607164105\ 348652896318766335823734653090444028372768486574518603*c_1001_3^11 + 2624175699883381701541151337593446194325685512898772337088945609631\ 7133646754/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^10 - 1247237364551212507618162484302279258563152524414311092061846606564\ 74826617319/5442177622120607164105348652896318766335823734653090444\ 028372768486574518603*c_1001_3^9 - 4653302146022739719975844407859779154764495704672545549430398182612\ 0913315130/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^8 + 199999766881832617548819244568713\ 502070594395687803648405998704692182316859835/544217762212060716410\ 5348652896318766335823734653090444028372768486574518603*c_1001_3^7 - 1019156680993686316492433142802473718270355835820361297143980145545\ 8714376237/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^6 - 186020031203594779130466215124852\ 578318424473703129032619719017639474127391240/544217762212060716410\ 5348652896318766335823734653090444028372768486574518603*c_1001_3^5 - 1339399814286458081686763779699931179074016664627159790522319447699\ 1080719316/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^4 + 750553759468303107424699470490329\ 98019189253693473639060832723714838203267294/5442177622120607164105\ 348652896318766335823734653090444028372768486574518603*c_1001_3^3 + 4643258915304184097617098137038790751333634911495292428954766133035\ 3432936755/54421776221206071641053486528963187663358237346530904440\ 28372768486574518603*c_1001_3^2 - 421106083699800407834213725684052\ 9231539942286889148182280435859779099268501/54421776221206071641053\ 48652896318766335823734653090444028372768486574518603*c_1001_3 - 5221121251711679467569235640680875598261786918151497167084086575722\ 237630158/544217762212060716410534865289631876633582373465309044402\ 8372768486574518603, c_1001_3^21 - 32*c_1001_3^20 + 361*c_1001_3^19 - 1543*c_1001_3^18 + 6*c_1001_3^17 + 15414*c_1001_3^16 - 12055*c_1001_3^15 - 82176*c_1001_3^14 + 9258*c_1001_3^13 + 335128*c_1001_3^12 + 233721*c_1001_3^11 - 760767*c_1001_3^10 - 511334*c_1001_3^9 + 1220744*c_1001_3^8 + 299405*c_1001_3^7 - 1285557*c_1001_3^6 - 380987*c_1001_3^5 + 556614*c_1001_3^4 + 444807*c_1001_3^3 + 58587*c_1001_3^2 - 61454*c_1001_3 - 13919 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB