Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 2800171585] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0813 geometric_solution 4.74678427 oriented_manifold CS_known -0.0000000000000001 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.586056385285 0.181199501675 0 2 2 0 3201 0132 1023 0132 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 0 1 0 -1 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 1.324846190369 0.408167798808 3 1 1 4 0132 0132 1023 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 -1 0 1 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.404383729321 0.641219941581 2 4 4 5 0132 2310 3201 0132 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 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.154720525371 0.737048527104 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.154720525371 0.737048527104 6 4 3 6 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 -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.573017216433 0.803431368079 5 6 6 5 0132 1230 3012 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 1.816570549755 0.505164353661 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : 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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2563573723409479787468522595039361165358775121692215037958433210031\ 79191538721437/2225097093203777695142375496111933382377405290966664\ 21558517051855748186913919*c_0101_6^29 - 1979297786872787959709039980858707947828232571678312771843226990082\ 304334628224903/222509709320377769514237549611193338237740529096666\ 421558517051855748186913919*c_0101_6^28 - 2151059625709701583386686891174020321434493429766548848203780967376\ 410800345963940/222509709320377769514237549611193338237740529096666\ 421558517051855748186913919*c_0101_6^27 + 5068689867276483995996426600386726648561501259295836474224830549972\ 2223840822423432/22250970932037776951423754961119333823774052909666\ 6421558517051855748186913919*c_0101_6^26 - 1015038395440369384670801377086780058961691497174247122405040597715\ 40494485018618560/2225097093203777695142375496111933382377405290966\ 66421558517051855748186913919*c_0101_6^25 - 5652788531323410310945405974376028425125863229352088659655214339168\ 59133162611547950/2225097093203777695142375496111933382377405290966\ 66421558517051855748186913919*c_0101_6^24 + 1734946828396373455889508217767714010329908837577178291913559694582\ 497873401326635987/222509709320377769514237549611193338237740529096\ 666421558517051855748186913919*c_0101_6^23 + 3171364050518970829610154799848920505659762179052593280928564286465\ 562555704978802938/222509709320377769514237549611193338237740529096\ 666421558517051855748186913919*c_0101_6^22 - 8461139680817161528889994401600369232923783415515784107298039173303\ 456627151731380289/222509709320377769514237549611193338237740529096\ 666421558517051855748186913919*c_0101_6^21 + 8899349630586300322005272859017943471792986640885044312356244944531\ 593367715301331528/222509709320377769514237549611193338237740529096\ 666421558517051855748186913919*c_0101_6^20 + 7622586627220912263098034216001412795032393742634661012269742463153\ 0493412230669810297/22250970932037776951423754961119333823774052909\ 6666421558517051855748186913919*c_0101_6^19 + 4201048260751338434727978549601934942245378995349740691876262636869\ 548236133758843165/317871013314825385020339356587419054625343612995\ 23774508359578836535455273417*c_0101_6^18 - 1465170621028378701156004634696556090281684937223482274192549028178\ 83610832854110358544/2225097093203777695142375496111933382377405290\ 96666421558517051855748186913919*c_0101_6^17 - 1976486857293293423232810952544069037606910563394753331981344832570\ 1158934265408365799/31787101331482538502033935658741905462534361299\ 523774508359578836535455273417*c_0101_6^16 + 5669909405445285458741318181339710704868950781765425227914690963893\ 1648216981200528080/22250970932037776951423754961119333823774052909\ 6666421558517051855748186913919*c_0101_6^15 + 1033311372912435881144511060441410759693622105943552627396435460316\ 20087984965242540279/2225097093203777695142375496111933382377405290\ 96666421558517051855748186913919*c_0101_6^14 - 2981325036972493386495425581218816359503429031906637466817166833354\ 325993782041777844/222509709320377769514237549611193338237740529096\ 666421558517051855748186913919*c_0101_6^13 - 3565349830299361527445997517106405905407432299566654860338661638252\ 4466703718198241136/22250970932037776951423754961119333823774052909\ 6666421558517051855748186913919*c_0101_6^12 + 1036964172877240172980648508747133104634428409391238726507744848718\ 6959979060856560840/22250970932037776951423754961119333823774052909\ 6666421558517051855748186913919*c_0101_6^11 + 1688257785996859912018365009909653535229709990213277192491957995513\ 5831165657279790574/22250970932037776951423754961119333823774052909\ 6666421558517051855748186913919*c_0101_6^10 - 5579691006672075223064579744153534802990581018814739120364112647028\ 703966356560823503/222509709320377769514237549611193338237740529096\ 666421558517051855748186913919*c_0101_6^9 - 4490340615077437708478049790055482438490740853704081664252566475706\ 508235346195088867/222509709320377769514237549611193338237740529096\ 666421558517051855748186913919*c_0101_6^8 + 1951148586118535092706158911499228871772795182031062625479545805147\ 196852511813935809/222509709320377769514237549611193338237740529096\ 666421558517051855748186913919*c_0101_6^7 - 5409861640776246766870792511343010907589326088041558714084389000183\ 3036190235012353/22250970932037776951423754961119333823774052909666\ 6421558517051855748186913919*c_0101_6^6 - 7375968073274459010493100958156863017513878907234140674540570756230\ 96631065876319286/2225097093203777695142375496111933382377405290966\ 66421558517051855748186913919*c_0101_6^5 - 4304511204405050486633459991309019450145080334115468792290293266174\ 244385463567648/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^4 + 3456799510098240707039537752902525333505204772981802704782103645464\ 5114027000120744/22250970932037776951423754961119333823774052909666\ 6421558517051855748186913919*c_0101_6^3 + 5685115168690092870261228998499618532387503695653761987247364151566\ 360402523121307/222509709320377769514237549611193338237740529096666\ 421558517051855748186913919*c_0101_6^2 + 7380938817583377147326549923070202936934608602789761317665058975436\ 0504821013656/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6 - 2535081352099907576955360559531251178257983065192661427086172795717\ 61653913999934/2225097093203777695142375496111933382377405290966664\ 21558517051855748186913919, c_0011_0 - 1, c_0011_1 + 134614501553266102290822418377407457639707553422350390817594\ 247145085049003960/317871013314825385020339356587419054625343612995\ 23774508359578836535455273417*c_0101_6^29 - 1039600169592709613398718144098286573279476846560645930997377802016\ 673619591813/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^28 - 1127927504053406378172907104760499358676654767518773907480764749233\ 245128096847/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^27 + 2662154180108278354193157907246140991031247577054384519094532867703\ 6604584915261/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^26 - 5335018303745589477055483367590656726063004926899066722571246588229\ 1461554437575/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^25 - 2968099529018537148950237703744366871801087762185872250534620659436\ 49874356383043/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^24 + 9118134766587173400281135922557124492442374759827589579776883836202\ 34948950448385/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^23 + 1664332625987710269522450076561178940226320134260506996861520795843\ 505221662116986/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^22 - 4449459804103315479242219968268357412123101180198508723008790179823\ 530017935962691/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^21 + 4678321632635163268184702180725398857228006698100128805278447052312\ 835766685510153/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^20 + 4003315336578507794027924357139197202421446038644168917066374227537\ 4547810027989614/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^19 + 1534159430948698187034635451574675352202599800291710254742683070081\ 7669633323511488/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^18 - 7707816211298925153012467002994341329130478882159013896000785940501\ 5982497400519917/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^17 - 7248683856976157556142493619432524124260226944108200736093002168952\ 5553124307563762/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^16 + 3014815450565048394068574115760291685345049928066634372239244759391\ 0706186063948039/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^15 + 5429693007259005022187701286029733694967449139129781079880055577014\ 9728406935621481/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^14 - 1827405089882910070698845003044430747135663591610844109839381729728\ 075278184534926/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^13 - 1880831673437066319656564496031659070349457822220466833495480732092\ 6779203078760967/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^12 + 5544155248688516743934537466227031498111805723118383915116340894607\ 189632052124491/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^11 + 8889294599563110296952812744697530730033249568451845563915098537275\ 762090458968309/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^10 - 2982847875193505278091780124060001695106441809917904702842011476730\ 300604475556944/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^9 - 2364343660833175414478319620477357765739700902566565139326632319568\ 499682581025819/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^8 + 1044968507839671004399159798338419991170789027374927694290967848758\ 704650505556203/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^7 - 3009298970388689629452918481015382173292170975749174986868947326644\ 8322064190917/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^6 - 3908389523599322483474142637088730206789514001912679247888568244134\ 37461134782634/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^5 - 1379053702189821073418741870059352046470946745511309778349570445954\ 2734738626722/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^4 + 1869400203652721078885335676138311003552595973520513189046569138122\ 0556233438012/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^3 + 2852748169129057078647470645551014517948945779777732918165802326709\ 772311414345/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^2 + 1560319225736418108339809252359408583897834403684120065732093121094\ 06910321338/3178710133148253850203393565874190546253436129952377450\ 8359578836535455273417*c_0101_6 - 128196666583613436412407045497734\ 918256845874870664705626123821684924948522566/317871013314825385020\ 33935658741905462534361299523774508359578836535455273417, c_0011_4 - 742637843469520182402797441058132599115794106197732278065742\ 507650821124330569/317871013314825385020339356587419054625343612995\ 23774508359578836535455273417*c_0101_6^29 + 5764617715310429443842467184879735338469776333539237031584642971026\ 319247505436/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^28 + 5998065057921600204594434645961465625953658996318941525044908183210\ 724624703945/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^27 - 1471275917889825708291918200115044711155148127931073530563547239881\ 35496276650701/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^26 + 3000917796311140332383535136071868419350119675733952311032002187629\ 89525558522993/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^25 + 1626256242976633541258963074250804476216786149413288461212653522767\ 483239878445840/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^24 - 5095542749555891243665281972554451567957063263421619912917130042959\ 340019542465331/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^23 - 8989162545301876029059182785057580343007739807441280816994009298320\ 122290162417652/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^22 + 2492154003004753924705907706306569023294351422906617364562579088340\ 6350601460579454/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^21 - 2673323126552455238657358586307013701801899216900423980792292933639\ 3268307588324282/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^20 - 2198898176136164696716423929343675075542720832880190612954596201175\ 50057192512888999/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^19 - 7589719750597862665184005604053306469688203713476525821304853831465\ 6001539944131228/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^18 + 4293993708937898231103847193660496589538762265769785577195768405007\ 02093374786700171/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^17 + 3839994478932212924091275982706523089103674379716866982218028891245\ 52582730389239774/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^16 - 1834459438693736894131346376656894326236924347526087775717023152624\ 08867825589195216/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^15 - 2955649301254732729982337515067063944120503401832405713005637630647\ 78165627589729606/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^14 + 2159892781325163362758928642493159430083234038401846195289348227238\ 0024711131439650/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^13 + 1049871618192373715827622396571497577622210106801536583422780145984\ 57571138267663729/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^12 - 3403063280830416922927261145982101772782549349646898522412764248838\ 4784973279868798/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^11 - 4830982020303541709334268654106496045007088592663852761388480751843\ 4456638061334897/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^10 + 1826934935473216663991846421056441321208624912922794155182921029444\ 4471724681458650/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^9 + 1268086625181108266261786157764729011085263746942060253279333712246\ 2586212133126879/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^8 - 6238613819419550205160258101810564935445882932677464474724119363111\ 815567105211603/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^7 + 2926276709331940802654981101881883224105949189819885337013482294344\ 83738072415049/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^6 + 2151649071076881315955981263501084822225555588242134373187097062662\ 967940905648339/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^5 + 3165588598952808009360816042611939216338020722161180403770251220805\ 926160290633/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^4 - 1173946149869542803071399111508325305503484698070821780842628791386\ 32945200368920/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^3 - 1528598919163669511624340870705886603116644939097907394626845218443\ 4287470729577/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^2 - 3858181985595664380939143178581297494603377915172726690881697622140\ 07561164708/3178710133148253850203393565874190546253436129952377450\ 8359578836535455273417*c_0101_6 + 948623021149134222683182039122490\ 968521022755077150740379569374619603668470512/317871013314825385020\ 33935658741905462534361299523774508359578836535455273417, c_0101_0 + 177434046456003620638572527481114889837594333418016273017176\ 5552242293713311810/31787101331482538502033935658741905462534361299\ 523774508359578836535455273417*c_0101_6^29 - 1377745691645536806560301316085227801747149240343662227574325559245\ 2111352353625/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^28 - 1429861004376946936772186033663299898428007191591986607718279759468\ 9437224511048/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^27 + 3515729702546259818058217120636321964529474021989131528700999923358\ 85942788705037/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^26 - 7178410334634452395363388955329728656226610370933830296553990033308\ 57020707992557/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^25 - 3884119383274361847628805829738886448038987936978703003362789015762\ 739582469981670/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^24 + 1218473975231300217731326555842482712308359135986474349019824568169\ 3373300642765601/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^23 + 2145169254421281319481123402949664595789782149463323766767158576254\ 3972883593642168/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^22 - 5960858195486851163168070947610724555640699156687981952242815954085\ 8463319436555149/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^21 + 6399063009297189517814625051228437709965564568976953324162589387487\ 3505160990622517/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^20 + 5252697735291964526756231613145696124872639739720361283297314085572\ 12005097378929875/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^19 + 1799912684394494746398964955745175543938240158384386942811131212343\ 48104550415825548/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^18 - 1027000163462722197289404052602321910997268248281958520078953895636\ 249049963454205037/317871013314825385020339356587419054625343612995\ 23774508359578836535455273417*c_0101_6^17 - 9153215728925702057036249744483324336901651597166341601021701541385\ 58140760085033872/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^16 + 4416820420773277398781145299679423557250906693390104630599027515947\ 86394435379760832/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^15 + 7064691661277046863096080354173863990751277252531139672985561842022\ 97405174291903614/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^14 - 5360109189244316419998619440065962910691086906347557961759042895400\ 8480397630174759/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^13 - 2516424185360384918962364230255850215344988311851573550381527932076\ 43303900020648083/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^12 + 8182533011322543108550570162940668816172765904856565416789358435406\ 5848564425836087/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^11 + 1155192682634238054408691667644193646870128213810594186745900857387\ 83645693589970002/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^10 - 4399006021946155986935217267175110930524071358167099661346294513070\ 6542822962341754/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^9 - 3034923792659013951872977628979576594750119025342394920627220818334\ 0948425964918971/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^8 + 1501376372619240948300147063812339152099763856968952889548289574085\ 5785765381059412/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^7 - 6905997598006455398008513167164997368602648897058671128027423474326\ 25437906023539/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^6 - 5156088137139072633661542584833927607475767561370401895784967695708\ 991416045301766/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^5 + 5246477146658821608875759587492240314726289399041846919047112846113\ 847135454403/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^4 + 2882061761871270062599744244526194142172433091994659848445535166350\ 57906513465559/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^3 + 3610246352410748395117775615170460320166931493207550916047289151247\ 8350369843692/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^2 + 8150713064376238693120838732370259308684589529477909146504281313884\ 97214871456/3178710133148253850203393565874190546253436129952377450\ 8359578836535455273417*c_0101_6 - 227076722817707030726363217830717\ 4654039098133698229399370015877923595836159725/31787101331482538502\ 033935658741905462534361299523774508359578836535455273417, c_0101_2 + 109619136109213738699138926200413707787219671416642137291041\ 1826568164258969065/31787101331482538502033935658741905462534361299\ 523774508359578836535455273417*c_0101_6^29 - 8519426717505083972046536904718767015168147081660019805635836728542\ 143874210773/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^28 - 8773298616426456375838611419426050699980910811978507976882888802188\ 023534642446/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^27 + 2172574179096281188548598791836421502499006127780922329461542150067\ 29280175141457/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^26 - 4450020807826918758011518225838469477159693952674441813118930510327\ 59852996367421/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^25 - 2396355631562963495974255849131817209666817792679306858051003147730\ 351787445471848/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^24 + 7544030300789846748111687399523422944068710716031879639048262738429\ 265457517245259/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^23 + 1319912000847346598869256669815779828490924868155677305657141762680\ 7397211127498835/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^22 - 3691169947101105071050425576041971026681192698936638229833374365103\ 6026576391342950/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^21 + 3979114023099276055321470137337012065028708654189466862629004416069\ 4086293047525099/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^20 + 3242005502195486928759495097752305930571527428781593246643697062234\ 36935551761023451/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^19 + 1089963710419142714695330553868343100333463696506900821828274840335\ 57938691994449235/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^18 - 6351092956770233905437066908719626605123314186449349266803478050252\ 61861079447004302/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^17 - 5612922889967777583077872270282900744825157997622211215920917232333\ 37426072463546765/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^16 + 2764273764302352889574437538941148671038699042417228358703541764744\ 50210437938029849/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^15 + 4348207368892676017932250774252062093617470628603886945617403779559\ 44973440248442969/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^14 - 3566654610365119266011894549474028599554084628223926107774951902705\ 2298461596304902/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^13 - 1553095494729682859868527064060543451169387786584815765994311402767\ 53754519256763432/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^12 + 5135268566320986036198598287402494556863771393771638093738906604454\ 2614833354050254/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^11 + 7102507644383028556914178833825841621623997426379057109802381819436\ 4295254671203766/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^10 - 2756020203396062568145440834632545938858939192996461023507449857155\ 0287303275462240/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^9 - 1859222009601965749714951150282574460204738995480225621426245725331\ 6193938937134041/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^8 + 9358860599470009881777848798403394137684476500745716570199503361058\ 547185900093118/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^7 - 4702089635627928180516918045118227040189552519436235761004188230535\ 46487985094692/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^6 - 3175832038686738443229394951053840721545287127536568717619361051454\ 345687423320461/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^5 + 1892786592624355524278924794036276037013199879769906743547850788826\ 7175477378539/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^4 + 1794890675064079791267115296901509718499795111407565884283906995593\ 27538188867915/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^3 + 2210567192661665632010560482433656925219539693095699995832687837649\ 9969927329293/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^2 + 3939284395399007555078771381889575699708988700783229887865734085683\ 68598960328/3178710133148253850203393565874190546253436129952377450\ 8359578836535455273417*c_0101_6 - 142612084387000810015571303694721\ 5710581160514390739855905737645155679291601873/31787101331482538502\ 033935658741905462534361299523774508359578836535455273417, c_0101_3 - 257049913640135058198671000755376911984220506736933241690223\ 558737871308058966/317871013314825385020339356587419054625343612995\ 23774508359578836535455273417*c_0101_6^29 + 1992131620010072613405348290538464283686486489351697094656041788157\ 878879939747/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^28 + 2100543984605053599280659093498677603236193688218788467169153196908\ 473889627396/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^27 - 5089782895032053694988489365636519602474488916777892348872490124604\ 6950989764530/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^26 + 1032441192890988735342192060524856619519791945637355241960364893242\ 20750368552007/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^25 + 5641322036901390367292890449085275829811099886281357588951308878893\ 49049093050900/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^24 - 1756682449656033687538639604069208577402978544851675829155966023417\ 070924302133046/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^23 - 3132620389777598878020492976756646211348205162363486489531651950160\ 187141692778249/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^22 + 8586139340309112398627341372720192625764268284898020143643883219785\ 004643989878162/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^21 - 9150620630237555917981834200776131641810904944752652337379550491757\ 728311291123834/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^20 - 7621817660492499901440182362937126180909766112118339087885888983348\ 9163144320022597/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^19 - 2721667263008421354049879751682211298931028051273092375505461054066\ 5587558003598759/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^18 + 1482206029220172674086127094208160885964650942356833095191231743011\ 85805256557010889/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^17 + 1346827852100682954367334027130610131918257043384700201170714840678\ 07564010829313993/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^16 - 6171514618466676410228724449510557806949368800486732713119335094921\ 9925452175212109/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^15 - 1028703571299732489982448517648056964859426880663981908404952932725\ 28770910145465585/3178710133148253850203393565874190546253436129952\ 3774508359578836535455273417*c_0101_6^14 + 6217966279330062687925567920157030709615457643528096080932630602199\ 923464379455528/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^13 + 3629277268776941980925737437089885171187846298823454141250064830071\ 6510868942460708/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^12 - 1137258525430265345576567651162925388218866039716645511780870262492\ 2799704923312136/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^11 - 1682420412828292345471956673389026097145696440156372028671613023518\ 6676284426049774/31787101331482538502033935658741905462534361299523\ 774508359578836535455273417*c_0101_6^10 + 6121170760440766028422630020452017364622239534265606380618357895872\ 489795271162198/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^9 + 4441558706997420663168902666110532714499254197389463277081640672565\ 893134419512028/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^8 - 2107252143344960354322086386123187750870054180711694022463296967146\ 678962880769882/317871013314825385020339356587419054625343612995237\ 74508359578836535455273417*c_0101_6^7 + 8301944823204276465050604992027998782157833959863518669808825580008\ 0717281132136/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^6 + 7455255927689821004382239296850100546846943635497653610507976262242\ 74966952022701/3178710133148253850203393565874190546253436129952377\ 4508359578836535455273417*c_0101_6^5 + 9338662046134188625304130773202115344465043680226120253534705519290\ 725362926002/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^4 - 3965245122197232539428593407237468658287460160474028418387990765495\ 1672050790834/31787101331482538502033935658741905462534361299523774\ 508359578836535455273417*c_0101_6^3 - 5469260793671500291851120932943284235580046241554615796766760647759\ 786453084466/317871013314825385020339356587419054625343612995237745\ 08359578836535455273417*c_0101_6^2 - 1685310837886516577285428102622580068809768409646361429264422145246\ 52370602797/3178710133148253850203393565874190546253436129952377450\ 8359578836535455273417*c_0101_6 + 308140685176321124705176585492517\ 428219244948025895650180687618451450197517836/317871013314825385020\ 33935658741905462534361299523774508359578836535455273417, c_0101_6^30 - 7*c_0101_6^29 - 14*c_0101_6^28 + 192*c_0101_6^27 - 253*c_0101_6^26 - 2499*c_0101_6^25 + 5194*c_0101_6^24 + 17348*c_0101_6^23 - 24366*c_0101_6^22 + 10338*c_0101_6^21 + 323707*c_0101_6^20 + 327764*c_0101_6^19 - 502002*c_0101_6^18 - 958850*c_0101_6^17 - 144147*c_0101_6^16 + 589937*c_0101_6^15 + 273789*c_0101_6^14 - 165920*c_0101_6^13 - 62347*c_0101_6^12 + 100694*c_0101_6^11 + 24899*c_0101_6^10 - 36221*c_0101_6^9 - 4569*c_0101_6^8 + 6120*c_0101_6^7 - 3220*c_0101_6^6 - 2217*c_0101_6^5 + 171*c_0101_6^4 + 145*c_0101_6^3 + 16*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB