Magma V2.19-8 Wed Aug 21 2013 00:58:42 on localhost [Seed = 728576092] Type ? for help. Type -D to quit. Loading file "L13n5943__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5943 geometric_solution 11.10142937 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 1 1 0 1 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 -1 1 0 0 0 0 0 1 0 -1 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.713702181596 0.968861316159 0 4 0 5 0132 0132 3012 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 8 -8 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507133215199 0.669073983696 5 6 7 0 0132 0132 0132 0132 1 1 1 1 0 1 -1 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -8 1 0 0 0 0 0 8 0 -8 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639163651380 0.417567409466 4 4 0 7 0132 1302 0132 1230 1 1 1 0 0 1 0 -1 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 8 -1 -7 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.713702181596 0.968861316159 3 1 8 3 0132 0132 0132 2031 1 1 0 1 0 0 0 0 0 0 1 -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 0 0 0 0 0 8 -8 2 -1 0 -1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280502993794 0.949251032611 2 9 1 10 0132 0132 0132 0132 1 1 1 1 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 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.302101055331 0.640549899168 11 2 10 12 0132 0132 1230 0132 1 1 1 1 0 -1 0 1 0 0 0 0 -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 -7 0 7 0 0 0 0 -7 7 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765057254798 0.376648448575 3 11 10 2 3012 2103 1302 0132 1 1 1 1 0 -1 0 1 1 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 -8 0 8 7 0 -7 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.184758132347 1.371027021142 9 12 10 4 2310 2310 2310 0132 1 1 1 1 0 -1 1 0 1 0 0 -1 -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 -7 7 0 8 0 0 -8 -8 0 0 8 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.154871744138 0.722598182668 11 5 8 12 2310 0132 3201 2310 1 1 1 1 0 0 -1 1 0 0 1 -1 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 -7 7 0 0 8 -8 0 0 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839301461386 0.322890596425 7 8 5 6 2031 3201 0132 3012 1 1 1 1 0 0 0 0 0 0 0 0 1 -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 7 -7 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.122438773344 1.029220509622 6 7 9 12 0132 2103 3201 3201 1 1 1 1 0 0 -1 1 0 0 0 0 -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 0 -8 8 0 0 0 0 -8 8 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765057254798 0.376648448575 9 11 6 8 3201 2310 0132 3201 1 1 1 1 0 0 -1 1 0 0 0 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 0 -7 7 0 0 0 0 -7 0 0 7 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.166978882975 0.439687487088 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_7'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0110_12']), 'c_1001_4' : negation(d['c_0110_12']), 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0101_6'], 'c_1010_12' : negation(d['c_0101_6']), 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : negation(d['c_0101_6']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_11'], '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_12' : 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_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_1001_0']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_12']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0110_12']), 'c_1010_8' : negation(d['c_0110_12']), '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'], 'c_1100_12' : d['c_0011_11'], '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_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_11'], 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0110_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_7'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_11'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_11'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_6, c_0101_8, c_0110_12, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 2480601484794525914555998286463959963154250759/15567894796493561215\ 23388000047508906442240*c_1001_12^14 - 4358208664455832513683750787885783269917729461/77839473982467806076\ 1694000023754453221120*c_1001_12^13 - 156633088078693464147227983764878204632774547/183151703488159543708\ 63388235853045958144*c_1001_12^12 + 687254704893465920587716718945105186880928719/114469814680099714817\ 89617647408153723840*c_1001_12^11 - 18036210372131665329575289153042409903770534987/1556789479649356121\ 523388000047508906442240*c_1001_12^10 - 5193108663929087446002209456401587991096309897/18315170348815954370\ 863388235853045958144*c_1001_12^9 + 9226513295759978446865733313426605979698686489/20484072100649422651\ 623526316414590874240*c_1001_12^8 + 20367162450008058611772336409069722610278059393/1556789479649356121\ 523388000047508906442240*c_1001_12^7 - 74541020930864442650317735660545409467405047521/3891973699123390303\ 80847000011877226610560*c_1001_12^6 + 134065295312904791431217187337521416101415141391/155678947964935612\ 1523388000047508906442240*c_1001_12^5 + 14861767385121677445671907393652534290201198501/9157585174407977185\ 4316941179265229790720*c_1001_12^4 + 1623727438989279968759603756578289509813586507/15567894796493561215\ 2338800004750890644224*c_1001_12^3 + 2078915819476938469969262444182421856054106667/67686499115189396587\ 973391306413430714880*c_1001_12^2 + 2156286471320838527380815801564524927216647/28617453670024928704474\ 0441185203843096*c_1001_12 + 36426157389467772501871759235475383249\ 94095021/1556789479649356121523388000047508906442240, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 16731766828766403091391412550850032/41550610869886104833175\ 127258880691*c_1001_12^14 - 58788299699513581223049741995786843/415\ 50610869886104833175127258880691*c_1001_12^13 - 5319478867802850782493635144191019/24441535805815355784220663093459\ 23*c_1001_12^12 + 729530408593422297532238798786308/479245800114026\ 58400432672732273*c_1001_12^11 - 1181063476268229043056108624082970\ 39/41550610869886104833175127258880691*c_1001_12^10 - 176461432795690627169376603330840172/244415358058153557842206630934\ 5923*c_1001_12^9 + 249075132846136492838078258968861328/21868742563\ 09794991219743539941089*c_1001_12^8 + 243925646634878380408922880058180616/415506108698861048331751272588\ 80691*c_1001_12^7 - 2179623124625181888839001307044996616/415506108\ 69886104833175127258880691*c_1001_12^6 + 907882334609899178911136477543588153/415506108698861048331751272588\ 80691*c_1001_12^5 + 104326737899885170601824733774189269/2444153580\ 581535578422066309345923*c_1001_12^4 + 20616430547744766622889875814762804/4155061086988610483317512725888\ 0691*c_1001_12^3 + 279411545601092820875610182629799590/41550610869\ 886104833175127258880691*c_1001_12^2 + 6008502350347980812873900401112363/24441535805815355784220663093459\ 23*c_1001_12 + 1767494287084379554130113160116341/13850203623295368\ 277725042419626897, c_0011_7 - 5495532784010431156185287771839893/1385020362329536827772504\ 2419626897*c_1001_12^14 + 57350978556728152832272654719341887/41550\ 610869886104833175127258880691*c_1001_12^13 + 5417719708716959199437735468521250/24441535805815355784220663093459\ 23*c_1001_12^12 - 36703387753780241994816716464136567/2444153580581\ 535578422066309345923*c_1001_12^11 + 30210732188152945890892383993121001/1385020362329536827772504241962\ 6897*c_1001_12^10 + 176441360885561197008373520509865231/2444153580\ 581535578422066309345923*c_1001_12^9 - 241087361092322458395044587239352427/218687425630979499121974353994\ 1089*c_1001_12^8 - 582076605590561335219707735011945890/41550610869\ 886104833175127258880691*c_1001_12^7 + 2482864035893224566079086098377753955/41550610869886104833175127258\ 880691*c_1001_12^6 - 876479689788158322712937807877123553/415506108\ 69886104833175127258880691*c_1001_12^5 - 113880794174294717625408922618988396/244415358058153557842206630934\ 5923*c_1001_12^4 - 80064315883123904827727839910852632/415506108698\ 86104833175127258880691*c_1001_12^3 - 113072961898469062246518799169421100/415506108698861048331751272588\ 80691*c_1001_12^2 - 5896676646024565455090188270186536/244415358058\ 1535578422066309345923*c_1001_12 + 3867708348194040924558564639011887/41550610869886104833175127258880\ 691, c_0101_0 - 1, c_0101_1 - 7779323094288748029496382987776112/1385020362329536827772504\ 2419626897*c_1001_12^14 + 165768111660923244013717900896161957/8310\ 1221739772209666350254517761382*c_1001_12^13 + 14825681457383180626689390303881359/4888307161163071156844132618691\ 846*c_1001_12^12 - 105699012273950121899061245302758787/48883071611\ 63071156844132618691846*c_1001_12^11 + 61544022636319438260831435818718278/1385020362329536827772504241962\ 6897*c_1001_12^10 + 252824441794075734792695167056084719/2444153580\ 581535578422066309345923*c_1001_12^9 - 716957296016925861360108055841417587/437374851261958998243948707988\ 2178*c_1001_12^8 - 1284832549683024303835916406771049085/8310122173\ 9772209666350254517761382*c_1001_12^7 + 8115985512204853718614721621612500549/83101221739772209666350254517\ 761382*c_1001_12^6 - 1480163940953253134744035326603479872/41550610\ 869886104833175127258880691*c_1001_12^5 - 174018461357362923167625748695081314/244415358058153557842206630934\ 5923*c_1001_12^4 + 485698656726795330727533520216948495/83101221739\ 772209666350254517761382*c_1001_12^3 - 57888602327732131637338212534814391/8310122173977220966635025451776\ 1382*c_1001_12^2 - 22568018697531073798919084942391779/488830716116\ 3071156844132618691846*c_1001_12 + 2246877934425998942053520541702598/41550610869886104833175127258880\ 691, c_0101_10 + 4612559894921863500764374207879954/415506108698861048331751\ 27258880691*c_1001_12^14 - 3445229579238018044175838147176322/13850\ 203623295368277725042419626897*c_1001_12^13 - 2625183708869857372441799958060394/24441535805815355784220663093459\ 23*c_1001_12^12 + 8179893287550752967739693392829535/24441535805815\ 35578422066309345923*c_1001_12^11 + 185408675562839657976369662672069071/415506108698861048331751272588\ 80691*c_1001_12^10 - 958820317254174770679325143665193/479245800114\ 02658400432672732273*c_1001_12^9 + 12274649095204922652967039514437201/2186874256309794991219743539941\ 089*c_1001_12^8 + 520339036788918845738559643640749314/138502036232\ 95368277725042419626897*c_1001_12^7 - 63008113390261320748239445265252378/1385020362329536827772504241962\ 6897*c_1001_12^6 - 194677335123165313285300854807479668/13850203623\ 295368277725042419626897*c_1001_12^5 + 12507984836472108425480750150314093/8147178601938451928073554364486\ 41*c_1001_12^4 + 257089849850594196757392801008698217/1385020362329\ 5368277725042419626897*c_1001_12^3 + 172043200417816068039670167936982469/415506108698861048331751272588\ 80691*c_1001_12^2 + 1222126681880124584318526032204707/814717860193\ 845192807355436448641*c_1001_12 + 386198673283619895668636629070244\ 08/41550610869886104833175127258880691, c_0101_11 - 13254436062801159075300787232737/24441535805815355784220663\ 09345923*c_1001_12^14 - 25333950718261039394995258750862/8147178601\ 93845192807355436448641*c_1001_12^13 + 26082045394796590133646980110816/143773740034207975201298018196819*\ c_1001_12^12 + 24576681270345415064577324677614/1437737400342079752\ 01298018196819*c_1001_12^11 - 4399546446553806872167632650229982/24\ 44153580581535578422066309345923*c_1001_12^10 + 15225931427775573983909268625284/47924580011402658400432672732273*c\ _1001_12^9 + 1078582484839665316524770143491230/1286396621358702936\ 01161384702417*c_1001_12^8 - 8303557670085670648067299332650165/814\ 717860193845192807355436448641*c_1001_12^7 - 8369436696737156709744197435324649/81471786019384519280735543644864\ 1*c_1001_12^6 + 9776588416364644147421955554522478/8147178601938451\ 92807355436448641*c_1001_12^5 - 59642723832194623501835936825937/47\ 924580011402658400432672732273*c_1001_12^4 - 6719272111058136668935884925530037/81471786019384519280735543644864\ 1*c_1001_12^3 - 3129610425032973700978624063075067/2444153580581535\ 578422066309345923*c_1001_12^2 + 22733182611795493714563844155297/4\ 7924580011402658400432672732273*c_1001_12 - 1052465993997599419665774252347135/24441535805815355784220663093459\ 23, c_0101_6 + 13254436062801159075300787232737/244415358058153557842206630\ 9345923*c_1001_12^14 + 25333950718261039394995258750862/81471786019\ 3845192807355436448641*c_1001_12^13 - 26082045394796590133646980110816/143773740034207975201298018196819*\ c_1001_12^12 - 24576681270345415064577324677614/1437737400342079752\ 01298018196819*c_1001_12^11 + 4399546446553806872167632650229982/24\ 44153580581535578422066309345923*c_1001_12^10 - 15225931427775573983909268625284/47924580011402658400432672732273*c\ _1001_12^9 - 1078582484839665316524770143491230/1286396621358702936\ 01161384702417*c_1001_12^8 + 8303557670085670648067299332650165/814\ 717860193845192807355436448641*c_1001_12^7 + 8369436696737156709744197435324649/81471786019384519280735543644864\ 1*c_1001_12^6 - 9776588416364644147421955554522478/8147178601938451\ 92807355436448641*c_1001_12^5 + 59642723832194623501835936825937/47\ 924580011402658400432672732273*c_1001_12^4 + 6719272111058136668935884925530037/81471786019384519280735543644864\ 1*c_1001_12^3 + 3129610425032973700978624063075067/2444153580581535\ 578422066309345923*c_1001_12^2 - 22733182611795493714563844155297/4\ 7924580011402658400432672732273*c_1001_12 + 1052465993997599419665774252347135/24441535805815355784220663093459\ 23, c_0101_8 - 31838898113560834616840552366783263/415506108698861048331751\ 27258880691*c_1001_12^14 + 112297947993144659139246883528112899/415\ 50610869886104833175127258880691*c_1001_12^13 + 3378284892344592426113925264471677/81471786019384519280735543644864\ 1*c_1001_12^12 - 71299432444126441164041983434401842/24441535805815\ 35578422066309345923*c_1001_12^11 + 231658160792178131481447816377776583/415506108698861048331751272588\ 80691*c_1001_12^10 + 339543395967675281859021748555949252/244415358\ 0581535578422066309345923*c_1001_12^9 - 159556456205579579451141643891295286/728958085436598330406581179980\ 363*c_1001_12^8 - 665297750884039618484274962160936058/415506108698\ 86104833175127258880691*c_1001_12^7 + 4645257932878746981412932873000789713/41550610869886104833175127258\ 880691*c_1001_12^6 - 1704433015845839815293713339833355701/41550610\ 869886104833175127258880691*c_1001_12^5 - 212640127405114877194719353497602287/244415358058153557842206630934\ 5923*c_1001_12^4 - 56503237129007803539461380669137580/415506108698\ 86104833175127258880691*c_1001_12^3 - 91408217131361990577109217874526708/1385020362329536827772504241962\ 6897*c_1001_12^2 - 10297788014461250830780002745504372/244415358058\ 1535578422066309345923*c_1001_12 - 29675929306415155438073520160748395/4155061086988610483317512725888\ 0691, c_0110_12 + 30222336632831104272297820630111769/41550610869886104833175\ 127258880691*c_1001_12^14 - 101767829223664304288980767995560858/41\ 550610869886104833175127258880691*c_1001_12^13 - 10538004246598287374711047749029077/2444153580581535578422066309345\ 923*c_1001_12^12 + 21949702689909613126926654817324249/814717860193\ 845192807355436448641*c_1001_12^11 - 44572197156224712782031030442867441/4155061086988610483317512725888\ 0691*c_1001_12^10 - 321082529670192156762418871312254298/2444153580\ 581535578422066309345923*c_1001_12^9 + 408043004401723552879884552640508830/218687425630979499121974353994\ 1089*c_1001_12^8 + 1731253696241726448088630678704121330/4155061086\ 9886104833175127258880691*c_1001_12^7 - 3912285872407385970701016438410825348/41550610869886104833175127258\ 880691*c_1001_12^6 + 1056674440996552458903872533193425927/41550610\ 869886104833175127258880691*c_1001_12^5 + 197393920395144445298547834206999678/244415358058153557842206630934\ 5923*c_1001_12^4 + 639107107802652184566865362620071936/41550610869\ 886104833175127258880691*c_1001_12^3 + 458178747629971881268418080631654432/415506108698861048331751272588\ 80691*c_1001_12^2 + 8883950089106230373402464228373800/244415358058\ 1535578422066309345923*c_1001_12 + 11479724792255524851980772797800334/1385020362329536827772504241962\ 6897, c_1001_0 + 5495532784010431156185287771839893/1385020362329536827772504\ 2419626897*c_1001_12^14 - 57350978556728152832272654719341887/41550\ 610869886104833175127258880691*c_1001_12^13 - 5417719708716959199437735468521250/24441535805815355784220663093459\ 23*c_1001_12^12 + 36703387753780241994816716464136567/2444153580581\ 535578422066309345923*c_1001_12^11 - 30210732188152945890892383993121001/1385020362329536827772504241962\ 6897*c_1001_12^10 - 176441360885561197008373520509865231/2444153580\ 581535578422066309345923*c_1001_12^9 + 241087361092322458395044587239352427/218687425630979499121974353994\ 1089*c_1001_12^8 + 582076605590561335219707735011945890/41550610869\ 886104833175127258880691*c_1001_12^7 - 2482864035893224566079086098377753955/41550610869886104833175127258\ 880691*c_1001_12^6 + 876479689788158322712937807877123553/415506108\ 69886104833175127258880691*c_1001_12^5 + 113880794174294717625408922618988396/244415358058153557842206630934\ 5923*c_1001_12^4 + 80064315883123904827727839910852632/415506108698\ 86104833175127258880691*c_1001_12^3 + 113072961898469062246518799169421100/415506108698861048331751272588\ 80691*c_1001_12^2 + 5896676646024565455090188270186536/244415358058\ 1535578422066309345923*c_1001_12 - 3867708348194040924558564639011887/41550610869886104833175127258880\ 691, c_1001_12^15 - 134/41*c_1001_12^14 - 257/41*c_1001_12^13 + 1496/41*c_1001_12^12 + 91/41*c_1001_12^11 - 7427/41*c_1001_12^10 + 9796/41*c_1001_12^9 + 3471/41*c_1001_12^8 - 5228/41*c_1001_12^7 + 865/41*c_1001_12^6 + 4939/41*c_1001_12^5 + 1282/41*c_1001_12^4 + 659/41*c_1001_12^3 + 336/41*c_1001_12^2 + 99/41*c_1001_12 + 16/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.540 Total time: 1.750 seconds, Total memory usage: 32.09MB