Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 2311591268] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0701 geometric_solution 4.65659624 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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 1.448537476643 0.114388592132 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1.212314721324 0.153223324660 3 1 1 3 0132 0132 1023 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 1 0 -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 1.166106517295 0.582859175143 2 4 5 2 0132 0132 0132 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 -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.327847647713 0.264786319152 6 3 5 5 0132 0132 3201 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244269314514 0.810185897620 4 4 6 3 2310 1302 2310 0132 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 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.244269314514 0.810185897620 4 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.945955651496 1.911219274510 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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' : 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' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : 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' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 943185978958659060215558496634851580574163113595407573316069019053/\ 38577942959453992594616489484762948057420515832346691796940586504*c\ _0101_6^27 + 425092754992781194004387896895956129227158316265399177\ 8370769320071/19288971479726996297308244742381474028710257916173345\ 898470293252*c_0101_6^26 - 4736036104131946563017417422155562453024\ 7054830887890764126120567335/38577942959453992594616489484762948057\ 420515832346691796940586504*c_0101_6^25 - 1588485750212772145553464289243609115894950494401355614272248880033\ 85/1928897147972699629730824474238147402871025791617334589847029325\ 2*c_0101_6^24 + 513885300493514821067742431558391136410297349779905\ 71737055339978150/4822242869931749074327061185595368507177564479043\ 336474617573313*c_0101_6^23 + 3545817612063878257317368042120783575\ 056027505457625976936116360148021/385779429594539925946164894847629\ 48057420515832346691796940586504*c_0101_6^22 - 9546887902194077130582334261474538870212377442093010441364511260202\ 43/9644485739863498148654122371190737014355128958086672949235146626\ *c_0101_6^21 - 1445154087803785061382683666317176134121969905172655\ 50955527906132945/2352313595088658085037590822241643174232958282460\ 16413395979186*c_0101_6^20 + 46163192720327117195284616133930311413\ 04426924644996573837782790326760/4822242869931749074327061185595368\ 507177564479043336474617573313*c_0101_6^19 + 4321262684859747519496461919257800901633344405469954303744855951682\ 5257/19288971479726996297308244742381474028710257916173345898470293\ 252*c_0101_6^18 - 2098068845108909907339346213424358404280944492524\ 59154045464278066805265/3857794295945399259461648948476294805742051\ 5832346691796940586504*c_0101_6^17 - 2442855251761089099765549329665540757701181708831141068973070727068\ 23/117615679754432904251879541112082158711647914123008206697989593*\ c_0101_6^16 + 54095384970377953090375211541875543906450265886748482\ 0210817796221722565/38577942959453992594616489484762948057420515832\ 346691796940586504*c_0101_6^15 - 1381812458690628628390538469744169\ 37107193430598548535318162700441629099/1928897147972699629730824474\ 2381474028710257916173345898470293252*c_0101_6^14 - 4888269016483484097603940549438733400942142477069159623102999939636\ 91593/3857794295945399259461648948476294805742051583234669179694058\ 6504*c_0101_6^13 + 209397717839991717161233785381332051382262677201\ 229442354967660981336131/192889714797269962973082447423814740287102\ 57916173345898470293252*c_0101_6^12 + 3479334926050219204465361607378488199733343064156283049589481053607\ 21355/3857794295945399259461648948476294805742051583234669179694058\ 6504*c_0101_6^11 - 568768155085242469288065388107358883027737902013\ 3610538982102613349779/62222488644280633217123370136714432350678251\ 3424946641886138492*c_0101_6^10 - 213489126558324072784891578554198\ 428961615018403916156062443532699456509/385779429594539925946164894\ 84762948057420515832346691796940586504*c_0101_6^9 + 1963248838289027274135810499839246670693074381834900566692759839235\ 87931/3857794295945399259461648948476294805742051583234669179694058\ 6504*c_0101_6^8 + 2383299536610972987967404590529847992704847341702\ 0608143545921043043929/96444857398634981486541223711907370143551289\ 58086672949235146626*c_0101_6^7 - 630831520798294636152047637820730\ 75076474973998052368293349642781213577/3857794295945399259461648948\ 4762948057420515832346691796940586504*c_0101_6^6 - 2743497170350688588657910715703999417103395680365466854789292590194\ 2909/38577942959453992594616489484762948057420515832346691796940586\ 504*c_0101_6^5 + 47462007342146082718660163957241718357968595992277\ 30876549717036380489/1928897147972699629730824474238147402871025791\ 6173345898470293252*c_0101_6^4 + 3942648376712212945943148957027739\ 364461663038269019015789363864474253/385779429594539925946164894847\ 62948057420515832346691796940586504*c_0101_6^3 - 1922830413668097826725464064776025187434856948046374472513713517311\ 45/1928897147972699629730824474238147402871025791617334589847029325\ 2*c_0101_6^2 - 7373563633282464945792017680187136066260179209598667\ 38541816380737/3111124432214031660856168506835721617533912567124733\ 20943069246*c_0101_6 + 27053944473536519865863958337020731362480311\ 004308629511905849916569/385779429594539925946164894847629480574205\ 15832346691796940586504, c_0011_0 - 1, c_0011_1 - 123115348130997397928454167503104942357550862828761619986298\ 140/117615679754432904251879541112082158711647914123008206697989593\ *c_0101_6^27 - 1317979724137374518031308788903096011577461021505091\ 196399527294/117615679754432904251879541112082158711647914123008206\ 697989593*c_0101_6^26 + 3936260688013674493278390380549285436937162\ 117170416028788560060/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^25 + 4795216247866909584464572676901533\ 4293944636319376523895496800070/11761567975443290425187954111208215\ 8711647914123008206697989593*c_0101_6^24 + 28026722879862431991752664624268964417823163239832682711408576590/1\ 17615679754432904251879541112082158711647914123008206697989593*c_01\ 01_6^23 - 408950621616573158387252785993918652399386550735603544347\ 937963414/117615679754432904251879541112082158711647914123008206697\ 989593*c_0101_6^22 - 1913009018188687934000957172808471723538276450\ 86315792761085676532/1176156797544329042518795411120821587116479141\ 23008206697989593*c_0101_6^21 + 27094133334769703825816339302120365\ 75358026042914502695407614388074/1176156797544329042518795411120821\ 58711647914123008206697989593*c_0101_6^20 - 254511141082818610892428001237958710095073101990531831320922177014/\ 117615679754432904251879541112082158711647914123008206697989593*c_0\ 101_6^19 - 11304422845894759420044740335667034393381598853817635918\ 248334620011/117615679754432904251879541112082158711647914123008206\ 697989593*c_0101_6^18 + 8169956236047209499882107685876792628133781\ 357678624410173074773962/117615679754432904251879541112082158711647\ 914123008206697989593*c_0101_6^17 + 2253332499623070590954256949395230937624480693518434254756682569985\ 5/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^16 - 310662673920995051425118265704825205720693275223089579\ 18357101024944/1176156797544329042518795411120821587116479141230082\ 06697989593*c_0101_6^15 - 12771307322311503988214202738850319324849\ 659791390548835610273477903/117615679754432904251879541112082158711\ 647914123008206697989593*c_0101_6^14 + 3686056240632941384355738271082369990947416498279951168617197936647\ 8/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^13 + 510287683907747182020783273110343199366470339340073767\ 1520551990215/11761567975443290425187954111208215871164791412300820\ 6697989593*c_0101_6^12 - 294848588446228063193849998544675362147751\ 02223740184177063709588767/1176156797544329042518795411120821587116\ 47914123008206697989593*c_0101_6^11 - 97068239128918684243869144706659497591866254754593024830909679066/3\ 794054185626867879092888422970392216504771423322845377354503*c_0101\ _6^10 + 16457058456336883192178721665880687775841245282004820763665\ 151037879/117615679754432904251879541112082158711647914123008206697\ 989593*c_0101_6^9 + 17822898579651387176944521605638986165813797765\ 68144902697676981320/1176156797544329042518795411120821587116479141\ 23008206697989593*c_0101_6^8 - 551252047181190081561894443096032568\ 4293138198721918728674450496292/11761567975443290425187954111208215\ 8711647914123008206697989593*c_0101_6^7 - 667698132862524646927348644277220981157298313699226070419769435911/\ 117615679754432904251879541112082158711647914123008206697989593*c_0\ 101_6^6 + 931249248042903104091388473577117499629086855952463376987\ 381940167/117615679754432904251879541112082158711647914123008206697\ 989593*c_0101_6^5 + 99414119486265864418893176253915499767840073292\ 907011872203371012/117615679754432904251879541112082158711647914123\ 008206697989593*c_0101_6^4 - 58706318467302393435789595233749927966\ 479582948619527337171751311/117615679754432904251879541112082158711\ 647914123008206697989593*c_0101_6^3 + 2712256429232907285289439360910748738047355920662120195181250147/11\ 7615679754432904251879541112082158711647914123008206697989593*c_010\ 1_6^2 + 62062573439287233511120037700191185513509074983535877515215\ 389/3794054185626867879092888422970392216504771423322845377354503*c\ _0101_6 - 263874212265835837262483153019710558450367152718047035889\ 884483/117615679754432904251879541112082158711647914123008206697989\ 593, c_0011_5 - 110004356418934276823325518259699370844244097330409063226942\ 029/117615679754432904251879541112082158711647914123008206697989593\ *c_0101_6^27 - 1178892247098550446595064797645732891943493650459433\ 221781798985/117615679754432904251879541112082158711647914123008206\ 697989593*c_0101_6^26 + 3521247889254525527531451961261689283962411\ 924805534977137725478/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^25 + 4307950885230046131933511821970155\ 9370879449012119816482306039293/11761567975443290425187954111208215\ 8711647914123008206697989593*c_0101_6^24 + 25008798517521250607212594541858431323879068954723735211427500934/1\ 17615679754432904251879541112082158711647914123008206697989593*c_01\ 01_6^23 - 372076042596245563301052487535719601148513745564824203180\ 704077881/117615679754432904251879541112082158711647914123008206697\ 989593*c_0101_6^22 - 1806176023630544179503303130318404794848042870\ 05481112557066109411/1176156797544329042518795411120821587116479141\ 23008206697989593*c_0101_6^21 + 24751083411304782038419488004239504\ 48388516881827354688852699478652/1176156797544329042518795411120821\ 58711647914123008206697989593*c_0101_6^20 - 162563224867463859799841727100248311651683023734156444467662479015/\ 117615679754432904251879541112082158711647914123008206697989593*c_0\ 101_6^19 - 10472145868099762996917246743960471317349461300565227109\ 065242349530/117615679754432904251879541112082158711647914123008206\ 697989593*c_0101_6^18 + 7159357219710547046275791525311213430034976\ 048352566165752521295012/117615679754432904251879541112082158711647\ 914123008206697989593*c_0101_6^17 + 2174578763650790868788317259502536100790216388247271265805764326166\ 4/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^16 - 284138226203434822511043173818420202216120430576772764\ 30064175632607/1176156797544329042518795411120821587116479141230082\ 06697989593*c_0101_6^15 - 14741360530323376312564175482596036084913\ 945146483319498917125770257/117615679754432904251879541112082158711\ 647914123008206697989593*c_0101_6^14 + 3644261933769107408726991009669512461463974234948006761728944650469\ 1/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^13 + 668046762999144492091082234388268958751844181272224542\ 5909718439789/11761567975443290425187954111208215871164791412300820\ 6697989593*c_0101_6^12 - 302370767322457708740887819542458010573554\ 02581954969359749232547186/1176156797544329042518795411120821587116\ 47914123008206697989593*c_0101_6^11 - 131846799467930283820378877484667007985635244600049234481967154385/\ 3794054185626867879092888422970392216504771423322845377354503*c_010\ 1_6^10 + 1762777022317729389476257753503082188253514194202527101131\ 4868119695/11761567975443290425187954111208215871164791412300820669\ 7989593*c_0101_6^9 + 2531005437979398610161784434325929477716794525\ 014292899873112144793/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^8 - 63148025412781084905493560021457287\ 07605617735440573808998792427006/1176156797544329042518795411120821\ 58711647914123008206697989593*c_0101_6^7 - 1009529231880099837107636360688345492818663832080562779823214794728\ /117615679754432904251879541112082158711647914123008206697989593*c_\ 0101_6^6 + 11622044006858739466761167829384229593459408110100859942\ 91159472198/1176156797544329042518795411120821587116479141230082066\ 97989593*c_0101_6^5 + 175272508234541617690390821919716134331859152\ 927233040264434420623/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^4 - 81747535466917611375870008060617931\ 180098116347780037217763013994/117615679754432904251879541112082158\ 711647914123008206697989593*c_0101_6^3 + 67424561471592438524950325507153809348313319036336135244382170/1176\ 15679754432904251879541112082158711647914123008206697989593*c_0101_\ 6^2 + 1056441957964308984872467801824372490934469866664824459580488\ 54/3794054185626867879092888422970392216504771423322845377354503*c_\ 0101_6 - 3393576157434782662738404123752446130036746385599584302907\ 45263/1176156797544329042518795411120821587116479141230082066979895\ 93, c_0101_0 - 101928751647901753487473106819429565944113106668053841288226\ 4/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^27 + 120844318726420916351760716883738031668486871453278946\ 54963756/1176156797544329042518795411120821587116479141230082066979\ 89593*c_0101_6^26 + 28374168090762063974906846611031762299561794276\ 9053335781547214/11761567975443290425187954111208215871164791412300\ 8206697989593*c_0101_6^25 - 267405907608103074239234981987263251834\ 909957750424809741465086/117615679754432904251879541112082158711647\ 914123008206697989593*c_0101_6^24 - 8685524630205185189972405375989015310625644045407262333018548549/11\ 7615679754432904251879541112082158711647914123008206697989593*c_010\ 1_6^23 - 1100264519115204950737719756377553344804104103494806437042\ 8252386/11761567975443290425187954111208215871164791412300820669798\ 9593*c_0101_6^22 + 666276083509236549662382933032058158362840175509\ 30051916562113150/1176156797544329042518795411120821587116479141230\ 08206697989593*c_0101_6^21 + 66556950713051790569739323461529005351\ 665445884505453266679381349/117615679754432904251879541112082158711\ 647914123008206697989593*c_0101_6^20 - 448735345988461868846801702221463603514563690881186357141531978809/\ 117615679754432904251879541112082158711647914123008206697989593*c_0\ 101_6^19 - 10117416983755073730742991791643684595733876583512475173\ 3699163239/11761567975443290425187954111208215871164791412300820669\ 7989593*c_0101_6^18 + 184863880335706994625766939992082058767480663\ 8876945781964891076478/11761567975443290425187954111208215871164791\ 4123008206697989593*c_0101_6^17 - 102468768224841056169114406948194\ 3485567638671086409027559117961666/11761567975443290425187954111208\ 2158711647914123008206697989593*c_0101_6^16 - 3363934913356125618017362693700080179440717512195295340552968219168\ /117615679754432904251879541112082158711647914123008206697989593*c_\ 0101_6^15 + 4398225085745098962104030383808401619494263559363958899\ 215956196965/117615679754432904251879541112082158711647914123008206\ 697989593*c_0101_6^14 + 9319925271769715227682053244396692497299732\ 59557944475737478141319/1176156797544329042518795411120821587116479\ 14123008206697989593*c_0101_6^13 - 3754680139795076463663538587964879099663099499196487813498227368611\ /117615679754432904251879541112082158711647914123008206697989593*c_\ 0101_6^12 - 2694633968311619837964386936642052754378928742188192329\ 11883118965/1176156797544329042518795411120821587116479141230082066\ 97989593*c_0101_6^11 + 72090204242483030968618698315367588588218227\ 127447063645847357474/379405418562686787909288842297039221650477142\ 3322845377354503*c_0101_6^10 + 335403399291343053192268664296731377\ 07754825021454019880671984904/1176156797544329042518795411120821587\ 11647914123008206697989593*c_0101_6^9 - 732621640114181897548640236792617645777366565330880942478687907213/\ 117615679754432904251879541112082158711647914123008206697989593*c_0\ 101_6^8 + 230422084341314670395539923096871083723138154531157289403\ 667185283/117615679754432904251879541112082158711647914123008206697\ 989593*c_0101_6^7 + 20905065196073388893210433974879497994433023294\ 7833001486795189/11761567975443290425187954111208215871164791412300\ 8206697989593*c_0101_6^6 - 1746555338780207295479240527918489049804\ 26118472624957313545099723/1176156797544329042518795411120821587116\ 47914123008206697989593*c_0101_6^5 + 36810762749223423564501685321738276590488869533892613187862722760/1\ 17615679754432904251879541112082158711647914123008206697989593*c_01\ 01_6^4 + 4434639825622541385391171691508043415388731352934076775306\ 6121779/11761567975443290425187954111208215871164791412300820669798\ 9593*c_0101_6^3 - 1136642364952487990616102879806121632424292212077\ 076823583571456/117615679754432904251879541112082158711647914123008\ 206697989593*c_0101_6^2 - 50758710415774763620772857283368238776436\ 101855768475219598299/379405418562686787909288842297039221650477142\ 3322845377354503*c_0101_6 + 265780729202845945933373276364297563997\ 242795945261684225090527/117615679754432904251879541112082158711647\ 914123008206697989593, c_0101_2 + 101957258711313954520565790755410912732824853424501850148082\ 200/117615679754432904251879541112082158711647914123008206697989593\ *c_0101_6^27 + 1089987672739085420636404548129428121349109618361782\ 499756582986/117615679754432904251879541112082158711647914123008206\ 697989593*c_0101_6^26 - 3296429057962101478274640872987905738327408\ 233075579231490601035/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^25 - 3989063003588047690135062026588656\ 4873270152075499541475704141036/11761567975443290425187954111208215\ 8711647914123008206697989593*c_0101_6^24 - 22034034194837130135111275458842374144744765749280792017587900560/1\ 17615679754432904251879541112082158711647914123008206697989593*c_01\ 01_6^23 + 347159547879675596213577425021130155496464677848232489644\ 403019362/117615679754432904251879541112082158711647914123008206697\ 989593*c_0101_6^22 + 1604915026598098300716389697660280166048449337\ 08732666561391563777/1176156797544329042518795411120821587116479141\ 23008206697989593*c_0101_6^21 - 23106417343279057570582342418956151\ 56771309454963223006753453464477/1176156797544329042518795411120821\ 58711647914123008206697989593*c_0101_6^20 + 196755928087025434763904848211992373184659187216818018110434440353/\ 117615679754432904251879541112082158711647914123008206697989593*c_0\ 101_6^19 + 97836677194388001492912566682868558314444534011259740156\ 58030178836/1176156797544329042518795411120821587116479141230082066\ 97989593*c_0101_6^18 - 68494095882928351791219674342106421957255000\ 19285532873074555057371/1176156797544329042518795411120821587116479\ 14123008206697989593*c_0101_6^17 - 2032951915015258905654049504367031231150964817555941023982318308377\ 8/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^16 + 269391757311499494032667487040704562422536040658907896\ 85532805305564/1176156797544329042518795411120821587116479141230082\ 06697989593*c_0101_6^15 + 13739270523905074826210663471845020565149\ 865805227718847033208633573/117615679754432904251879541112082158711\ 647914123008206697989593*c_0101_6^14 - 3477036267773716249724443597172662437648068328151953629775853181849\ 8/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^13 - 598335917842664849470284236350959106878357698437443771\ 7645508884630/11761567975443290425187954111208215871164791412300820\ 6697989593*c_0101_6^12 + 290756573387099434855405360288575152972669\ 63481607825971295652717194/1176156797544329042518795411120821587116\ 47914123008206697989593*c_0101_6^11 + 111977249973497099152076616581828830520216440387445196676068096819/\ 3794054185626867879092888422970392216504771423322845377354503*c_010\ 1_6^10 - 1709402840434872106765018542213271512470362097366986141651\ 1680716058/11761567975443290425187954111208215871164791412300820669\ 7989593*c_0101_6^9 - 2174010923797656266528360765625098509440713792\ 159306508322145351123/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^8 + 62544027637056519995723554648703930\ 58929908415430385156938575857581/1176156797544329042518795411120821\ 58711647914123008206697989593*c_0101_6^7 + 872596493248750993325564726685702657338144493648175549952508776377/\ 117615679754432904251879541112082158711647914123008206697989593*c_0\ 101_6^6 - 120984814002077459172862557315981090790141725930060162774\ 7358390944/11761567975443290425187954111208215871164791412300820669\ 7989593*c_0101_6^5 - 1490016288320833904547080170012998286638666769\ 51040563699806206336/1176156797544329042518795411120821587116479141\ 23008206697989593*c_0101_6^4 + 983633696671834879310336150535192979\ 92704990714110953597166657557/1176156797544329042518795411120821587\ 11647914123008206697989593*c_0101_6^3 - 869304799290738081552777469888545181943628303479056968263642801/117\ 615679754432904251879541112082158711647914123008206697989593*c_0101\ _6^2 - 131047808943706816052837398495676926762413340337160668233535\ 493/3794054185626867879092888422970392216504771423322845377354503*c\ _0101_6 + 470954967812365904351863174013210002280169430075456841890\ 137182/117615679754432904251879541112082158711647914123008206697989\ 593, c_0101_3 + 109451822573739896853723197546022702221308116263743662114932\ 377/117615679754432904251879541112082158711647914123008206697989593\ *c_0101_6^27 + 1162048455471863641732312388829545969313553006037881\ 509195561223/117615679754432904251879541112082158711647914123008206\ 697989593*c_0101_6^26 - 3631288504504747943433919962999964380255935\ 900637308558202907761/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^25 - 4263829313569358196162094721929451\ 6040307772457341438584670690257/11761567975443290425187954111208215\ 8711647914123008206697989593*c_0101_6^24 - 20383737191392746840476598323272941927192176211078815046549959537/1\ 17615679754432904251879541112082158711647914123008206697989593*c_01\ 01_6^23 + 377107975313824658844853912073090305774295665417506557089\ 707558240/117615679754432904251879541112082158711647914123008206697\ 989593*c_0101_6^22 + 1494390094322141706377350820867035388969427748\ 71054232577488428037/1176156797544329042518795411120821587116479141\ 23008206697989593*c_0101_6^21 - 25109702888955103398671215291997425\ 04411197597679501176751417227476/1176156797544329042518795411120821\ 58711647914123008206697989593*c_0101_6^20 + 359818296602893904220399736419840988312394416142232602317165032180/\ 117615679754432904251879541112082158711647914123008206697989593*c_0\ 101_6^19 + 10603136246295830244003034347186223604514326065630714881\ 865708111498/117615679754432904251879541112082158711647914123008206\ 697989593*c_0101_6^18 - 7980795936877339751447535038851778749583975\ 593602457587694974705491/117615679754432904251879541112082158711647\ 914123008206697989593*c_0101_6^17 - 2180361040771341991889745978947615839524121989031572900566868144557\ 8/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^16 + 302700166908452371664770162530487319175100481595498689\ 22745431686267/1176156797544329042518795411120821587116479141230082\ 06697989593*c_0101_6^15 + 13959758857193352955573253627674659427508\ 718612969113021556840248100/117615679754432904251879541112082158711\ 647914123008206697989593*c_0101_6^14 - 3852873935138548242899541590832817003267552933363453083241246824280\ 5/117615679754432904251879541112082158711647914123008206697989593*c\ _0101_6^13 - 553708754166049013160565922090892407329106987759470589\ 8016192644336/11761567975443290425187954111208215871164791412300820\ 6697989593*c_0101_6^12 + 322424529606868760115239792960768165120451\ 38373626317910003098190111/1176156797544329042518795411120821587116\ 47914123008206697989593*c_0101_6^11 + 105780867691078685862133700402495565588517241940266577614125253270/\ 3794054185626867879092888422970392216504771423322845377354503*c_010\ 1_6^10 - 1909850826703606482608258314115431568581428649871465958415\ 6970056891/11761567975443290425187954111208215871164791412300820669\ 7989593*c_0101_6^9 - 2354251449600649183906385755356222102065859046\ 093149768552156587308/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^8 + 69680032576348892512565099796124878\ 67915676164622687566939442676850/1176156797544329042518795411120821\ 58711647914123008206697989593*c_0101_6^7 + 1090656911913593444489408026207812055890839826558844853584212650085\ /117615679754432904251879541112082158711647914123008206697989593*c_\ 0101_6^6 - 12933471292870651498161375705798875204016078604591733291\ 70144250119/1176156797544329042518795411120821587116479141230082066\ 97989593*c_0101_6^5 - 210353465986092543653950553734617818787134513\ 647845413686803451651/117615679754432904251879541112082158711647914\ 123008206697989593*c_0101_6^4 + 86237873853551724443742693347166300\ 727126082811154039013228990920/117615679754432904251879541112082158\ 711647914123008206697989593*c_0101_6^3 + 239172989389065453990879395848871638879377135220784868724844747/117\ 615679754432904251879541112082158711647914123008206697989593*c_0101\ _6^2 - 117083977964568001047533166820681718603818112019118100988484\ 586/3794054185626867879092888422970392216504771423322845377354503*c\ _0101_6 + 390307526016260102234948259899325647519737832853770142514\ 385516/117615679754432904251879541112082158711647914123008206697989\ 593, c_0101_6^28 + 11*c_0101_6^27 - 29*c_0101_6^26 - 401*c_0101_6^25 - 338*c_0101_6^24 + 3329*c_0101_6^23 + 2625*c_0101_6^22 - 22096*c_0101_6^21 - 5076*c_0101_6^20 + 96018*c_0101_6^19 - 37235*c_0101_6^18 - 218017*c_0101_6^17 + 200033*c_0101_6^16 + 212767*c_0101_6^15 - 291315*c_0101_6^14 - 164091*c_0101_6^13 + 258293*c_0101_6^12 + 124313*c_0101_6^11 - 150267*c_0101_6^10 - 75102*c_0101_6^9 + 50439*c_0101_6^8 + 28423*c_0101_6^7 - 7426*c_0101_6^6 - 5195*c_0101_6^5 + 139*c_0101_6^4 + 235*c_0101_6^3 - 30*c_0101_6^2 - 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB