Magma V2.19-8 Tue Aug 20 2013 23:41:52 on localhost [Seed = 2430006738] Type ? for help. Type -D to quit. Loading file "K12n648__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n648 geometric_solution 11.75053329 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -11 0 11 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530905195923 0.644728245790 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 -11 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.382304448291 0.596171751723 8 0 7 9 0132 0132 0213 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458051163162 0.847389054316 10 6 11 0 0132 0321 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 11 0 0 -11 0 -1 0 1 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661583268097 0.722338318906 6 9 0 10 0132 2031 0132 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 -1 1 12 0 0 -12 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.249300817370 1.048520162902 11 1 10 9 2031 0132 2031 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.835146103962 1.028360942606 4 8 1 3 0132 0213 0132 0321 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 -12 0 0 12 -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.025496828474 1.276435078643 10 2 11 1 1230 0213 0213 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 -11 0 0 11 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.547026275070 1.183864135255 2 11 6 9 0132 2031 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619159936502 1.111373388125 4 8 2 5 1302 0321 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.391294194340 1.060771103687 3 7 4 5 0132 3012 0132 1302 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -11 0 12 -1 -12 11 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541717915172 0.780062945382 8 7 5 3 1302 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812447474037 0.941776091740 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_5'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0110_5'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(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_1100_9' : d['c_1001_1'], 'c_1100_8' : d['c_1001_0'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_1001_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : d['c_0101_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0011_11'], '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' : negation(d['c_0011_7']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0011_10'], '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_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : negation(d['c_0011_4']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_5']), 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10']})} 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_4, c_0011_7, c_0101_0, c_0101_3, c_0101_5, c_0110_5, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 215299518600136303507739748668851009089084718558/154561761860248253\ 82011128411497603671500288575671*c_1001_3^18 - 1941489131608810571232956355512790948307450171624/15456176186024825\ 382011128411497603671500288575671*c_1001_3^17 + 4417877282799616190202431098216922632881374724051/15456176186024825\ 382011128411497603671500288575671*c_1001_3^16 + 9991630403718316780260276096106490498717752686726/15456176186024825\ 382011128411497603671500288575671*c_1001_3^15 - 64210842006640594951514500366996731231337942676662/1545617618602482\ 5382011128411497603671500288575671*c_1001_3^14 + 930312369730870643690761109822786450037589018238/195647799823099055\ 468495296348070932550636564249*c_1001_3^13 + 102847984640845567953653382804905667637823074934647/154561761860248\ 25382011128411497603671500288575671*c_1001_3^12 - 5525244037596445951981008069836693820086960609298/14051069260022568\ 52910102582863418515590935325061*c_1001_3^11 - 947858882932679645838438080281999790050955657324778/154561761860248\ 25382011128411497603671500288575671*c_1001_3^10 + 126015807923104755429136477773073378584629247053500/140510692600225\ 6852910102582863418515590935325061*c_1001_3^9 + 1663450307163157384557946414704099701643933074859045/15456176186024\ 825382011128411497603671500288575671*c_1001_3^8 - 471234204798725613297374122901304830174698739798483/140510692600225\ 6852910102582863418515590935325061*c_1001_3^7 + 776464286413886586833401883240351377367821449013407/154561761860248\ 25382011128411497603671500288575671*c_1001_3^6 + 6686939709865126867327118706739805855695264184430484/15456176186024\ 825382011128411497603671500288575671*c_1001_3^5 - 382067072573079861585532125138975758892637633091339/140510692600225\ 6852910102582863418515590935325061*c_1001_3^4 - 6495634128930757085314847092603333452684077536344103/15456176186024\ 825382011128411497603671500288575671*c_1001_3^3 - 2506377220214848205365324301652583036679709276033784/15456176186024\ 825382011128411497603671500288575671*c_1001_3^2 - 990064971508100390905679246813836512691910616983345/154561761860248\ 25382011128411497603671500288575671*c_1001_3 - 781222358694661588368556414514587955947513968194668/154561761860248\ 25382011128411497603671500288575671, c_0011_0 - 1, c_0011_10 - 31253549962986569297550918415896474225/19518188115459492193\ 035534510377371431719*c_1001_3^18 + 159911084159916296596174398953420755206/195181881154594921930355345\ 10377371431719*c_1001_3^17 - 66467224399593400811647323875800050314\ /19518188115459492193035534510377371431719*c_1001_3^16 - 1505342871587896489088467416562389278083/19518188115459492193035534\ 510377371431719*c_1001_3^15 + 3591200938286548477293367035008625303\ 509/19518188115459492193035534510377371431719*c_1001_3^14 + 809890699515445288384695419503505405996/195181881154594921930355345\ 10377371431719*c_1001_3^13 - 82388214525938884368292755816241241739\ 34/19518188115459492193035534510377371431719*c_1001_3^12 - 16301163097619280068467854162353455470784/1951818811545949219303553\ 4510377371431719*c_1001_3^11 + 601992719540690880895739355433748782\ 53821/19518188115459492193035534510377371431719*c_1001_3^10 - 2081581942089724378042212770637245062903/19518188115459492193035534\ 510377371431719*c_1001_3^9 - 17689580007257868468970646867818968675\ 2396/19518188115459492193035534510377371431719*c_1001_3^8 + 150588856929210060291626837839409054086425/195181881154594921930355\ 34510377371431719*c_1001_3^7 + 163083523689540461965868551593298840\ 287799/19518188115459492193035534510377371431719*c_1001_3^6 - 323153666513091891156458539056667536203183/195181881154594921930355\ 34510377371431719*c_1001_3^5 - 126618099549936123415831367334094298\ 678429/19518188115459492193035534510377371431719*c_1001_3^4 + 57049280276783558536122304015817295997819/1951818811545949219303553\ 4510377371431719*c_1001_3^3 - 4349897447873950456241727399900132413\ 3518/19518188115459492193035534510377371431719*c_1001_3^2 - 4238662688675701316205396812568968749077/19518188115459492193035534\ 510377371431719*c_1001_3 + 2190181184698635948581854702517496365911\ 0/19518188115459492193035534510377371431719, c_0011_11 + 33957920611168766465972503408687801860/19518188115459492193\ 035534510377371431719*c_1001_3^18 - 164282226680255590374703603843675429028/195181881154594921930355345\ 10377371431719*c_1001_3^17 + 34137288696562648104003153584771940605\ /19518188115459492193035534510377371431719*c_1001_3^16 + 1601042992704604718962049553904906699357/19518188115459492193035534\ 510377371431719*c_1001_3^15 - 3407824276990213613607480279060979552\ 912/19518188115459492193035534510377371431719*c_1001_3^14 - 1516614995332886263153946229255278145702/19518188115459492193035534\ 510377371431719*c_1001_3^13 + 7477700334915355134228820215234704015\ 721/19518188115459492193035534510377371431719*c_1001_3^12 + 20461038427076642148655960200233101575154/1951818811545949219303553\ 4510377371431719*c_1001_3^11 - 587179323403140892567244485157058646\ 10911/19518188115459492193035534510377371431719*c_1001_3^10 - 10588277017428658116699258369290536962295/1951818811545949219303553\ 4510377371431719*c_1001_3^9 + 1731923525976402752421326957299559672\ 47134/19518188115459492193035534510377371431719*c_1001_3^8 - 101954428388157592587868455334620104848980/195181881154594921930355\ 34510377371431719*c_1001_3^7 - 180839626079437661625170066914940685\ 786004/19518188115459492193035534510377371431719*c_1001_3^6 + 252888525970127035573756432438149081039488/195181881154594921930355\ 34510377371431719*c_1001_3^5 + 215500609014197403452323082824380781\ 510920/19518188115459492193035534510377371431719*c_1001_3^4 + 50521811904815907596807720215697120163182/1951818811545949219303553\ 4510377371431719*c_1001_3^3 + 5134624231121800609224897802316577028\ 0199/19518188115459492193035534510377371431719*c_1001_3^2 + 45334164207270796874783832434034318955851/1951818811545949219303553\ 4510377371431719*c_1001_3 - 574230076643753286786065938412443397957\ 0/19518188115459492193035534510377371431719, c_0011_4 + 66815089817750978079997980029342739800/195181881154594921930\ 35534510377371431719*c_1001_3^18 - 367869848912271415642495538840641594500/195181881154594921930355345\ 10377371431719*c_1001_3^17 + 29729909704012222260816221165242066335\ 1/19518188115459492193035534510377371431719*c_1001_3^16 + 3026027321305098765718558457700245631070/19518188115459492193035534\ 510377371431719*c_1001_3^15 - 8742962586908138750587843164437979127\ 509/19518188115459492193035534510377371431719*c_1001_3^14 + 2158712732471230208483029260545866128035/19518188115459492193035534\ 510377371431719*c_1001_3^13 + 1473266329450327482772504951174183138\ 9015/19518188115459492193035534510377371431719*c_1001_3^12 + 30958752546965176787405713478749374740569/1951818811545949219303553\ 4510377371431719*c_1001_3^11 - 138601188237135781537015388589131586\ 272051/19518188115459492193035534510377371431719*c_1001_3^10 + 61477915074219987884881252803921734364620/1951818811545949219303553\ 4510377371431719*c_1001_3^9 + 3247782794544934940101741451029056615\ 52352/19518188115459492193035534510377371431719*c_1001_3^8 - 414074214921050872947426461520565592157895/195181881154594921930355\ 34510377371431719*c_1001_3^7 - 141404629873071760612248813981933773\ 337918/19518188115459492193035534510377371431719*c_1001_3^6 + 619708885789396554162258339365743876853147/195181881154594921930355\ 34510377371431719*c_1001_3^5 + 715732017498340931831416400336869839\ 26521/19518188115459492193035534510377371431719*c_1001_3^4 - 19040622519463655749155495488007087854044/1951818811545949219303553\ 4510377371431719*c_1001_3^3 + 1041543481909583793261267533401808051\ 7865/19518188115459492193035534510377371431719*c_1001_3^2 - 4180790747453500101445024305517291103470/19518188115459492193035534\ 510377371431719*c_1001_3 - 3512645584169219612235904741409610156958\ 3/19518188115459492193035534510377371431719, c_0011_7 + 41035552829099611668228215861557365739/195181881154594921930\ 35534510377371431719*c_1001_3^18 - 214669531176010327389840576042407016296/195181881154594921930355345\ 10377371431719*c_1001_3^17 + 13521024513904467813946803176882186976\ 7/19518188115459492193035534510377371431719*c_1001_3^16 + 1842247067663311931223731160118796730381/19518188115459492193035534\ 510377371431719*c_1001_3^15 - 4867817143951098781941499356999959509\ 877/19518188115459492193035534510377371431719*c_1001_3^14 + 556968768948987340886801060205651496810/195181881154594921930355345\ 10377371431719*c_1001_3^13 + 81304191650356629822794773050569748067\ 14/19518188115459492193035534510377371431719*c_1001_3^12 + 20357400246091350950549788887219945366859/1951818811545949219303553\ 4510377371431719*c_1001_3^11 - 766012919262434260947848686426212337\ 74532/19518188115459492193035534510377371431719*c_1001_3^10 + 23710016208156224484914740898314843471804/1951818811545949219303553\ 4510377371431719*c_1001_3^9 + 1873949960299136239992279062455726463\ 93624/19518188115459492193035534510377371431719*c_1001_3^8 - 212340120732674972367147341341954377615154/195181881154594921930355\ 34510377371431719*c_1001_3^7 - 797160798192527374113213439064663664\ 61413/19518188115459492193035534510377371431719*c_1001_3^6 + 327908435898990308227663024154305752135550/195181881154594921930355\ 34510377371431719*c_1001_3^5 + 590620756748640178942323628583710679\ 46792/19518188115459492193035534510377371431719*c_1001_3^4 + 101627681254275301471211516186074819015914/195181881154594921930355\ 34510377371431719*c_1001_3^3 + 108512222290139861506851213716339518\ 654450/19518188115459492193035534510377371431719*c_1001_3^2 + 40109671863426855621609728084126413894572/1951818811545949219303553\ 4510377371431719*c_1001_3 + 214668405309539561126533207501887811303\ 02/19518188115459492193035534510377371431719, c_0101_0 + 18327346308495527598121576728823510007/195181881154594921930\ 35534510377371431719*c_1001_3^18 - 107629430488518629073067019680258313936/195181881154594921930355345\ 10377371431719*c_1001_3^17 + 10331582312453529634816518583844490283\ 1/19518188115459492193035534510377371431719*c_1001_3^16 + 885851591855221332441723364347324743525/195181881154594921930355345\ 10377371431719*c_1001_3^15 - 27840684190986206860423482454888091469\ 80/19518188115459492193035534510377371431719*c_1001_3^14 + 809151556733878524689009569681488393722/195181881154594921930355345\ 10377371431719*c_1001_3^13 + 58934487663275489501221434932400571500\ 53/19518188115459492193035534510377371431719*c_1001_3^12 + 6095504217215361373648982662939081631771/19518188115459492193035534\ 510377371431719*c_1001_3^11 - 4401682330667909304369512903057752250\ 1124/19518188115459492193035534510377371431719*c_1001_3^10 + 24330166789930340990087462031596058086268/1951818811545949219303553\ 4510377371431719*c_1001_3^9 + 1144095438031840352060265380122288208\ 18990/19518188115459492193035534510377371431719*c_1001_3^8 - 166441136815620522356738287536089194454014/195181881154594921930355\ 34510377371431719*c_1001_3^7 - 621063103735024044844777237870864406\ 81493/19518188115459492193035534510377371431719*c_1001_3^6 + 288183576713869334296966362995612382242069/195181881154594921930355\ 34510377371431719*c_1001_3^5 - 415779664752632233145635979787798642\ 48227/19518188115459492193035534510377371431719*c_1001_3^4 - 143643472602919672859189233025042765994915/195181881154594921930355\ 34510377371431719*c_1001_3^3 + 287257209349532213490345734328209431\ 71666/19518188115459492193035534510377371431719*c_1001_3^2 - 28515395707212748901668566769799356993321/1951818811545949219303553\ 4510377371431719*c_1001_3 - 320258425197539160806141572683119868733\ 02/19518188115459492193035534510377371431719, c_0101_3 - 27871571733328075618947379592886153027/195181881154594921930\ 35534510377371431719*c_1001_3^18 + 118319813927985601055812131796778187728/195181881154594921930355345\ 10377371431719*c_1001_3^17 + 47442561958860117909861397867550720676\ /19518188115459492193035534510377371431719*c_1001_3^16 - 1311666450563915778779000007923596235592/19518188115459492193035534\ 510377371431719*c_1001_3^15 + 2029801231254134003181490978063112289\ 837/19518188115459492193035534510377371431719*c_1001_3^14 + 2667861030860924556881432725486460572971/19518188115459492193035534\ 510377371431719*c_1001_3^13 - 5044616314213128298295377226291919662\ 494/19518188115459492193035534510377371431719*c_1001_3^12 - 19839642916051068820294117628405837013784/1951818811545949219303553\ 4510377371431719*c_1001_3^11 + 368608253006752768664133922341882238\ 40058/19518188115459492193035534510377371431719*c_1001_3^10 + 34447799071940162646835641885588058980383/1951818811545949219303553\ 4510377371431719*c_1001_3^9 - 1306102517155208151901803223562284055\ 09228/19518188115459492193035534510377371431719*c_1001_3^8 + 7137267495315155882267199554885369271741/19518188115459492193035534\ 510377371431719*c_1001_3^7 + 16753649280732037945803889882569406007\ 2041/19518188115459492193035534510377371431719*c_1001_3^6 - 109131616899345425966198468652087725900503/195181881154594921930355\ 34510377371431719*c_1001_3^5 - 262902828721467459187072161414851750\ 485370/19518188115459492193035534510377371431719*c_1001_3^4 - 183779485640327734834923215251750627065897/195181881154594921930355\ 34510377371431719*c_1001_3^3 - 109819312780440802255931566726360021\ 358146/19518188115459492193035534510377371431719*c_1001_3^2 - 61980019839071635137021012660673063438843/1951818811545949219303553\ 4510377371431719*c_1001_3 - 182340114044424300301291940742802722057\ 34/19518188115459492193035534510377371431719, c_0101_5 - 13161396096653481976600323656380227437/195181881154594921930\ 35534510377371431719*c_1001_3^18 + 81657316200279784625971388482383702027/1951818811545949219303553451\ 0377371431719*c_1001_3^17 - 97555365511349258931288371278535281573/\ 19518188115459492193035534510377371431719*c_1001_3^16 - 619263260414324681450775262738206178110/195181881154594921930355345\ 10377371431719*c_1001_3^15 + 21938598117163754480888989288603184870\ 28/19518188115459492193035534510377371431719*c_1001_3^14 - 1121475612966800953527239294598007473142/19518188115459492193035534\ 510377371431719*c_1001_3^13 - 4107697326576121205644805007842699267\ 061/19518188115459492193035534510377371431719*c_1001_3^12 - 3538744065481878552509822794496768379011/19518188115459492193035534\ 510377371431719*c_1001_3^11 + 3362368366274179110904501618912450916\ 1993/19518188115459492193035534510377371431719*c_1001_3^10 - 25566916773775357749601694370852978062326/1951818811545949219303553\ 4510377371431719*c_1001_3^9 - 7891459970538789216412897979576153514\ 7893/19518188115459492193035534510377371431719*c_1001_3^8 + 138339793823619196584369707311426931736244/195181881154594921930355\ 34510377371431719*c_1001_3^7 + 203341412513242930910643607694040691\ 33053/19518188115459492193035534510377371431719*c_1001_3^6 - 210113805035087848871047828644406907623912/195181881154594921930355\ 34510377371431719*c_1001_3^5 + 620400166634504755663986158922840118\ 27348/19518188115459492193035534510377371431719*c_1001_3^4 + 98237432261060167398140263535739779130767/1951818811545949219303553\ 4510377371431719*c_1001_3^3 + 1086435286161542018465944717414430074\ 8009/19518188115459492193035534510377371431719*c_1001_3^2 + 25600028776479208070841947002525944887594/1951818811545949219303553\ 4510377371431719*c_1001_3 + 811990094128833893729781246603120313182\ 8/19518188115459492193035534510377371431719, c_0110_5 + 27444610955111009781837982955115173067/195181881154594921930\ 35534510377371431719*c_1001_3^18 - 128567074042785476990771362038877994345/195181881154594921930355345\ 10377371431719*c_1001_3^17 + 14997094068779027519874967939184473491\ /19518188115459492193035534510377371431719*c_1001_3^16 + 1257485524923043907820783532851042060381/19518188115459492193035534\ 510377371431719*c_1001_3^15 - 2535063656198146362302813060935390546\ 405/19518188115459492193035534510377371431719*c_1001_3^14 - 1264194644687493144706597560426510592306/19518188115459492193035534\ 510377371431719*c_1001_3^13 + 4881676223931084536842758313076449723\ 789/19518188115459492193035534510377371431719*c_1001_3^12 + 17346044163347825694311683998115887432813/1951818811545949219303553\ 4510377371431719*c_1001_3^11 - 425040417463522126591129266162912768\ 47090/19518188115459492193035534510377371431719*c_1001_3^10 - 12604425150646211803878213313138675390681/1951818811545949219303553\ 4510377371431719*c_1001_3^9 + 1233080039253002760254216949024063799\ 19784/19518188115459492193035534510377371431719*c_1001_3^8 - 59262105209094503134955545581926594192126/1951818811545949219303553\ 4510377371431719*c_1001_3^7 - 1097370217216612899605452081551586340\ 46085/19518188115459492193035534510377371431719*c_1001_3^6 + 129952844543596355519027206491618496330137/195181881154594921930355\ 34510377371431719*c_1001_3^5 + 174111836901545531404285943194010450\ 331001/19518188115459492193035534510377371431719*c_1001_3^4 + 164714085887905394369810343199719697672797/195181881154594921930355\ 34510377371431719*c_1001_3^3 + 522105620102637833824055639152740051\ 60562/19518188115459492193035534510377371431719*c_1001_3^2 + 29779426772719891406069335274523598993004/1951818811545949219303553\ 4510377371431719*c_1001_3 + 150727744609464472864132943710370850121\ 49/19518188115459492193035534510377371431719, c_1001_0 + 11878311533591591604757301774940362480/195181881154594921930\ 35534510377371431719*c_1001_3^18 - 57900092442511357028616798153474289795/1951818811545949219303553451\ 0377371431719*c_1001_3^17 + 6494998307714858911641927218580290727/1\ 9518188115459492193035534510377371431719*c_1001_3^16 + 600030545063566566471207501778083228852/195181881154594921930355345\ 10377371431719*c_1001_3^15 - 12428967419355992525856721035593305718\ 64/19518188115459492193035534510377371431719*c_1001_3^14 - 815826403813283322209652847483667500929/195181881154594921930355345\ 10377371431719*c_1001_3^13 + 35486055247512248225395494824830442368\ 11/19518188115459492193035534510377371431719*c_1001_3^12 + 6837158072427006975472801782343739693943/19518188115459492193035534\ 510377371431719*c_1001_3^11 - 2204150255643155324051340539222618029\ 6127/19518188115459492193035534510377371431719*c_1001_3^10 - 6984700275369157740846653175075209163052/19518188115459492193035534\ 510377371431719*c_1001_3^9 + 75193180111072735396474705300622824028\ 943/19518188115459492193035534510377371431719*c_1001_3^8 - 43787483426690280824854324251307116717114/1951818811545949219303553\ 4510377371431719*c_1001_3^7 - 9187754361933891556032908965410818102\ 0992/19518188115459492193035534510377371431719*c_1001_3^6 + 125635793373390269867132889829578136983162/195181881154594921930355\ 34510377371431719*c_1001_3^5 + 815404856131011715021276984671227572\ 02268/19518188115459492193035534510377371431719*c_1001_3^4 - 30739276254267054088120738489625693164030/1951818811545949219303553\ 4510377371431719*c_1001_3^3 - 3720277489966216939267287150124020030\ 16/19518188115459492193035534510377371431719*c_1001_3^2 - 9677679340570609086217709118958068588217/19518188115459492193035534\ 510377371431719*c_1001_3 - 7728186580958385688132651453395497745077\ /19518188115459492193035534510377371431719, c_1001_1 - 8085053514782657445725407538203549633/1951818811545949219303\ 5534510377371431719*c_1001_3^18 + 305774840978963522983336454027665\ 85212/19518188115459492193035534510377371431719*c_1001_3^17 + 23567259323485656276026685176828894806/1951818811545949219303553451\ 0377371431719*c_1001_3^16 - 343294090930899400437176056300446492990\ /19518188115459492193035534510377371431719*c_1001_3^15 + 395745421879257632750852628765905884885/195181881154594921930355345\ 10377371431719*c_1001_3^14 + 78021450556621904503142427357973935415\ 2/19518188115459492193035534510377371431719*c_1001_3^13 - 435761455751724380862264619159028068892/195181881154594921930355345\ 10377371431719*c_1001_3^12 - 64612810846554439704682343425346508096\ 73/19518188115459492193035534510377371431719*c_1001_3^11 + 6987303164135975286951788796541031486574/19518188115459492193035534\ 510377371431719*c_1001_3^10 + 1156344274148127352264462862145066935\ 1012/19518188115459492193035534510377371431719*c_1001_3^9 - 22071619976425635671742238030937520847932/1951818811545949219303553\ 4510377371431719*c_1001_3^8 - 1847667596921705589675701789861106564\ 5946/19518188115459492193035534510377371431719*c_1001_3^7 + 23684758941813413499921445924335274535059/1951818811545949219303553\ 4510377371431719*c_1001_3^6 + 1442959332787760166107517172607463274\ 5885/19518188115459492193035534510377371431719*c_1001_3^5 - 71988249633057270342797760734773801857027/1951818811545949219303553\ 4510377371431719*c_1001_3^4 - 1284041644949059910650881556464423101\ 55491/19518188115459492193035534510377371431719*c_1001_3^3 - 86165936679263397272712241124246682979027/1951818811545949219303553\ 4510377371431719*c_1001_3^2 - 4177285813859222399628857978030105075\ 1341/19518188115459492193035534510377371431719*c_1001_3 - 20954833125741625129244107243946465044083/1951818811545949219303553\ 4510377371431719, c_1001_3^19 - 5*c_1001_3^18 + 2*c_1001_3^17 + 46*c_1001_3^16 - 108*c_1001_3^15 - 18*c_1001_3^14 + 207*c_1001_3^13 + 552*c_1001_3^12 - 1770*c_1001_3^11 + 89*c_1001_3^10 + 4799*c_1001_3^9 - 3979*c_1001_3^8 - 3579*c_1001_3^7 + 7590*c_1001_3^6 + 3821*c_1001_3^5 + 2315*c_1001_3^4 + 2651*c_1001_3^3 + 1151*c_1001_3^2 + 71*c_1001_3 + 191 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.430 Total time: 1.639 seconds, Total memory usage: 64.12MB