Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 846442221] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1474 geometric_solution 5.28976874 oriented_manifold CS_known -0.0000000000000002 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614103507069 0.206560213328 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923014677599 0.285495566146 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 0 0 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.300155836971 0.385924954659 4 2 6 5 3120 0132 0132 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 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.500806425544 0.470085684481 5 6 2 3 3201 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.500806425544 0.470085684481 5 5 3 4 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469708600894 0.804458343626 6 4 6 3 2310 0132 3201 0132 0 0 0 0 0 0 0 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 -1 1 0 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.439819746993 1.442883088296 ==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' : negation(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' : negation(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' : d['c_0011_4'], '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_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], '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_0011_5, c_0101_0, c_0101_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 2791868026806954796743665767464155673621698596829539026503979466654\ 790825/312731897935407685336499741851332810165498912893501166471664\ 619464401855392*c_1001_3^18 + 2175140828925407597468505364403091211\ 1066286371432497142049291089658263441/31273189793540768533649974185\ 1332810165498912893501166471664619464401855392*c_1001_3^17 + 1456952459127071551847671830570726289760934396639229895895593150617\ 49099565/3127318979354076853364997418513328101654989128935011664716\ 64619464401855392*c_1001_3^16 - 57733012771621107921623448683624981\ 3632180408889871345354564756936846619349/31273189793540768533649974\ 1851332810165498912893501166471664619464401855392*c_1001_3^15 + 7592590663210129606914258356596380367971650959560714000985979164119\ 75976337/3127318979354076853364997418513328101654989128935011664716\ 64619464401855392*c_1001_3^14 + 14324770328656864928572879589933963\ 095788175797968138568076414245518190532189/781829744838519213341249\ 35462833202541374728223375291617916154866100463848*c_1001_3^13 + 1108390279084890852045020927329739983551038268596973938888404807189\ 68202757065/1563659489677038426682498709256664050827494564467505832\ 35832309732200927696*c_1001_3^12 + 7042222231593639457000129124371578134063390165005722205133760832039\ 3830833051/78182974483851921334124935462833202541374728223375291617\ 916154866100463848*c_1001_3^11 - 1073965674926450801064316540204577\ 35805604356185833274203427582719427544317969/3127318979354076853364\ 99741851332810165498912893501166471664619464401855392*c_1001_3^10 - 2730894513158877860955541460240036413424216561232226012135000840068\ 08537687507/7818297448385192133412493546283320254137472822337529161\ 7916154866100463848*c_1001_3^9 - 1352350309136818871546466738285922\ 245085615733957521725029832285261788744699151/312731897935407685336\ 499741851332810165498912893501166471664619464401855392*c_1001_3^8 + 3636200476756782177308682899011631822211420537236956880406657517434\ 98639011347/7818297448385192133412493546283320254137472822337529161\ 7916154866100463848*c_1001_3^7 + 2792535313761537924796870936131684\ 75014752948853108763102584968572309800385005/3909148724192596066706\ 2467731416601270687364111687645808958077433050231924*c_1001_3^6 - 1347333469235519458237486569135348457448421856658809997309701573432\ 398804913159/312731897935407685336499741851332810165498912893501166\ 471664619464401855392*c_1001_3^5 - 1660966876090915177622577714841982600456884220739495340377742863405\ 15507975795/1563659489677038426682498709256664050827494564467505832\ 35832309732200927696*c_1001_3^4 + 797373177313995563085245057602401\ 26892231001577107745621365019699819205117543/7818297448385192133412\ 4935462833202541374728223375291617916154866100463848*c_1001_3^3 - 5855242329975101143598525265235267156373438898292745505720881218795\ 69629318335/3127318979354076853364997418513328101654989128935011664\ 71664619464401855392*c_1001_3^2 + 863719468812307042146904462926624\ 9305862798418449109770642859231089863916901/15636594896770384266824\ 9870925666405082749456446750583235832309732200927696*c_1001_3 + 1750126115431270460396886723994591875843399647575649062889278165102\ 44959821587/3127318979354076853364997418513328101654989128935011664\ 71664619464401855392, c_0011_0 - 1, c_0011_1 - 173114732931044210705285162583815860292349973068193170560579\ 506/352295315754774953473936453168176062070823607459858749543205780\ 843*c_1001_3^18 + 1309150925375449781231965141521178950149809990326\ 995365024513423/352295315754774953473936453168176062070823607459858\ 749543205780843*c_1001_3^17 + 9303578399264299786926180193554987935\ 716607065881548701131621555/352295315754774953473936453168176062070\ 823607459858749543205780843*c_1001_3^16 - 33443501568159095670477868705723064454532635304465726718984029949/3\ 52295315754774953473936453168176062070823607459858749543205780843*c\ _1001_3^15 + 410195076534926665225969172270005371333123737019309678\ 44239153123/3522953157547749534739364531681760620708236074598587495\ 43205780843*c_1001_3^14 + 35564789669819621431288092062422169764903\ 55153431982920499925718728/3522953157547749534739364531681760620708\ 23607459858749543205780843*c_1001_3^13 + 1456638847192263663499693977505647430533508794530761391615762720940\ 6/35229531575477495347393645316817606207082360745985874954320578084\ 3*c_1001_3^12 + 214095505614831492182274267294154155140903203015629\ 13175678941008115/3522953157547749534739364531681760620708236074598\ 58749543205780843*c_1001_3^11 + 71357491814596797524415249001601335\ 1396694089865561119642491176132/35229531575477495347393645316817606\ 2070823607459858749543205780843*c_1001_3^10 - 6394020346817084557240874900079081651365670403168555852949217322130\ 7/35229531575477495347393645316817606207082360745985874954320578084\ 3*c_1001_3^9 - 9821783088878969772140201742256363819565904563638030\ 9590258094501133/35229531575477495347393645316817606207082360745985\ 8749543205780843*c_1001_3^8 + 5722708851197076665777511846081437244\ 5019670091335104995124393057564/35229531575477495347393645316817606\ 2070823607459858749543205780843*c_1001_3^7 + 1354297132928883488670531760655398843635760371921376868314486598929\ 07/3522953157547749534739364531681760620708236074598587495432057808\ 43*c_1001_3^6 - 430092076278663421626963086994277752962533012428593\ 04527543836346662/3522953157547749534739364531681760620708236074598\ 58749543205780843*c_1001_3^5 - 972478268195286295876673175711818355\ 4858000677725006373641976870564/35229531575477495347393645316817606\ 2070823607459858749543205780843*c_1001_3^4 + 1018935682114004472049614046675462687501812571740896130341108874578\ 1/35229531575477495347393645316817606207082360745985874954320578084\ 3*c_1001_3^3 - 3244002001284130042926980738877221004732938602297831\ 7889503396141216/35229531575477495347393645316817606207082360745985\ 8749543205780843*c_1001_3^2 - 6146693763074673591283118125524861094\ 226379558523371976272379443010/352295315754774953473936453168176062\ 070823607459858749543205780843*c_1001_3 + 4157217453148446112246276783525194881833108642433950239130289259002\ /352295315754774953473936453168176062070823607459858749543205780843\ , c_0011_4 - 340000144111977093535118064495595667146099252254205026428764\ 498182/702124564299266482273555351164174891707151449667498487839609\ 121220099*c_1001_3^18 + 2573850375848390832383428761186772371032371\ 721873382561479308282476/702124564299266482273555351164174891707151\ 449667498487839609121220099*c_1001_3^17 + 1825577332707097249121050639283786931478502823180441593211890451025\ 4/70212456429926648227355535116417489170715144966749848783960912122\ 0099*c_1001_3^16 - 658490208959308345974158150567135658009971585578\ 28009249730772471041/7021245642992664822735553511641748917071514496\ 67498487839609121220099*c_1001_3^15 + 8086235554298727890041727381737012236707571364875176050098253529633\ 7/70212456429926648227355535116417489170715144966749848783960912122\ 0099*c_1001_3^14 + 698482395848864392321293516541209988871514644520\ 0255151301847641567680/70212456429926648227355535116417489170715144\ 9667498487839609121220099*c_1001_3^13 + 2855380351086182137676908454695621910335926185606751243026618140784\ 0993/70212456429926648227355535116417489170715144966749848783960912\ 1220099*c_1001_3^12 + 417526120077153308629892679714476346076344509\ 00800926643517460631584048/7021245642992664822735553511641748917071\ 51449667498487839609121220099*c_1001_3^11 + 7047346379882416307826055631022536720275462835483528616279986748393\ 17/7021245642992664822735553511641748917071514496674984878396091212\ 20099*c_1001_3^10 - 12636351613382159732937016690161839831374075212\ 7633747492423247743358090/70212456429926648227355535116417489170715\ 1449667498487839609121220099*c_1001_3^9 - 1926443840743499100373282785313204304917055335143010191597001824807\ 07967/7021245642992664822735553511641748917071514496674984878396091\ 21220099*c_1001_3^8 + 114470538290609420817267791473038986926538810\ 148242496250949945526907094/702124564299266482273555351164174891707\ 151449667498487839609121220099*c_1001_3^7 + 2675469807652872145778233259450178176308559725486069986703007264922\ 69911/7021245642992664822735553511641748917071514496674984878396091\ 21220099*c_1001_3^6 - 857169012165376028577866792037438100156101055\ 31238935691561615432332609/7021245642992664822735553511641748917071\ 51449667498487839609121220099*c_1001_3^5 - 2035445713696475621988651748969065098241920872182748498814854085823\ 6458/70212456429926648227355535116417489170715144966749848783960912\ 1220099*c_1001_3^4 + 2032073883916576556545597423633075058277726540\ 4248843109320484400779689/70212456429926648227355535116417489170715\ 1449667498487839609121220099*c_1001_3^3 - 6428313432825544146479223692004552185704176824292783077210082550731\ 1256/70212456429926648227355535116417489170715144966749848783960912\ 1220099*c_1001_3^2 - 1175497541716079374195264290122868982361632856\ 7572714482451447967216162/70212456429926648227355535116417489170715\ 1449667498487839609121220099*c_1001_3 + 8412097205323929433846764889564494887919771178845329383570896566524\ 559/702124564299266482273555351164174891707151449667498487839609121\ 220099, c_0011_5 + 112069896018590809081749089366146076242175741600058940644302\ 500905/702124564299266482273555351164174891707151449667498487839609\ 121220099*c_1001_3^18 - 8635258771187852665488399890538214897623279\ 66400570519059802070239/7021245642992664822735553511641748917071514\ 49667498487839609121220099*c_1001_3^17 - 5895863962985451511827263113025658724834647302067605394951327933290\ /702124564299266482273555351164174891707151449667498487839609121220\ 099*c_1001_3^16 + 2246159147516329776175771868877658387346169848165\ 6085300079071646814/70212456429926648227355535116417489170715144966\ 7498487839609121220099*c_1001_3^15 - 2992553217101552416278874034954981144822725918676993472213684796851\ 8/70212456429926648227355535116417489170715144966749848783960912122\ 0099*c_1001_3^14 - 229720341755424747788106588520333152713844531404\ 9548212564331529670298/70212456429926648227355535116417489170715144\ 9667498487839609121220099*c_1001_3^13 - 9103355226529132215977101132208479104718224326126253151364597343597\ 469/702124564299266482273555351164174891707151449667498487839609121\ 220099*c_1001_3^12 - 1263152310991125006865872720995529919016036906\ 4947674094413807855500321/70212456429926648227355535116417489170715\ 1449667498487839609121220099*c_1001_3^11 + 1120824164694756884422762763917005178305896711552788268964517617083\ 503/702124564299266482273555351164174891707151449667498487839609121\ 220099*c_1001_3^10 + 4107044021147075957553456253021476420028156314\ 7820588007898210481441152/70212456429926648227355535116417489170715\ 1449667498487839609121220099*c_1001_3^9 + 5805971382344794138752176193195908274931939416298290199128567908194\ 9346/70212456429926648227355535116417489170715144966749848783960912\ 1220099*c_1001_3^8 - 4400216466595083732671172562490875797060107950\ 2144965743844361488832562/70212456429926648227355535116417489170715\ 1449667498487839609121220099*c_1001_3^7 - 8036582416535759117108801719587819203969571899449149844991500950759\ 7915/70212456429926648227355535116417489170715144966749848783960912\ 1220099*c_1001_3^6 + 3702295984906021505210712221052573758239244675\ 2520977938006626720033293/70212456429926648227355535116417489170715\ 1449667498487839609121220099*c_1001_3^5 + 1497321256405799219602562174707384396314639501500875920443303451458\ 8/70212456429926648227355535116417489170715144966749848783960912122\ 0099*c_1001_3^4 - 4745945823695453724530980623332350925030823387551\ 389724647013370975780/702124564299266482273555351164174891707151449\ 667498487839609121220099*c_1001_3^3 + 2042800166172351786744651021426588668625111761782980069297531774136\ 3826/70212456429926648227355535116417489170715144966749848783960912\ 1220099*c_1001_3^2 + 1854003731553074667917485708938738386187164874\ 768711704598856457849266/702124564299266482273555351164174891707151\ 449667498487839609121220099*c_1001_3 - 2503147530974994755135436070635995694098666770565815993727719319039\ 614/702124564299266482273555351164174891707151449667498487839609121\ 220099, c_0101_0 + 205581392970676864052262396597905655629670590634114875861613\ 791/352295315754774953473936453168176062070823607459858749543205780\ 843*c_1001_3^18 - 1550050332694534554471319969582009897056364272686\ 341815226426247/352295315754774953473936453168176062070823607459858\ 749543205780843*c_1001_3^17 - 1108605266068472742518842594359617440\ 1505066095090705139892587151/35229531575477495347393645316817606207\ 0823607459858749543205780843*c_1001_3^16 + 39487007837692424979886520311868400506934531432801734912185379099/3\ 52295315754774953473936453168176062070823607459858749543205780843*c\ _1001_3^15 - 476751684089297710225669171420746463561284482699991738\ 96715469618/3522953157547749534739364531681760620708236074598587495\ 43205780843*c_1001_3^14 - 42250564900028934607068903058858467674255\ 60968472399883558153869427/3522953157547749534739364531681760620708\ 23607459858749543205780843*c_1001_3^13 - 1739253929610143833652382440093862691558594818896749808694223245235\ 5/35229531575477495347393645316817606207082360745985874954320578084\ 3*c_1001_3^12 - 257591914115281619368129497542323042060419434695244\ 23570453676499642/3522953157547749534739364531681760620708236074598\ 58749543205780843*c_1001_3^11 - 11874491818936072010256081969064589\ 21531391983980222851576572572974/3522953157547749534739364531681760\ 62070823607459858749543205780843*c_1001_3^10 + 7631260319657695594952035916835606524618757137881538635636456564948\ 0/35229531575477495347393645316817606207082360745985874954320578084\ 3*c_1001_3^9 + 1186053718884917785767446362468806840967518409928521\ 27916529893434340/3522953157547749534739364531681760620708236074598\ 58749543205780843*c_1001_3^8 - 658527954716755848220744695871666077\ 24335623156406926685794965299325/3522953157547749534739364531681760\ 62070823607459858749543205780843*c_1001_3^7 - 1634576638670838594323693546733104077514837250867274636616849967355\ 48/3522953157547749534739364531681760620708236074598587495432057808\ 43*c_1001_3^6 + 480486209893707556217715693202571242570126365111095\ 27774862154384669/3522953157547749534739364531681760620708236074598\ 58749543205780843*c_1001_3^5 + 137466497892868718287771492604516700\ 40883015966950611172758286618943/3522953157547749534739364531681760\ 62070823607459858749543205780843*c_1001_3^4 - 1302916047530718167730933661341719089886056942149107777022581728646\ 5/35229531575477495347393645316817606207082360745985874954320578084\ 3*c_1001_3^3 + 3849848984605219997513605333464231252448203508365681\ 8981721243644013/35229531575477495347393645316817606207082360745985\ 8749543205780843*c_1001_3^2 + 8416571217661374145119751954140254832\ 287962291027745267677720268462/352295315754774953473936453168176062\ 070823607459858749543205780843*c_1001_3 - 5083441336770553720654053382389531818981966618476595397465756913613\ /352295315754774953473936453168176062070823607459858749543205780843\ , c_0101_1 - 316001898670243548080968213869570178561368328962573176574222\ 202/352295315754774953473936453168176062070823607459858749543205780\ 843*c_1001_3^18 + 2385467692948072234258133792084989871152029103315\ 965638108745314/352295315754774953473936453168176062070823607459858\ 749543205780843*c_1001_3^17 + 1701730626222052430836671272289623821\ 4029012743731707354265589246/35229531575477495347393645316817606207\ 0823607459858749543205780843*c_1001_3^16 - 60838830126629985739125750257630630681437213155062590769756140888/3\ 52295315754774953473936453168176062070823607459858749543205780843*c\ _1001_3^15 + 739191989564784897237098746196977440946767620136012081\ 48828218827/3522953157547749534739364531681760620708236074598587495\ 43205780843*c_1001_3^14 + 64934762018308450077034449285621059054311\ 67694614290083809285057704/3522953157547749534739364531681760620708\ 23607459858749543205780843*c_1001_3^13 + 2667590227933867675200609942982371836312581203052560867992750121046\ 7/35229531575477495347393645316817606207082360745985874954320578084\ 3*c_1001_3^12 + 393849667239639668462580840184722183444820366686872\ 96132468290680791/3522953157547749534739364531681760620708236074598\ 58749543205780843*c_1001_3^11 + 16151412397285526919180538847915232\ 89088520151324629740894990658129/3522953157547749534739364531681760\ 62070823607459858749543205780843*c_1001_3^10 - 1169912166455308466405686346916386860732753488179689136414458483871\ 31/3522953157547749534739364531681760620708236074598587495432057808\ 43*c_1001_3^9 - 180852035168315116927555146954820867369778641408519\ 916442860445442743/352295315754774953473936453168176062070823607459\ 858749543205780843*c_1001_3^8 + 10289812014741287727762509592224882\ 7302365739191178207537720858512836/35229531575477495347393645316817\ 6062070823607459858749543205780843*c_1001_3^7 + 2498315467046650495353206945216524872027968688170578826892180461566\ 68/3522953157547749534739364531681760620708236074598587495432057808\ 43*c_1001_3^6 - 763190355208287360107913438735175077930152962223071\ 89657987142696279/3522953157547749534739364531681760620708236074598\ 58749543205780843*c_1001_3^5 - 204040864967805993223582043953261887\ 65209296484165163080056522123822/3522953157547749534739364531681760\ 62070823607459858749543205780843*c_1001_3^4 + 1988491838680625600183207136998099935351554820161275827854645211675\ 6/35229531575477495347393645316817606207082360745985874954320578084\ 3*c_1001_3^3 - 5979892675489743731908426839944049780485511982207708\ 8808123362466511/35229531575477495347393645316817606207082360745985\ 8749543205780843*c_1001_3^2 - 1182011887990684115599228755338054465\ 1918400245269628413607755095296/35229531575477495347393645316817606\ 2070823607459858749543205780843*c_1001_3 + 8200230295526372389375761597317492225031207593288966790643074925787\ /352295315754774953473936453168176062070823607459858749543205780843\ , c_1001_3^19 - 7*c_1001_3^18 - 58*c_1001_3^17 + 163*c_1001_3^16 - 128*c_1001_3^15 - 20678*c_1001_3^14 - 95695*c_1001_3^13 - 170881*c_1001_3^12 - 73122*c_1001_3^11 + 368215*c_1001_3^10 + 776341*c_1001_3^9 - 11820*c_1001_3^8 - 971011*c_1001_3^7 - 192504*c_1001_3^6 + 197533*c_1001_3^5 - 28748*c_1001_3^4 + 154993*c_1001_3^3 + 141818*c_1001_3^2 - 4814*c_1001_3 - 13919 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB