Magma V2.19-8 Tue Aug 20 2013 23:46:05 on localhost [Seed = 1966280843] Type ? for help. Type -D to quit. Loading file "K14n12384__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12384 geometric_solution 11.56254700 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 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.683590393303 0.384565355828 0 4 6 5 0132 0321 0132 0132 0 0 0 0 0 1 0 -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 3 0 -3 0 0 0 0 0 3 0 -3 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360793164972 0.823786408756 7 0 9 8 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 -4 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.763096574643 0.657538247145 10 9 5 0 0132 3120 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494078508307 0.575188300143 11 10 0 1 0132 2103 0132 0321 0 0 0 0 0 1 0 -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 4 -1 -3 1 0 0 -1 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.519249618120 0.950276519744 7 11 1 3 1023 0213 0132 3012 0 0 0 0 0 -1 1 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 -3 3 0 0 0 0 0 0 0 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244950176294 1.165103357328 11 7 9 1 3120 0321 0321 0132 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 -1 0 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263035131533 0.720447520757 2 5 10 6 0132 1023 1023 0321 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 -3 3 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.701692714206 0.790462465025 11 9 2 10 1302 3012 0132 1023 0 0 0 0 0 0 0 0 1 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 4 0 -4 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.506379775312 0.659755948954 8 3 6 2 1230 3120 0321 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 0 0 0 -4 0 0 4 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.335952965662 0.781994905288 3 4 7 8 0132 2103 1023 1023 0 0 0 0 0 -1 1 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 -3 3 0 0 0 0 0 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.070693777322 0.984900161696 4 8 5 6 0132 2031 0213 3120 0 0 0 0 0 0 1 -1 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 3 -3 -1 0 0 1 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341621913510 0.582912272293 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_8']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0110_8']), 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_9']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_10'], 'c_1001_9' : negation(d['c_1001_3']), 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : d['c_0110_8'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_0'], 'c_0101_10' : d['c_0101_0'], '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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0110_5'], 'c_1100_7' : d['c_1001_6'], 'c_1100_6' : negation(d['c_1001_3']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : d['c_1001_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_1001_6']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_8']), 'c_1010_3' : negation(d['c_0011_9']), 'c_1010_2' : negation(d['c_0011_9']), 'c_1010_1' : negation(d['c_0110_8']), 'c_1010_0' : d['c_0011_10'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0101_3'], 'c_1100_8' : d['c_1001_6'], '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : negation(d['c_0011_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_1']})} 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_6, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0110_5, c_0110_8, c_1001_3, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1805688943334534904678308168918892309811101333763701575174714438/82\ 00585420473112107178734684765383206720995856324382880514555*c_1001_\ 6^20 + 122932732813406689729545473678809936902666827502047567158939\ 96231/8200585420473112107178734684765383206720995856324382880514555\ *c_1001_6^19 + 6122165764343440401877803911712710212100528106557725\ 195117295348/630814263113316315936825744981952554363153527409567913\ 885735*c_1001_6^18 + 1600481010321299024803247241961486425806219845\ 812907716365561971/713094384388966270189455189979598539714869204897\ 77242439257*c_1001_6^17 + 71216589517418742548550905869671721235683\ 851177827217119125374377/820058542047311210717873468476538320672099\ 5856324382880514555*c_1001_6^16 - 911477411962367652300175363716899\ 19410593488646841748147295398279/6308142631133163159368257449819525\ 54363153527409567913885735*c_1001_6^15 - 806800971104988200767559891731696809348359571056660962701180526775/\ 1640117084094622421435746936953076641344199171264876576102911*c_100\ 1_6^14 + 3979089625914694013379172882121587001440136432193072847163\ 969936158/820058542047311210717873468476538320672099585632438288051\ 4555*c_1001_6^13 + 333716937746129034056579039330180686400761834380\ 2703468724162842153/16401170840946224214357469369530766413441991712\ 64876576102911*c_1001_6^12 - 59517385294890290902332428562633032410\ 4265001511661665314597457293/43160975897226905827256498340870437930\ 1105045069704362132345*c_1001_6^11 - 4341111470806207877322203727111122359138855481490226696487637550349\ /1640117084094622421435746936953076641344199171264876576102911*c_10\ 01_6^10 + 937296488117221985911254193639889241778809114975306357554\ 99908337/9011632330190233084811796356885036490902193248708113055510\ 5*c_1001_6^9 + 1315560404653774929171022754002837747071093930247578\ 0402272057024779/82005854204731121071787346847653832067209958563243\ 82880514555*c_1001_6^8 + 164846509262911682492323357482007613078662\ 5572898750311285243641423/82005854204731121071787346847653832067209\ 95856324382880514555*c_1001_6^7 - 243676305013083048230527059364540\ 3449741643890540313848722605981357/82005854204731121071787346847653\ 83206720995856324382880514555*c_1001_6^6 - 5947294358319813529715017612662509057095458515901549640921485754257\ /8200585420473112107178734684765383206720995856324382880514555*c_10\ 01_6^5 + 2465852453433391891912389041909225788498844031654919767320\ 079097392/820058542047311210717873468476538320672099585632438288051\ 4555*c_1001_6^4 - 2393407873598526189873137480147338298456912742011\ 3599466751869473/48238737767488894748110204028031665921888210919555\ 1934147915*c_1001_6^3 + 5717538110982591200159663586877265412617234\ 24030295978167240583793/8200585420473112107178734684765383206720995\ 856324382880514555*c_1001_6^2 - 24648122200039574503439572053641778\ 710415720463405540414569358169/482387377674888947481102040280316659\ 218882109195551934147915*c_1001_6 + 27283609402012477936899982426507257072144411132849530711231630181/8\ 200585420473112107178734684765383206720995856324382880514555, c_0011_0 - 1, c_0011_10 - 7227185888951672055070407620607607375856684956/302450814273\ 736258464134760516111821284342707395*c_1001_6^20 - 48423459077203804033748482393453572405501692902/3024508142737362584\ 64134760516111821284342707395*c_1001_6^19 - 311702348626595635642957853711079394324232693708/302450814273736258\ 464134760516111821284342707395*c_1001_6^18 - 138187268191173354941878848142753633985363137018/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 - 130562205887245725239593085822442910702556221609/302450814273736258\ 464134760516111821284342707395*c_1001_6^16 + 4978651894773963997779486815486390217660541519009/30245081427373625\ 8464134760516111821284342707395*c_1001_6^15 + 3169126295131135069077120600323956121332523812665/60490162854747251\ 692826952103222364256868541479*c_1001_6^14 - 18462790590677905618337855382404684971958464854731/3024508142737362\ 58464134760516111821284342707395*c_1001_6^13 - 13771628878365355209707236605901226816593938524634/6049016285474725\ 1692826952103222364256868541479*c_1001_6^12 + 53337419971767483510419597903370458657760717712604/3024508142737362\ 58464134760516111821284342707395*c_1001_6^11 + 19021778540238461798341779864596587954617804560197/6049016285474725\ 1692826952103222364256868541479*c_1001_6^10 - 45706803560373620108449249250245556026280027415339/3024508142737362\ 58464134760516111821284342707395*c_1001_6^9 - 63209816704261539927865360714123590789369621831538/3024508142737362\ 58464134760516111821284342707395*c_1001_6^8 - 382101606294841122853873884040717437098180226696/302450814273736258\ 464134760516111821284342707395*c_1001_6^7 + 14604615360914033102056088986299305321832477366049/3024508142737362\ 58464134760516111821284342707395*c_1001_6^6 + 23782380100824438370459534302949927343782136471304/3024508142737362\ 58464134760516111821284342707395*c_1001_6^5 - 9900081064221543099902020331263191739499168681944/30245081427373625\ 8464134760516111821284342707395*c_1001_6^4 + 918696890012267417329950884740012702553497946052/302450814273736258\ 464134760516111821284342707395*c_1001_6^3 - 1656931085691971573989525974218004915616179692931/30245081427373625\ 8464134760516111821284342707395*c_1001_6^2 + 1606543138878528066984070707197539434007994171876/30245081427373625\ 8464134760516111821284342707395*c_1001_6 - 216645855275729445217310214368031207048875015882/302450814273736258\ 464134760516111821284342707395, c_0011_11 - 606939464600136090828204967331219224585123584/6049016285474\ 7251692826952103222364256868541479*c_1001_6^20 - 4980813937453731510536199075450675535940098528/60490162854747251692\ 826952103222364256868541479*c_1001_6^19 - 33314803458663451341002826167153151503901855888/6049016285474725169\ 2826952103222364256868541479*c_1001_6^18 - 105355485607787999473630871054964668793311190366/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 - 150898094336563942532732410827206347902908000497/604901628547472516\ 92826952103222364256868541479*c_1001_6^16 + 245699973233117024780295960788038660416009098337/604901628547472516\ 92826952103222364256868541479*c_1001_6^15 + 1762625236201349153639394637615168361831550031035/60490162854747251\ 692826952103222364256868541479*c_1001_6^14 + 909986537514621922109975733097441360951142877907/604901628547472516\ 92826952103222364256868541479*c_1001_6^13 - 5425803087578022117651792318545335014093344288097/60490162854747251\ 692826952103222364256868541479*c_1001_6^12 - 3786208538640116180779439294901961185577692713630/60490162854747251\ 692826952103222364256868541479*c_1001_6^11 + 5972308483727639478209311199755933535103680894246/60490162854747251\ 692826952103222364256868541479*c_1001_6^10 + 6110266837437541110740709433686958533081482750936/60490162854747251\ 692826952103222364256868541479*c_1001_6^9 - 1344705450942648877636162316921323355087354819064/60490162854747251\ 692826952103222364256868541479*c_1001_6^8 - 4091375832614555997406245745326064951566233925282/60490162854747251\ 692826952103222364256868541479*c_1001_6^7 - 1828551749777841636797270112055918535339797818581/60490162854747251\ 692826952103222364256868541479*c_1001_6^6 + 1020878528332205719263593232164080806399325162259/60490162854747251\ 692826952103222364256868541479*c_1001_6^5 + 596998460595739653961232604673463602391254379116/604901628547472516\ 92826952103222364256868541479*c_1001_6^4 + 94137673352385216570411952593790086298651690119/6049016285474725169\ 2826952103222364256868541479*c_1001_6^3 - 148179596815817014133104391544368681568478123615/604901628547472516\ 92826952103222364256868541479*c_1001_6^2 + 33067183996664126403783128657158807992185070000/6049016285474725169\ 2826952103222364256868541479*c_1001_6 + 24406055597449076183446267676539299657871819991/6049016285474725169\ 2826952103222364256868541479, c_0011_6 + 20078606353502050006871188609416384510161670498/302450814273\ 736258464134760516111821284342707395*c_1001_6^20 + 131499108518579223176828574926796761255204158511/302450814273736258\ 464134760516111821284342707395*c_1001_6^19 + 846277951257428762850753889291797697940440041309/302450814273736258\ 464134760516111821284342707395*c_1001_6^18 + 358486363556311729882062853478987068867182801043/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 + 95897917886590697715364184309522748236745864637/3024508142737362584\ 64134760516111821284342707395*c_1001_6^16 - 13850592965366312100933460979156687232485634483687/3024508142737362\ 58464134760516111821284342707395*c_1001_6^15 - 8395394543481154997498020108196416002674303593609/60490162854747251\ 692826952103222364256868541479*c_1001_6^14 + 57493427399387383876825587707621868233722570504798/3024508142737362\ 58464134760516111821284342707395*c_1001_6^13 + 36508304678536809167394613408151717834418897934070/6049016285474725\ 1692826952103222364256868541479*c_1001_6^12 - 174359279489539448416902008875101089318000784053622/302450814273736\ 258464134760516111821284342707395*c_1001_6^11 - 47434396825746851796697603254218565238666208171738/6049016285474725\ 1692826952103222364256868541479*c_1001_6^10 + 157439998785151046826997508244448543614021203954522/302450814273736\ 258464134760516111821284342707395*c_1001_6^9 + 152130242773727904063281826515314977551718252919364/302450814273736\ 258464134760516111821284342707395*c_1001_6^8 - 14214081919813287252239352383242617785032489492312/3024508142737362\ 58464134760516111821284342707395*c_1001_6^7 - 40082213785721306610253942797887932968907159035672/3024508142737362\ 58464134760516111821284342707395*c_1001_6^6 - 65653634055794211442425477388539514165697766430512/3024508142737362\ 58464134760516111821284342707395*c_1001_6^5 + 38680695269684391256835111818032179728550316240207/3024508142737362\ 58464134760516111821284342707395*c_1001_6^4 - 6367733292822085905251653880840996524313351001376/30245081427373625\ 8464134760516111821284342707395*c_1001_6^3 + 6232671320808098154582658603379213207537878024168/30245081427373625\ 8464134760516111821284342707395*c_1001_6^2 - 5447790227080874227554583113420227785335479744808/30245081427373625\ 8464134760516111821284342707395*c_1001_6 + 777613682020771509617714041002759540720842762811/302450814273736258\ 464134760516111821284342707395, c_0011_9 + 7343936657577043849009383832177891186081155144/3024508142737\ 36258464134760516111821284342707395*c_1001_6^20 + 48421953883279633158946988499194407694506803838/3024508142737362584\ 64134760516111821284342707395*c_1001_6^19 + 313513971140305240109629499293764681399700236657/302450814273736258\ 464134760516111821284342707395*c_1001_6^18 + 136639556756699359659391372480500489192836868396/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 + 156570338797279470848576860737764377518450610571/302450814273736258\ 464134760516111821284342707395*c_1001_6^16 - 4802036724332854924265770507873174418695440226006/30245081427373625\ 8464134760516111821284342707395*c_1001_6^15 - 3052363501350608419451166251567348632565037519592/60490162854747251\ 692826952103222364256868541479*c_1001_6^14 + 19531945253300726364561445185207407239423174233654/3024508142737362\ 58464134760516111821284342707395*c_1001_6^13 + 12642432133358344641374948775569973540513513049819/6049016285474725\ 1692826952103222364256868541479*c_1001_6^12 - 60388984390775616725949360066705449627909143545531/3024508142737362\ 58464134760516111821284342707395*c_1001_6^11 - 15039659707692406663231482688274361736140401462315/6049016285474725\ 1692826952103222364256868541479*c_1001_6^10 + 51646392028332349182432543916337222508289390871161/3024508142737362\ 58464134760516111821284342707395*c_1001_6^9 + 44570842229830240894160607587446124515987776926892/3024508142737362\ 58464134760516111821284342707395*c_1001_6^8 - 1047488893100992885971207793791958094434597404096/30245081427373625\ 8464134760516111821284342707395*c_1001_6^7 - 12594864903531675938835741394891151039843132000111/3024508142737362\ 58464134760516111821284342707395*c_1001_6^6 - 25310239090502509394191462709550967135627398537701/3024508142737362\ 58464134760516111821284342707395*c_1001_6^5 + 15843308453039517484925122985002538164245128434326/3024508142737362\ 58464134760516111821284342707395*c_1001_6^4 - 3370377429459255171142755691937097197862440234403/30245081427373625\ 8464134760516111821284342707395*c_1001_6^3 + 3562850301681679787971784714531842037182863470054/30245081427373625\ 8464134760516111821284342707395*c_1001_6^2 - 2482065954210388956048341033962249840507697414964/30245081427373625\ 8464134760516111821284342707395*c_1001_6 + 463551825637450905629237980784290669536382699853/302450814273736258\ 464134760516111821284342707395, c_0101_0 - 12148902071069360380466125714500842885313395804/302450814273\ 736258464134760516111821284342707395*c_1001_6^20 - 80054661745104045952271370407675893060384112538/3024508142737362584\ 64134760516111821284342707395*c_1001_6^19 - 516439570143378150490051057761758202064907742592/302450814273736258\ 464134760516111821284342707395*c_1001_6^18 - 222653590966042461168937052108842596918801514611/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 - 154882505435742104028469263792735999720128591331/302450814273736258\ 464134760516111821284342707395*c_1001_6^16 + 8249694132799438219063634930652373864645973617566/30245081427373625\ 8464134760516111821284342707395*c_1001_6^15 + 5129955177735494979042807485928660296849054378197/60490162854747251\ 692826952103222364256868541479*c_1001_6^14 - 33091536303963982700555778928696924746989963140524/3024508142737362\ 58464134760516111821284342707395*c_1001_6^13 - 21857730369547592676090357114868107210990514059278/6049016285474725\ 1692826952103222364256868541479*c_1001_6^12 + 98900491891372374260667949922470087761190849800266/3024508142737362\ 58464134760516111821284342707395*c_1001_6^11 + 27690196371062861817184923626746451492938358402160/6049016285474725\ 1692826952103222364256868541479*c_1001_6^10 - 82153242738630413448669524681746164079904277643816/3024508142737362\ 58464134760516111821284342707395*c_1001_6^9 - 87273310018377093926211049162086566455563226617682/3024508142737362\ 58464134760516111821284342707395*c_1001_6^8 - 2680332051826236630212548506089230316704856152424/30245081427373625\ 8464134760516111821284342707395*c_1001_6^7 + 23500959629646799026910777991659309998096175990456/3024508142737362\ 58464134760516111821284342707395*c_1001_6^6 + 43564805151415204385623566077285750354896926660226/3024508142737362\ 58464134760516111821284342707395*c_1001_6^5 - 23912044979758493853857738054499242297031819967776/3024508142737362\ 58464134760516111821284342707395*c_1001_6^4 + 4446736758475706760690764661109762504237590444578/30245081427373625\ 8464134760516111821284342707395*c_1001_6^3 - 5422903277221953495860684609586107077076483091624/30245081427373625\ 8464134760516111821284342707395*c_1001_6^2 + 3927687735825352054762135192798672518334131075229/30245081427373625\ 8464134760516111821284342707395*c_1001_6 - 714488707573302410704628377455526015022770765973/302450814273736258\ 464134760516111821284342707395, c_0101_1 + 26800623364216141262351892215378281415742292424/302450814273\ 736258464134760516111821284342707395*c_1001_6^20 + 179061246951783517916089166894548395376716462308/302450814273736258\ 464134760516111821284342707395*c_1001_6^19 + 1157561552907347997721974332106197925799031044502/30245081427373625\ 8464134760516111821284342707395*c_1001_6^18 + 515514429286470189897303760971857268962118341819/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 + 680584056738533984480682920979879186670468900176/302450814273736258\ 464134760516111821284342707395*c_1001_6^16 - 17812684523597590818684465136059996294095912409061/3024508142737362\ 58464134760516111821284342707395*c_1001_6^15 - 11557752019492205396706516611709500057785609245089/6049016285474725\ 1692826952103222364256868541479*c_1001_6^14 + 66789285600100861551898253830164222753837269682169/3024508142737362\ 58464134760516111821284342707395*c_1001_6^13 + 48292736261903717364701746217403044671060068443918/6049016285474725\ 1692826952103222364256868541479*c_1001_6^12 - 198875342748996974576658585087544089455068934015081/302450814273736\ 258464134760516111821284342707395*c_1001_6^11 - 60776420119219374830430338716531504526210019110271/6049016285474725\ 1692826952103222364256868541479*c_1001_6^10 + 167633114780469184705440743672780321593713957452031/302450814273736\ 258464134760516111821284342707395*c_1001_6^9 + 179508681414153791945786071229295491156404401394867/302450814273736\ 258464134760516111821284342707395*c_1001_6^8 - 1453935259895231177453080613796530305250658998346/30245081427373625\ 8464134760516111821284342707395*c_1001_6^7 - 36743963876442769836460958712267985836844967257411/3024508142737362\ 58464134760516111821284342707395*c_1001_6^6 - 81651997441393735125554520381220493887176237588916/3024508142737362\ 58464134760516111821284342707395*c_1001_6^5 + 47107334510999872896526313004077021535854193532806/3024508142737362\ 58464134760516111821284342707395*c_1001_6^4 - 11117205545501371098230203120623633815764052621393/3024508142737362\ 58464134760516111821284342707395*c_1001_6^3 + 7678952934746636913357444393824784879808703088639/30245081427373625\ 8464134760516111821284342707395*c_1001_6^2 - 6739082498459719391167014887563811288311343282589/30245081427373625\ 8464134760516111821284342707395*c_1001_6 + 1017645511477568996362624108955204703413267859013/30245081427373625\ 8464134760516111821284342707395, c_0101_3 - 26151898769677870818232667292148445124613470816/302450814273\ 736258464134760516111821284342707395*c_1001_6^20 - 173774427357334097337596764354547673334903189742/302450814273736258\ 464134760516111821284342707395*c_1001_6^19 - 1123238464076578875890227994197324341361361507823/30245081427373625\ 8464134760516111821284342707395*c_1001_6^18 - 495219338752875729920608653955232388735548106232/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 - 588014883644016806812191155624192487598082530654/302450814273736258\ 464134760516111821284342707395*c_1001_6^16 + 17313835087610988456456832645343802036064910057534/3024508142737362\ 58464134760516111821284342707395*c_1001_6^15 + 11099657113174074007566267829168044823419863574244/6049016285474725\ 1692826952103222364256868541479*c_1001_6^14 - 67526169204098621102638474392176112705351314539426/3024508142737362\ 58464134760516111821284342707395*c_1001_6^13 - 46485961550186849455120805279522413512286769340659/6049016285474725\ 1692826952103222364256868541479*c_1001_6^12 + 206784195749439298740261832549336674346237163188489/302450814273736\ 258464134760516111821284342707395*c_1001_6^11 + 57940256636353989786870639909406414664197446785260/6049016285474725\ 1692826952103222364256868541479*c_1001_6^10 - 187334349066844621191401770318769372219050881240629/302450814273736\ 258464134760516111821284342707395*c_1001_6^9 - 170835972213342047473141170106799623618916316551793/302450814273736\ 258464134760516111821284342707395*c_1001_6^8 + 20988708036367402253213267375020382366542500575379/3024508142737362\ 58464134760516111821284342707395*c_1001_6^7 + 38083832504036038977445650836855686210600684903514/3024508142737362\ 58464134760516111821284342707395*c_1001_6^6 + 75944461647870659307336306099769267745215723533664/3024508142737362\ 58464134760516111821284342707395*c_1001_6^5 - 49060426537687349262270397188507224493347106658789/3024508142737362\ 58464134760516111821284342707395*c_1001_6^4 + 9703065538876314050766732925453630971024136402477/30245081427373625\ 8464134760516111821284342707395*c_1001_6^3 - 7642168875673522593920133496315323452858740291931/30245081427373625\ 8464134760516111821284342707395*c_1001_6^2 + 6286151009902700525172322568592366707138569855721/30245081427373625\ 8464134760516111821284342707395*c_1001_6 - 1015033329320865132118207361035524327668226330082/30245081427373625\ 8464134760516111821284342707395, c_0110_5 - 2727591650849098358519361209423513664281873532/6049016285474\ 7251692826952103222364256868541479*c_1001_6^20 - 19044236010478237082585597574275624928962864510/6049016285474725169\ 2826952103222364256868541479*c_1001_6^19 - 123649946499247448320710233038763608114026950246/604901628547472516\ 92826952103222364256868541479*c_1001_6^18 - 300602178909246909605842170824061524775614463357/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 - 167282996148600327425124176369683821541852021577/604901628547472516\ 92826952103222364256868541479*c_1001_6^16 + 1733189944886845309398392032379817680369701081067/60490162854747251\ 692826952103222364256868541479*c_1001_6^15 + 6338940090867982442761548613447857728724065249810/60490162854747251\ 692826952103222364256868541479*c_1001_6^14 - 4912609514243907278310888735316472153070816651831/60490162854747251\ 692826952103222364256868541479*c_1001_6^13 - 25712663160942859512870201056296983821202322880408/6049016285474725\ 1692826952103222364256868541479*c_1001_6^12 + 13157597973254175110954546711634603910088626645882/6049016285474725\ 1692826952103222364256868541479*c_1001_6^11 + 34504127031632775692120346010346039504916049872664/6049016285474725\ 1692826952103222364256868541479*c_1001_6^10 - 8521197059700059323136613079913656508290006157062/60490162854747251\ 692826952103222364256868541479*c_1001_6^9 - 21561133272746130084417530227510844321806731108919/6049016285474725\ 1692826952103222364256868541479*c_1001_6^8 - 4194482739671687241210131966302624479381180253287/60490162854747251\ 692826952103222364256868541479*c_1001_6^7 + 4018447538499196922379955174015591517576962644962/60490162854747251\ 692826952103222364256868541479*c_1001_6^6 + 8772515920147409770066382342618237317396947451781/60490162854747251\ 692826952103222364256868541479*c_1001_6^5 - 2880436349231403568655645021922031886218978614793/60490162854747251\ 692826952103222364256868541479*c_1001_6^4 + 193177719852221604690363138022791238684275714796/604901628547472516\ 92826952103222364256868541479*c_1001_6^3 - 765065438167502535430995489983721812341072092116/604901628547472516\ 92826952103222364256868541479*c_1001_6^2 + 566942055796708330418102221287022805056978544480/604901628547472516\ 92826952103222364256868541479*c_1001_6 - 58031727326172813172689901981543805049875795518/6049016285474725169\ 2826952103222364256868541479, c_0110_8 - 3304060773668039203553517369561588087200304106/3024508142737\ 36258464134760516111821284342707395*c_1001_6^20 - 20637230042846817148886804544363746612531511747/3024508142737362584\ 64134760516111821284342707395*c_1001_6^19 - 132408734330927967521330239501458391736937929333/302450814273736258\ 464134760516111821284342707395*c_1001_6^18 - 50126508542543325549536655240146496031169678975/6049016285474725169\ 2826952103222364256868541479*c_1001_6^17 + 86668674698637657493347244502402087937313665131/3024508142737362584\ 64134760516111821284342707395*c_1001_6^16 + 2314089062887861527919636872123548480318924858154/30245081427373625\ 8464134760516111821284342707395*c_1001_6^15 + 1241582419098854384555057604485212045917525558041/60490162854747251\ 692826952103222364256868541479*c_1001_6^14 - 11838990124351906093671511031978889853308630716871/3024508142737362\ 58464134760516111821284342707395*c_1001_6^13 - 5606103186128378448862212007943054101689240010417/60490162854747251\ 692826952103222364256868541479*c_1001_6^12 + 38414747260292556078695672505731771339028995204969/3024508142737362\ 58464134760516111821284342707395*c_1001_6^11 + 6973057860151839198779867347411776897925329395352/60490162854747251\ 692826952103222364256868541479*c_1001_6^10 - 38175229658169363177977168353529295617448041513664/3024508142737362\ 58464134760516111821284342707395*c_1001_6^9 - 26584398889446593311525150837335624986929344232003/3024508142737362\ 58464134760516111821284342707395*c_1001_6^8 + 9077323629915582773509959002974941043764433329499/30245081427373625\ 8464134760516111821284342707395*c_1001_6^7 + 14670263891481752953208120462252665872940377506034/3024508142737362\ 58464134760516111821284342707395*c_1001_6^6 + 10769137872965959530708645038479717871914835453359/3024508142737362\ 58464134760516111821284342707395*c_1001_6^5 - 12610334991979405427623841354315831899743450403209/3024508142737362\ 58464134760516111821284342707395*c_1001_6^4 + 1549879047013156054496731737445566632261550049567/30245081427373625\ 8464134760516111821284342707395*c_1001_6^3 - 1754037622488612302531415865785083762881763642881/30245081427373625\ 8464134760516111821284342707395*c_1001_6^2 + 2003527417640108107389979847911811346545591562181/30245081427373625\ 8464134760516111821284342707395*c_1001_6 - 452289605044700675391741212091786684386056163752/302450814273736258\ 464134760516111821284342707395, c_1001_3 - 11284258302287194958138592976829111720386821504/302450814273\ 736258464134760516111821284342707395*c_1001_6^20 - 73255104332481682726095295140231174307922789718/3024508142737362584\ 64134760516111821284342707395*c_1001_6^19 - 469801807466207372927607101473129302153421434627/302450814273736258\ 464134760516111821284342707395*c_1001_6^18 - 193706184123337031644925700990562982346290002294/604901628547472516\ 92826952103222364256868541479*c_1001_6^17 + 80389388836441244289006588982329594759124636329/3024508142737362584\ 64134760516111821284342707395*c_1001_6^16 + 7997364192741594259678224810758742320624460434476/30245081427373625\ 8464134760516111821284342707395*c_1001_6^15 + 4676045048114000751235407823795189173113100980359/60490162854747251\ 692826952103222364256868541479*c_1001_6^14 - 34386606728609248660002922142138479058284252236019/3024508142737362\ 58464134760516111821284342707395*c_1001_6^13 - 20878673791741943436661089297236383531299406185153/6049016285474725\ 1692826952103222364256868541479*c_1001_6^12 + 104840749917940658933022436246158515812841140031501/302450814273736\ 258464134760516111821284342707395*c_1001_6^11 + 27921995716616949255963826876875735501696702031458/6049016285474725\ 1692826952103222364256868541479*c_1001_6^10 - 99966527017858479862371136494171893122805701139906/3024508142737362\ 58464134760516111821284342707395*c_1001_6^9 - 91294690105374131747273718832883526911868455065722/3024508142737362\ 58464134760516111821284342707395*c_1001_6^8 + 16505503181635793356731641860986866791663669117601/3024508142737362\ 58464134760516111821284342707395*c_1001_6^7 + 23650208406814447932454549966624199065829982355191/3024508142737362\ 58464134760516111821284342707395*c_1001_6^6 + 34403692623934070672890310928217174965077857510821/3024508142737362\ 58464134760516111821284342707395*c_1001_6^5 - 21685056513759174364041485410736372638802751248211/3024508142737362\ 58464134760516111821284342707395*c_1001_6^4 + 3015424787808219663069249989150209138837802469248/30245081427373625\ 8464134760516111821284342707395*c_1001_6^3 - 1969304427155390057093150982065427906831692072924/30245081427373625\ 8464134760516111821284342707395*c_1001_6^2 + 2560753490040030765317438687483200799856828388864/30245081427373625\ 8464134760516111821284342707395*c_1001_6 - 427392728322164785031010897228078525817882286768/302450814273736258\ 464134760516111821284342707395, c_1001_6^21 + 13/2*c_1001_6^20 + 42*c_1001_6^19 + 177/2*c_1001_6^18 + 9*c_1001_6^17 - 666*c_1001_6^16 - 4061/2*c_1001_6^15 + 5757/2*c_1001_6^14 + 8512*c_1001_6^13 - 9074*c_1001_6^12 - 19781/2*c_1001_6^11 + 16673/2*c_1001_6^10 + 5561*c_1001_6^9 - 1283*c_1001_6^8 - 1467*c_1001_6^7 - 5669/2*c_1001_6^6 + 2356*c_1001_6^5 - 714*c_1001_6^4 + 809/2*c_1001_6^3 - 663/2*c_1001_6^2 + 185/2*c_1001_6 - 17/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.990 Total time: 2.200 seconds, Total memory usage: 64.12MB