Magma V2.19-8 Wed Aug 21 2013 00:58:48 on localhost [Seed = 3667706279] Type ? for help. Type -D to quit. Loading file "L13n5964__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5964 geometric_solution 11.73943308 oriented_manifold CS_known -0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 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 0 0 0 0 -1 0 1 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.120185964276 0.902762284560 0 5 7 6 0132 0132 0132 0132 1 1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 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.955431704663 0.711112973858 8 0 9 7 0132 0132 0132 1230 1 0 1 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 0 -1 0 0 0 0 0 0 0 0 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758977826940 0.824563709686 10 11 11 0 0132 0132 1230 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.056106306723 0.866511930337 9 8 0 11 2031 0132 0132 1230 1 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 0 0 0 0 6 -1 -5 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.019888880238 1.055220452505 9 1 12 8 0213 0132 0132 0213 1 0 0 1 0 0 0 0 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 0 0 0 0 -2 2 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548160872270 0.284178289050 7 12 1 11 2310 0132 0132 1302 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 5 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.931587601716 0.720440276625 2 10 6 1 3012 3201 3201 0132 1 1 0 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 0 0 0 -5 0 5 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.381406948612 0.609443860703 2 4 12 5 0132 0132 2103 0213 1 0 0 1 0 -1 1 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 -6 6 0 0 0 0 0 2 0 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739323528426 0.649755255668 5 10 4 2 0213 2103 1302 0132 1 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 3 0 -3 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351768282477 0.433269260305 3 9 7 12 0132 2103 2310 1302 0 1 1 1 0 -1 0 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 -3 1 2 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172132360784 0.931365190766 4 3 6 3 3012 0132 2031 3012 1 1 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 0 0 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414684584581 0.468830128868 8 6 10 5 2103 0132 2031 0132 1 0 1 1 0 0 0 0 0 0 -1 1 -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 -2 2 -6 0 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070796833669 0.742215664138 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0011_9'], 'c_1001_12' : negation(d['c_0101_3']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : negation(d['c_0101_3']), 'c_1010_10' : negation(d['c_1001_2']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], '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_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_10'], 'c_1100_8' : negation(d['c_0011_9']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_0110_11'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : d['c_0110_11'], 'c_1100_3' : d['c_0110_11'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : d['c_0011_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_0011_12'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : 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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_2'], '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' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), '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_0110_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0011_7'], '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' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_7'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_7'])})} 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_12, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_0110_11, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 11867146541338238651877424689198028415151322493/6001700327175918734\ 87602294801354578707622*c_1001_5^15 - 17682701371354672128920709996694528931477890862/1000283387862653122\ 47933715800225763117937*c_1001_5^14 + 23894056925244186348000609334102075964171433869/3872064727210270151\ 5329180309764811529524*c_1001_5^13 - 30506692034787142528211949697903964710327911065/4139103673914426713\ 7076020331127901979836*c_1001_5^12 + 159028558704905432984020625745379694507717814627/400113355145061248\ 991734863200903052471748*c_1001_5^11 - 94614003933867440145663245027701719548500469787/4001133551450612489\ 91734863200903052471748*c_1001_5^10 + 24220522153036158179553919729133622966593905360/1000283387862653122\ 47933715800225763117937*c_1001_5^9 + 466957910893159231088840328520480099059309136705/120034006543518374\ 6975204589602709157415244*c_1001_5^8 - 1298495189415054177983078832350572403052264711523/12003400654351837\ 46975204589602709157415244*c_1001_5^7 - 15849228808696219449583884167738094768094004596/1000283387862653122\ 47933715800225763117937*c_1001_5^6 - 29106030502644283099618061741012559754094779537/3000850163587959367\ 43801147400677289353811*c_1001_5^5 + 666497272680682295998086102999175339146892168835/120034006543518374\ 6975204589602709157415244*c_1001_5^4 + 152981030657848375029659651450929419946186496686/300085016358795936\ 743801147400677289353811*c_1001_5^3 - 243814575274882410612154316949909912617203345283/600170032717591873\ 487602294801354578707622*c_1001_5^2 - 145191849413182992039366123247775249553274124989/120034006543518374\ 6975204589602709157415244*c_1001_5 + 78205172941799766077240755680230755477836995077/1200340065435183746\ 975204589602709157415244, c_0011_0 - 1, c_0011_10 + 40960372129805297783881988955823263/60030336009386872173069\ 868297884418*c_1001_5^15 - 178700921966629132233001044017892494/300\ 15168004693436086534934148942209*c_1001_5^14 + 599537570114475738729992759805025607/300151680046934360865349341489\ 42209*c_1001_5^13 - 624558998125947853468736611030922190/3001516800\ 4693436086534934148942209*c_1001_5^12 + 492986859802072201783422328070932397/600303360093868721730698682978\ 84418*c_1001_5^11 - 331367129631140605237463374657835689/6003033600\ 9386872173069868297884418*c_1001_5^10 + 191841679401180604901099157443730255/300151680046934360865349341489\ 42209*c_1001_5^9 + 926890077597994238862248849074690455/60030336009\ 386872173069868297884418*c_1001_5^8 - 1019654516804049695697725078601053213/30015168004693436086534934148\ 942209*c_1001_5^7 - 882456867815394304691037677459403667/6003033600\ 9386872173069868297884418*c_1001_5^6 - 254767048709786129408043688147066539/600303360093868721730698682978\ 84418*c_1001_5^5 + 571168530679022590559909049210135758/30015168004\ 693436086534934148942209*c_1001_5^4 + 1443941067192327979172421700149905595/60030336009386872173069868297\ 884418*c_1001_5^3 - 267474632148432735588435071627305770/3001516800\ 4693436086534934148942209*c_1001_5^2 - 428019321615329464652817401374907681/600303360093868721730698682978\ 84418*c_1001_5 + 31643968644086463076620266417823300/30015168004693\ 436086534934148942209, c_0011_12 - 24831109209732043838391992098310877/30015168004693436086534\ 934148942209*c_1001_5^15 + 431726098368085080807698924296251859/600\ 30336009386872173069868297884418*c_1001_5^14 - 1451534314251657224134495725931556699/60030336009386872173069868297\ 884418*c_1001_5^13 + 1566321335528401327370925125332376855/60030336\ 009386872173069868297884418*c_1001_5^12 - 869522721646125240998197281861928019/600303360093868721730698682978\ 84418*c_1001_5^11 + 351676189118564231103315237210500743/3001516800\ 4693436086534934148942209*c_1001_5^10 - 689087261173479423930473852493229277/600303360093868721730698682978\ 84418*c_1001_5^9 - 926294774950878488048057125620179599/60030336009\ 386872173069868297884418*c_1001_5^8 + 1153519677689682729863838218563634833/30015168004693436086534934148\ 942209*c_1001_5^7 + 427866958819201030685561460809971093/3001516800\ 4693436086534934148942209*c_1001_5^6 + 846518726350299184580530577278522635/600303360093868721730698682978\ 84418*c_1001_5^5 - 577954363054629489696528491996418517/30015168004\ 693436086534934148942209*c_1001_5^4 - 668978015377940465413212062241988389/300151680046934360865349341489\ 42209*c_1001_5^3 + 458222013193030614534489364071597367/60030336009\ 386872173069868297884418*c_1001_5^2 + 235518183406428688145031474818336413/600303360093868721730698682978\ 84418*c_1001_5 - 10542322986185232714386124493938872/30015168004693\ 436086534934148942209, c_0011_7 - 22784277191250738522750141175135686/300151680046934360865349\ 34148942209*c_1001_5^15 + 382218469796219991476033909017427993/6003\ 0336009386872173069868297884418*c_1001_5^14 - 1212364152914762823357193554049810751/60030336009386872173069868297\ 884418*c_1001_5^13 + 1035766814437219335087948951385430013/60030336\ 009386872173069868297884418*c_1001_5^12 - 343411743189795821252097899661405787/600303360093868721730698682978\ 84418*c_1001_5^11 + 139253793792600759962416827902576955/3001516800\ 4693436086534934148942209*c_1001_5^10 - 365137281969664546399176845038989777/600303360093868721730698682978\ 84418*c_1001_5^9 - 1076113347217156089513258645643983833/6003033600\ 9386872173069868297884418*c_1001_5^8 + 915017413245424768824208095492310761/300151680046934360865349341489\ 42209*c_1001_5^7 + 700297808478312672267171066478012918/30015168004\ 693436086534934148942209*c_1001_5^6 + 758485063495097191067717332208285183/600303360093868721730698682978\ 84418*c_1001_5^5 - 268931504745127531674374884648659938/30015168004\ 693436086534934148942209*c_1001_5^4 - 735102003959791734662117855298747931/300151680046934360865349341489\ 42209*c_1001_5^3 + 295961220523591615195267587467206055/60030336009\ 386872173069868297884418*c_1001_5^2 + 357824751951172282366334088095669657/600303360093868721730698682978\ 84418*c_1001_5 - 53888428319852448568103179529496139/30015168004693\ 436086534934148942209, c_0011_9 + 21713397018093429834973498055318998/300151680046934360865349\ 34148942209*c_1001_5^15 - 365285734358296092483295658618205887/6003\ 0336009386872173069868297884418*c_1001_5^14 + 582407714735058215082751178839311626/300151680046934360865349341489\ 42209*c_1001_5^13 - 510531388033396857471815504421741893/3001516800\ 4693436086534934148942209*c_1001_5^12 + 183315003709366580275450364412317387/300151680046934360865349341489\ 42209*c_1001_5^11 - 249975521131038317015777391175978611/6003033600\ 9386872173069868297884418*c_1001_5^10 + 222559923501659322395152634444603507/600303360093868721730698682978\ 84418*c_1001_5^9 + 586842713301735293339327504274456601/30015168004\ 693436086534934148942209*c_1001_5^8 - 1915881980353466349685454443163851959/60030336009386872173069868297\ 884418*c_1001_5^7 - 565378577658770549951945798225405041/3001516800\ 4693436086534934148942209*c_1001_5^6 - 952810534039127866164101999494432311/600303360093868721730698682978\ 84418*c_1001_5^5 + 622518530557918971188040324651302051/60030336009\ 386872173069868297884418*c_1001_5^4 + 654956718697165484878134622604947385/300151680046934360865349341489\ 42209*c_1001_5^3 - 198158937049375939720550753021245571/60030336009\ 386872173069868297884418*c_1001_5^2 - 128517482803543504266079045068797883/300151680046934360865349341489\ 42209*c_1001_5 + 10590000911419802171362193385681065/60030336009386\ 872173069868297884418, c_0101_0 - 1, c_0101_1 + 13880014435450877211413299344840769/600303360093868721730698\ 68297884418*c_1001_5^15 - 60527232048965408331842488318717013/30015\ 168004693436086534934148942209*c_1001_5^14 + 197662009336020097500819590409303952/300151680046934360865349341489\ 42209*c_1001_5^13 - 165216976094924104922898983015542080/3001516800\ 4693436086534934148942209*c_1001_5^12 - 147139121020382451436512652353948085/600303360093868721730698682978\ 84418*c_1001_5^11 + 272687596761377531575075978537495125/6003033600\ 9386872173069868297884418*c_1001_5^10 - 122588320287163493509826796536205670/300151680046934360865349341489\ 42209*c_1001_5^9 + 700456361449784885756945360665332389/60030336009\ 386872173069868297884418*c_1001_5^8 - 534848436359347034028992894008491532/300151680046934360865349341489\ 42209*c_1001_5^7 - 327512430785295087706961011601708815/60030336009\ 386872173069868297884418*c_1001_5^6 + 232706120497886364107728128047816771/600303360093868721730698682978\ 84418*c_1001_5^5 + 255929529376977156636580011292335829/30015168004\ 693436086534934148942209*c_1001_5^4 + 801511450011756953362073563758946911/600303360093868721730698682978\ 84418*c_1001_5^3 - 169804260354586637167298695588533083/30015168004\ 693436086534934148942209*c_1001_5^2 - 279359681578305894351757100383423109/600303360093868721730698682978\ 84418*c_1001_5 + 43427205564256224849694609776145145/30015168004693\ 436086534934148942209, c_0101_2 - 26390180211093249535560604140546404/300151680046934360865349\ 34148942209*c_1001_5^15 + 230839813351373930774629134045068241/3001\ 5168004693436086534934148942209*c_1001_5^14 - 1599775132149015661257067274393416895/60030336009386872173069868297\ 884418*c_1001_5^13 + 2012011277929561493834948602049537691/60030336\ 009386872173069868297884418*c_1001_5^12 - 1848210226045923477492515658849345843/60030336009386872173069868297\ 884418*c_1001_5^11 + 1597726394471626493381011628415818197/60030336\ 009386872173069868297884418*c_1001_5^10 - 783740258826689464595938058761918132/300151680046934360865349341489\ 42209*c_1001_5^9 - 422716169962258247215431819368538747/60030336009\ 386872173069868297884418*c_1001_5^8 + 1656629266028703143002819315209369593/60030336009386872173069868297\ 884418*c_1001_5^7 + 174745989634300542751006395022498232/3001516800\ 4693436086534934148942209*c_1001_5^6 + 529163300079015543271421154133163486/300151680046934360865349341489\ 42209*c_1001_5^5 - 955576948120399701526747468866770351/60030336009\ 386872173069868297884418*c_1001_5^4 - 386875037250284501628798669906977688/300151680046934360865349341489\ 42209*c_1001_5^3 + 194108433293860598585609064351584771/30015168004\ 693436086534934148942209*c_1001_5^2 + 80215676860193190503464176342953221/6003033600938687217306986829788\ 4418*c_1001_5 + 9805716278324616892326620700331483/6003033600938687\ 2173069868297884418, c_0101_3 + 19029206070095728288721295838122501/300151680046934360865349\ 34148942209*c_1001_5^15 - 168856421688015106358470410007571503/3001\ 5168004693436086534934148942209*c_1001_5^14 + 584582594575683069062741679297389581/300151680046934360865349341489\ 42209*c_1001_5^13 - 688118092282174920002251677837360054/3001516800\ 4693436086534934148942209*c_1001_5^12 + 399739626666097767895765483219623879/300151680046934360865349341489\ 42209*c_1001_5^11 - 280872626440665085867634740547559495/3001516800\ 4693436086534934148942209*c_1001_5^10 + 267433293062833397290937699354269786/300151680046934360865349341489\ 42209*c_1001_5^9 + 356064142944768205755823225670896697/30015168004\ 693436086534934148942209*c_1001_5^8 - 991862514319021287898300291289755649/300151680046934360865349341489\ 42209*c_1001_5^7 - 176706132669719102390937073565303561/30015168004\ 693436086534934148942209*c_1001_5^6 - 231396120112820678549545120584602938/300151680046934360865349341489\ 42209*c_1001_5^5 + 522620630166730242379246232148774453/30015168004\ 693436086534934148942209*c_1001_5^4 + 505616413888408691550405935588013222/300151680046934360865349341489\ 42209*c_1001_5^3 - 309125279031466769353180563233486149/30015168004\ 693436086534934148942209*c_1001_5^2 - 85171562293567263223487492934247230/3001516800469343608653493414894\ 2209*c_1001_5 + 15844312878552018381448815788103914/300151680046934\ 36086534934148942209, c_0101_7 + 19237367894999670340278516403798905/300151680046934360865349\ 34148942209*c_1001_5^15 - 161496562578612370033633812022868055/3001\ 5168004693436086534934148942209*c_1001_5^14 + 509506293136766284822726319739035082/300151680046934360865349341489\ 42209*c_1001_5^13 - 412204837268190642047778889925529305/3001516800\ 4693436086534934148942209*c_1001_5^12 + 56447644148962479202348021811033086/3001516800469343608653493414894\ 2209*c_1001_5^11 - 30805840675176161949004974526753207/300151680046\ 93436086534934148942209*c_1001_5^10 + 83598997508438753781544329222466210/3001516800469343608653493414894\ 2209*c_1001_5^9 + 507546165406383914746659517925460146/300151680046\ 93436086534934148942209*c_1001_5^8 - 844688317593874614919309322565017384/300151680046934360865349341489\ 42209*c_1001_5^7 - 638272858182743558652887642019877247/30015168004\ 693436086534934148942209*c_1001_5^6 - 247926641987584685424421885808793653/300151680046934360865349341489\ 42209*c_1001_5^5 + 291477914344156140042754485213915190/30015168004\ 693436086534934148942209*c_1001_5^4 + 681822089508336150057266985616669792/300151680046934360865349341489\ 42209*c_1001_5^3 - 127972618956491083809643557422192889/30015168004\ 693436086534934148942209*c_1001_5^2 - 202052145057362444819020129554636684/300151680046934360865349341489\ 42209*c_1001_5 + 42715282547431475451638360590818231/30015168004693\ 436086534934148942209, c_0110_11 - 33831013747947521485959448098160051/60030336009386872173069\ 868297884418*c_1001_5^15 + 147103776561079479786960332645180510/300\ 15168004693436086534934148942209*c_1001_5^14 - 491982110089194159541875378027895637/300151680046934360865349341489\ 42209*c_1001_5^13 + 509856811374722215683882999647603074/3001516800\ 4693436086534934148942209*c_1001_5^12 - 422626536159765792974929395842720259/600303360093868721730698682978\ 84418*c_1001_5^11 + 270081377590629078250031484878925589/6003033600\ 9386872173069868297884418*c_1001_5^10 - 139474300120701921091035758077702758/300151680046934360865349341489\ 42209*c_1001_5^9 - 845076439490098387785900892969129279/60030336009\ 386872173069868297884418*c_1001_5^8 + 912408048079215227269381794948946942/300151680046934360865349341489\ 42209*c_1001_5^7 + 499546315498625763152907842753900589/60030336009\ 386872173069868297884418*c_1001_5^6 + 465355239552432212210709006190825501/600303360093868721730698682978\ 84418*c_1001_5^5 - 447573777592391108187370257347025898/30015168004\ 693436086534934148942209*c_1001_5^4 - 1057715285490116575623865183740433301/60030336009386872173069868297\ 884418*c_1001_5^3 + 245748865245147242972381416044435828/3001516800\ 4693436086534934148942209*c_1001_5^2 + 189258486235570346586626006936715751/600303360093868721730698682978\ 84418*c_1001_5 - 8578710210185579602449714349867390/300151680046934\ 36086534934148942209, c_1001_2 - 26353859750276955155325571605360389/300151680046934360865349\ 34148942209*c_1001_5^15 + 442409978079334041154775475615610305/6003\ 0336009386872173069868297884418*c_1001_5^14 - 1397177495720938330853972699626427175/60030336009386872173069868297\ 884418*c_1001_5^13 + 1142449147994208898470380431139615359/60030336\ 009386872173069868297884418*c_1001_5^12 - 199049494465298399521904140206415255/600303360093868721730698682978\ 84418*c_1001_5^11 + 55971490505044170983524601366499316/30015168004\ 693436086534934148942209*c_1001_5^10 - 193806085693430789167307992290898025/600303360093868721730698682978\ 84418*c_1001_5^9 - 1461785151283494860715360263463399573/6003033600\ 9386872173069868297884418*c_1001_5^8 + 1200351446933812798084349053218380903/30015168004693436086534934148\ 942209*c_1001_5^7 + 773159740954855215584914689241871513/3001516800\ 4693436086534934148942209*c_1001_5^6 + 920051627169444908385958055282210147/600303360093868721730698682978\ 84418*c_1001_5^5 - 446832313672547527126785667880191976/30015168004\ 693436086534934148942209*c_1001_5^4 - 930836287683242703980033611817123967/300151680046934360865349341489\ 42209*c_1001_5^3 + 307589438135395964607568445728399709/60030336009\ 386872173069868297884418*c_1001_5^2 + 430475515351283233897816991828182125/600303360093868721730698682978\ 84418*c_1001_5 - 26376079054863887897116445326296246/30015168004693\ 436086534934148942209, c_1001_5^16 - 376/41*c_1001_5^15 + 1364/41*c_1001_5^14 - 1823/41*c_1001_5^13 + 1176/41*c_1001_5^12 - 680/41*c_1001_5^11 + 15*c_1001_5^10 + 691/41*c_1001_5^9 - 2429/41*c_1001_5^8 + 188/41*c_1001_5^7 - 125/41*c_1001_5^6 + 1198/41*c_1001_5^5 + 792/41*c_1001_5^4 - 1086/41*c_1001_5^3 - 57/41*c_1001_5^2 + 193/41*c_1001_5 - 31/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.820 Total time: 1.030 seconds, Total memory usage: 32.09MB