Magma V2.19-8 Tue Aug 20 2013 23:47:03 on localhost [Seed = 863328514] Type ? for help. Type -D to quit. Loading file "K14n7315__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7315 geometric_solution 9.40762745 oriented_manifold CS_known 0.0000000000000006 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 -1 0 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.264820937971 0.514549112389 0 5 7 6 0132 0132 0132 0132 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 1 -1 0 21 0 -21 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701956335702 0.606000839793 4 0 7 8 0321 0132 1302 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 -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.790767750157 1.536467799965 8 9 9 0 1023 0132 1023 0132 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 0 0 0 0 22 -22 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803244987036 0.963652260299 2 7 0 5 0321 2103 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.101654874391 1.065026410649 10 1 10 4 0132 0132 2310 2103 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 0 0 0 0 0 1 0 -1 21 -21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.025536681354 0.657289323932 11 8 1 11 0132 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 1 0 0 -1 -21 0 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.952922622525 0.580600562758 2 4 11 1 2031 2103 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.615109307998 0.379027313255 6 3 2 11 1230 1023 0132 1023 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 -22 0 22 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.061557549508 0.798585086262 10 3 3 10 3120 0132 1023 1302 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 -21 0 0 21 -21 22 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.466070377809 0.424974423511 5 5 9 9 0132 3201 2031 3120 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 0 -21 21 0 0 0 0 -21 0 0 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423796767007 0.279083763172 6 6 7 8 0132 2310 3120 1023 0 0 0 0 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 1 -1 0 0 0 0 0 21 1 0 -22 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234697756593 0.466286456737 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_4']), 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_9'], 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0101_3'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0011_3'], '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_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_7'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0101_9']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0101_9'], 'c_1010_8' : d['c_0101_0'], '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_3']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_5'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_7'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0011_7'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_4']), 'c_0011_10' : negation(d['c_0011_0']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0011_7'], 'c_0110_6' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_10, c_0101_3, c_0101_5, c_0101_7, c_0101_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 35473844217548318240168017937801468597400320/3953260201417720579941\ 9074534136980103*c_1001_1^25 + 318566942793406880810430921843515981\ 586016768/39532602014177205799419074534136980103*c_1001_1^24 + 1448792688007996841171196129188325861579548416/39532602014177205799\ 419074534136980103*c_1001_1^23 + 3406552652228502463717147677176984\ 09843360384/3040969385705938907647621118010536931*c_1001_1^22 + 10170169467479952284645511103111007957274057008/3953260201417720579\ 9419074534136980103*c_1001_1^21 + 619255326334335218139840113937995\ 2879424790272/13177534004725735266473024844712326701*c_1001_1^20 + 27883827951678997754007972483910048388387478620/3953260201417720579\ 9419074534136980103*c_1001_1^19 + 350476162466806351834832713446546\ 40771802826256/39532602014177205799419074534136980103*c_1001_1^18 + 37288322324138816764430411685346686982652855134/3953260201417720579\ 9419074534136980103*c_1001_1^17 + 337662695739027467591658635709517\ 93885927725482/39532602014177205799419074534136980103*c_1001_1^16 + 26102230053807041607449399154003618162686315476/3953260201417720579\ 9419074534136980103*c_1001_1^15 + 133402137860177598242461642977672\ 0551606824690/3040969385705938907647621118010536931*c_1001_1^14 + 6753608078813269981903532722911810136122183875/26355068009451470532\ 946049689424653402*c_1001_1^13 + 5504173222221357133724650130484703\ 143326680549/39532602014177205799419074534136980103*c_1001_1^12 + 3046325458008169358029116791073946656805496746/39532602014177205799\ 419074534136980103*c_1001_1^11 + 1210286827198269058963465524238317\ 619938736135/26355068009451470532946049689424653402*c_1001_1^10 + 369566288377736154741497487048894345668594391/131775340047257352664\ 73024844712326701*c_1001_1^9 + 628116886119130444514176111682019920\ 653125160/39532602014177205799419074534136980103*c_1001_1^8 + 307325922668217834666574233471204215881669744/395326020141772057994\ 19074534136980103*c_1001_1^7 + 924511515200309152029164723752641330\ 7973621/3040969385705938907647621118010536931*c_1001_1^6 + 70346129905747277778752736411331527283001023/7906520402835441159883\ 8149068273960206*c_1001_1^5 + 7318227089780224352198743448622025284\ 416893/79065204028354411598838149068273960206*c_1001_1^4 - 1003151542737276963622392841948596352380165/26355068009451470532946\ 049689424653402*c_1001_1^3 - 13583891609588368412636368414617337580\ 64583/39532602014177205799419074534136980103*c_1001_1^2 - 339251030937551587058055529125015890593238/395326020141772057994190\ 74534136980103*c_1001_1 - 45140819881495626808926699780934519542023\ /26355068009451470532946049689424653402, c_0011_0 - 1, c_0011_11 - 107149571204488218935175546800467949056/7797357399245997199\ 0964644051552229*c_1001_1^25 - 110092784910222720426983080162979900\ 1600/77973573992459971990964644051552229*c_1001_1^24 - 5629222754482315206774411357762220037632/77973573992459971990964644\ 051552229*c_1001_1^23 - 19089116059498996830440783344835238220544/7\ 7973573992459971990964644051552229*c_1001_1^22 - 48169182880443716352392940744192376863840/7797357399245997199096464\ 4051552229*c_1001_1^21 - 96052974990887844885181618958435842497952/\ 77973573992459971990964644051552229*c_1001_1^20 - 156744255020364072244211272193454254420920/779735739924599719909646\ 44051552229*c_1001_1^19 - 21376259505321604454427347915818220771607\ 2/77973573992459971990964644051552229*c_1001_1^18 - 246635389300414048583812307966397325243852/779735739924599719909646\ 44051552229*c_1001_1^17 - 24229231885390647529697674195458809426959\ 2/77973573992459971990964644051552229*c_1001_1^16 - 203204393416176309797443232394029250340020/779735739924599719909646\ 44051552229*c_1001_1^15 - 14583732186756325172992636150626893149858\ 8/77973573992459971990964644051552229*c_1001_1^14 - 90480813909346141100043308442733641394345/7797357399245997199096464\ 4051552229*c_1001_1^13 - 50213160121689766302790089483682807665473/\ 77973573992459971990964644051552229*c_1001_1^12 - 26927914502586161790050242672816161580476/7797357399245997199096464\ 4051552229*c_1001_1^11 - 15351464963891570489904328890336371525897/\ 77973573992459971990964644051552229*c_1001_1^10 - 9413156072721254700985782076869563134160/77973573992459971990964644\ 051552229*c_1001_1^9 - 5652508609658964461963672759684979659585/779\ 73573992459971990964644051552229*c_1001_1^8 - 3008831109972813248505804701463088375529/77973573992459971990964644\ 051552229*c_1001_1^7 - 1323342434977494897556916021662109966148/779\ 73573992459971990964644051552229*c_1001_1^6 - 443264046181431712564822433477598595713/779735739924599719909646440\ 51552229*c_1001_1^5 - 89069567210697732079628352041083739755/779735\ 73992459971990964644051552229*c_1001_1^4 + 8680618835642362141028100648666908456/77973573992459971990964644051\ 552229*c_1001_1^3 + 13793261449050884207819288935346219571/77973573\ 992459971990964644051552229*c_1001_1^2 + 5005197455305454114097886023460017589/77973573992459971990964644051\ 552229*c_1001_1 + 987864800979010659311549170119994705/779735739924\ 59971990964644051552229, c_0011_3 - 254292324784441071281953761380409339392/77973573992459971990\ 964644051552229*c_1001_1^25 - 2492814317514681815957274918672435499\ 520/77973573992459971990964644051552229*c_1001_1^24 - 12197481676393192445618773372962417317376/7797357399245997199096464\ 4051552229*c_1001_1^23 - 39685284275238686821961458262645842425600/\ 77973573992459971990964644051552229*c_1001_1^22 - 96261125269907574429096402002404431150560/7797357399245997199096464\ 4051552229*c_1001_1^21 - 184705700422935672648965667857090047149280\ /77973573992459971990964644051552229*c_1001_1^20 - 290082128434880341266390054622839304116248/779735739924599719909646\ 44051552229*c_1001_1^19 - 38045962529249714776100852553089213744236\ 0/77973573992459971990964644051552229*c_1001_1^18 - 421487479376251535398716658272372338171132/779735739924599719909646\ 44051552229*c_1001_1^17 - 39661580263201720962463955503792357282252\ 8/77973573992459971990964644051552229*c_1001_1^16 - 317675108594137522371024639100377668234124/779735739924599719909646\ 44051552229*c_1001_1^15 - 21730791133378862226015799848798025067273\ 2/77973573992459971990964644051552229*c_1001_1^14 - 128953090417437690392349220193639793297981/779735739924599719909646\ 44051552229*c_1001_1^13 - 69661832670001586946507794043648328688339\ /77973573992459971990964644051552229*c_1001_1^12 - 37678512220653272408153222536805772213516/7797357399245997199096464\ 4051552229*c_1001_1^11 - 22197774250188580250398834330027738109723/\ 77973573992459971990964644051552229*c_1001_1^10 - 13775232488257044118994439326128194010206/7797357399245997199096464\ 4051552229*c_1001_1^9 - 8050122164563444054481955416918926895384/77\ 973573992459971990964644051552229*c_1001_1^8 - 4054196392213932673513265837092707278077/77973573992459971990964644\ 051552229*c_1001_1^7 - 1643853332351256579736496604036097023753/779\ 73573992459971990964644051552229*c_1001_1^6 - 483117684521059463109134987888141271051/779735739924599719909646440\ 51552229*c_1001_1^5 - 64562993934808593636224603639396507093/779735\ 73992459971990964644051552229*c_1001_1^4 + 28973348747824473841591568586297909684/7797357399245997199096464405\ 1552229*c_1001_1^3 + 17102699671212795382511703029612342606/7797357\ 3992459971990964644051552229*c_1001_1^2 + 5692746435100930835940220272733714746/77973573992459971990964644051\ 552229*c_1001_1 + 514562554450590741451337126493869071/779735739924\ 59971990964644051552229, c_0011_4 - 7355061255982557135356268708725764096/7797357399245997199096\ 4644051552229*c_1001_1^25 - 7602774665240741407315095694509709312/7\ 7973573992459971990964644051552229*c_1001_1^24 + 272218670137204012708175867676743061504/779735739924599719909646440\ 51552229*c_1001_1^23 + 1875325152635956200412435710923245912064/779\ 73573992459971990964644051552229*c_1001_1^22 + 6938240553313263679673547080346731299072/77973573992459971990964644\ 051552229*c_1001_1^21 + 17961487398714894380592148912158046708864/7\ 7973573992459971990964644051552229*c_1001_1^20 + 35771236026170563624316796195335078369600/7797357399245997199096464\ 4051552229*c_1001_1^19 + 57430792573603386492433688331507934997664/\ 77973573992459971990964644051552229*c_1001_1^18 + 76255672222793147067277886948667830002912/7797357399245997199096464\ 4051552229*c_1001_1^17 + 84901256158230130298897746146762713248624/\ 77973573992459971990964644051552229*c_1001_1^16 + 79777467350538306560033225270473344304016/7797357399245997199096464\ 4051552229*c_1001_1^15 + 63389498147012730309629751160407577813136/\ 77973573992459971990964644051552229*c_1001_1^14 + 42707452465469453652244899507986426931032/7797357399245997199096464\ 4051552229*c_1001_1^13 + 24803180930454719176724281308210638962964/\ 77973573992459971990964644051552229*c_1001_1^12 + 13123387128164011772744749026455521186304/7797357399245997199096464\ 4051552229*c_1001_1^11 + 7071041307299677170527184748545461132856/7\ 7973573992459971990964644051552229*c_1001_1^10 + 4240313552475139245489915952927748020012/77973573992459971990964644\ 051552229*c_1001_1^9 + 2672354803906240880744630843853868802814/779\ 73573992459971990964644051552229*c_1001_1^8 + 1555052147561938190150450484933435505274/77973573992459971990964644\ 051552229*c_1001_1^7 + 764458910313771736501159737829247522296/7797\ 3573992459971990964644051552229*c_1001_1^6 + 295253179222554886445704409510930377868/779735739924599719909646440\ 51552229*c_1001_1^5 + 78242024447231598097036073435640951239/779735\ 73992459971990964644051552229*c_1001_1^4 + 5570056903587377565858670786302160420/77973573992459971990964644051\ 552229*c_1001_1^3 - 7906061645260319820872940918898492282/779735739\ 92459971990964644051552229*c_1001_1^2 - 3187285291472489167550797594893112092/77973573992459971990964644051\ 552229*c_1001_1 - 979058003581362023459072973334551728/779735739924\ 59971990964644051552229, c_0011_7 - 6687388281889647189227537687003275776/7797357399245997199096\ 4644051552229*c_1001_1^25 - 62612013199646706013632921117157956096/\ 77973573992459971990964644051552229*c_1001_1^24 - 292248491859886608543107051702828027904/779735739924599719909646440\ 51552229*c_1001_1^23 - 906917376524002215297744555582854532352/7797\ 3573992459971990964644051552229*c_1001_1^22 - 2098729617956209979215266553060023432480/77973573992459971990964644\ 051552229*c_1001_1^21 - 3842648597520820600945457126992036281568/77\ 973573992459971990964644051552229*c_1001_1^20 - 5757859521761269610293870353055150167048/77973573992459971990964644\ 051552229*c_1001_1^19 - 7201715308262248446769199122649680511736/77\ 973573992459971990964644051552229*c_1001_1^18 - 7603975936269972987593938249384443999324/77973573992459971990964644\ 051552229*c_1001_1^17 - 6818627039444174715462788396324836331304/77\ 973573992459971990964644051552229*c_1001_1^16 - 5213156083300807485457891370598876961712/77973573992459971990964644\ 051552229*c_1001_1^15 - 3428054763578128957946538529377957295232/77\ 973573992459971990964644051552229*c_1001_1^14 - 1993496188413072017991351214348243324911/77973573992459971990964644\ 051552229*c_1001_1^13 - 1091181033060311241752422290133018597271/77\ 973573992459971990964644051552229*c_1001_1^12 - 612410988033760982349898843072987969729/779735739924599719909646440\ 51552229*c_1001_1^11 - 366215945966868842969885801477360575673/7797\ 3573992459971990964644051552229*c_1001_1^10 - 221155278989732756710965277924570963579/779735739924599719909646440\ 51552229*c_1001_1^9 - 123812065469712815209522709852559158033/77973\ 573992459971990964644051552229*c_1001_1^8 - 60138875392908636959846318538968071010/7797357399245997199096464405\ 1552229*c_1001_1^7 - 23537660758046338379676073113841438486/7797357\ 3992459971990964644051552229*c_1001_1^6 - 6716497355923622868819075739350628424/77973573992459971990964644051\ 552229*c_1001_1^5 - 1000319806520663919465466467123513328/779735739\ 92459971990964644051552229*c_1001_1^4 + 324684941354783363079953585718611356/779735739924599719909646440515\ 52229*c_1001_1^3 + 191155500625610539350382903048539642/77973573992\ 459971990964644051552229*c_1001_1^2 + 233201204954427871877991755064539240/779735739924599719909646440515\ 52229*c_1001_1 + 26439675930547247715929597177781353/77973573992459\ 971990964644051552229, c_0101_0 - 7355061255982557135356268708725764096/7797357399245997199096\ 4644051552229*c_1001_1^25 - 7602774665240741407315095694509709312/7\ 7973573992459971990964644051552229*c_1001_1^24 + 272218670137204012708175867676743061504/779735739924599719909646440\ 51552229*c_1001_1^23 + 1875325152635956200412435710923245912064/779\ 73573992459971990964644051552229*c_1001_1^22 + 6938240553313263679673547080346731299072/77973573992459971990964644\ 051552229*c_1001_1^21 + 17961487398714894380592148912158046708864/7\ 7973573992459971990964644051552229*c_1001_1^20 + 35771236026170563624316796195335078369600/7797357399245997199096464\ 4051552229*c_1001_1^19 + 57430792573603386492433688331507934997664/\ 77973573992459971990964644051552229*c_1001_1^18 + 76255672222793147067277886948667830002912/7797357399245997199096464\ 4051552229*c_1001_1^17 + 84901256158230130298897746146762713248624/\ 77973573992459971990964644051552229*c_1001_1^16 + 79777467350538306560033225270473344304016/7797357399245997199096464\ 4051552229*c_1001_1^15 + 63389498147012730309629751160407577813136/\ 77973573992459971990964644051552229*c_1001_1^14 + 42707452465469453652244899507986426931032/7797357399245997199096464\ 4051552229*c_1001_1^13 + 24803180930454719176724281308210638962964/\ 77973573992459971990964644051552229*c_1001_1^12 + 13123387128164011772744749026455521186304/7797357399245997199096464\ 4051552229*c_1001_1^11 + 7071041307299677170527184748545461132856/7\ 7973573992459971990964644051552229*c_1001_1^10 + 4240313552475139245489915952927748020012/77973573992459971990964644\ 051552229*c_1001_1^9 + 2672354803906240880744630843853868802814/779\ 73573992459971990964644051552229*c_1001_1^8 + 1555052147561938190150450484933435505274/77973573992459971990964644\ 051552229*c_1001_1^7 + 764458910313771736501159737829247522296/7797\ 3573992459971990964644051552229*c_1001_1^6 + 295253179222554886445704409510930377868/779735739924599719909646440\ 51552229*c_1001_1^5 + 78242024447231598097036073435640951239/779735\ 73992459971990964644051552229*c_1001_1^4 + 5570056903587377565858670786302160420/77973573992459971990964644051\ 552229*c_1001_1^3 - 7906061645260319820872940918898492282/779735739\ 92459971990964644051552229*c_1001_1^2 - 3187285291472489167550797594893112092/77973573992459971990964644051\ 552229*c_1001_1 - 979058003581362023459072973334551728/779735739924\ 59971990964644051552229, c_0101_10 - 36685485778876412171217478918641334784/77973573992459971990\ 964644051552229*c_1001_1^25 - 3648866625315126799838011151473715072\ 00/77973573992459971990964644051552229*c_1001_1^24 - 1808604537765831329715531148389028522496/77973573992459971990964644\ 051552229*c_1001_1^23 - 5950814963469135361371332355050998863104/77\ 973573992459971990964644051552229*c_1001_1^22 - 14574081383091114784104341993352382574752/7797357399245997199096464\ 4051552229*c_1001_1^21 - 28194581838791955979173846742782735902752/\ 77973573992459971990964644051552229*c_1001_1^20 - 44584134480685450861975013520240536264584/7797357399245997199096464\ 4051552229*c_1001_1^19 - 58798873189693280614618393310856453967240/\ 77973573992459971990964644051552229*c_1001_1^18 - 65405941724736968363356290335296575488436/7797357399245997199096464\ 4051552229*c_1001_1^17 - 61687402313631180925267568114070331384080/\ 77973573992459971990964644051552229*c_1001_1^16 - 49401780553045414880525650108457881885300/7797357399245997199096464\ 4051552229*c_1001_1^15 - 33667883714089912186195184121630520725604/\ 77973573992459971990964644051552229*c_1001_1^14 - 19808173002005235263657148350829394052215/7797357399245997199096464\ 4051552229*c_1001_1^13 - 10569809360598328966744099887780363547877/\ 77973573992459971990964644051552229*c_1001_1^12 - 5671856764427470687095776233473484618736/77973573992459971990964644\ 051552229*c_1001_1^11 - 3358024580023724170000273023041871900137/77\ 973573992459971990964644051552229*c_1001_1^10 - 2104537089677850612400366986559786064768/77973573992459971990964644\ 051552229*c_1001_1^9 - 1232470631443926392325059786331013647892/779\ 73573992459971990964644051552229*c_1001_1^8 - 614068040432881985895870611787388086313/779735739924599719909646440\ 51552229*c_1001_1^7 - 242338405707944560073257760129023869395/77973\ 573992459971990964644051552229*c_1001_1^6 - 66982058860022317840099304059284413863/7797357399245997199096464405\ 1552229*c_1001_1^5 - 6474806551222311081886484219553210507/77973573\ 992459971990964644051552229*c_1001_1^4 + 5567195844892996568932173727513783834/77973573992459971990964644051\ 552229*c_1001_1^3 + 2984450182213046841144919295285389064/779735739\ 92459971990964644051552229*c_1001_1^2 + 833016600335869206435876713265776410/779735739924599719909646440515\ 52229*c_1001_1 + 88944534752281951838250698852487001/77973573992459\ 971990964644051552229, c_0101_3 + 2845980988386455578888455954578959872/7797357399245997199096\ 4644051552229*c_1001_1^25 + 77016604449750501913168783662235380224/\ 77973573992459971990964644051552229*c_1001_1^24 + 610857940250458855145579391940225438208/779735739924599719909646440\ 51552229*c_1001_1^23 + 2730917067154404084501908955596788160768/779\ 73573992459971990964644051552229*c_1001_1^22 + 8408509305248266149629846835051349885408/77973573992459971990964644\ 051552229*c_1001_1^21 + 19588918159990240396660392591115269908064/7\ 7973573992459971990964644051552229*c_1001_1^20 + 36365940618262553585870107299517578897880/7797357399245997199096464\ 4051552229*c_1001_1^19 + 55469563654009476559647006645202790616376/\ 77973573992459971990964644051552229*c_1001_1^18 + 70788587402828031398170736462439704487020/7797357399245997199096464\ 4051552229*c_1001_1^17 + 76347256332802350214898664900735227491544/\ 77973573992459971990964644051552229*c_1001_1^16 + 69913178290961205410444453401670690031508/7797357399245997199096464\ 4051552229*c_1001_1^15 + 54444935435170436188740821480456328968328/\ 77973573992459971990964644051552229*c_1001_1^14 + 36201562277176109369358758112170731635441/7797357399245997199096464\ 4051552229*c_1001_1^13 + 20955625608709842819820197611866494511599/\ 77973573992459971990964644051552229*c_1001_1^12 + 11185046651370541629529188931290225396022/7797357399245997199096464\ 4051552229*c_1001_1^11 + 6107446067313221918569185973125179798294/7\ 7973573992459971990964644051552229*c_1001_1^10 + 3663628322164672539829723252482260549256/77973573992459971990964644\ 051552229*c_1001_1^9 + 2276777448844803926826634929344123809580/779\ 73573992459971990964644051552229*c_1001_1^8 + 1304518988222180268976487344511390110413/77973573992459971990964644\ 051552229*c_1001_1^7 + 634154273198232266874283582036390540031/7797\ 3573992459971990964644051552229*c_1001_1^6 + 243559654171927033502258621847907521401/779735739924599719909646440\ 51552229*c_1001_1^5 + 64740161197587856950318042166539326739/779735\ 73992459971990964644051552229*c_1001_1^4 + 4975668343154000069454369522006452832/77973573992459971990964644051\ 552229*c_1001_1^3 - 5974728603268177180209830251081971560/779735739\ 92459971990964644051552229*c_1001_1^2 - 2479744577376859323083645501918540772/77973573992459971990964644051\ 552229*c_1001_1 - 786013375865711107973158274519695907/779735739924\ 59971990964644051552229, c_0101_5 + 5976397660939433061348247308880916992/7797357399245997199096\ 4644051552229*c_1001_1^25 + 68462998585845030906736741095713914368/\ 77973573992459971990964644051552229*c_1001_1^24 + 378975677747886176525934100188259910144/779735739924599719909646440\ 51552229*c_1001_1^23 + 1364113487876204070732688552040717450496/779\ 73573992459971990964644051552229*c_1001_1^22 + 3606828509782863893138162030588918108192/77973573992459971990964644\ 051552229*c_1001_1^21 + 7474305276168113537664171961516547182112/77\ 973573992459971990964644051552229*c_1001_1^20 + 12611522964181518442198649534764979130856/7797357399245997199096464\ 4051552229*c_1001_1^19 + 17736559624898066219897225111531272904264/\ 77973573992459971990964644051552229*c_1001_1^18 + 21088639996573238833473622670303354458980/7797357399245997199096464\ 4051552229*c_1001_1^17 + 21374158865941454614310935799972256953360/\ 77973573992459971990964644051552229*c_1001_1^16 + 18552713343832656989751038020601470933908/7797357399245997199096464\ 4051552229*c_1001_1^15 + 13849186984603041480143233888829233142996/\ 77973573992459971990964644051552229*c_1001_1^14 + 8985142086564743441816876535403872700803/77973573992459971990964644\ 051552229*c_1001_1^13 + 5216241452215803604371266848403240386329/77\ 973573992459971990964644051552229*c_1001_1^12 + 2875618051259076727551627422134915308756/77973573992459971990964644\ 051552229*c_1001_1^11 + 1623417235408844640365667003816193759787/77\ 973573992459971990964644051552229*c_1001_1^10 + 966464134970410775718318123750668583756/779735739924599719909646440\ 51552229*c_1001_1^9 + 576277116077817141824932641324702087389/77973\ 573992459971990964644051552229*c_1001_1^8 + 317699842004843334917036355707359385221/779735739924599719909646440\ 51552229*c_1001_1^7 + 151548816787463075699755832113584447573/77973\ 573992459971990964644051552229*c_1001_1^6 + 58469582087954646818160361901202596383/7797357399245997199096464405\ 1552229*c_1001_1^5 + 16538838162762199443524817884068094885/7797357\ 3992459971990964644051552229*c_1001_1^4 + 2266547855269380228611229038726209352/77973573992459971990964644051\ 552229*c_1001_1^3 - 779618729826353698198439041640378646/7797357399\ 2459971990964644051552229*c_1001_1^2 - 442630111986644464161874293784414884/779735739924599719909646440515\ 52229*c_1001_1 - 242229973019536626695584735030042477/7797357399245\ 9971990964644051552229, c_0101_7 - 254292324784441071281953761380409339392/77973573992459971990\ 964644051552229*c_1001_1^25 - 2492814317514681815957274918672435499\ 520/77973573992459971990964644051552229*c_1001_1^24 - 12197481676393192445618773372962417317376/7797357399245997199096464\ 4051552229*c_1001_1^23 - 39685284275238686821961458262645842425600/\ 77973573992459971990964644051552229*c_1001_1^22 - 96261125269907574429096402002404431150560/7797357399245997199096464\ 4051552229*c_1001_1^21 - 184705700422935672648965667857090047149280\ /77973573992459971990964644051552229*c_1001_1^20 - 290082128434880341266390054622839304116248/779735739924599719909646\ 44051552229*c_1001_1^19 - 38045962529249714776100852553089213744236\ 0/77973573992459971990964644051552229*c_1001_1^18 - 421487479376251535398716658272372338171132/779735739924599719909646\ 44051552229*c_1001_1^17 - 39661580263201720962463955503792357282252\ 8/77973573992459971990964644051552229*c_1001_1^16 - 317675108594137522371024639100377668234124/779735739924599719909646\ 44051552229*c_1001_1^15 - 21730791133378862226015799848798025067273\ 2/77973573992459971990964644051552229*c_1001_1^14 - 128953090417437690392349220193639793297981/779735739924599719909646\ 44051552229*c_1001_1^13 - 69661832670001586946507794043648328688339\ /77973573992459971990964644051552229*c_1001_1^12 - 37678512220653272408153222536805772213516/7797357399245997199096464\ 4051552229*c_1001_1^11 - 22197774250188580250398834330027738109723/\ 77973573992459971990964644051552229*c_1001_1^10 - 13775232488257044118994439326128194010206/7797357399245997199096464\ 4051552229*c_1001_1^9 - 8050122164563444054481955416918926895384/77\ 973573992459971990964644051552229*c_1001_1^8 - 4054196392213932673513265837092707278077/77973573992459971990964644\ 051552229*c_1001_1^7 - 1643853332351256579736496604036097023753/779\ 73573992459971990964644051552229*c_1001_1^6 - 483117684521059463109134987888141271051/779735739924599719909646440\ 51552229*c_1001_1^5 - 64562993934808593636224603639396507093/779735\ 73992459971990964644051552229*c_1001_1^4 + 28973348747824473841591568586297909684/7797357399245997199096464405\ 1552229*c_1001_1^3 + 17102699671212795382511703029612342606/7797357\ 3992459971990964644051552229*c_1001_1^2 + 5692746435100930835940220272733714746/77973573992459971990964644051\ 552229*c_1001_1 + 514562554450590741451337126493869071/779735739924\ 59971990964644051552229, c_0101_9 - 1409694970249600152428130803215363072/7797357399245997199096\ 4644051552229*c_1001_1^25 + 10128230303090132206621978997149162496/\ 77973573992459971990964644051552229*c_1001_1^24 + 163154088950770031072640482656821366784/779735739924599719909646440\ 51552229*c_1001_1^23 + 891858590079326468489621175135232698368/7797\ 3573992459971990964644051552229*c_1001_1^22 + 3033550409487632122422373262781770373952/77973573992459971990964644\ 051552229*c_1001_1^21 + 7517312123462160852413597616132342009408/77\ 973573992459971990964644051552229*c_1001_1^20 + 14579859926804055207024343036383298898512/7797357399245997199096464\ 4051552229*c_1001_1^19 + 23007560436113911734945212507009887363184/\ 77973573992459971990964644051552229*c_1001_1^18 + 30201903991269184148631854506039951280728/7797357399245997199096464\ 4051552229*c_1001_1^17 + 33386616346228307710486107439856572226168/\ 77973573992459971990964644051552229*c_1001_1^16 + 31263130363324071212901175160809983370336/7797357399245997199096464\ 4051552229*c_1001_1^15 + 24847338527947678351379049395604743225652/\ 77973573992459971990964644051552229*c_1001_1^14 + 16815116699483464650029938959307164913730/7797357399245997199096464\ 4051552229*c_1001_1^13 + 9849648341771646799159044735475901177030/7\ 7973573992459971990964644051552229*c_1001_1^12 + 5259378601357065759027854374065637261706/77973573992459971990964644\ 051552229*c_1001_1^11 + 2836035000158644651725598001568735281395/77\ 973573992459971990964644051552229*c_1001_1^10 + 1682136812667527687338030714171821834618/77973573992459971990964644\ 051552229*c_1001_1^9 + 1049116520309629124627558099004077898865/779\ 73573992459971990964644051552229*c_1001_1^8 + 610621723616791438761338018663062396893/779735739924599719909646440\ 51552229*c_1001_1^7 + 303722463168303292874288901831725813447/77973\ 573992459971990964644051552229*c_1001_1^6 + 119918491347329595982932308464644708503/779735739924599719909646440\ 51552229*c_1001_1^5 + 32866375233519699406738998553488129131/779735\ 73992459971990964644051552229*c_1001_1^4 + 2690013389901875922838555004263720262/77973573992459971990964644051\ 552229*c_1001_1^3 - 3124362254137499477424911988274377248/779735739\ 92459971990964644051552229*c_1001_1^2 - 1352307759367147419979700729831642654/77973573992459971990964644051\ 552229*c_1001_1 - 495484594795471831793114330767162645/779735739924\ 59971990964644051552229, c_1001_1^26 + 10*c_1001_1^25 + 50*c_1001_1^24 + 333/2*c_1001_1^23 + 6625/16*c_1001_1^22 + 3265/4*c_1001_1^21 + 84513/64*c_1001_1^20 + 28645/16*c_1001_1^19 + 263647/128*c_1001_1^18 + 259209/128*c_1001_1^17 + 218593/128*c_1001_1^16 + 158755/128*c_1001_1^15 + 401827/512*c_1001_1^14 + 114375/256*c_1001_1^13 + 125079/512*c_1001_1^12 + 35543/256*c_1001_1^11 + 42749/512*c_1001_1^10 + 12701/256*c_1001_1^9 + 3423/128*c_1001_1^8 + 783/64*c_1001_1^7 + 2279/512*c_1001_1^6 + 571/512*c_1001_1^5 + 1/16*c_1001_1^4 - 21/256*c_1001_1^3 - 25/512*c_1001_1^2 - 3/256*c_1001_1 - 1/512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.860 Total time: 2.069 seconds, Total memory usage: 32.09MB