Magma V2.19-8 Tue Aug 20 2013 23:51:00 on localhost [Seed = 863328312] Type ? for help. Type -D to quit. Loading file "L13a4992__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4992 geometric_solution 11.14528692 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 0 0 0 1 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 1 -1 0 0 0 4 -4 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.763054602661 0.863714621365 0 0 5 4 0132 1230 0132 0132 0 0 1 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 -4 0 4 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.295389339485 1.076754789813 6 0 7 6 0132 0132 0132 2031 0 0 1 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 -1 1 0 0 0 0 0 -3 -1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701386234886 0.711920083101 8 9 0 7 0132 0132 0132 3120 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.941147109141 0.906760862815 10 8 1 5 0132 2310 0132 2310 0 0 0 1 0 0 1 -1 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 -4 4 0 0 0 0 0 3 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295389339485 1.076754789813 4 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 0 1 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 3 -3 0 3 0 -3 0 -4 3 0 1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216292473022 0.721352747762 2 2 11 11 0132 1302 0132 1302 0 0 0 1 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 -1 1 0 0 0 0 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297752005146 0.712794785508 3 9 10 2 3120 3012 0321 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 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.459657375758 0.835574455777 3 10 11 4 0132 2310 2310 3201 1 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 0 0 0 4 0 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.079699790244 1.149031442432 7 3 9 9 1230 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509437245113 0.374884688513 4 11 7 8 0132 1023 0321 3201 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.563537359613 0.834083974269 10 8 6 6 1023 3201 2031 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.297752005146 0.712794785508 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : negation(d['c_0101_9']), 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_11' : d['c_0101_6'], 'c_1010_10' : d['c_0101_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_9'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : d['c_0011_3'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0101_9']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : negation(d['c_0101_0']), 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_2'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_6, c_0101_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 3210482314445052119237107566003816417832114863292904168773854731835\ 166940792732091814444513171/105717513612588227002333752028897080091\ 5157294402651275352931740856856433446429528635641*c_0101_9^21 - 2757154482881133482312970229151573881376677923841348868598297008265\ 54243989570445282458824619/3020500388931092200066678629397059431186\ 16369829328935815123354530530409556122722467326*c_0101_9^20 - 2629386788533216283193719727587845565416221337447054501970652219062\ 97781087692828418809588370/1733073993648987327907110688998312788385\ 5037613158217628736585915686171040105402108781*c_0101_9^19 - 1932161545349543106010588407775274292825351106504575472948627406810\ 63316456995669790872891/4315000555615846000095255184852942044551662\ 4261332705116446193504361487079446103209618*c_0101_9^18 + 7867548375530164589040951942767132367635148147791063392960271020854\ 1037907678117081349209216655/21143502722517645400466750405779416018\ 30314588805302550705863481713712866892859057271282*c_0101_9^17 + 3548484720898773115219151142688453445773745167333663317648399166326\ 354723197386338107902462559/302050038893109220006667862939705943118\ 616369829328935815123354530530409556122722467326*c_0101_9^16 - 2267854523594905445582501368292518537114761526753467703696034650110\ 361775774564534291041073973/431500055561584600009525518485294204455\ 16624261332705116446193504361487079446103209618*c_0101_9^15 - 2943688516702948118489872693225145939930204885889604424517990435183\ 4951074075783722933524709808/10571751361258822700233375202889708009\ 15157294402651275352931740856856433446429528635641*c_0101_9^14 + 3981709714374006261340164774221941004688877076449748242601464359812\ 6305950309931688669728786298/10571751361258822700233375202889708009\ 15157294402651275352931740856856433446429528635641*c_0101_9^13 + 6728835848958034041433997312113864907065124920216027847556490477938\ 1022089333237921605448584057/21143502722517645400466750405779416018\ 30314588805302550705863481713712866892859057271282*c_0101_9^12 - 1656433359895889082677407003389895249333794811116526543128210695321\ 0314041161847023847497419179/21143502722517645400466750405779416018\ 30314588805302550705863481713712866892859057271282*c_0101_9^11 - 1741484268700533934007826777449429908258739412544503966133531560270\ 0510322729050891509878969877/10571751361258822700233375202889708009\ 15157294402651275352931740856856433446429528635641*c_0101_9^10 - 5055708569352243877798959508992094088182964753430631453222768023795\ 526463155768737709926842075/211435027225176454004667504057794160183\ 0314588805302550705863481713712866892859057271282*c_0101_9^9 + 3083336983636995678566383987894905218021907628145398983165122299521\ 641969677473592877443152183/105717513612588227002333752028897080091\ 5157294402651275352931740856856433446429528635641*c_0101_9^8 + 2326061951587717134360324716274922272907890744777324016618575008178\ 50573229222904612029895247/1057175136125882270023337520288970800915\ 157294402651275352931740856856433446429528635641*c_0101_9^7 + 8526809694877159276940369001387119258948886865598050938024560450139\ 28849340391852099766088474/1057175136125882270023337520288970800915\ 157294402651275352931740856856433446429528635641*c_0101_9^6 + 2797586335312128900539490670103149494865456865475642554983294958161\ 57491878578002180601902699/3020500388931092200066678629397059431186\ 16369829328935815123354530530409556122722467326*c_0101_9^5 + 1656092957389848338136274826543923255260422792378179740338710938193\ 80868494890958839064478787/1057175136125882270023337520288970800915\ 157294402651275352931740856856433446429528635641*c_0101_9^4 - 1134150102640778092236375944367989730758292024416762888947327458979\ 99964033985163508482661845/1057175136125882270023337520288970800915\ 157294402651275352931740856856433446429528635641*c_0101_9^3 - 5467708550146699359238207860067707601060936035157203150509475139460\ 402587512176319614997106/105717513612588227002333752028897080091515\ 7294402651275352931740856856433446429528635641*c_0101_9^2 - 7094062924478222220605936201463115715889727384241964904985433712134\ 874149236484218548774308/105717513612588227002333752028897080091515\ 7294402651275352931740856856433446429528635641*c_0101_9 - 3756829122971636486596508395448523385932497635651003411563417843988\ 75484958941034332367593/2114350272251764540046675040577941601830314\ 588805302550705863481713712866892859057271282, c_0011_0 - 1, c_0011_10 + 1, c_0011_3 - 567456690708791782254961846480758052091568442550984366582754\ 74549941064768412145563/1022179097034443150222127604144168158909036\ 29159809478367276247386778716462723623*c_0101_9^21 + 2656320355706284820628166541603326516371379879509824062967322229838\ 461439867510722/146025585290634735746018229163452594129862327371156\ 39766753749626682673780389089*c_0101_9^20 + 2846958978738570581483436193742685612516929463135193658103456803580\ 36432852036682051/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^19 - 8645632616682386583983269973096294712028888095010793547144663367655\ 12873754532798/1460255852906347357460182291634525941298623273711563\ 9766753749626682673780389089*c_0101_9^18 - 7038064932734847840637703450020478053391912470728378745431185282168\ 08007367119704033/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^17 - 3015767927186620476725328430458138447577751011477338350630244522983\ 9614381612412686/14602558529063473574601822916345259412986232737115\ 639766753749626682673780389089*c_0101_9^16 + 1437799842355469427228577716955062844788729208265010740671580486689\ 83886759816278730/1460255852906347357460182291634525941298623273711\ 5639766753749626682673780389089*c_0101_9^15 + 5254862699797072710359999866048708094674639969108276470637701859486\ 37071821519354321/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^14 - 7341172842897265973653107721920808280615848545438954493159391456227\ 11936720433863083/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^13 - 6254899181299810553432913435956187760206544394534728611020882472906\ 57477587302177454/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^12 + 1578827842356075611645850322877523567518916758761065411543662552269\ 89074477644022707/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^11 + 3445166868991297373721869032312776451283740099706848226320496987194\ 15958873456713012/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^10 + 5821507877215438070682111039416221517781677385702405856243459031258\ 5731587416317575/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^9 - 6757907178490084181045389539143786479989564762977213783185405453743\ 4590661049776438/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^8 - 1677426952217544312338897899700281889875106432393494407390949750807\ 8673538394973729/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^7 - 1569290349029425415141340834526188505154206582193263314375190129034\ 7390139180506744/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^6 - 2004723691877406531834541493198887311212150284937161498060180326473\ 904787457033628/146025585290634735746018229163452594129862327371156\ 39766753749626682673780389089*c_0101_9^5 - 2035141536311491222942456763980056317005280276017708563058554793871\ 024427920968904/102217909703444315022212760414416815890903629159809\ 478367276247386778716462723623*c_0101_9^4 + 2477570677571337353948326597231023621885688447619214367220085624106\ 535893593625345/102217909703444315022212760414416815890903629159809\ 478367276247386778716462723623*c_0101_9^3 + 8409857740376464970787785703494603783254498192555381509802428416365\ 74877658899281/1022179097034443150222127604144168158909036291598094\ 78367276247386778716462723623*c_0101_9^2 + 4136809675506776099974285829361137045655681503821918560114164360674\ 65409076979355/1022179097034443150222127604144168158909036291598094\ 78367276247386778716462723623*c_0101_9 + 2460176621756868261808625157536760862016462205278955720303942626144\ 673354174412/102217909703444315022212760414416815890903629159809478\ 367276247386778716462723623, c_0011_5 - 164176171282994366247735986339305607362858774799450806110916\ 3737027805111284969744260/71552536792411020515548932290091771123632\ 5404118666348570933731707451015239065361*c_0101_9^21 - 1561958942458579681743081403528163804064042827882675382903963928129\ 7146323761896509/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^20 + 8380775065246861200650168214471393605975195722236491794445840435110\ 488515302780481030/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^19 + 4314940158346792327833649322148694361545743567328464840534687968761\ 33420094360040992/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^18 - 2010920395264857760237770200745035492954241871999077349355557149125\ 9947931320587411660/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^17 - 1966129075391092829542383382187367957321695927774853019517148248835\ 381050902338660343/102217909703444315022212760414416815890903629159\ 809478367276247386778716462723623*c_0101_9^16 + 3724432664521455989803153406118362492025725502216283028838785750357\ 152751087059634823/102217909703444315022212760414416815890903629159\ 809478367276247386778716462723623*c_0101_9^15 + 2554016595635033600587030704476104106440757560718604651861397575122\ 3286822840973944335/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^14 - 1481633976425726208173683386595418893003677921999450423034824012325\ 1359413256580007193/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^13 - 2476087745033421001506789531719299780454640402811223654947939289810\ 5611350962351015050/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^12 - 2100865387138210997710019081248222321807201309938825540381413490209\ 018679999842250708/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^11 + 1052557989697044935686206743974105837953121779568262876137479135211\ 0762806715295592086/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^10 + 4589145436820652633950148148910190341277548446913738575920835961240\ 099710291667947752/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^9 - 1132312186522299036924366429974621376411498293541775021106939490496\ 597111403270537231/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^8 - 7239641745279311518822972820339640091587762231769355436047498649586\ 10438543369456212/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^7 - 4727652767260704259450988628545953619314597954238324353245032014196\ 55347671209779619/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^6 - 9295955872406933227552815353668234344142240785752915355621534499865\ 9146774461703785/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^5 - 2679372806502967619543899196978193079407657785806434464928917724275\ 12364214589810390/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^4 + 2679478149797703795610741895072231588656417429101722615879906798351\ 0040602456657065/71552536792411020515548932290091771123632540411866\ 6348570933731707451015239065361*c_0101_9^3 + 2348870101673882374872949160245649004407321550701571519262696415735\ 6854598261954174/71552536792411020515548932290091771123632540411866\ 6348570933731707451015239065361*c_0101_9^2 + 4870688659637957760532607960346557453000153028038353029275781075151\ 986564908638881/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361*c_0101_9 + 6857916519867847808471368255818883731450209619656101340420130837856\ 37456478577896/7155253679241102051554893229009177112363254041186663\ 48570933731707451015239065361, c_0011_7 - 109451952023028218801532969589435049157074807785754304716058\ 682645104952662321798974/715525367924110205155489322900917711236325\ 404118666348570933731707451015239065361*c_0101_9^21 + 1051886737032612132090614478176826510833402403983110059845924898066\ 0431721787394989/20443581940688863004442552082883363178180725831961\ 8956734552494773557432925447246*c_0101_9^20 + 1094019381311769049585474695005671773909770548532105444701602606396\ 923810093327313537/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^19 - 2317280070282794725227868928933708043982414408625978002652931050092\ 057533057104277/102217909703444315022212760414416815890903629159809\ 478367276247386778716462723623*c_0101_9^18 - 2696377610799423048642002759022728510896611477911249809842710444371\ 864824596109351221/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^17 - 5627640085134340878354397315829157716816038182535764008598158327416\ 1293487561582946/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^16 + 2746360431692097705811451469567268655652995475894628700643614464999\ 61203291755369278/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^15 + 1972160368633923468903504802735966212334004484831699793420829283362\ 303716008847837229/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^14 - 2788908403770236239439264421448677239726135598475158925347363549647\ 424119357253999083/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^13 - 1172121334432927906010161253552290523834583451414786741609176994548\ 821353918845677057/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^12 + 5906982295427583693701252958592703992816058149768026530979208729819\ 03466966345409869/1431050735848220410310978645801835422472650808237\ 332697141867463414902030478130722*c_0101_9^11 + 1277582450049140367189277416904292322340488461268144565707699104077\ 657485536430135205/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^10 + 2145256995077702365402376298551736252194497147516297759227172587740\ 54596991192451291/1431050735848220410310978645801835422472650808237\ 332697141867463414902030478130722*c_0101_9^9 - 1196891732047428806239078762596042927737588290998794406334175697782\ 13522684721242976/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^8 - 2758800885657615153860149124857636695475001337694525921826476529378\ 2274785412890818/71552536792411020515548932290091771123632540411866\ 6348570933731707451015239065361*c_0101_9^7 - 6424502994021070859611418252835947473240309921883109591023949087344\ 1845333219618801/14310507358482204103109786458018354224726508082373\ 32697141867463414902030478130722*c_0101_9^6 - 3895602148737281551665610962944236555412697602073702509680392242680\ 234535601295654/102217909703444315022212760414416815890903629159809\ 478367276247386778716462723623*c_0101_9^5 - 4328707504180442992456224743731526952288449377551472315519664502833\ 593673814370348/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361*c_0101_9^4 + 7867787783967195256140841461390464651914917096169718316214103617542\ 297061594818755/143105073584822041031097864580183542247265080823733\ 2697141867463414902030478130722*c_0101_9^3 + 1518028972045698655068929140068869339953927878852761458055084090633\ 605252586620782/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361*c_0101_9^2 + 1637127473229483140331869838322237714861484900134482193212404696844\ 386940553051619/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361*c_0101_9 + 9751229542812452694229537809317956530831866624455159916626705487617\ 216219894311/143105073584822041031097864580183542247265080823733269\ 7141867463414902030478130722, c_0101_0 - 288466119332327282563028023741501915732062015628759371993888\ 92900443918243272153273535/1431050735848220410310978645801835422472\ 650808237332697141867463414902030478130722*c_0101_9^21 + 9648784778557495327816905924584726592930359087487154116947607690418\ 22809491216202237/2044358194068886300444255208288336317818072583196\ 18956734552494773557432925447246*c_0101_9^20 + 7244665730615282145840777053383223295906899125820309136353875420675\ 0168839957394350319/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^19 + 6780959398498367448971360201325902064991153708087006370628309109440\ 84531046584297372/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^18 - 1772111022756365711081480196097388859165912507334996181857936559922\ 12483883040042304811/7155253679241102051554893229009177112363254041\ 18666348570933731707451015239065361*c_0101_9^17 - 1925299481062252713719842250368842767324847870559000252374265533579\ 9329853255842181743/20443581940688863004442552082883363178180725831\ 9618956734552494773557432925447246*c_0101_9^16 + 7059955108306204030942971725886211359848693734983073802924953676708\ 5104176569550966755/20443581940688863004442552082883363178180725831\ 9618956734552494773557432925447246*c_0101_9^15 + 1488447062763253731723908789287135683287184077372002038039278902117\ 99922388511795907591/7155253679241102051554893229009177112363254041\ 18666348570933731707451015239065361*c_0101_9^14 - 1718417939292515205485643446709210630851652906449298201524658639967\ 34747194753733687921/7155253679241102051554893229009177112363254041\ 18666348570933731707451015239065361*c_0101_9^13 - 3267870464425792294956930054970014523789886027710767614820038736943\ 43924963771780921353/1431050735848220410310978645801835422472650808\ 237332697141867463414902030478130722*c_0101_9^12 + 2853226612717121795790257974455157410082455673497138825430798939196\ 2219012943950227828/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^11 + 8131054010094797665590536621881747957237988448958588670139436353558\ 0558456312974664835/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^10 + 1608888032426070719469807850686358100232017804936847264281557737663\ 9259600238477261616/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^9 - 2695527882519461407342142159331019595302181555573230583255883931551\ 8282645269047690509/14310507358482204103109786458018354224726508082\ 37332697141867463414902030478130722*c_0101_9^8 - 3800875844053456057267681171146195641248782928643570816978097113082\ 029841552648566897/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^7 - 7650751835727879516877673410209285519503305884093427829813661221489\ 418797095841308381/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^6 - 1338002305675127611059314323834988456173658978257870484452974718543\ 685620033120210267/204435819406888630044425520828833631781807258319\ 618956734552494773557432925447246*c_0101_9^5 - 2011030579067195817060735868795321937375489415395830363775285868251\ 235223457619026059/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^4 + 4833874504826854619337060242640043679639493174853167315281212479951\ 43955435381368084/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^3 + 1167336957224567355300407211712001393222651125773264154003981764038\ 46839820187727015/1431050735848220410310978645801835422472650808237\ 332697141867463414902030478130722*c_0101_9^2 + 6059815623966724160769253564111803485675379675442950940474617369501\ 9728160809021603/14310507358482204103109786458018354224726508082373\ 32697141867463414902030478130722*c_0101_9 + 8756298193674512851374378420098402741216547668335790035561752566043\ 991945539457205/143105073584822041031097864580183542247265080823733\ 2697141867463414902030478130722, c_0101_1 - 1, c_0101_10 - 27047852553194484928570606838743178404083195991603070674763\ 23717111442994559330085269/1431050735848220410310978645801835422472\ 650808237332697141867463414902030478130722*c_0101_9^21 + 6974518885685465733096952386037590338765766185576250184991173875108\ 0184550468896711/20443581940688863004442552082883363178180725831961\ 8956734552494773557432925447246*c_0101_9^20 + 6825327890294742039227043570886364755570266798727669551955068682085\ 126950110706529871/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^19 + 2283195036792491846833178908496772110334852468030774436885287044347\ 62602988189795581/2044358194068886300444255208288336317818072583196\ 18956734552494773557432925447246*c_0101_9^18 - 3333224671852525499715224354152187262260260988296533865147424461421\ 3010542809984535899/14310507358482204103109786458018354224726508082\ 37332697141867463414902030478130722*c_0101_9^17 - 2052308006510355025006380888329562004393764461510322152025872898948\ 099116767723296895/204435819406888630044425520828833631781807258319\ 618956734552494773557432925447246*c_0101_9^16 + 3287564327608342848984602328834878130071818145853168180630961132073\ 515926289802366367/102217909703444315022212760414416815890903629159\ 809478367276247386778716462723623*c_0101_9^15 + 1519581016542612855438943439884997527070352365269515887428867075830\ 9558669868804073291/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^14 - 3127672888554290634048946627842609455739316903559798345231606101568\ 9679841911947348317/14310507358482204103109786458018354224726508082\ 37332697141867463414902030478130722*c_0101_9^13 - 1623894350051240221425561979995441856345920060494158135155926492437\ 8010804433096193163/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^12 + 2073971176483336803147739071764562159659220536697808824655494476500\ 573898928759197995/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^11 + 7871157222280678041892381206890798918785270416650585092798283977273\ 618271061328195499/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^10 + 3677563956393575228379424441667940234174582614107143473575772500293\ 267434604177087359/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^9 - 2516458996995978579344322778991533499746170603687062044065209100311\ 093801386367217663/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^8 - 4776909947945703648025414560191989890534652295897547625588524881704\ 54074616142547999/1431050735848220410310978645801835422472650808237\ 332697141867463414902030478130722*c_0101_9^7 - 6968504826701134944034974646421079638772423437460299314647162419043\ 66801260621818071/1431050735848220410310978645801835422472650808237\ 332697141867463414902030478130722*c_0101_9^6 - 1306252613839746064153603972484706289779089675747865003568658252374\ 28043367999125823/2044358194068886300444255208288336317818072583196\ 18956734552494773557432925447246*c_0101_9^5 - 2279943859814030562626804012547289110549586904853542555882782404376\ 70147123955210563/1431050735848220410310978645801835422472650808237\ 332697141867463414902030478130722*c_0101_9^4 + 8384019974830377151196787084869483575636111669469508888954687035251\ 9973866728343285/14310507358482204103109786458018354224726508082373\ 32697141867463414902030478130722*c_0101_9^3 + 1591707055103028515277740872202708526583324626415647186141804784537\ 2056319755257067/14310507358482204103109786458018354224726508082373\ 32697141867463414902030478130722*c_0101_9^2 + 4615294837709520951426194381227928930691867616465643583767917217713\ 795633588280815/143105073584822041031097864580183542247265080823733\ 2697141867463414902030478130722*c_0101_9 + 1802483875608888015944327890283122413358995677259594742123247179630\ 396129898345667/143105073584822041031097864580183542247265080823733\ 2697141867463414902030478130722, c_0101_11 - 40270983293859046884559910090784104158906054858728209677466\ 38610662426599024052975932/7155253679241102051554893229009177112363\ 25404118666348570933731707451015239065361*c_0101_9^21 + 9109345130390955453905750723530572287245580650889179899761651152590\ 2077536008042093/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^20 + 2029230219027953159756596612420402630752708737409687005204900205870\ 1350619279497985644/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^19 + 4090450543740247310816023517578904610910621140239475068888184887600\ 00302727632150525/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^18 - 4934878268105847055483445770621981961084397249980739504576827287164\ 3777041610616829116/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^17 - 3225264324148982775191719475347711644624946646062415562126641223370\ 628191969205052948/102217909703444315022212760414416815890903629159\ 809478367276247386778716462723623*c_0101_9^16 + 9642905259028875197060433140567164330305540927944520193958497078803\ 755733318210831073/102217909703444315022212760414416815890903629159\ 809478367276247386778716462723623*c_0101_9^15 + 4679185009602078409229920307726898304353719690285011313306226857946\ 5578261287481817039/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^14 - 4474350015033418269606721442219814718783491265276476554431285239442\ 4904563349505622442/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^13 - 4924814622238151445311001485611633378675923340499114788856455211040\ 3854470815475882701/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^12 + 4455939782706969290277076630048458920688573478408215278459388577416\ 885806380178615456/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^11 + 2328759506636035493570175313852347885887144527967669024468612150518\ 1051159627596030887/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^10 + 6223530228389408805661109392760349302908188352139172654157748691206\ 529371494848291520/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^9 - 3413679591780918541944090258631769287884327583085322730034055832816\ 510475679044849704/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^8 - 8248037792109410257657724551740128518853065091548405508275056658258\ 92545964156302878/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^7 - 1109373668431636822012270694364717030927153519795623916886867465271\ 589190577883431336/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^6 - 1972833009859603796714580244687973207913556018685724131099312923386\ 17949178854464670/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^5 - 3783801776724165235006179556224723995632980054949200492574266224128\ 17426816653850331/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^4 + 1122457140689791433373150043772582955739635007500235931284079184885\ 99494546783317301/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^3 + 2348983593407301025297051593129278231066915568768694477695756905474\ 5856312496632984/71552536792411020515548932290091771123632540411866\ 6348570933731707451015239065361*c_0101_9^2 + 9325906976433622239232654323476823610438018379836596175979773220686\ 483724366703602/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361*c_0101_9 + 1586673849132044310482217118163184541789812006929464720738948206310\ 323713472428182/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361, c_0101_2 + 319830178295180544840775381328510684636919410649657687052875\ 6777588213170929276751651/71552536792411020515548932290091771123632\ 5404118666348570933731707451015239065361*c_0101_9^21 - 7072884196923146308147213237910214220174420818512095592394707016232\ 1686106289676732/10221790970344431502221276041441681589090362915980\ 9478367276247386778716462723623*c_0101_9^20 - 1614603685054421235158240844241111798489690592920850455489713491427\ 5983215259607786044/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^19 - 3310215515429620157786894260587289861032505443865368261313445899701\ 56165066933610486/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^18 + 3932140590474493706997435866936170522993540880104442133807833699435\ 1444758756729447985/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^17 + 5155136357684423578199215958498513797035746232588154690299253702873\ 168191922568818985/204435819406888630044425520828833631781807258319\ 618956734552494773557432925447246*c_0101_9^16 - 7697004837353149531554199655388464252901571971775793786616649469868\ 914280358007030110/102217909703444315022212760414416815890903629159\ 809478367276247386778716462723623*c_0101_9^15 - 7479227372949454280468796204195059721967401431303692444459940483255\ 5634174419934011321/14310507358482204103109786458018354224726508082\ 37332697141867463414902030478130722*c_0101_9^14 + 7177103436756466375650976974786594459590485724489577403854315670623\ 5245464130628160037/14310507358482204103109786458018354224726508082\ 37332697141867463414902030478130722*c_0101_9^13 + 3940027626797298026319375665767430969274112016037095092156515043337\ 3515503499107749191/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^12 - 7525400268096521977598434976511431293799388304729126506565768269975\ 480613786423325921/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^11 - 1872639999743644593990099179287622117765815510782561006762623229595\ 3647558865606962522/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^10 - 4904420657213029316252452353945547484751009333588113129284452561756\ 593226350568335636/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^9 + 2822763713435424185962804760709329898112644125266902966258675301900\ 598193189210919138/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^8 + 1324406470097529828570040156427214070607643683265976579980630009014\ 601368801217096841/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^7 + 1711038334146644048816707958000320470710069730035452902426251193811\ 305946964780674909/143105073584822041031097864580183542247265080823\ 7332697141867463414902030478130722*c_0101_9^6 + 1575941706341525015781627903746838997565833628416672795649101161705\ 91632862532662043/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^5 + 2982741021251929582320250704391675904943198377548763887580065328790\ 12578115344313381/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^4 - 1878941112190585607917413266677520484991091206335998395362628196844\ 66828502975870805/1431050735848220410310978645801835422472650808237\ 332697141867463414902030478130722*c_0101_9^3 - 3936334146647365322374043463243990399722172397715482114446046052240\ 8308769704967317/14310507358482204103109786458018354224726508082373\ 32697141867463414902030478130722*c_0101_9^2 - 7009488431508722434971403316185324719437907331239456295998224319914\ 191553428443587/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361*c_0101_9 - 1334952819424280798403453296099630175503751632828022351760166308113\ 584719566266884/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361, c_0101_6 - 195494103301940376385730347129218227488743068338403187019991\ 38559653340483734204886574/7155253679241102051554893229009177112363\ 25404118666348570933731707451015239065361*c_0101_9^21 + 5104370303297338641044171977043104672531487968328812576892231553164\ 37419951392385011/1022179097034443150222127604144168158909036291598\ 09478367276247386778716462723623*c_0101_9^20 + 9838282080948384633200961367843619878023305165765685741336240033794\ 5956647820846608759/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^19 + 1648353145907917884520602295855309177236320066481786930559433276030\ 491329467574325540/102217909703444315022212760414416815890903629159\ 809478367276247386778716462723623*c_0101_9^18 - 2396557189181922913672260662942423593056771442860478796158782636067\ 13082536093600589175/7155253679241102051554893229009177112363254041\ 18666348570933731707451015239065361*c_0101_9^17 - 1484236097840372525882097593609504581611952005886683052067531080122\ 6828797028084695387/10221790970344431502221276041441681589090362915\ 9809478367276247386778716462723623*c_0101_9^16 + 9420461747163022322640763466056657187093388689888264905454651224069\ 1663886804351733519/20443581940688863004442552082883363178180725831\ 9618956734552494773557432925447246*c_0101_9^15 + 2193152966351212880948545162096327847145016220513152487847163445631\ 61653054186490691307/7155253679241102051554893229009177112363254041\ 18666348570933731707451015239065361*c_0101_9^14 - 4434286934336427733920119710491915173125419227378540859771155525427\ 89613772239145025685/1431050735848220410310978645801835422472650808\ 237332697141867463414902030478130722*c_0101_9^13 - 4676051999958208428143769350078672310721548659314363476494366970234\ 76577456437473394729/1431050735848220410310978645801835422472650808\ 237332697141867463414902030478130722*c_0101_9^12 + 2651029179488423210845795063611694181595759364789107313918089064626\ 5279929940809093322/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^11 + 2246529640755412309194843035977568090725135918420295086757376449302\ 56603792905163827857/1431050735848220410310978645801835422472650808\ 237332697141867463414902030478130722*c_0101_9^10 + 2791434185779349275152887439406014533081650293247240561436867860472\ 6680959047504631807/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^9 - 1709446650296191879138478576753775395330458266348845278877355768943\ 9568893243408501544/71552536792411020515548932290091771123632540411\ 8666348570933731707451015239065361*c_0101_9^8 - 3690355394924147457454329587734493272021631384898912047815741993614\ 224525866157425818/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^7 - 1069212493992504117370183021015683587044532111862822508378894479763\ 7688562157772181949/14310507358482204103109786458018354224726508082\ 37332697141867463414902030478130722*c_0101_9^6 - 1875934752995546934752557929137502313099951142965251198485547805022\ 890458802922511867/204435819406888630044425520828833631781807258319\ 618956734552494773557432925447246*c_0101_9^5 - 1704730917515690274479277223913760241625605833234624163261737997021\ 332101790673764659/715525367924110205155489322900917711236325404118\ 666348570933731707451015239065361*c_0101_9^4 + 5807792036359651907932541272677144436119522518278125323982172850471\ 18707580664358672/7155253679241102051554893229009177112363254041186\ 66348570933731707451015239065361*c_0101_9^3 + 2352613951654848671621762457418741729401273231631104117765314327597\ 45952828063438043/1431050735848220410310978645801835422472650808237\ 332697141867463414902030478130722*c_0101_9^2 + 9609273383792619969425009746003873828574028673157518760980346446997\ 3061634050156125/14310507358482204103109786458018354224726508082373\ 32697141867463414902030478130722*c_0101_9 + 6745538524554586630574246586996458295298062419054785403254599434310\ 311609683546713/715525367924110205155489322900917711236325404118666\ 348570933731707451015239065361, c_0101_9^22 - 10902/77663*c_0101_9^21 - 391407/77663*c_0101_9^20 - 62310/77663*c_0101_9^19 + 949899/77663*c_0101_9^18 + 452580/77663*c_0101_9^17 - 1291836/77663*c_0101_9^16 - 925376/77663*c_0101_9^15 + 843468/77663*c_0101_9^14 + 964006/77663*c_0101_9^13 - 66194/77663*c_0101_9^12 - 448988/77663*c_0101_9^11 - 129014/77663*c_0101_9^10 + 62670/77663*c_0101_9^9 + 17008/77663*c_0101_9^8 + 21884/77663*c_0101_9^7 + 27092/77663*c_0101_9^6 + 7876/77663*c_0101_9^5 - 1989/77663*c_0101_9^4 - 540/77663*c_0101_9^3 - 206/77663*c_0101_9^2 - 36/77663*c_0101_9 - 1/77663 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB