Magma V2.19-8 Tue Aug 20 2013 23:39:49 on localhost [Seed = 1191257083] Type ? for help. Type -D to quit. Loading file "K14n18351__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18351 geometric_solution 10.25183504 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 14 1 -15 0 0 15 -15 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.331750620271 0.767768455036 0 5 7 6 0132 0132 0132 0132 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 15 -15 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.255057477579 1.346944664306 7 0 5 8 0132 0132 0321 0132 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 0 0 0 0 0 -14 14 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582235251907 0.569055828855 7 5 4 0 1023 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 -1 15 0 0 -15 0 0 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702825325512 1.323975233169 3 9 0 9 2310 0132 0132 2310 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 0 0 0 0 0 -15 15 0 -15 0 15 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.033017731434 1.295856707022 3 1 2 8 1023 0132 0321 2031 0 0 0 0 0 0 1 -1 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 -14 14 0 0 0 0 0 -1 0 1 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475287448633 0.395723916223 8 10 1 9 0213 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 0 15 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.055648334965 1.119496976782 2 3 10 1 0132 1023 1302 0132 0 0 0 0 0 1 -1 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 -15 15 0 15 0 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434228911784 1.070883511355 6 5 2 10 0213 1302 0132 0213 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 1 0 0 -1 14 -14 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769301785136 0.775566487960 4 4 6 10 3201 0132 0132 1302 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 15 0 -15 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.277342451606 0.385245909919 7 6 9 8 2031 0132 2031 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 -15 0 15 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.653130569550 0.768203089923 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0110_9']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_9']), 'c_1001_8' : d['c_0110_5'], 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_10'], 'c_1100_8' : d['c_1001_5'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_1001_5'], 'c_1100_10' : negation(d['c_1001_2']), 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : negation(d['c_0110_9']), 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_0110_9']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_1001_2']), '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' : negation(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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_3'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_8'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_8, c_0101_1, c_0101_10, c_0101_3, c_0110_5, c_0110_9, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 242330929106001857526975644762393772147044186659973/825314138494352\ 37575708048034957420232020498849620*c_1001_5^22 + 34170192076452584830712257130898376485579741716933/1650628276988704\ 75151416096069914840464040997699240*c_1001_5^21 - 3333258330036056247504176198491390883765166730384121/16506282769887\ 0475151416096069914840464040997699240*c_1001_5^20 + 6572332894766796452808879864336724929546706616566717/33012565539774\ 0950302832192139829680928081995398480*c_1001_5^19 - 1163314798482128977730302238680539579368732591286189/66025131079548\ 190060566438427965936185616399079696*c_1001_5^18 - 2241025103415186393781752273973167279657138151198541/66025131079548\ 1900605664384279659361856163990796960*c_1001_5^17 + 96600973347494996031498043502758468829633775851277519/1320502621590\ 96380121132876855931872371232798159392*c_1001_5^16 - 94851778351462059994157664713422918383598293533391089/1320502621590\ 96380121132876855931872371232798159392*c_1001_5^15 - 513227147714742157610134469160854914642022099906890725/132050262159\ 096380121132876855931872371232798159392*c_1001_5^14 + 216723749926174254009920847629953448726904362662939203/660251310795\ 48190060566438427965936185616399079696*c_1001_5^13 + 6950737805122720101918188205633525846538142081175709503/66025131079\ 5481900605664384279659361856163990796960*c_1001_5^12 - 518529482150181954030383180000518078564064261653389255/660251310795\ 48190060566438427965936185616399079696*c_1001_5^11 - 11836049837389872862828299239298947579207691727564769297/6602513107\ 95481900605664384279659361856163990796960*c_1001_5^10 + 1437042121357245179259138484159814053187769881307878637/13205026215\ 9096380121132876855931872371232798159392*c_1001_5^9 + 13019953808849830963388624748655081165435611066078447069/6602513107\ 95481900605664384279659361856163990796960*c_1001_5^8 - 5688845219448912718732858398909730427909350646665264767/66025131079\ 5481900605664384279659361856163990796960*c_1001_5^7 - 9204752205599376299088299935435037325908056090252102723/66025131079\ 5481900605664384279659361856163990796960*c_1001_5^6 + 2667144869480708748534617837587161722070670787158902903/66025131079\ 5481900605664384279659361856163990796960*c_1001_5^5 + 4656987544260775442512672686704208336762249612031469347/66025131079\ 5481900605664384279659361856163990796960*c_1001_5^4 - 86461533090043314878607011664185509705924536427976387/1320502621590\ 96380121132876855931872371232798159392*c_1001_5^3 - 804464602731033962983759727158851491030718589811628213/330125655397\ 740950302832192139829680928081995398480*c_1001_5^2 - 34572799091224394567587134031178336980621571904316139/8253141384943\ 5237575708048034957420232020498849620*c_1001_5 + 1138922809128343702643379562936593671913997497737787/16506282769887\ 047515141609606991484046404099769924, c_0011_0 - 1, c_0011_10 - 22540712497546615272001448954006238325/22612135135120544825\ 63119429732804526914*c_1001_5^22 + 95683105739626372841443825072022780612/1130606756756027241281559714\ 866402263457*c_1001_5^21 - 725715041865689861703558954163918430529/\ 4522427027024108965126238859465609053828*c_1001_5^20 - 20351031629188911142566352368516082078/1130606756756027241281559714\ 866402263457*c_1001_5^19 + 5255559522462037747041275086898189021599\ /9044854054048217930252477718931218107656*c_1001_5^18 - 19236662382767441398873297607368626349419/9044854054048217930252477\ 718931218107656*c_1001_5^17 + 2978337834052933070456488490080342522\ 2803/9044854054048217930252477718931218107656*c_1001_5^16 + 73867051221623716283889729636642331652329/9044854054048217930252477\ 718931218107656*c_1001_5^15 - 5685362582429369719114585795040313512\ 1707/2261213513512054482563119429732804526914*c_1001_5^14 - 117076802611997415481170885401521895643733/904485405404821793025247\ 7718931218107656*c_1001_5^13 + 322555481407096886246962309144854709\ 586167/4522427027024108965126238859465609053828*c_1001_5^12 + 16460081168214896712022228634068599669169/9044854054048217930252477\ 718931218107656*c_1001_5^11 - 1032389842489325381920331163425403852\ 051965/9044854054048217930252477718931218107656*c_1001_5^10 + 192166716819731218442940965798495943737341/904485405404821793025247\ 7718931218107656*c_1001_5^9 + 9458077351188936768625562962791100156\ 09849/9044854054048217930252477718931218107656*c_1001_5^8 - 258014179846884015710346674700533432588099/904485405404821793025247\ 7718931218107656*c_1001_5^7 - 5028642456429966769556656300490271974\ 46913/9044854054048217930252477718931218107656*c_1001_5^6 + 133884493095760028501142536882140894399955/904485405404821793025247\ 7718931218107656*c_1001_5^5 + 1709935469852318488267800412195967713\ 93411/9044854054048217930252477718931218107656*c_1001_5^4 - 5688059231108966224088703370242582492113/45224270270241089651262388\ 59465609053828*c_1001_5^3 - 111480908359023245664703998279479939556\ 71/4522427027024108965126238859465609053828*c_1001_5^2 - 505538097317272189825975283718980372127/113060675675602724128155971\ 4866402263457*c_1001_5 - 1479425495860512099657045643208453092758/1\ 130606756756027241281559714866402263457, c_0011_4 - 40616346288433513141580387030562922528/113060675675602724128\ 1559714866402263457*c_1001_5^22 + 125593923114912156977458422531193\ 926527/1130606756756027241281559714866402263457*c_1001_5^21 - 69665668876877795696455486238335643400/1130606756756027241281559714\ 866402263457*c_1001_5^20 - 436470730914704707624065788313832667161/\ 2261213513512054482563119429732804526914*c_1001_5^19 + 1085464906194695032134062666258923010226/11306067567560272412815597\ 14866402263457*c_1001_5^18 - 12711616034859589038981154337225042040\ 329/4522427027024108965126238859465609053828*c_1001_5^17 - 5965061667129308464008700976054647502915/45224270270241089651262388\ 59465609053828*c_1001_5^16 + 75651319491376623662916332969814775826\ 985/4522427027024108965126238859465609053828*c_1001_5^15 - 23207708429452495592918786748911822994447/4522427027024108965126238\ 859465609053828*c_1001_5^14 - 4915398314946787096130398016967333119\ 2897/1130606756756027241281559714866402263457*c_1001_5^13 + 107941587970278827101022072567884089890155/452242702702410896512623\ 8859465609053828*c_1001_5^12 + 145809600565920930611319702958305127\ 601889/2261213513512054482563119429732804526914*c_1001_5^11 - 186530916254475525171523135162729175791279/452242702702410896512623\ 8859465609053828*c_1001_5^10 - 249154294464704791097628430232492142\ 887783/4522427027024108965126238859465609053828*c_1001_5^9 + 149358201196347752738844171958182658499989/452242702702410896512623\ 8859465609053828*c_1001_5^8 + 1164472844877354862947044952998885683\ 50279/4522427027024108965126238859465609053828*c_1001_5^7 - 53816868314370880946502715913343355646199/4522427027024108965126238\ 859465609053828*c_1001_5^6 - 35172144230817631015735938964935647467\ 793/4522427027024108965126238859465609053828*c_1001_5^5 + 646786922502140480337004549383677472667/452242702702410896512623885\ 9465609053828*c_1001_5^4 + 6278338878606248901734796800858205193573\ /4522427027024108965126238859465609053828*c_1001_5^3 + 1595311392624311567338880490611306427029/11306067567560272412815597\ 14866402263457*c_1001_5^2 + 503412980062439551559904073606966917990\ 5/2261213513512054482563119429732804526914*c_1001_5 + 647761937802056799927103895340069660882/113060675675602724128155971\ 4866402263457, c_0011_8 + 77751482440176028485312570713967096546/113060675675602724128\ 1559714866402263457*c_1001_5^22 - 179011284286093176396572638642992\ 138640/1130606756756027241281559714866402263457*c_1001_5^21 - 25986845742107631086059550763102675653/1130606756756027241281559714\ 866402263457*c_1001_5^20 + 484130031508867090199950091880301146280/\ 1130606756756027241281559714866402263457*c_1001_5^19 - 3572421476417632834072574020560212851917/22612135135120544825631194\ 29732804526914*c_1001_5^18 + 90879251536315355844390636089825898358\ 11/2261213513512054482563119429732804526914*c_1001_5^17 + 7122738071221502580781778448313376220730/11306067567560272412815597\ 14866402263457*c_1001_5^16 - 32698453801155177060515924964946850391\ 079/1130606756756027241281559714866402263457*c_1001_5^15 - 27440859764091145343288224338189272248257/2261213513512054482563119\ 429732804526914*c_1001_5^14 + 1901437841902152328814153291010193286\ 79573/2261213513512054482563119429732804526914*c_1001_5^13 + 17410695333404680926441299678957394111545/2261213513512054482563119\ 429732804526914*c_1001_5^12 - 1627380717359152634870409607036644110\ 54768/1130606756756027241281559714866402263457*c_1001_5^11 + 6296254624090841303644741376476551027213/11306067567560272412815597\ 14866402263457*c_1001_5^10 + 33233848309562275657165209737669339212\ 9579/2261213513512054482563119429732804526914*c_1001_5^9 - 15050139955675481184744587696210856904909/1130606756756027241281559\ 714866402263457*c_1001_5^8 - 10255267363435022544865623261796887982\ 8770/1130606756756027241281559714866402263457*c_1001_5^7 + 9587328154605385749353291260076520865094/11306067567560272412815597\ 14866402263457*c_1001_5^6 + 825728255278853919760397690636825903733\ 41/2261213513512054482563119429732804526914*c_1001_5^5 + 4843747005810667737646938565694881850743/22612135135120544825631194\ 29732804526914*c_1001_5^4 - 185391011441315707357265279873228296528\ 11/2261213513512054482563119429732804526914*c_1001_5^3 - 2085630388925985296932184418915292784878/11306067567560272412815597\ 14866402263457*c_1001_5^2 - 606689734821663726016107711922075109777\ /1130606756756027241281559714866402263457*c_1001_5 - 86501019875200149693898452266388127203/1130606756756027241281559714\ 866402263457, c_0101_1 - 22467834727156756848042607583710679646/113060675675602724128\ 1559714866402263457*c_1001_5^22 + 602013744801379841713345369185036\ 48953/1130606756756027241281559714866402263457*c_1001_5^21 - 30140059271753135392925808246550310445/1130606756756027241281559714\ 866402263457*c_1001_5^20 - 257567551733653657588220944375895666335/\ 2261213513512054482563119429732804526914*c_1001_5^19 + 1253047040932586601069758929413681318143/22612135135120544825631194\ 29732804526914*c_1001_5^18 - 64209039889281408734422032674597192771\ 53/4522427027024108965126238859465609053828*c_1001_5^17 - 5062890244694585430001289927993648987165/45224270270241089651262388\ 59465609053828*c_1001_5^16 + 38891958363350307838617214188662614481\ 119/4522427027024108965126238859465609053828*c_1001_5^15 - 10807496143483199453283883950796501691259/4522427027024108965126238\ 859465609053828*c_1001_5^14 - 2411578156906626561533407520762053174\ 8106/1130606756756027241281559714866402263457*c_1001_5^13 + 81008867236630527661581073659815291128629/4522427027024108965126238\ 859465609053828*c_1001_5^12 + 6823623718131672351838275885490121297\ 8749/2261213513512054482563119429732804526914*c_1001_5^11 - 180433529528793367757658205997311180271631/452242702702410896512623\ 8859465609053828*c_1001_5^10 - 960612305417563352904267377425296075\ 68349/4522427027024108965126238859465609053828*c_1001_5^9 + 227360220628653503239032387766388353766503/452242702702410896512623\ 8859465609053828*c_1001_5^8 + 3957903259141886699193198045653287133\ 0149/4522427027024108965126238859465609053828*c_1001_5^7 - 159945568896390444021357698293288585643837/452242702702410896512623\ 8859465609053828*c_1001_5^6 - 2470240292587099726372696987891504308\ 3371/4522427027024108965126238859465609053828*c_1001_5^5 + 65452771827381482219079158045372657495685/4522427027024108965126238\ 859465609053828*c_1001_5^4 + 18500088816470028087124142340906005999\ 973/4522427027024108965126238859465609053828*c_1001_5^3 - 13171583934895046230170767366005024357897/2261213513512054482563119\ 429732804526914*c_1001_5^2 - 55694278759660078989609544876623727011\ 83/2261213513512054482563119429732804526914*c_1001_5 - 289897903250642267113632035471807907305/113060675675602724128155971\ 4866402263457, c_0101_10 - 17031021213694730586583548842722334715/11306067567560272412\ 81559714866402263457*c_1001_5^22 + 75932674830560515044020531087270740924/1130606756756027241281559714\ 866402263457*c_1001_5^21 - 227209902641838161053833396211284100343/\ 2261213513512054482563119429732804526914*c_1001_5^20 - 23893033022807586849941187258281127188/1130606756756027241281559714\ 866402263457*c_1001_5^19 + 2323402327940005349376012127720022593129\ /4522427027024108965126238859465609053828*c_1001_5^18 - 8045992708878351642016307543767481767373/45224270270241089651262388\ 59465609053828*c_1001_5^17 + 58192581206351941198665948781315190145\ 57/4522427027024108965126238859465609053828*c_1001_5^16 + 32240228674789273070016276958698828070121/4522427027024108965126238\ 859465609053828*c_1001_5^15 - 2860177397960360592741652583166575800\ 2731/2261213513512054482563119429732804526914*c_1001_5^14 - 50659588825602653627504291389822196364843/4522427027024108965126238\ 859465609053828*c_1001_5^13 + 4214318420829366616694201280687138815\ 4138/1130606756756027241281559714866402263457*c_1001_5^12 + 10273004962168514825779217038647032502593/4522427027024108965126238\ 859465609053828*c_1001_5^11 - 2639610846397049636259403311970075041\ 00607/4522427027024108965126238859465609053828*c_1001_5^10 + 84310145514804401280224301559847433702467/4522427027024108965126238\ 859465609053828*c_1001_5^9 + 23549570201532644749228848290800969209\ 2279/4522427027024108965126238859465609053828*c_1001_5^8 - 115457757705619868323301217622364286827671/452242702702410896512623\ 8859465609053828*c_1001_5^7 - 1277303811043654559946295146349377310\ 18289/4522427027024108965126238859465609053828*c_1001_5^6 + 61268871838494052279632525422471984912885/4522427027024108965126238\ 859465609053828*c_1001_5^5 + 50313073295708854755677781625287811287\ 235/4522427027024108965126238859465609053828*c_1001_5^4 - 6175968851826273855826194130597724645691/22612135135120544825631194\ 29732804526914*c_1001_5^3 - 670504146554173357923856311467434602566\ 9/2261213513512054482563119429732804526914*c_1001_5^2 - 70545705099438402368353887861969254699/1130606756756027241281559714\ 866402263457*c_1001_5 - 172561395618843544508081030105941456689/113\ 0606756756027241281559714866402263457, c_0101_3 + 22618388299796228377410381359707362702/113060675675602724128\ 1559714866402263457*c_1001_5^22 - 663646946017191694014843617251859\ 12911/1130606756756027241281559714866402263457*c_1001_5^21 - 7380339721112224460321592295168828603/11306067567560272412815597148\ 66402263457*c_1001_5^20 + 427786717942848315932969841221001325201/2\ 261213513512054482563119429732804526914*c_1001_5^19 - 1241430715203222358547099170161023097815/22612135135120544825631194\ 29732804526914*c_1001_5^18 + 61616351794843206244673503454794545352\ 51/4522427027024108965126238859465609053828*c_1001_5^17 + 7678261168393485094560142254873626745539/45224270270241089651262388\ 59465609053828*c_1001_5^16 - 50908005476313163590047588978188558076\ 501/4522427027024108965126238859465609053828*c_1001_5^15 - 2055801506696751480954313721005724000023/45224270270241089651262388\ 59465609053828*c_1001_5^14 + 40817120158275739322487861513427134375\ 899/1130606756756027241281559714866402263457*c_1001_5^13 - 35561912928050877107921289845340218174471/4522427027024108965126238\ 859465609053828*c_1001_5^12 - 1469491494252041511848897908649070439\ 49349/2261213513512054482563119429732804526914*c_1001_5^11 + 95090644166327071878203955035616915834021/4522427027024108965126238\ 859465609053828*c_1001_5^10 + 3214415267977612492152644207304161603\ 23899/4522427027024108965126238859465609053828*c_1001_5^9 - 97021110934972615333249836590147977472793/4522427027024108965126238\ 859465609053828*c_1001_5^8 - 19360931629556889611048029679094337498\ 5659/4522427027024108965126238859465609053828*c_1001_5^7 + 47384985569030623832265244918923766863895/4522427027024108965126238\ 859465609053828*c_1001_5^6 + 68656176335422437581860350271262903226\ 461/4522427027024108965126238859465609053828*c_1001_5^5 - 1522154826564615424551379534145880053407/45224270270241089651262388\ 59465609053828*c_1001_5^4 - 160412350862419729575981626178067349648\ 87/4522427027024108965126238859465609053828*c_1001_5^3 - 8744124463697792975369962932126929073083/22612135135120544825631194\ 29732804526914*c_1001_5^2 - 621266327512636406976471197466707213821\ 1/2261213513512054482563119429732804526914*c_1001_5 - 68423320380555364242401866259538933597/1130606756756027241281559714\ 866402263457, c_0110_5 + 199064703963599351380747068805166857193/22612135135120544825\ 63119429732804526914*c_1001_5^22 - 207730613542533938739433791396648538052/113060675675602724128155971\ 4866402263457*c_1001_5^21 - 294480516141352506186426980845272828875\ /4522427027024108965126238859465609053828*c_1001_5^20 + 577690757124381992429893342676132990066/113060675675602724128155971\ 4866402263457*c_1001_5^19 - 169409158314573042711618887059777063947\ 15/9044854054048217930252477718931218107656*c_1001_5^18 + 42953063804828094858323825242037717706823/9044854054048217930252477\ 718931218107656*c_1001_5^17 + 8057869738796174319577560582881479528\ 0993/9044854054048217930252477718931218107656*c_1001_5^16 - 311869902381750434063614518959465644906701/904485405404821793025247\ 7718931218107656*c_1001_5^15 - 267647262696981731888303019451288958\ 26223/1130606756756027241281559714866402263457*c_1001_5^14 + 906066997475853711895915563918835279068341/904485405404821793025247\ 7718931218107656*c_1001_5^13 + 169040288433943188674567885236205513\ 603501/4522427027024108965126238859465609053828*c_1001_5^12 - 1565832588704264848570655778786204507385081/90448540540482179302524\ 77718931218107656*c_1001_5^11 - 42362467442542295424649050402032915\ 8155907/9044854054048217930252477718931218107656*c_1001_5^10 + 1630268231216705922045140574246022747432615/90448540540482179302524\ 77718931218107656*c_1001_5^9 + 425085466081571825291498945208913163\ 435379/9044854054048217930252477718931218107656*c_1001_5^8 - 1065154603740762699074342477837244935679721/90448540540482179302524\ 77718931218107656*c_1001_5^7 - 310773408643123659991651485923118414\ 217263/9044854054048217930252477718931218107656*c_1001_5^6 + 488605934417496964308257511473172579815461/904485405404821793025247\ 7718931218107656*c_1001_5^5 + 1966436870667848828671125459612030449\ 43169/9044854054048217930252477718931218107656*c_1001_5^4 - 58973551056389779497244953983155356164857/4522427027024108965126238\ 859465609053828*c_1001_5^3 - 26500982886629242786337206185000028481\ 053/4522427027024108965126238859465609053828*c_1001_5^2 - 1005614592532380128852407256397540283077/11306067567560272412815597\ 14866402263457*c_1001_5 - 585737169273057258361391007278046278496/1\ 130606756756027241281559714866402263457, c_0110_9 + 78466428871706388965000913996579128285/226121351351205448256\ 3119429732804526914*c_1001_5^22 - 497142797528208159206913686322524\ 67126/1130606756756027241281559714866402263457*c_1001_5^21 - 422824001057664037746632438807065873735/452242702702410896512623885\ 9465609053828*c_1001_5^20 + 242622293749221113459933761404003163987\ /1130606756756027241281559714866402263457*c_1001_5^19 - 5492972423443824517936209607505443307239/90448540540482179302524777\ 18931218107656*c_1001_5^18 + 11094229319900197028693688255190596854\ 439/9044854054048217930252477718931218107656*c_1001_5^17 + 47971431494409662335039724639126776928513/9044854054048217930252477\ 718931218107656*c_1001_5^16 - 1044625549867933607850557835870446827\ 38785/9044854054048217930252477718931218107656*c_1001_5^15 - 45822643103313631255112467722574726535817/2261213513512054482563119\ 429732804526914*c_1001_5^14 + 3283026286355020964366888289300355779\ 99949/9044854054048217930252477718931218107656*c_1001_5^13 + 193975651160196736384181615369617845333461/452242702702410896512623\ 8859465609053828*c_1001_5^12 - 608903394268552069263692908181721781\ 794021/9044854054048217930252477718931218107656*c_1001_5^11 - 554777695777742301268077042636328195387263/904485405404821793025247\ 7718931218107656*c_1001_5^10 + 653773579483016003353582995306721858\ 138407/9044854054048217930252477718931218107656*c_1001_5^9 + 508559568936846952758963888133153276437475/904485405404821793025247\ 7718931218107656*c_1001_5^8 - 4245319464572600532979589889540521085\ 15837/9044854054048217930252477718931218107656*c_1001_5^7 - 312377305357829460365820660842621936641687/904485405404821793025247\ 7718931218107656*c_1001_5^6 + 1889728919440900207894975222485113259\ 02497/9044854054048217930252477718931218107656*c_1001_5^5 + 157740216647110283558449583495796977631781/904485405404821793025247\ 7718931218107656*c_1001_5^4 - 1737036239055663618694166716608364313\ 1405/4522427027024108965126238859465609053828*c_1001_5^3 - 16984140537330838417782844052596075710749/4522427027024108965126238\ 859465609053828*c_1001_5^2 - 28913574225727994429314922551780486679\ 1/1130606756756027241281559714866402263457*c_1001_5 - 722467622330098357211662491387291961468/113060675675602724128155971\ 4866402263457, c_1001_2 + 147107533187390410338597143423634022/16151525096514674875450\ 8530695200323351*c_1001_5^22 - 276808066000626066405432207480567964\ 7/161515250965146748754508530695200323351*c_1001_5^21 + 5815147817678485297701324915988158171/16151525096514674875450853069\ 5200323351*c_1001_5^20 + 638389536517606647298826075621375381/32303\ 0501930293497509017061390400646702*c_1001_5^19 - 33235530949517927272165342249856754597/3230305019302934975090170613\ 90400646702*c_1001_5^18 + 264234450693824895598901393559172649231/6\ 46061003860586995018034122780801293404*c_1001_5^17 - 560873223353923055541906926623207772495/646061003860586995018034122\ 780801293404*c_1001_5^16 - 991114777728399241395735643527674307837/\ 646061003860586995018034122780801293404*c_1001_5^15 + 3871173580237733397106479519895034545779/64606100386058699501803412\ 2780801293404*c_1001_5^14 + 868041504611359169223304850112971567779\ /323030501930293497509017061390400646702*c_1001_5^13 - 10582214052350397244944498301721625262895/6460610038605869950180341\ 22780801293404*c_1001_5^12 - 21244212956563805354011258575821747928\ 2/161515250965146748754508530695200323351*c_1001_5^11 + 16626455080726586599336759604432645606973/6460610038605869950180341\ 22780801293404*c_1001_5^10 - 10391314891108874541912187588791039157\ 85/646061003860586995018034122780801293404*c_1001_5^9 - 14672472206925238183726621215237532566787/6460610038605869950180341\ 22780801293404*c_1001_5^8 + 154053052665886628870489082481690657657\ 3/646061003860586995018034122780801293404*c_1001_5^7 + 7030086996680992806036744215726790994329/64606100386058699501803412\ 2780801293404*c_1001_5^6 - 631715858500319831287253509959008310445/\ 646061003860586995018034122780801293404*c_1001_5^5 - 1892663488893393813792734748393859968069/64606100386058699501803412\ 2780801293404*c_1001_5^4 - 785879643067336978169506253817388087811/\ 646061003860586995018034122780801293404*c_1001_5^3 - 113172661491804807470703033231159472039/323030501930293497509017061\ 390400646702*c_1001_5^2 + 359857733884275388933487898191646445677/3\ 23030501930293497509017061390400646702*c_1001_5 + 48316207998441216185999375714147092279/1615152509651467487545085306\ 95200323351, c_1001_5^23 - 2*c_1001_5^22 - 3/2*c_1001_5^21 + 7*c_1001_5^20 - 83/4*c_1001_5^19 + 197/4*c_1001_5^18 + 475/4*c_1001_5^17 - 1667/4*c_1001_5^16 - 705/2*c_1001_5^15 + 5325/4*c_1001_5^14 + 627*c_1001_5^13 - 9985/4*c_1001_5^12 - 3201/4*c_1001_5^11 + 11485/4*c_1001_5^10 + 3125/4*c_1001_5^9 - 8107/4*c_1001_5^8 - 2225/4*c_1001_5^7 + 3739/4*c_1001_5^6 + 1411/4*c_1001_5^5 - 241*c_1001_5^4 - 291/2*c_1001_5^3 - 23*c_1001_5^2 - 8*c_1001_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.440 Total time: 0.650 seconds, Total memory usage: 32.09MB