Magma V2.19-8 Tue Aug 20 2013 23:46:39 on localhost [Seed = 4273509601] Type ? for help. Type -D to quit. Loading file "K14n23999__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n23999 geometric_solution 9.88632830 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 -4 0 0 4 -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.306297417013 0.430578317687 0 4 5 2 0132 2103 0132 2310 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 1 -1 0 4 0 0 -4 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.512349847833 0.616148374072 1 0 5 6 3201 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 4 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.971116196463 1.583403207274 7 8 8 0 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667884294120 0.959529489871 9 1 0 7 0132 2103 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -4 4 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.210247162944 0.691680925238 7 10 2 1 2103 0132 0321 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 -1 1 -3 0 3 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614974244077 0.492682128250 11 11 2 10 0132 2310 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.148869402442 0.339425336990 3 4 5 9 0132 2310 2103 2103 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 3 -3 0 -4 0 4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398643685781 0.864853907778 3 3 11 11 2310 0132 2310 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 0 0 0 0 0 0 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.852093314229 0.784104699048 4 10 10 7 0132 1230 2103 2103 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 3 1 -4 0 0 -3 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.728430949088 1.810247217918 9 5 9 6 2103 0132 3012 0213 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 3 0 -3 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.081047370669 0.540252200245 6 8 8 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.427989957834 1.076251652063 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : d['c_0011_4'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_1001_0']), 'c_1010_10' : d['c_1001_5'], 's_3_11' : d['1'], 's_0_11' : 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' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_1001_5'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0011_10']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0101_8']), 'c_1100_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_11']), '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_0011_10'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_11']), 'c_0110_6' : d['c_0101_11']})} 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_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_8, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 9869291351227005903615702813077308213/94706758332650797398441008884\ 790242191*c_1001_5^17 - 235163936631286580443398255618521886935/947\ 06758332650797398441008884790242191*c_1001_5^16 + 3292935287498117979093710548835791970657/18941351666530159479688201\ 7769580484382*c_1001_5^15 - 727048098243038579294926763089672908415\ 3/94706758332650797398441008884790242191*c_1001_5^14 + 14877355074873855319180090119027592593365/6313783888843386493229400\ 5923193494794*c_1001_5^13 - 104973974906431208178755884952006555842\ 151/189413516665301594796882017769580484382*c_1001_5^12 + 198289065386862522802787709060298296012413/189413516665301594796882\ 017769580484382*c_1001_5^11 - 1594102351945937925630043154098148284\ 60196/94706758332650797398441008884790242191*c_1001_5^10 + 454139963297052633544699827442368770199503/189413516665301594796882\ 017769580484382*c_1001_5^9 - 28585853565734599302008728964973420268\ 5182/94706758332650797398441008884790242191*c_1001_5^8 + 103563751411262016805046487074238853273885/315689194442169324661470\ 02961596747397*c_1001_5^7 - 548458362462057503325154299967903894913\ 585/189413516665301594796882017769580484382*c_1001_5^6 + 409292050935651591241748303645954658361993/189413516665301594796882\ 017769580484382*c_1001_5^5 - 12396848437361646235784655270404263541\ 3219/94706758332650797398441008884790242191*c_1001_5^4 + 49136972778498126632297273709804368678047/9470675833265079739844100\ 8884790242191*c_1001_5^3 + 1817201181450352201526173706725273346328\ 8/94706758332650797398441008884790242191*c_1001_5^2 - 27713790801987347487144760685727314997199/6313783888843386493229400\ 5923193494794*c_1001_5 - 21581846156559848575201822744515926839709/\ 189413516665301594796882017769580484382, c_0011_0 - 1, c_0011_10 + 40174878674146916647/14696220208075766394061*c_1001_5^17 - 970447968787812319903/14696220208075766394061*c_1001_5^16 + 7028986641407731448265/14696220208075766394061*c_1001_5^15 - 32090642482179555349645/14696220208075766394061*c_1001_5^14 + 102459920856094440753116/14696220208075766394061*c_1001_5^13 - 251542821967368143182696/14696220208075766394061*c_1001_5^12 + 497491103457589492403733/14696220208075766394061*c_1001_5^11 - 836042515125901575308910/14696220208075766394061*c_1001_5^10 + 1238638764377354249095839/14696220208075766394061*c_1001_5^9 - 1628000918507699614279500/14696220208075766394061*c_1001_5^8 + 1872429357142122145233198/14696220208075766394061*c_1001_5^7 - 1811315419447157733452221/14696220208075766394061*c_1001_5^6 + 1500892176520927395615989/14696220208075766394061*c_1001_5^5 - 1041950902273907159426099/14696220208075766394061*c_1001_5^4 + 562553766885348018020036/14696220208075766394061*c_1001_5^3 - 108931008831577216647789/14696220208075766394061*c_1001_5^2 - 136734566549522530514768/14696220208075766394061*c_1001_5 + 21179908760295077632580/14696220208075766394061, c_0011_11 + 768050232368994368833291232462/2553437952991267094234306614\ 05909*c_1001_5^17 - 18748342040706674087240759085179/25534379529912\ 6709423430661405909*c_1001_5^16 + 46312863864813472150744585095010/\ 85114598433042236474476887135303*c_1001_5^15 - 643950164152998036581455206380531/255343795299126709423430661405909\ *c_1001_5^14 + 2091016014179792757150912486387997/25534379529912670\ 9423430661405909*c_1001_5^13 - 5207325117292326894949704110983663/2\ 55343795299126709423430661405909*c_1001_5^12 + 10443912236635443519699288606634354/2553437952991267094234306614059\ 09*c_1001_5^11 - 1971883150666353664223204463898462/283715328110140\ 78824825629045101*c_1001_5^10 + 26545053333144825532874668594857497\ /255343795299126709423430661405909*c_1001_5^9 - 35255529118403137764061326761940122/2553437952991267094234306614059\ 09*c_1001_5^8 + 41039449002738291325668002824430047/255343795299126\ 709423430661405909*c_1001_5^7 - 40421096468235885793633553633130253\ /255343795299126709423430661405909*c_1001_5^6 + 3773227028060965144264613444519866/28371532811014078824825629045101\ *c_1001_5^5 - 24156925146123536131273380255369541/25534379529912670\ 9423430661405909*c_1001_5^4 + 13571497531939093621435447024072642/2\ 55343795299126709423430661405909*c_1001_5^3 - 3362032899191918244040814313548176/25534379529912670942343066140590\ 9*c_1001_5^2 - 2355858897980641062896372977496089/25534379529912670\ 9423430661405909*c_1001_5 + 249769684188338435383980875022227/85114\ 598433042236474476887135303, c_0011_3 + 152965869108257213608363284586/85114598433042236474476887135\ 303*c_1001_5^17 - 11267505458939828977783087825009/2553437952991267\ 09423430661405909*c_1001_5^16 + 84164521710095859932559127823503/25\ 5343795299126709423430661405909*c_1001_5^15 - 128730567993218965054596761441668/85114598433042236474476887135303*\ c_1001_5^14 + 1237537801113869026107265351279609/255343795299126709\ 423430661405909*c_1001_5^13 - 3024436675126777267075747829703758/25\ 5343795299126709423430661405909*c_1001_5^12 + 5959430698272355466806260835130072/25534379529912670942343066140590\ 9*c_1001_5^11 - 9984589430249719618432569297557525/2553437952991267\ 09423430661405909*c_1001_5^10 + 4936240807315718963562644356395505/\ 85114598433042236474476887135303*c_1001_5^9 - 19518328605532176296519323434524413/2553437952991267094234306614059\ 09*c_1001_5^8 + 22413359013341355043736868940625368/255343795299126\ 709423430661405909*c_1001_5^7 - 21765399907499154733676940924556352\ /255343795299126709423430661405909*c_1001_5^6 + 18166605425742566343493793087762282/2553437952991267094234306614059\ 09*c_1001_5^5 - 1450308653117702938968065795270421/2837153281101407\ 8824825629045101*c_1001_5^4 + 7248671527265614087984080394273292/25\ 5343795299126709423430661405909*c_1001_5^3 - 1638875739082715282964361406286386/25534379529912670942343066140590\ 9*c_1001_5^2 - 983908740539855052603042504859123/255343795299126709\ 423430661405909*c_1001_5 + 30664352351314154065866525693713/2553437\ 95299126709423430661405909, c_0011_4 - 87958795852131806918418597848/851145984330422364744768871353\ 03*c_1001_5^17 + 2115167714307604558504750269457/851145984330422364\ 74476887135303*c_1001_5^16 - 15121462839410855254886224265936/85114\ 598433042236474476887135303*c_1001_5^15 + 67867482343810774012964995462877/85114598433042236474476887135303*c\ _1001_5^14 - 71447859329857652490431434069451/283715328110140788248\ 25629045101*c_1001_5^13 + 522790339381617070173082212970991/8511459\ 8433042236474476887135303*c_1001_5^12 - 1037307365716743708424412785165064/85114598433042236474476887135303\ *c_1001_5^11 + 1757720267305156825414802965341460/85114598433042236\ 474476887135303*c_1001_5^10 - 2632861063200180875986759818397994/85\ 114598433042236474476887135303*c_1001_5^9 + 3496919298053827707860256987413299/85114598433042236474476887135303\ *c_1001_5^8 - 1361550274793423985367459680756498/283715328110140788\ 24825629045101*c_1001_5^7 + 4103341885625040617677752770627789/8511\ 4598433042236474476887135303*c_1001_5^6 - 3546725559681852796812279649651762/85114598433042236474476887135303\ *c_1001_5^5 + 2619435837875067972031836148437967/851145984330422364\ 74476887135303*c_1001_5^4 - 1516503477712515113217892365476174/8511\ 4598433042236474476887135303*c_1001_5^3 + 567455252513015719909445359233272/85114598433042236474476887135303*\ c_1001_5^2 + 24068753577977700200299571019293/283715328110140788248\ 25629045101*c_1001_5 - 191304574058659703117084280598780/8511459843\ 3042236474476887135303, c_0101_0 + 94117168032845639551993189840/766031385897380128270291984217\ 727*c_1001_5^17 - 1824959082657193239438387671468/76603138589738012\ 8270291984217727*c_1001_5^16 + 5834251000730666077121025436150/7660\ 31385897380128270291984217727*c_1001_5^15 - 2547478458169141690823615166151/766031385897380128270291984217727*c\ _1001_5^14 - 6789984578588459807398829965196/8511459843304223647447\ 6887135303*c_1001_5^13 + 263767149029743577939398276434914/76603138\ 5897380128270291984217727*c_1001_5^12 - 637379433651669616175074712457923/766031385897380128270291984217727\ *c_1001_5^11 + 1065517384449184841313352071392341/76603138589738012\ 8270291984217727*c_1001_5^10 - 1394996522262716284185535701149690/7\ 66031385897380128270291984217727*c_1001_5^9 + 1595293067621394668957851849163671/76603138589738012827029198421772\ 7*c_1001_5^8 - 148677413113225760905599924228215/851145984330422364\ 74476887135303*c_1001_5^7 + 201414086477501132708569686497765/76603\ 1385897380128270291984217727*c_1001_5^6 + 1654756414069230449089697289385787/76603138589738012827029198421772\ 7*c_1001_5^5 - 2910838438541790638495229688302173/76603138589738012\ 8270291984217727*c_1001_5^4 + 3258844452779254362788585927484907/76\ 6031385897380128270291984217727*c_1001_5^3 - 3480918618941907603136371341444440/76603138589738012827029198421772\ 7*c_1001_5^2 + 970740044509375995364852090584839/255343795299126709\ 423430661405909*c_1001_5 - 283264955870013967866800055933829/766031\ 385897380128270291984217727, c_0101_1 + 40174878674146916647/14696220208075766394061*c_1001_5^17 - 970447968787812319903/14696220208075766394061*c_1001_5^16 + 7028986641407731448265/14696220208075766394061*c_1001_5^15 - 32090642482179555349645/14696220208075766394061*c_1001_5^14 + 102459920856094440753116/14696220208075766394061*c_1001_5^13 - 251542821967368143182696/14696220208075766394061*c_1001_5^12 + 497491103457589492403733/14696220208075766394061*c_1001_5^11 - 836042515125901575308910/14696220208075766394061*c_1001_5^10 + 1238638764377354249095839/14696220208075766394061*c_1001_5^9 - 1628000918507699614279500/14696220208075766394061*c_1001_5^8 + 1872429357142122145233198/14696220208075766394061*c_1001_5^7 - 1811315419447157733452221/14696220208075766394061*c_1001_5^6 + 1500892176520927395615989/14696220208075766394061*c_1001_5^5 - 1041950902273907159426099/14696220208075766394061*c_1001_5^4 + 562553766885348018020036/14696220208075766394061*c_1001_5^3 - 108931008831577216647789/14696220208075766394061*c_1001_5^2 - 136734566549522530514768/14696220208075766394061*c_1001_5 + 21179908760295077632580/14696220208075766394061, c_0101_10 + 732007055040405935497729749259/2553437952991267094234306614\ 05909*c_1001_5^17 - 17664964250848480698285074925959/25534379529912\ 6709423430661405909*c_1001_5^16 + 127527786769173965691834810338722\ /255343795299126709423430661405909*c_1001_5^15 - 578814032835036085214981109871867/255343795299126709423430661405909\ *c_1001_5^14 + 612128657735481381515127439603889/851145984330422364\ 74476887135303*c_1001_5^13 - 4474738931983554807565696728580300/255\ 343795299126709423430661405909*c_1001_5^12 + 8779384829463878877789279313129162/25534379529912670942343066140590\ 9*c_1001_5^11 - 14634267093665974735079329715722934/255343795299126\ 709423430661405909*c_1001_5^10 + 2150744534165543262211819715633703\ 4/255343795299126709423430661405909*c_1001_5^9 - 28039527507846290732142689018347877/2553437952991267094234306614059\ 09*c_1001_5^8 + 10633966887454040294210231472160952/851145984330422\ 36474476887135303*c_1001_5^7 - 30388102422539865328161649202042710/\ 255343795299126709423430661405909*c_1001_5^6 + 24645780199399189786904435175200930/2553437952991267094234306614059\ 09*c_1001_5^5 - 16666681899234864167016070969426889/255343795299126\ 709423430661405909*c_1001_5^4 + 8667142061799506751242387472275260/\ 255343795299126709423430661405909*c_1001_5^3 - 971726866181041432487931713506480/255343795299126709423430661405909\ *c_1001_5^2 - 319765037280489618977133302398623/2837153281101407882\ 4825629045101*c_1001_5 + 340997575890027310802485604659508/25534379\ 5299126709423430661405909, c_0101_11 + 4025736936618394081268863587872/766031385897380128270291984\ 217727*c_1001_5^17 - 97269125620469985214269408815656/7660313858973\ 80128270291984217727*c_1001_5^16 + 704989524960200476887745950909299/766031385897380128270291984217727\ *c_1001_5^15 - 3222940042282695603405530136693098/76603138589738012\ 8270291984217727*c_1001_5^14 + 3445137872411168339898192804885584/2\ 55343795299126709423430661405909*c_1001_5^13 - 25527185447928643885494889191043106/7660313858973801282702919842177\ 27*c_1001_5^12 + 50915176115454764353748314287469253/76603138589738\ 0128270291984217727*c_1001_5^11 - 862750406924504966613222338860606\ 96/766031385897380128270291984217727*c_1001_5^10 + 128818428311872943820668853894536222/766031385897380128270291984217\ 727*c_1001_5^9 - 170563351309708630350311976236808331/7660313858973\ 80128270291984217727*c_1001_5^8 + 660673873908729673946648618193204\ 56/255343795299126709423430661405909*c_1001_5^7 - 194909930418728707958254754263738307/766031385897380128270291984217\ 727*c_1001_5^6 + 164195779875194666790449023327028542/7660313858973\ 80128270291984217727*c_1001_5^5 - 116677562004711580571387612636804\ 548/766031385897380128270291984217727*c_1001_5^4 + 65276818006692288382254974491659386/7660313858973801282702919842177\ 27*c_1001_5^3 - 17406475310595968543292940066467824/766031385897380\ 128270291984217727*c_1001_5^2 - 4080872305345442218094680410424984/\ 255343795299126709423430661405909*c_1001_5 + 3338780227294144725247326511861288/76603138589738012827029198421772\ 7, c_0101_8 + 1592867436617992894122621995176/7660313858973801282702919842\ 17727*c_1001_5^17 - 38909300163355520922562021792307/76603138589738\ 0128270291984217727*c_1001_5^16 + 289978574170299830916758018402047\ /766031385897380128270291984217727*c_1001_5^15 - 1366870576595975529958466852756194/76603138589738012827029198421772\ 7*c_1001_5^14 + 1506487550851728071520319713016169/2553437952991267\ 09423430661405909*c_1001_5^13 - 11491859955020575195081991466983425\ /766031385897380128270291984217727*c_1001_5^12 + 23481688089707913455348407867596097/7660313858973801282702919842177\ 27*c_1001_5^11 - 40504725821879775916883693215252028/76603138589738\ 0128270291984217727*c_1001_5^10 + 612446185396188389435326204249096\ 66/766031385897380128270291984217727*c_1001_5^9 - 82202438584288687297346106365647886/7660313858973801282702919842177\ 27*c_1001_5^8 + 32450654748671903736446820033383096/255343795299126\ 709423430661405909*c_1001_5^7 - 97759114686655744421498604321291865\ /766031385897380128270291984217727*c_1001_5^6 + 83883163830863605598001408720064892/7660313858973801282702919842177\ 27*c_1001_5^5 - 60615478263416497949865370648183772/766031385897380\ 128270291984217727*c_1001_5^4 + 35811695699530750682316905203801867\ /766031385897380128270291984217727*c_1001_5^3 - 11809551627757049951394016760485858/7660313858973801282702919842177\ 27*c_1001_5^2 - 639926316571172332540043502426421/85114598433042236\ 474476887135303*c_1001_5 + 1760113597847653080188393397168032/76603\ 1385897380128270291984217727, c_1001_0 + 404112436897844641486475508511/76603138589738012827029198421\ 7727*c_1001_5^17 - 8302367876797225314133346094032/7660313858973801\ 28270291984217727*c_1001_5^16 + 36198941352996906504418242525559/76\ 6031385897380128270291984217727*c_1001_5^15 - 87299505302962910021683825660966/766031385897380128270291984217727*\ c_1001_5^14 + 11485845998137284799692395432315/25534379529912670942\ 3430661405909*c_1001_5^13 + 397814620329414331187938341636632/76603\ 1385897380128270291984217727*c_1001_5^12 - 1575990100480895125022272098376250/76603138589738012827029198421772\ 7*c_1001_5^11 + 3623604537025724662883428409249083/7660313858973801\ 28270291984217727*c_1001_5^10 - 6563058117780584074611705710741396/\ 766031385897380128270291984217727*c_1001_5^9 + 10643108945028312325331962778906038/7660313858973801282702919842177\ 27*c_1001_5^8 - 4970097704691893989687037946719215/2553437952991267\ 09423430661405909*c_1001_5^7 + 17752628023430465654444097711891542/\ 766031385897380128270291984217727*c_1001_5^6 - 16867597522883266357975112100813514/7660313858973801282702919842177\ 27*c_1001_5^5 + 14403099386434915248994626366331876/766031385897380\ 128270291984217727*c_1001_5^4 - 10760947060844654544935169559407560\ /766031385897380128270291984217727*c_1001_5^3 + 5131476675369324977939014700292332/76603138589738012827029198421772\ 7*c_1001_5^2 + 2579278389879277321191846189431/85114598433042236474\ 476887135303*c_1001_5 - 1412640433928043230869248919873426/76603138\ 5897380128270291984217727, c_1001_5^18 - 24*c_1001_5^17 + 171*c_1001_5^16 - 767*c_1001_5^15 + 2398*c_1001_5^14 - 5749*c_1001_5^13 + 11078*c_1001_5^12 - 18135*c_1001_5^11 + 26217*c_1001_5^10 - 33540*c_1001_5^9 + 37229*c_1001_5^8 - 34030*c_1001_5^7 + 26250*c_1001_5^6 - 16525*c_1001_5^5 + 7263*c_1001_5^4 + 1132*c_1001_5^3 - 4553*c_1001_5^2 - 196*c_1001_5 + 241 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.790 Total time: 1.990 seconds, Total memory usage: 32.09MB